897 resultados para abstraction


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Diaminopropionate ammonialyase (DAPAL), a fold-typeII pyridoxal 5-phosphate-dependent enzyme, catalyzes the ,-elimination of diaminopropionate (DAP) to pyruvate and ammonia. DAPAL was able to utilize both d- and l-DAP as substrates with almost equal efficiency. Mutational analysis of functionally important residues such as Thr385, Asp125 and Asp194 was carried out to understand the mechanism by which the isomers are hydrolyzed. Further, the putative residues involved in the formation of disulfide bond Cys271 and Cys299 were also mutated. T385S, T385D sDAPAL were as active with dl-DAP as substrate as sDAPAL, whereas the later exhibited a threefold increase in catalytic efficiency with d-Ser as substrate. Further analysis of these mutants suggested that DAPAL might follow an anti-E-2 mechanism of catalysis that does not involve the formation of a quinonoid intermediate. Of the two mutants of Asp125, D125E showed complete loss of activity with d-DAP as substrate, whereas the reaction with l-DAP was not affected significantly, demonstrating that Asp125 was essential for abstraction of protons from the d-isomer. By contrast, mutational analysis of Asp194 showed that the residue may not be directly involved in proton abstraction from l-DAP. sDAPAL does not form a disulfide bond in solution, although the position of Cys299 and Cys271 in the modeled structure of sDAPAL favored the formation of a disulfide bond. Further, unlike eDAPAL, sDAPAL could be activated by monovalent cations. Mutation of the cysteine residues showed that Cys271 may be involved in coordinating the monovalent cation, as observed in the case of other fold-typeII enzymes.

Relevância:

10.00% 10.00%

Publicador:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Conceptual Design Phase is the most critical for design decisions and their impact on the Environment. It is also a phase of many `unknowns' making it flexible and allowing exploration of many solutions. Thus, it is a challenge to determine the most Environmentally-benign Solution or Concept to be translated in to a `good' product. The SAPPhIRE Model captures the various levels of abstractions present in Conceptual Design by Outcomes and defines a Solution-variant as a set of verifiable and quantifiable Outcomes. The Causality explains the propagation of Environmental Impact across Outcomes at varying levels of abstraction, suggesting that the Environmental Impact of an Outcome at a certain level can be represented as a collation of Environmental Impact information of all the Outcomes at each of its subsequent lower levels of abstraction. Thus a ball-park impact value can be associated with the higher-levels of abstraction, thereby supporting design decisions taken earlier on in Conceptual Design directing towards Environmentally-benign Design.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Boldyreva, Palacio and Warinschi introduced a multiple forking game as an extension of general forking. The notion of (multiple) forking is a useful abstraction from the actual simulation of cryptographic scheme to the adversary in a security reduction, and is achieved through the intermediary of a so-called wrapper algorithm. Multiple forking has turned out to be a useful tool in the security argument of several cryptographic protocols. However, a reduction employing multiple forking incurs a significant degradation of , where denotes the upper bound on the underlying random oracle calls and , the number of forkings. In this work we take a closer look at the reasons for the degradation with a tighter security bound in mind. We nail down the exact set of conditions for success in the multiple forking game. A careful analysis of the cryptographic schemes and corresponding security reduction employing multiple forking leads to the formulation of `dependence' and `independence' conditions pertaining to the output of the wrapper in different rounds. Based on the (in)dependence conditions we propose a general framework of multiple forking and a General Multiple Forking Lemma. Leveraging (in)dependence to the full allows us to improve the degradation factor in the multiple forking game by a factor of . By implication, the cost of a single forking involving two random oracles (augmented forking) matches that involving a single random oracle (elementary forking). Finally, we study the effect of these observations on the concrete security of existing schemes employing multiple forking. We conclude that by careful design of the protocol (and the wrapper in the security reduction) it is possible to harness our observations to the full extent.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The solvent plays a decisive role in the photochemistry and photophysics of aromatic ketones. Xanthone (XT) is one such aromatic ketone and its triplet-triplet (T-T) absorption spectra show intriguing solvatochromic behavior. Also, the reactivity of XT towards H-atom abstraction shows an unprecedented decrease in protic solvents relative to aprotic solvents. Therefore, a comprehensive solvatochromic analysis of the triplet-triplet absorption spectra of XT was carried out in conjunction with time dependent density functional theory using the ad hoc explicit solvent model approach. A detailed solvatochromic analysis of the T-T absorption bands of XT suggests that the hydrogen bonding interactions are different in the corresponding triplet excited states. Furthermore, the contributions of non-specific and hydrogen bonding interactions towards differential solvation of the triplet states in protic solvents were found to be of equal magnitude. The frontier molecular orbital and electron density difference analysis of the T-1 and T-2 states of XT indicates that the charge redistribution in these states leads to intermolecular hydrogen bond strengthening and weakening, respectively, relative to the S-0 state. This is further supported by the vertical excitation energy calculations of the XT-methanol supra-molecular complex. The intermolecular hydrogen bonding potential energy curves obtained for this complex in the S-0, T-1, and T-2 states support the model. In summary, we propose that the different hydrogen bonding mechanisms exhibited by the two lowest triplet excited states of XT result in a decreasing role of the n pi* triplet state, and are thus responsible for its reduced reactivity towards H-atom abstraction in protic solvents. (C) 2016 AIP Publishing LLC.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Resumen: Suele admitirse que uno de los problemas pendientes, al menos desde Hume, en la teoría de la ciencia es la justificación crítica de los procesos inductivos, que son los que siguen las ciencias experimentales, como son las ciencias naturales. Frente a las ineficaces explicaciones aportadas por el empirismo o neopositivismo, así como por los racionalismos o idealismos, que son radicalmente incapaces para resolver el problema, nosotros presentamos la respuesta del realismo aristotélico, basada en el correcto concepto de abstracción formal, ignorado o malentendido incluso por muchos aristotélicos tanto antiguos como modernos. La respuesta consiste, en suma, en ver que el término del proceso inductivo, en cuanto llega a conclusiones universales a partir de lo particular, debe estar mediado por un proceso previo de abstracción de la forma, bien entendida, en lo mismo concreto y particular. Ello permite ver que la conclusión universal no desborda las premisas, que es el problema clásico de la epagogé aristotélica.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Resumen: La cuestión sobre la integración del saber es un tema particularmente relevante en el panorama de la epistemología actual. Nuestra época promueve un clima favorable al diálogo, pero con resultados de valor desparejo. Uno de los grandes intelectuales cristianos del siglo XX, Jacques Maritain, dedicó una parte importante de su obra a reflexionar sobre estas cuestiones. Siguiendo su lema distinguir para unir este trabajo se despliega en dos partes: la primera referida al momento de distinción entre las disciplinas, y la segunda al momento de su (relativa) unificación. En esta entrega se avanza a partir de las intuiciones primordiales de la sabiduría metafísica y las grandes categorías del conocimiento: el saber en sentido analógico, la filosofía, la ciencia y la teología. Maritain introduce el criterio de división a partir de lo especulativo y lo práctico. Luego, en el orden especulativo, recurre a la doctrina tradicional sobre la abstracción y sus formas, esforzándose por adaptar los principios que la inspiran a la compleja temática de la ciencia actual. Se cierra con una consideración acerca de las modalidades del saber práctico. Este movimiento de distinción será completado en la segunda parte del trabajo a partir de las exigencias de complementación de las disciplinas involucradas.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Resumen: Este estudio analiza la teoría aristotélica de la abstracción, tratando de rescatar su sentido originario a partir de los textos del autor, así como los aportes de los aristotélicos medievales más relevantes, especialmente Tomás de Aquino. Y luego se pasa a describir algunos hitos fundamentales de la evolución posterior de dicha teoría en la historia de la Filosofía, como son: 1) La contraposición entre abstracción e intuición en Duns Escoto y Guillermo de Ockham. 2) el intuicionismo de Descartes 3) La reinterpretación empirista de la abstracción en J. Locke 4) La ausencia de la abstracción en el Espinoza, Leibniz y Kant, así como su sustitución por la “aufhebung” en Hegel. 5) La peculiar aproximación husserliana a la abstracción a partir de su método fenomenológico y 6) la relación de la teoría de la abstracción con el pensamiento de algunos autores contemporáneos como Zubiri, Polo y, especialmente, Heidegger.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Unlike Africa and Asia, where a large part of the population are heavily dependent upon fishing for their livelihoods, fishing for a living in the interior of Central and South America (CSA) remains a marginal occupation for all but the most isolated of families. As such, the economics and management of fisheries on the continent have received little attention from within the continent and the rest of the world. This study shows that while a number of studies have been carried out on fishing in the region, they tend to be limited in their geographical focus and time scale. Although fishing of freshwater species may appear to be comparatively insignificant in the region, the rivers of CSA are very important. This report attempts to analyze the literature available on CSA river fisheries and attempts to draw out an economic value of these fisheries. It is divided into a number of sections. First, the authors describe the major river basins on the continent, characterize their fisheries, and place freshwater fisheries in CSA into a global context. Second, the authors provide a review of valuation techniques for fisheries and use this analytical framework to review the principal literature on freshwater fisheries in the region. Then they turn their attention to the economic impact of dams and water abstraction schemes, reviewing the available literature to ascertain how/if economic values are computed for the impact on fisheries. Finally, they offer some conclusions and recommendations on the direction for future studies of freshwater fisheries in CSA.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Reuse is at the heart of major improvements in productivity and quality in Software Engineering. Both Model Driven Engineering (MDE) and Software Product Line Engineering (SPLE) are software development paradigms that promote reuse. Specifically, they promote systematic reuse and a departure from craftsmanship towards an industrialization of the software development process. MDE and SPLE have established their benefits separately. Their combination, here called Model Driven Product Line Engineering (MDPLE), gathers together the advantages of both. Nevertheless, this blending requires MDE to be recasted in SPLE terms. This has implications on both the core assets and the software development process. The challenges are twofold: (i) models become central core assets from which products are obtained and (ii) the software development process needs to cater for the changes that SPLE and MDE introduce. This dissertation proposes a solution to the first challenge following a feature oriented approach, with an emphasis on reuse and early detection of inconsistencies. The second part is dedicated to assembly processes, a clear example of the complexity MDPLE introduces in software development processes. This work advocates for a new discipline inside the general software development process, i.e., the Assembly Plan Management, which raises the abstraction level and increases reuse in such processes. Different case studies illustrate the presented ideas.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Aquaculture depends largely upon a good aquatic environment. The quality of the aquatic medium determines success to a large extent in aquaculture. The medium is particularly vulnerable to excessive abstraction (i.e surface or groundwater) and contamination from a range of sources (industrial, agricultural or domestic) as well as risks of self-pollution. Environmental management options proffered so far include: improvements in farming performance (especially related to feed and feeding strategies, stocking densities, water quality management, disease prevention and control, use of chemicals, etc.) and in the selection of sites and culturable species, treatment of effluents, sensitivity of recipient waters and enforcement of environmental regulations and guidelines specific to the culture system. There are presently conceptual frameworks for aquatic environment management backed by legal administrative tools to create or enforce rational system for water management, fisheries and aquaculture development strengthened by adaptive institutionalisation

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This thesis is comprised of three chapters, each of which is concerned with properties of allocational mechanisms which include voting procedures as part of their operation. The theme of interaction between economic and political forces recurs in the three chapters, as described below.

Chapter One demonstrates existence of a non-controlling interest shareholders' equilibrium for a stylized one-period stock market economy with fewer securities than states of the world. The economy has two decision mechanisms: Owners vote to change firms' production plans across states, fixing shareholdings; and individuals trade shares and the current production / consumption good, fixing production plans. A shareholders' equilibrium is a production plan profile, and a shares / current good allocation stable for both mechanisms. In equilibrium, no (Kramer direction-restricted) plan revision is supported by a share-weighted majority, and there exists no Pareto superior reallocation.

Chapter Two addresses efficient management of stationary-site, fixed-budget, partisan voter registration drives. Sufficient conditions obtain for unique optimal registrar deployment within contested districts. Each census tract is assigned an expected net plurality return to registration investment index, computed from estimates of registration, partisanship, and turnout. Optimum registration intensity is a logarithmic transformation of a tract's index. These conditions are tested using a merged data set including both census variables and Los Angeles County Registrar data from several 1984 Assembly registration drives. Marginal registration spending benefits, registrar compensation, and the general campaign problem are also discussed.

The last chapter considers social decision procedures at a higher level of abstraction. Chapter Three analyzes the structure of decisive coalition families, given a quasitransitive-valued social decision procedure satisfying the universal domain and ITA axioms. By identifying those alternatives X* ⊆ X on which the Pareto principle fails, imposition in the social ranking is characterized. Every coaliton is weakly decisive for X* over X~X*, and weakly antidecisive for X~X* over X*; therefore, alternatives in X~X* are never socially ranked above X*. Repeated filtering of alternatives causing Pareto failure shows states in X^n*~X^((n+1))* are never socially ranked above X^((n+1))*. Limiting results of iterated application of the *-operator are also discussed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The excited-state properties of trans-ReO2(py)4+ (ReO2+) in acetonitrile solution have been investigated. The excited-state absorption spectrum of ReO2+ is dominated by bleaching of the ground state MLCT and d-d systems. The reduction potential of ReO22+/+* is estimated from emission and electrochemical data to be -0.7 V (SSCE). The ReO2+ excited state efficiently reduces methylviologen and other pyridinium and olefin acceptors. The resulting Re(VI) species oxidizes secondary alcohols and silanes. Acetophenone is the product of sec-phenethyl alcohol oxidation.

The emission properties of ReO2+ in aqueous solutions of anionic and nonionic surfactants have been investigated. The emission and absorption maxima of ReO2+ are dependent on the water content of its environment. Emission lifetimes vary over four orders of magnitude upon shifting from aqueous to nonaqueous environments. The emission lifetime has a large (8.6) isotope effect (k(H2O)/k(D2O)) that reflects its sensitivity towards the environment. These properties have been used to develop a model for the interactions of ReO2+ with sodium dodecyl sulfate (SDS). A hydrophobic ReO2+ derivative, ReO2(3-Ph-py)4+, has been used to probe micelles of nonionic surfactants, and these results are consistent with those obtained with SDS.

The emission properties of ReO2+ in Nafion perfluorosulfonated membranes have been investigated. Absorption and emission spectroscopy indicate that the interior of the membrane is quite polar, similar to ethylene glycol. Two well-resolved emission components show different lifetimes and different isotope effects, indicative of varying degrees of solvent accessibility. These components are taken as evidence for chemically distinct regions in the polymer film, assigned as the interfacial region and the ion cluster region.

The unsubstituted pyridine complex shows monophasic, τ = 1.7 µs, emission decay when bound to calf thymus DNA. Switching to the 3-Ph-py complex yields a biphasic emission decay (τ1 = 2.4 µs, τ2 = 10 µs) indicative of an additional, solvent-inaccessible binding mode. Photoinduced electron transfer to methylviologen leads to oxidative cleavage of the DNA as detected by gel electrophoresis. Electrochemical and spectrophotometric techniques used with organic substrates also can be used to monitor the oxidation of DNA. Abstraction of the ribose 4' hydrogen by ReO22+ is a possible mechanism.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This thesis is motivated by safety-critical applications involving autonomous air, ground, and space vehicles carrying out complex tasks in uncertain and adversarial environments. We use temporal logic as a language to formally specify complex tasks and system properties. Temporal logic specifications generalize the classical notions of stability and reachability that are studied in the control and hybrid systems communities. Given a system model and a formal task specification, the goal is to automatically synthesize a control policy for the system that ensures that the system satisfies the specification. This thesis presents novel control policy synthesis algorithms for optimal and robust control of dynamical systems with temporal logic specifications. Furthermore, it introduces algorithms that are efficient and extend to high-dimensional dynamical systems.

The first contribution of this thesis is the generalization of a classical linear temporal logic (LTL) control synthesis approach to optimal and robust control. We show how we can extend automata-based synthesis techniques for discrete abstractions of dynamical systems to create optimal and robust controllers that are guaranteed to satisfy an LTL specification. Such optimal and robust controllers can be computed at little extra computational cost compared to computing a feasible controller.

The second contribution of this thesis addresses the scalability of control synthesis with LTL specifications. A major limitation of the standard automaton-based approach for control with LTL specifications is that the automaton might be doubly-exponential in the size of the LTL specification. We introduce a fragment of LTL for which one can compute feasible control policies in time polynomial in the size of the system and specification. Additionally, we show how to compute optimal control policies for a variety of cost functions, and identify interesting cases when this can be done in polynomial time. These techniques are particularly relevant for online control, as one can guarantee that a feasible solution can be found quickly, and then iteratively improve on the quality as time permits.

The final contribution of this thesis is a set of algorithms for computing feasible trajectories for high-dimensional, nonlinear systems with LTL specifications. These algorithms avoid a potentially computationally-expensive process of computing a discrete abstraction, and instead compute directly on the system's continuous state space. The first method uses an automaton representing the specification to directly encode a series of constrained-reachability subproblems, which can be solved in a modular fashion by using standard techniques. The second method encodes an LTL formula as mixed-integer linear programming constraints on the dynamical system. We demonstrate these approaches with numerical experiments on temporal logic motion planning problems with high-dimensional (10+ states) continuous systems.