Search results for "complexity"
showing 10 items of 1094 documents
A two-step method for the purification of C1
1972
Verschiedene Parameter fur die Ausfallung der C1-enthaltenden Euglobulinfraktion aus Serum fur die Anlagerung von C1 an sensibilisierte Erythrocytenstromata und fur die anschliesende Abdissoziation des C1 vom Antigen-Antikorperkomplex wurden untersucht mit Hinblick auf optimale Ausbeute an funktionell aktivem C1. Die Untersuchungen fuhrten zu dem folgenden Praparationsweg fur C1.
Multistage Dynamics of International Environmental Agreements: Free-riding from Membership and Compliance*
2009
Abstract In dealing with the multistage dynamics of international environmental agreements (IEAs), it is necessary to analyze the dynamics of global emission level associated with the corresponding abatement process. We model multilateral collaboration among countries as a two-level coalitional game of heterogeneous players with a stepwise emission reduction over a finite and discretized period of time. The formed coalition is assumed to hold a leader's position in the game, and the players that did not join the agreement (free-riders) are assumed to accept a position of the followers. To analyze fulfillment of the emission reduction targets, we construct a time-consistent abatement scheme,…
Deciding properties of integral relational automata
1994
This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2021
One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correc…
Verification of scope-dependent hierarchical state machines
2008
AbstractA hierarchical state machine (Hsm) is a finite state machine where a vertex can either expand to another hierarchical state machine (box) or be a basic vertex (node). Each node is labeled with atomic propositions. We study an extension of such model which allows atomic propositions to label also boxes (Shsm). We show that Shsms can be exponentially more succinct than Shsms and verification is in general harder by an exponential factor. We carefully establish the computational complexity of reachability, cycle detection, and model checking against general Ltl and Ctl specifications. We also discuss some natural and interesting restrictions of the considered problems for which we can …
Flexible modeling for anatomically-based cardiac conduction system construction.
2010
We present a method to automatically deploy the peripheral section of the cardiac conduction system in ventricles. The method encodes anatomical information thorough rules that ensure that Purkinje network structures generated are realistic and comparable to those observed in ex-vivo studies. The core methodology is based in non-deterministic production rules that are parameterized by means of statistical functions. Input parameters allow the construction of a great diversity of Purkinje structures that could be incorporated in fine element ventricular models to perform electrophysiology simulations. Resulting Purkinje trees show good geometrical approximations of Purkinje core network and …
The solution behavior of dopamine in the presence of mono and divalent cations: A thermodynamic investigation in different experimental conditions
2021
The interactions of dopamine [2-(3,4-Dihydroxyphenyl)ethylamine, (Dop-)] with methylmercury(II) (CH3Hg+), magnesium(II), calcium(II), and tin(II) were studied in NaCl(aq) at different ionic strengths and temperatures. Different speciation models were obtained, mainly characterized by mononuclear species. Only for Sn2+ we observed the formation of binuclear complexes (M2L2 and M2LOH (charge omitted for simplicity)
Modification of Nanocrystalline WO3 with a Dicationic Perylene Bisimide: Applications to Molecular Level Solar Water Splitting
2015
[(N,N?-Bis(2-(trimethylammonium)ethylene) perylene 3,4,9,10-tetracarboxylic acid bisimide)(PF6)2] (1) was observed to spontaneously adsorb on nanocrystalline WO3 surfaces via aggregation/hydrophobic forces. Under visible irradiation (? > 435 nm), the excited state of 1 underwent oxidative quenching by electron injection (kinj > 108 s-1) to WO3, leaving a strongly positive hole (Eox ? 1.7 V vs SCE), which allows to drive demanding photo-oxidation reactions in photoelectrochemical cells (PECs). The casting of IrO2 nanoparticles (NPs), acting as water oxidation catalysts (WOCs) on the sensitized electrodes, led to a 4-fold enhancement in photoanodic current, consistent with hole transfer from …
Protein knot server: detection of knots in protein structures
2007
KNOTS (http://knots.mit.edu) is a web server that detects knots in protein structures. Several protein structures have been reported to contain intricate knots. The physiological role of knots and their effect on folding and evolution is an area of active research. The user submits a PDB id or uploads a 3D protein structure in PDB or mmCIF format. The current implementation of the server uses the Alexander polynomial to detect knots. The results of the analysis that are presented to the user are the location of the knot in the structure, the type of the knot and an interactive visualization of the knot. The results can also be downloaded and viewed offline. The server also maintains a regul…
Recent Advances in Enantioselective Desymmetrizations of Prochiral Oxetanes
2021
Abstract Strain relief of oxetanes offers a plethora of opportunities for the synthesis of chiral alcohols and ethers. In this context, enantioselective desymmetrization has been identified as a powerful tool to construct molecular complexity and this has led to the development of elegant strategies on the basis of transition metal, Lewis acid, and Brønsted acid catalysis. This review highlights recent examples that harness the inherent reactivity of prochiral oxetanes and offers an outlook on the immense possibilities for synthetic application.