985 resultados para Formal Methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This file contains the ontology of patterns of educational settings, as part of the formal framework for specifying, reusing and implementing educational settings. Furthermore, it includes the set of rules that extend the ontology of educational scenarios as well as a brief description of the level of patters of such ontological framework.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Aquest fitxer conté la ontologia que descriu un metamodel de l'especificació Open Service Interface Design v.2.0 proposada per OKI. Ha estat creada en OWL i estesa amb un conjunt de regles SWRL. S'adjunta també el conjunt de regles.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Immobile location-allocation (LA) problems is a type of LA problem that consists in determining the service each facility should offer in order to optimize some criterion (like the global demand), given the positions of the facilities and the customers. Due to the complexity of the problem, i.e. it is a combinatorial problem (where is the number of possible services and the number of facilities) with a non-convex search space with several sub-optimums, traditional methods cannot be applied directly to optimize this problem. Thus we proposed the use of clustering analysis to convert the initial problem into several smaller sub-problems. By this way, we presented and analyzed the suitability of some clustering methods to partition the commented LA problem. Then we explored the use of some metaheuristic techniques such as genetic algorithms, simulated annealing or cuckoo search in order to solve the sub-problems after the clustering analysis

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Endometriosis is an inflammatory estrogen-dependent disease defined by the presence of endometrial glands and stroma at extrauterine sites. The main purpose of endometriosis management is alleviating pain associated to the disease. This can be achieved surgically or medically, although in most women a combination of both treatments is required. Long-term medical treatment is usually needed in most women. Unfortunately, in most cases, pain symptoms recur between 6 months and 12 months once treatment is stopped. The authors conducted a literature search for English original articles, related to new medical treatments of endometriosis in humans, including articles published in PubMed, Medline, and the Cochrane Library. Keywords included "endometriosis" matched with "medical treatment", "new treatment", "GnRH antagonists", "Aromatase inhibitors", "selective progesterone receptor modulators", "anti-TNF α", and "anti-angiogenic factors". Hormonal treatments currently available are effective in the relief of pain associated to endometriosis. Among new hormonal drugs, association to aromatase inhibitors could be effective in the treatment of women who do not respond to conventional therapies. GnRH antagonists are expected to be as effective as GnRH agonists, but with easier administration (oral). There is a need to find effective treatments that do not block the ovarian function. For this purpose, antiangiogenic factors could be important components of endometriosis therapy in the future. Upcoming researches and controlled clinical trials should focus on these drugs.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

BACKGROUND Skin patch test is the gold standard method in diagnosing contact allergy. Although used for more than 100 years, the patch test procedure is performed with variability around the world. A number of factors can influence the test results, namely the quality of reagents used, the timing of the application, the patch test series (allergens/haptens) that have been used for testing, the appropriate interpretation of the skin reactions or the evaluation of the patient's benefit. METHODS We performed an Internet -based survey with 38 questions covering the educational background of respondents, patch test methods and interpretation. The questionnaire was distributed among all representatives of national member societies of the World Allergy Organization (WAO), and the WAO Junior Members Group. RESULTS One hundred sixty-nine completed surveys were received from 47 countries. The majority of participants had more than 5 years of clinical practice (61 %) and routinely carried out patch tests (70 %). Both allergists and dermatologists were responsible for carrying out the patch tests. We could observe the use of many different guidelines regardless the geographical distribution. The use of home-made preparations was indicated by 47 % of participants and 73 % of the respondents performed 2 or 3 readings. Most of the responders indicated having patients with adverse reactions, including erythroderma (12 %); however, only 30 % of members completed a consent form before conducting the patch test. DISCUSSION The heterogeneity of patch test practices may be influenced by the level of awareness of clinical guidelines, different training backgrounds, accessibility to various types of devices, the patch test series (allergens/haptens) used for testing, type of clinical practice (public or private practice, clinical or research-based institution), infrastructure availability, financial/commercial implications and regulations among others. CONCLUSION There is a lack of a worldwide homogeneity of patch test procedures, and this raises concerns about the need for standardization and harmonization of this important diagnostic procedure.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This book gives a general view of sequence analysis, the statistical study of successions of states or events. It includes innovative contributions on life course studies, transitions into and out of employment, contemporaneous and historical careers, and political trajectories. The approach presented in this book is now central to the life-course perspective and the study of social processes more generally. This volume promotes the dialogue between approaches to sequence analysis that developed separately, within traditions contrasted in space and disciplines. It includes the latest developments in sequential concepts, coding, atypical datasets and time patterns, optimal matching and alternative algorithms, survey optimization, and visualization. Field studies include original sequential material related to parenting in 19th-century Belgium, higher education and work in Finland and Italy, family formation before and after German reunification, French Jews persecuted in occupied France, long-term trends in electoral participation, and regime democratization. Overall the book reassesses the classical uses of sequences and it promotes new ways of collecting, formatting, representing and processing them. The introduction provides basic sequential concepts and tools, as well as a history of the method. Chapters are presented in a way that is both accessible to the beginner and informative to the expert.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE: Postmortem investigations are becoming more and more sophisticated. CT and MRI are already being used in pathology and forensic medicine. In this context, the impact of postmortem angiography increases because of the rapid evaluation of organ-specific vascular patterns, vascular alteration under pathologic and physiologic conditions, and tissue changes induced by artificial and unnatural causes. CONCLUSION: In this article, the advantages and disadvantages of former and current techniques and contrast agents are reviewed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE: To assess total free-living energy expenditure (EE) in Gambian farmers with two independent methods, and to determine the most realistic free-living EE and physical activity in order to establish energy requirements for rural populations in developing countries. DESIGN: In this cross-sectional study two methods were applied at the same time. SETTING: Three rural villages and Dunn Nutrition Centre Keneba, MRC, The Gambia. SUBJECTS: Eight healthy, male subjects were recruited from three rural Gambian villages in the sub-Sahelian area (age: 25 +/- 4y; weight: 61.2 +/- 10.1 kg; height: 169.5 +/- 6.5 cm, body mass index: 21.2 +/- 2.5 kg/m2). INTERVENTION: We assessed free-living EE with two inconspicuous and independent methods: the first one used doubly labeled water (DLW) (2H2 18O) over a period of 12 days, whereas the second one was based on continuous heart rate (HR) measurements on two to three days using individual regression lines (HR vs EE) established by indirect calorimetry in a respiration chamber. Isotopic dilution of deuterium (2H2O) was also used to assess total body water and hence fat-free mass (FFM). RESULTS: EE assessed by DLW was found to be 3880 +/- 994 kcal/day (16.2 +/- 4.2 MJ/day). Expressed per unit body weight the EE averaged 64.2 +/- 9.3 kcal/kg/d (269 +/- 38 kJ/kg/d). These results were consistent with the EE results assessed by HR: 3847 +/- 605 kcal/d (16.1 +/- 2.5 MJ/d) or 63.4 +/- 8.2 kcal/kg/d (265 +/- 34kJ/kg/d). Physical activity index, expressed as a multiple of basal metabolic rate (BMR), averaged 2.40 +/- 0.41 (DLW) or 2.40 +/- 0.28 (HR). CONCLUSIONS: These findings suggest an extremely high level of physical activity in Gambian men during intense agricultural work (wet season). This contrasts with the relative food shortage, previously reported during the harvesting period. We conclude that the assessment of EE during the agricultural season in non-industrialized countries needs further investigations in order to obtain information on the energy requirement of these populations. For this purpose the use of the DLW and HR methods have been shown to be useful and complementary.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents and discusses the use of Bayesian procedures - introduced through the use of Bayesian networks in Part I of this series of papers - for 'learning' probabilities from data. The discussion will relate to a set of real data on characteristics of black toners commonly used in printing and copying devices. Particular attention is drawn to the incorporation of the proposed procedures as an integral part in probabilistic inference schemes (notably in the form of Bayesian networks) that are intended to address uncertainties related to particular propositions of interest (e.g., whether or not a sample originates from a particular source). The conceptual tenets of the proposed methodologies are presented along with aspects of their practical implementation using currently available Bayesian network software.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This contribution compares existing and newly developed techniques for geometrically representing mean-variances-kewness portfolio frontiers based on the rather widely adapted methodology of polynomial goal programming (PGP) on the one hand and the more recent approach based on the shortage function on the other hand. Moreover, we explain the working of these different methodologies in detail and provide graphical illustrations. Inspired by these illustrations, we prove a generalization of the well-known two fund separation theorem from traditionalmean-variance portfolio theory.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O idoso fragilizado, mantido em seu domicílio, requer cuidados específicos, os quais são realizados muitas vezes por pessoas contratadas, pelas famílias, sem necessariamente terem formação específica e são comumente denominadas cuidadores formais. Frente o aumento da oferta de trabalho destas pessoas e a escassez de literatura sobre seu perfil, desenvolvemos um estudo com 41 anunciantes que ofereceram seus serviços em dois jornais de maior circulação no município de Campinas, São Paulo, com os seguintes objetivos: 1. caracterizar estes cuidadores e 2. verificar as atividades propostas para a assistência ao idoso. No presente trabalho são apresentados os dados referentes as características dos cuidadores quanto: ao sexo, a idade, a formação e experiência anterior, disponibilidade de horário e remuneração exigida.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O idoso fragilizado, mantido em seu domicílio, requer cuidados específicos, os quais são realizados muitas vezes por pessoas contratadas pela família para tal, denominadas cuidadores formais. Frente o aumento da oferta de trabalho destas pessoas e a escassez de literatura nacional sobre seu perfiL, desenvolvemos um estudo com 41 pessoas que ofereceram seus serviços através de anúncios em dois jornais de maior circulação no município de Campinas, São Paulo. Tal estudo teve por objetivos: 1. caracterizar estes cuidadores (este objetivo foi contemplado com um artigo publicado anteriormente) e 2. verificar as atividades propostas para a assistência ao idoso. No presente trabalho serão apresentados os dados referentes ao segundo objetivo.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Nowadays, the joint exploitation of images acquired daily by remote sensing instruments and of images available from archives allows a detailed monitoring of the transitions occurring at the surface of the Earth. These modifications of the land cover generate spectral discrepancies that can be detected via the analysis of remote sensing images. Independently from the origin of the images and of type of surface change, a correct processing of such data implies the adoption of flexible, robust and possibly nonlinear method, to correctly account for the complex statistical relationships characterizing the pixels of the images. This Thesis deals with the development and the application of advanced statistical methods for multi-temporal optical remote sensing image processing tasks. Three different families of machine learning models have been explored and fundamental solutions for change detection problems are provided. In the first part, change detection with user supervision has been considered. In a first application, a nonlinear classifier has been applied with the intent of precisely delineating flooded regions from a pair of images. In a second case study, the spatial context of each pixel has been injected into another nonlinear classifier to obtain a precise mapping of new urban structures. In both cases, the user provides the classifier with examples of what he believes has changed or not. In the second part, a completely automatic and unsupervised method for precise binary detection of changes has been proposed. The technique allows a very accurate mapping without any user intervention, resulting particularly useful when readiness and reaction times of the system are a crucial constraint. In the third, the problem of statistical distributions shifting between acquisitions is studied. Two approaches to transform the couple of bi-temporal images and reduce their differences unrelated to changes in land cover are studied. The methods align the distributions of the images, so that the pixel-wise comparison could be carried out with higher accuracy. Furthermore, the second method can deal with images from different sensors, no matter the dimensionality of the data nor the spectral information content. This opens the doors to possible solutions for a crucial problem in the field: detecting changes when the images have been acquired by two different sensors.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Four methods were tested to assess the fire-blight disease response on grafted pear plants. The leaves of the plants were inoculated with Erwinia amylovora suspensions by pricking with clamps, cutting with scissors, local infiltration, and painting a bacterial suspension onto the leaves with a paintbrush. The effects of the inoculation methods were studied in dose-time-response experiments carried out in climate chambers under quarantine conditions. A modified Gompertz model was used to analyze the disease-time relatiobbnships and provided information on the rate of infection progression (rg) and time delay to the start of symptoms (t0). The disease-pathogen-dose relationships were analyzed according to a hyperbolic saturation model in which the median effective dose (ED50) of the pathogen and maximum disease level (ymax) were determined. Localized infiltration into the leaf mesophile resulted in the early (short t0) but slow (low rg) development of infection whereas in leaves pricked with clamps disease symptoms developed late (long t0) but rapidly (high rg). Paintbrush inoculation of the plants resulted in an incubation period of medium length, a moderate rate of infection progression, and low ymax values. In leaves inoculated with scissors, fire-blight symptoms developed early (short t0) and rapidly (high rg), and with the lowest ED50 and the highest ymax