Search results for "Computation"
showing 10 items of 7362 documents
A trie-based approach for compacting automata
2004
International audience; We describe a new technique for reducing the number of nodes and symbols in automata based on tries. The technique stems from some results on anti-dictionaries for data compression and does not need to retain the input string, differently from other methods based on compact automata. The net effect is that of obtaining a lighter automaton than the directed acyclic word graph (DAWG) of Blumer et al., as it uses less nodes, still with arcs labeled by single characters.
Design of Reliable and Efficient Banki-Type Turbines
2020
A new shape for the external surface of the Crossflow turbine blades is proposed, which allows for the preservation of hydraulic efficiency in spite of a significant maximum blade thickness providing mechanic robustness and reliability. The final shape of the blades is assessed using an iterative solution for two uncoupled models: a 2D computational fluid dynamic (CFD) and a structural 3D finite element method (FEM) analysis of a single blade. Application of the proposed methodology to the design of a power recovery system (PRS) turbine, a new backpressure Crossflow-type inline turbine for pressure regulation, and energy production in a real Sicilian site follows.
Do Extremely Bent Allenes Exist?
2009
Bent allenes: Theoretical calculations show that extremely bent allenes, cyclic or acyclic, adopt a ground state that only bears a formal relationship to classical allenes. Consequently, five-membered ring allenes favor a carbene-like electronic structure and formally contain a trivalent carbon(II) center. peerReviewed
A quantitative assessment of intraspecific morphological variation in Gahagan bifaces from the southern Caddo area and central Texas
2019
This investigation aggregates intact or reconstructed Gahagan bifaces from the southern Caddo area and central Texas to test the hypothesis that Gahagan biface morphology differs between the regions. The Gahagan bifaces (n = 102) were scanned, then analysed using a novel landmarking protocol and the tools of geometric morphometrics. Results provide a preview of the significant differences in Gahagan biface morphology expressed between the southern Caddo area and central Texas regions. The size discrepancy represents an inversion of current theoretical constructs that posit a decrease in tool size thought to articulate with an increase in distance from the raw material source. It is posited …
Connections Between Single-Level and Bilevel Multiobjective Optimization
2011
The relationship between bilevel optimization and multiobjective optimization has been studied by several authors and there have been repeated attempts to establish a link between the two. We unify the results from the literature and generalize them for bilevel multiobjective optimization. We formulate sufficient conditions for an arbitrary binary relation to guarantee equality between the efficient set produced by the relation and the set of optimal solutions to a bilevel problem. In addition, we present specially structured bilevel multiobjective optimization problems motivated by real-life applications and an accompanying binary relation permitting their reduction to single-level multiob…
Unification of Graphs and Relations in Mizar
2020
Summary A (di)graph without parallel edges can simply be represented by a binary relation of the vertices and on the other hand, any binary relation can be expressed as such a graph. In this article, this correspondence is formalized in the Mizar system [2], based on the formalization of graphs in [6] and relations in [11], [12]. Notably, a new definition of createGraph will be given, taking only a non empty set V and a binary relation E ⊆ V × V to create a (di)graph without parallel edges, which will provide to be very useful in future articles.
Chemical Proteomics-Guided Identification of a Novel Biological Target of the Bioactive Neolignan Magnolol
2019
Understanding the recognition process between bioactive natural products and their specific cellular receptors is of key importance in the drug discovery process. In this outline, some potential targets of Magnolol, a natural bioactive compound, have been identified by proteomic approaches. Among them, Importin-β1 has been considered as the most relevant one. A direct binding between Magnolol and this nuclear chaperone has been confirmed by DARTS and molecular docking, while its influence on Importin-β1 translocation has been evaluated by in vitro assays.
Theoretical ab initio study of the vinylcarbene-CuO complex: application to last step of the propylene partial oxidation mechanism on Cu2O
1988
Abstract Using non-empirical pseudopotentials, we have performed a theoretical study on the last step of the propylene partial oxidation mechanism, the acrolein desorption from the catalyst surface. To represent the catalyst we have used a simplified model of a catalyst active site. We have study the C 3 H 4 CuO complex, analysing the dissociation process of the oxygenated complex from a metallic centre. The results indicate that this complex dissociates into cis - and trans -acrolein and a metal site, in a process without energetic barrier.
Natural acetogenins from annonaceae, synthesis and mechanisms of action
1998
The search concerning Annonaceous acetogenins has increased in the last two years. The goal of the present review is to summarize the knowledge about new isolated acetogenins as well as the advances in synthesis, biological activity and mechanism of action.
Preorganization and reorganization as related factors in enzyme catalysis: the chorismate mutase case.
2003
In this paper a deeper insight into the chorismate-to prephenate-rearrangement, catalyzed by Bacillus subtilis chorismate mutase, is provided by means of a combination of statistical quantum mechanics/molecular mechanics simulation methods and hybrid potential energy surface exploration techniques. The main aim of this work is to present an estimation of the preorganization and reorganization terms of the enzyme catalytic rate enhancement. To analyze the first of these, we have studied different conformational equilibria of chorismate in aqueous solution and in the enzyme active site. Our conclusion is that chorismate mutase preferentially binds the reactive conformer of the substrate--that…