948 resultados para Maximal Rewriting of a Regular Language at a Regular Substitution


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The pulmonary surfactant has essential physical properties for normal lung function. The most important property is the surface tension. In this work, it was evaluated the surface tension of two commercial exogenous surfactants used in surfactant replacement therapy, poractant alfa (Curosurf, Chiesi Farmaceuticals, Italy) and beractant (Survanta, Abbott Laboratories, USA) using new parameters. A Langmuir film balance (Minitrough, KSV Instruments, Finland) was used to measure surface tension of poractant alfa and beractant samples. For both samples, we prepared a solution of 1 mg/m dissolved in chloroform (100π`), which was applied over a subphase of milli-Q water (175 ml) in the chamber of the balance. The chamber has two moving barriers that can change its surface area between a maximal value of 112.5 cm 2 , and a minimal value of 22.5 cm 2, defining a balance cycle. Each surfactant had its surface tension evaluated during 20 balance cycles for three times. Four quantities were calculated from the experiment: Minimum Surface Tension (MTS), defined as the surface tension at minimal surface area during the first cycle; Mean Work Cycle (MWC), defined as the mean hysteresis area of the measured surface tension curve of the last 16 balance cycles; Critical Active Surface Area in Compression (CASAC) or in Expansion (CASAE), defined as the maximal chamber area where the surfactant is active on the surface in compression or expansion. The t-test was applied to verify for statistical significance of the results. Comproved with the MST is the same reported in literature, the differences between MWC, CASAC, and CASAE were statistically significant (p<0.001). The MWC, CASAC and CASAE were higher for poractant alfa than for beractant. A higher MWC for poractant alfa means higher elastic recoil of the lung in comparison with beractant. Using a different methodology, our results showed that poractant alfa is probably more effective in a surfactant replacement therapy than beractant due the use of poractant alfa in relation to the use of beractant in preterm infants with Respiratory Distress Syndrome (RDS).

Relevância:

100.00% 100.00%

Publicador:

Resumo:

[EN] This article focuses on a specific feature found in tourist guidebooks –the recurrent use of foreign expressions or “third language”. It presents the findings of a comparative analysis of a parallel corpus made up of twenty guidebooks: ten guidebooks originally written in English and their corresponding translated versions in Spanish, describing different countries and cities (all of them published by Lonely Planet), focusing on those chapters in which the writer includes practical information. The purpose of the study is to analyze the use of the third language in the English and Spanish versions and to determine and identify the translation strategies used by the translators to transfer these linguistic elements from one language to the other.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.