808 research outputs found
THE PARTICULARITIES OF PRODUCT COST CALCULATION AT THE ENTERPRISES WITH SEASONAL ACTIVITY
This article comprehends the problems of cost calculation at theenterprises with seasonal activity. The practical recommendations are based onorganizational and technological features corresponding to peculiarities of theseasonal production. Here we can mention: the creation and the accounting ofprovisions for certain types of costs for raw materials, for reparation of assets;calculation of depreciation of productive assets by the method of production using therecalculation of planned volume to factual volume of production; the reciprocalmethod using the proceeding of proper factual unit cost of the service department etc.cost, calculation of cost, correlation coefficient, services of interdependentsections, distribution basis, and method of cost calculation.
Modeling, Verification and Testing of P Systems Using Rodin and ProB
In this paper we present an approach to modelling, verification and testing
for cell-like P-systems based on Event-B and the Rodin platform. We present a general
framework for modelling P systems using Event-B, which we then use to implement two
P-system models in the Rodin platform. For each of the two models, we use the associated
Pro-B model checker to verify properties and we present some of the results obtaine
In-Vivo Evaluation of Microultrasound and Thermometric Capsule Endoscopes
Clinical endoscopy and colonoscopy are commonly used to investigate and diagnose disorders in the upper gastrointestinal tract and colon respectively. However, examination of the anatomically remote small bowel with conventional endoscopy is challenging. This and advances in miniaturization led to the development of video capsule endoscopy (VCE) to allow small bowel examination in a non-invasive manner. Available since 2001, current capsule endoscopes are limited to viewing the mucosal surface only due to their reliance on optical imaging. To overcome this limitation with submucosal imaging, work is under way to implement microultrasound (μUS) imaging in the same form as VCE devices. This paper describes two prototype capsules, termed Sonocap and Thermocap, which were developed respectively to assess the quality of μUS imaging and the maximum power consumption that can be tolerated for such a system. The capsules were tested in vivo in the oesophagus and small bowel of porcine models. Results are presented in the form of μUS B-scans and safe temperature readings observed up to 100 mW in both biological regions. These results demonstrate that acoustic coupling and μUS imaging can be achieved in vivo in the lumen of the bowel and the maximum power consumption that is possible for miniature μUS systems
Translational trial outcomes for capsule endoscopy test devices
Current clinical standards in the endoscopic diagnosis of gastrointestinal diseases are primarily based on the use of optical systems. Ultrasound has established diagnostic credibility in the form of endoscopic ultrasound (EUS), however it is limited to examination of the upper gastrointestinal tract (oesophagus, stomach and upper (proximal) small bowel). Access to the remainder of the small bowel is currently limited to optical capsule endoscopes and a limited number of other modalities as these capsules are restricted to visual examination of the surface or mucosa of the gut wall. Ultrasound capsule endoscopy has been proposed to integrate microultrasound imaging capabilities into the existing capsule format and extend examination capabilities beyond the mucosa.
To establish the ability of high frequency ultrasound to resolve the histological structure of the gastrointestinal tract, ex vivo scans of pig and human tissue were performed. This was done using 25 and 34 MHz single element, physically focused composite transducers mechanically scanned along the tissue. Tethered prototype devices were then developed with 30 MHz physically focused polyvinylidene fluoride (PVDF) single element transducers embedded for use in initial translational trials in the small bowel of porcine subjects. B-scan images from the ex vivo model validation and the in vivo trials are presented
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
This paper presents an integrated approach for model simulation, property
extraction and formal veri cation of P systems, illustrated on a tissue P system with
active membranes solving the 3-colouring problem. The paper focuses on this problem
and reports the invariants and the properties extracted and veri ed using a series of tools
(Daikon, MeCoSim, Maple, Spin, ProB) and languages (P{Lingua, Promela, Event-B).
Appropriate tools and integration plugins, which facilitate and even automate the steps
involved in the aforementioned approach, have also been developed. The case study chosen
is complex (it involves an exponential growth of the number of states through the use of
membrane division rules) and the properties obtained are non-trivial.Ministerio de Ciencia e Innovación TIN2009–13192Junta de Andalucía P08–TIC–0420
3-Col problem modelling using simple kernel P systems
This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates
through a 3-colouring problem case study the expressive power and efficiency of kernel P systems. It
describes two skP systems that model the problem and analyses them in terms of efficiency and complexity.
The skP models prove to be more succinct (in terms of number of rules, objects, number of cells and
execution steps) than the corresponding tissue P system, available in the literature, that solves the same
problem, at the expense of a greater length of the rules.Ministerio de Ciencia e Innovación TIN2009–13192Junta de Andalucía P08-TIC-0420
T-cell epitopes of the major peach allergen, Pru p 3: Identification and differential T-cell response of peach-allergic and non-allergic subjects
Lipid transfer proteins (LTPs), particularly peach Pru p 3, are the most relevant plant food allergens in the South of Europe, and, therefore, their allergic properties have been extensively studied. However, neither T-cell epitopes nor their effect on the patients’ T-cell response has been investigated in any member of the LTP panallergen family. The objective of the present study was to map the major T-cell epitopes of Pru p 3, as well as to evaluate their induced T-cell response in peach-allergic versus control subjects. Thus, peripheral blood mononuclear cells (PBMCs) from 18 peach-allergic patients and Pru p 3-specific T-cell lines (TCLs) from 9 of them were cultured with Pru p 3 and with a panel of 17 derived peptides (10-mer overlapping in 5 amino acids representing the full sequence of Pru p 3). Proliferation in 5-day assays was carried out via tritiated-thymidine incorporation, while IL4 and IFNγ production was assessed via sandwich enzyme-linked immunosorbent tests (ELISA) of TCL culture supernatants. The results were compared to those obtained from 10 non-peach allergic control volunteers. Two consecutive peptides showed the highest activation capacity. About 74% of PBMCs and TCLs recognized them, forming a single T-epitope: Pru p 365–80. Additionally, other specific T-cell epitopes were observed. Pru p 325–35 was detected by more than 60% of TCLs from peach-allergic patients, and Pru p 345–55 only activated PBMCs from control subjects. Interestingly, TCLs from patients were associated with a Th2-type, whereas control TCLs presented a Th1-type cytokine response. The major immunogenic T-cell epitope identified in Pru p 3, Pru p 365–80, is a good candidate to develop new vaccines for hypersensitivity reactions associated with LTP allergens from Rosaceae fruits
A Scholarly Review of Global Business Indications and Economic Trends: Understanding International Competitiveness, Economic Globalization, and Digitization Through the Lens of the COVID-19 Pandemic and the New Normal
The nature and evolution of global businesses and international economics have experienced far volatility than social construction of free trade since early 1800’s. Generally, trade theories investigated between mainstream international economics and global businesses support multiple aspects of politics, geography, culture, ethnic studies, anthropological perspectives, and sociological ideas. Within these dimensions remain interspersed boundless ethical values and ethical concepts of doing global business successfully. The current framework of economic globalization is examined by challenging assumptions spread across themes of internationalism, entrepreneurialism, colonialism, imperialism, and harmonization of trade organizations and agreements.
Multiple aspects of globalization are analyzed through institutionalization and several ideological developments. We examine ethical standards and codes of international free trade and global economics of institutions and organizations. Global dimensions of digitization of business practices and international competitiveness of corporations are explored through themes of artificial intelligence, sustainability, automation, robotification, and organizational structures and designs. We conclude with discussions of impacts of COVID-19 pandemic on technological transformations, digital trends, and virtualization of contemporaneous international market management and sustainable development of communities
Novel biomarkers for asthma stratification and personalized therapy
A stepwise pharmacological treatment is currently recommended for all asthma patients and is personalized mainly on disease severity, aiming for the lowest disease-controlling step. Nevertheless, asthma comprises several related pathologies with similar clinical manifestations resulting from distinct underlying mechanisms. Therefore novel biomarkers could lead to asthma stratification and thus improve upon the current stepwise approach. The aim of this review is to update the reader with regard to different assays proposed in the recent asthma literature for measuring potential biomarkers for patient stratification and treatment personalization. Promising biomarkers are sputum eosinophils, serum periostin and exhaled nitric oxide. Periostin could differentiate between Th2-high and Th2-low asthma (Th2-high patients are more responsive to glucocorticoids) and the less-defined asthma types which often present a therapeutic challenge. Several other biomarkers, mainly cytokines, leukotrienes and exhaled air components, can be quantified in body fluids and exhaled breath and could also be useful for asthma stratification. </p
- …
