Báo cáo khoa học: "Geometry of Lexico-Syntactic Interaction" pot

... (Cut-free) proofs of any sequent by traversing the finite space of proof search without Cut. By way of illustration of the sequent calculus, the following is a proof of a theorem of lifting, ... succedent of sequents is replaced by assignment of polarity: input (negative) for antecedent and output (positive) for succedent. A In the id and Cut links X and -X proof-net...

Ngày tải lên: 31/03/2014, 21:20

... the mechanism of action of PPI1. The analysis of the pH dependence of PPI1- induced activation of the H + -ATPase showed that stimulation decreases dramatically with the increase of pH above pH ... with PPI1 588 His 6 . The analysis of the effect of PPI1 588 His 6 on the dependence of PM H + -ATPase activity on the concen- tration of MgATP (Fig. 3) showed that stimulation...

Ngày tải lên: 19/02/2014, 07:20

... mitochondria. Studies of the mechanism of assembly of the bc 1 complex suggest that the ISP is one of the last subunits to be integrated within the membrane-bound subcomplex [2]. The integration of the ISP ... greater detail below. Instability of the mutant enzyme Further analysis of the kinetic parameters of the G167E mutant was hindered by rapid inhibition of the activity...

Ngày tải lên: 07/03/2014, 15:20

... date, mapping of the interaction site of CP12 had not studied but our results give some clues with regard to the binding of CP12 to GAPDH. The impact of CP12 binding on the activity of GAPDH is ... changes in activities of the enzymes is thus of crucial importance to find a general mode of light regulation of the Calvin cycle in all photosynthetic organisms. GAPDH is composed...

Ngày tải lên: 16/03/2014, 13:20

... possible consequences of closing t, i.e. a set of modifications of the m~nory M resulting fran t-interactings which rea- lize the potential scripts of Scr; Aim is a subset of Cnsq which conventionally ... about the world. State of M at moment z (i.e. M ) is a consistent subset of propositions from {~}, each of which being characterized by index of certainty. The machin...

Ngày tải lên: 18/03/2014, 02:20

... obtain an energy gradient of < 10 )4 , using the twin-range cutoff method for nonbonded interactions, with a long-range cutoff of 14 A ˚ and a short-range cutoff of 8 A ˚ . Acknowledgements We ... presence of a Pro in posi- tion 2 of compound 3 is responsible for the occurrence of the second conformation, conformation B (Fig. 11). Accordingly, the mirror image of the conforma...

Ngày tải lên: 23/03/2014, 07:20

... preference factor of the item itself is used to decide the level of de- tail of the description being generated. The prefer- ence factors of the properties are used to order the contents of the descriptions ... the screening of videos from an embodied instantiation of the system as a robot guiding visitors in a museum. 2 Technical Content The demonstration integrates a number o...

Ngày tải lên: 22/02/2014, 02:20

... accurate determination of the FAD potentials, titrations of the NR1 FAD/NADPH domain were per- formed on samples of identical concentration over small ranges (100–150 mV) of the potential range, moving ... Biol. Chem. 256,266– 277. 27. Dutton, P. (1978) Redox potentiometry: determination of mid- point potentials of oxidation-reduction components of biological electron-transfer s...

Ngày tải lên: 23/03/2014, 21:20

... 1, 2.5 lg of GST-ExoS(wt); lane 2, 1.25 lg of GST-ExoS(wt); lane 3, 0.75 lg of GST-ExoS(wt); lane 4, 2.5 lg of GST-ExoS(L426A); lane 5, 1.25 lg of GST-ExoS(L426A); lane 6, 0.75 lg of GST-ExoS(L426A); ... 2.5 lg of GST-ExoS(D427A); lane 8, 1.25 lg of GST-ExoS(D427A); lane 9, 0.75 lg of GST-ExoS(D427A); lane 10, 2.5 lg of GST-ExoS(L428A); lane 11, 1.25 lg of GST-ExoS(L428A...

Ngày tải lên: 19/02/2014, 08:20

... properties of an additional natural component of the thin filament framework, nebulin. Nebulin spans the entire length of thin filaments and is capable of modulating the r ate of formation of the a ... Inhibition of the ATPase activity was then explained by a slowing down of the formation of active complex in solution. On the other hand, the acceleration of the sliding veloc...

Ngày tải lên: 19/02/2014, 16:20