Search results for "reduction"
showing 10 items of 2058 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…
In Silico Insights into the SARS CoV-2 Main Protease Suggest NADH Endogenous Defences in the Control of the Pandemic Coronavirus Infection
2020
COVID-19 is a pandemic health emergency faced by the entire world. The clinical treatment of the severe acute respiratory syndrome (SARS) CoV-2 is currently based on the experimental administration of HIV antiviral drugs, such as lopinavir, ritonavir, and remdesivir (a nucleotide analogue used for Ebola infection). This work proposes a repurposing process using a database containing approximately 8000 known drugs in synergy structure- and ligand-based studies by means of the molecular docking and descriptor-based protocol. The proposed in silico findings identified new potential SARS CoV-2 main protease (MPRO) inhibitors that fit in the catalytic binding site of SARS CoV-2 MPRO. Several sel…
Inhibitory effects and oxidation of 6-methylcoumarin, 7-methylcoumarin and 7-formylcoumarin via human CYP2A6 and its mouse and pig orthologous enzymes
2015
1. Information about the metabolism of compounds is essential in drug discovery and development, risk assessment of chemicals and further development of predictive methods. 2. In vitro and in silico methods were applied to evaluate the metabolic and inhibitory properties of 6-methylcoumarin, 7-methylcoumarin and 7-formylcoumarin with human CYP2A6, mouse CYP2A5 and pig CYP2A19. 3. 6-Methylcoumarin was oxidized to fluorescent 7-hydroxy-6-methylcoumarin by CYP2A6 (Km: 0.64-0.91 µM; Vmax: 0.81-0.89 min(-1)) and by CYP2A5 and CYP2A19. The reaction was almost completely inhibited at 10 µM 7-methylcoumarin in liver microsomes of human and mouse, but in pig only 40% inhibition was obtained with the…
Elucidation of Pathways for NO Electroreduction on Pt(111) from First Principles
2015
The mechanism of nitric oxide electroreduction on Pt(111) is investigated using a combination of first principles calculations and electrokinetic rate theories. Barriers for chemical cleavage of N-O bonds on Pt(111) are found to be inaccessibly high at room temperature, implying that explicit electrochemical steps, along with the aqueous environment, play important roles in the experimentally observed formation of ammonia. Use of explicit water models, and associated determination of potential-dependent barriers based on Bulter-Volmer kinetics, demonstrate that ammonia is produced through a series of water-assisted protonation and bond dissociation steps at modest voltages (0.3 V). In addit…
Cu(II) complexes with a sulfonamide derived from benzoguanamine. Oxidative cleavage of DNA in the presence of H2O2 and ascorbate
2004
Reaction between benzoguanamine (2,4-diamino-6-phenyl-1,3,5-triazine) and 2-mesitylenesulfonyl chloride leads to formation of a sulfonamide able to form two mononuclear Cu(II) complexes with a CuL(2) stoichiometry. The local environment of the metal cation is a distorted octahedron, with two ligands and two solvent molecules; both complexes crystallize in the monoclinic structure, space group P2(1), with Z=2. In the presence of ascorbate/H(2)O(2,) the two complexes significantly cleavage double-strand pUC18 DNA plasmid. Both complexes exhibit more nuclease efficiency that the copper phenantroline complex. From scavenging reactive oxygen studies we conclude that the hydroxyl radical and a si…
Antiferromagnetic porous metal-organic framework containing mixed-valence [Mn(II)4Mn(III)2(μ4-O)2]10+ units with catecholase activity and selective g…
2012
A multifunctional porous metal organic framework based on mixed-valence hexa-nuclear [Mn(III)(2)Mn(II)(4)O(2)(pyz)(2)(C(6)H(5)CH(2)COO)(10)] (pyz = pyrazine) units has been synthesized. The complex has been characterized by elemental analysis, IR spectroscopy, single-crystal X-ray diffraction analysis, and variable-temperature magnetic measurements. The structural analysis reveals that the bidentate pyz molecules connect each [Mn(6)] unit to its four [Mn(6)] neighbors through the peripheral Mn(II) centers, giving rise to a three-dimensional (3D) distorted diamond-like porous framework. Variable-temperature (2-300 K) magnetic susceptibility measurements show the presence of dominant antiferr…
Syntheses, crystal structures, and oxidative DNA cleavage of some Cu(II) complexes of 5-amino-3-pyridin-2-yl-1,2,4-triazole
2004
Three new monomeric Cu(II) complexes of 5-amino-3-pyridin-2-yl-1,2,4-triazole (Hapt), [Cu(Hapt)(H(2)O)(2)(SO(4))] (1), [Cu(Hapt)(2)(H(2)O)(NO(3))](NO(3)) (2), and [Cu(Hapt)(2)(NCS-N)](NCS).H(2)O (3), have been prepared and characterized by single crystal X-ray diffraction. One distorted [CuN(2)O(2)+O(')] square-pyramidal (1), one distorted [CuN(3)O+N(')+O(')] octahedral (2), and one distorted [CuN(4)+N(')] intermediate between square-pyramidal and trigonal-bipyramidal (3) coordination configuration were found and are suggested to be due to the chelating nature of the ligand, which interacts with Cu(II) through the N4(triazole) and N(pyridine) atoms. Spectral properties of these chelates are…
Tetrathiafulvalene-Based Mixed-Valence Acceptor-Donor-Acceptor Triads: A Joint Theoretical and Experimental Approach
2013
This work presents a joint theoretical and experimental characterisation of the structural and electronic properties of two tetrathiafulvalene (TTF)-based acceptor-donor-acceptor triads (BQ-TTF-BQ and BTCNQ-TTF - BTCNQ; BQ is naphthoquinone and BTCNQ is benzotetracyano-p-quinodimethane) in their neutral and reduced states. The study is performed with the use of electrochemical, electron paramagnetic resonance (EPR), and UV/Vis/NIR spectroelectrochemical techniques guided by quantum-chemical calculations. Emphasis is placed on the mixed-valence properties of both triads in their radical anion states. The electrochemical and EPR results reveal that both BQ-TTF-BQ and BTCNQ-TTF-BTCNQ triads in…
Dicopper(II) Anthraquinophanes as Multielectron Reservoirs for Oxidation and Reduction: A Joint Experimental and Theoretical Study
2014
Two new dinuclear copper(II) metallacyclophanes with 1,4-disubstituted 9,10-anthraquinonebis(oxamate) bridging ligands are reported that can reversibly take and release electrons at the redox-active ligand and metal sites, respectively, to give the corresponding mono- and bis(semiquinonate and/or catecholate) Cu(II)2 species and mixed-valent Cu(II)/Cu(III) and high-valent Cu(III)2 ones. Density functional calculations allow us to give further insights on the dual ligand- and metal-based character of the redox processes in this novel family of antiferromagnetically coupled di- copper(II) anthraquinophanes. This unique ability for charge storage could be the basis for the development of new k…
All hierarchical levels are involved in conformational transitions of the 4×6-meric tarantula hemocyanin upon oxygenation
2002
The respiratory protein of the tarantula Eurypelma californicum is a 4 x 6-meric hemocyanin that binds oxygen with high cooperativity. This requires the existence of different conformations which have been confirmed by small angle X-ray scattering (SAXS). Here we present reconstructed 3D-models of the oxy- and deoxy-forms of tarantula hemocyanins, as obtained by fitting small angle X-rays scattering curves on the basis of known X-ray structures and electron microscopy of related hemocyanins. For the first time, the involvement of movements at all levels of the quaternary structure was confirmed for an arthropod hemocyanin upon oxygenation. The two identical 2 x 6-meric half-molecules of the…