Search results for "complexi"
showing 10 items of 1116 documents
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.
Molecular spreading and predictive value of preclinical IgE response to Phleum pratense in children with hay fever.
2012
Background IgE sensitization against grass pollen is a cause of seasonal allergic rhinitis. Objective We sought to investigate the evolution at the molecular level and the preclinical predictive value of IgE responses against grass pollen. Methods The German Multicentre Allergy Study examined a birth cohort born in 1990. A questionnaire was administered yearly, and blood samples were collected at 1, 2, 3, 5, 6, 7, 10, and 13 years of age. Grass pollen–related seasonal allergic rhinitis (SARg) was diagnosed according to nasal symptoms in June/July. Serum IgE antibodies to Phleum pratense extract and 8 P pratense molecules were tested with immune-enzymatic singleplex and multiplex assays, res…
Functional and genetic deconstruction of the cellular origin in liver cancer.
2015
During the past decade, research on primary liver cancers has particularly highlighted the uncommon plasticity of differentiated parenchymal liver cells (that is, hepatocytes and cholangiocytes (also known as biliary epithelial cells)), the role of liver progenitor cells in malignant transformation, the importance of the tumour microenvironment and the molecular complexity of liver tumours. Whereas other reviews have focused on the landscape of genetic alterations that promote development and progression of primary liver cancers and the role of the tumour microenvironment, the crucial importance of the cellular origin of liver cancer has been much less explored. Therefore, in this Review, w…
Vinylcyclopropane [3+2] Cycloaddition with Acetylenic Sulfones Based on Visible Light Photocatalysis
2021
We describe the first intermolecular visible light [3+2] cycloaddition reaction being performed on a meta photocycloadduct employing acetylenic sulfones. The developed methodology exploits the advantages of combining UV and Visible light in a two-step sequence that provides a photogenerated cyclopropane which, through a strain-release process, generates a new cyclopentane ring while increasing significally the molecular complexity. This strategy could be extended to simpler vinylcyclopropanes.