952 resultados para Practical reasoning
Resumo:
Dynamic analysis techniques have been proposed to detect potential deadlocks. Analyzing and comprehending each potential deadlock to determine whether the deadlock is feasible in a real execution requires significant programmer effort. Moreover, empirical evidence shows that existing analyses are quite imprecise. This imprecision of the analyses further void the manual effort invested in reasoning about non-existent defects. In this paper, we address the problems of imprecision of existing analyses and the subsequent manual effort necessary to reason about deadlocks. We propose a novel approach for deadlock detection by designing a dynamic analysis that intelligently leverages execution traces. To reduce the manual effort, we replay the program by making the execution follow a schedule derived based on the observed trace. For a real deadlock, its feasibility is automatically verified if the replay causes the execution to deadlock. We have implemented our approach as part of WOLF and have analyzed many large (upto 160KLoC) Java programs. Our experimental results show that we are able to identify 74% of the reported defects as true (or false) positives automatically leaving very few defects for manual analysis. The overhead of our approach is negligible making it a compelling tool for practical adoption.
Resumo:
The rapid emergence of infectious diseases calls for immediate attention to determine practical solutions for intervention strategies. To this end, it becomes necessary to obtain a holistic view of the complex hostpathogen interactome. Advances in omics and related technology have resulted in massive generation of data for the interacting systems at unprecedented levels of detail. Systems-level studies with the aid of mathematical tools contribute to a deeper understanding of biological systems, where intuitive reasoning alone does not suffice. In this review, we discuss different aspects of hostpathogen interactions (HPIs) and the available data resources and tools used to study them. We discuss in detail models of HPIs at various levels of abstraction, along with their applications and limitations. We also enlist a few case studies, which incorporate different modeling approaches, providing significant insights into disease. (c) 2013 Wiley Periodicals, Inc.
Resumo:
In this study we have investigated a new class of cationic lipids - ``bolaamphiphiles'' or ``bolas'' - for their ability to efficiently deliver small interfering RNAs (siRNAs) to cancer cells. The bolas of this study consist of a hydrophobic chain with one or more positively charged head groups at each end. Recently, we reported that micelles of the bolas GLH-19 and GLH-20 (derived from vernonia oil) efficiently deliver siRNAs, while having relatively low toxicities in vitro and in vivo. Our previous studies validated that; bolaamphiphiles can be designed to vary the magnitude of siRNA shielding, its delivery, and its subsequent release. To further understand the structural features of bolas critical for siRNAs delivery, new structurally related bolas (GLH-58 and GLH-60) were designed and synthesized from jojoba oil. Both bolas have similar hydrophobic domains and contain either one, in GLH-58, or two, in GLH-60 positively charged head groups at each end of the hydrophobic core. We have computationally predicted and experimentally validated that GLH-58 formed more stable nano sized micelles than GLH-60 and performed significantly better in comparison to GLH-60 for siRNA delivery. GLH-58/siRNA complexes demonstrated better efficiency in silencing the expression of the GFP gene in human breast cancer cells at concentrations of 5 mu g/mL, well below the toxic dose. Moreover, delivery of multiple different siRNAs targeting the HIV genome demonstrated further inhibition of virus production. Published by Elsevier B.V.
Resumo:
Modular chiral I3-organochalcogeno amines, ArYCH2CH(R)NH2 (4a-4g) where R = Me, Bz, Ph; and ArY = PhS, BzSe and 4-MeOC6H4Te respectively have been synthesized and characterized. Compounds 4a-4g were synthesized (Method II) from chiral aminoalkyl 13-methanesulfonate hydrochlorides, MsOCH2CH(R)NH3+ center dot Cl- (2a-2c) through nucleophilic displacement of MsO- with organochalcogenolate (ArY-). In another attempt (Method I) chiral beta-organotelluro amines (4a-4c) were prepared by deprotection of chiral N-boc I3-organotelluro amides, 4-MeOC6H4TeCH2CH(R)NH-Boc (3a-3c), which in turn, 13,-,1 were made from chiral N-boc 13-methanesulfonate amides (la-lc) and ArTeNa. 1H, and FTIR spectra of all the compounds (3a-3c and 4a-4g) were characteristic. The composition of 3a-3c was determined by elemental analysis. The a]TD values of 3b-3c and 4a-4g were determined. The single crystal structures of (S)-2b and (R)-2c were determined by X-Ray diffraction studies. Both (S)-2b and (R)2c were crystallized in orthorhombic system and the Flack parameter x was found 0.08(12) and 0.00(2) respectively. The crystal of (S)-2b contain two asymmetric units with gauche (A) and staggered (B) conformations. There are NH Cl-, NH-O and CH-O intra and intermolecular secondary interactions in (S)-2b and (R)-2c resulting in supramolecular structures. (C) 2015 Elsevier By. All rights reserved.
Resumo:
Following the recent work of the authors in development and numerical verification of a new kinematic approach of the limit analysis for surface footings on non-associative materials, a practical procedure is proposed to utilize the theory. It is known that both the peak friction angle and dilation angle depend on the sand density as well as the stress level, which was not the concern of the former work. In the current work, a practical procedure is established to provide a better estimate of the bearing capacity of surface footings on sand which is often non-associative. This practical procedure is based on the results obtained theoretically and requires the density index and the critical state friction angle of the sand. The proposed practical procedure is a simple iterative computational procedure which relates the density index of the sand, stress level, dilation angle, peak friction angle and eventually the bearing capacity. The procedure is described and verified among available footing load test data.
Resumo:
A simple composite design methodology has been developed from the basic principles of composite component failure. This design approach applies the principles of stress field matching to develop suitable reinforcement patterns around three-dimensional details such as lugs in mechanical components. The resulting patterns are essentially curvilinear orthogonal meshes, adjusted to meet the restrictions imposed by geometric restraints and the intended manufacturing process. Whilst the principles behind the design methodology can be applied to components produced by differing manufacturing processes, the results found from looking at simple generic example problems suggest a realistic and practical generic manufacturing approach. The underlying principles of the design methodology are described and simple analyses are used to help illustrate both the methodology and how such components behave. These analyses suggest it is possible to replace high-strength steel lugs with composite components whose strength-to-weight ratio is some 4-5 times better. © 1998 Elsevier Science Ltd. All rights reserved.
Resumo:
给出相对论力学中普遍定律的实用判别法和协变集的实用构造法,还给出实现非普遍定律的“可导出性”的一种实用方法.
Resumo:
Abstract: The paper examines the relationship between Creating Capabilities and political liberalism. Originally founded on the basis of Aristotelian philosophy, the theory of ‘capabilities’ developed by Nussbaum turns to political liberalism in the mid 90’s. Throughout the article, the principles of both perspectives are depicted and contrasted, focusing on the capacity of affiliation, the concept of common good and the idea of freedom. Severine Deneulin argues that the current reality calls for the capabilities approach to be more rooted in a relational anthropology which the Aristotelian ethical tradition is more akin to. This line can be found in Nussbaum’s first approach to the theory of capabilities, where affiliation as an architectonic capability leads to the common good being the end of political action, and practical reason as an architectonic capability leads to reasoning ordered towards the achievement of the common good, to the detriment of individualism.
Resumo:
Resumen: ¿Cuál es el precio justo para la asistencia social? Este artículo muestra que la medición económica efectuada en mercados basados en el valor de los servicios prestados podría responder esta pregunta. La medición económica puede hacer lo mismo en distintos campos del trabajo social aplicando diferentes métodos, tales como ofertas públicas o negociaciones calificadas. Después de dar un breve panorama teórico, se presentan y analizan en detalle dos proyectos alemanes. El artículo muestra cómo la introducción de mecanismos de negociación en la asistencia social expresados en términos de resultados pueden traer efectos positivos para las finanzas públicas, así como también para el bien común.