Neural activity and new methods of computational analysis in the model of mammalian brain cortex

Analysis of the real brain’s neural activity can be performed in many different ways like forexample electroencephalography. Sometimes the value of neural membrane potential is collectedeven from particular cells, using electrodes in neurophysiological experiments. However, thisinvasive method can be performed only on animals and in most cases leads to death of theexperiment’s subject. Computer modelling and simulation are often very important for the designof real experiments and in this paper we present the set of three new methods of neurodynamicalanalysis, two of them analogical to the probing used in neurophysiology andelectroencephalography. We show that in some cases our approach can be even more effectivethan the techniques used in bio-medical laboratories

Generalized quantum measurements and local realism

The structure of a local hidden variable model for experiments involving sequences of measurements rigorously is analyzed. Constraints imposed by local realism on the conditional probabilities of the outcomes of such measurement schemes are explicitly derived. The violation of local realism in the case of ``hidden nonlocality'' is illustrated by an operational example.Comment: Revtex, 12 pages; Some modifications of introduction has been made; a note stating that part of results had been obtained earlier by other authors, has been added; one postscript figure available at request from [email protected]

The influence of patient-controlled epidural analgesia on labor progress and neonatal outcome

Abstract Aim: The aim of the study was to check the influence of patient control epidural analgesia on labor progress and neonatal outcome. Material and methods: 144 parturients were included into the clinical trial. In 73 cases patient control epidural analgesia was used and in 71 cases pethidine (meperidine) solution was given intravenously. Apgar score, umbilical artery pH, pain intensity, the time of the first, second and third stage of labor, the rate of episiotomy and uterine postpartum abrasions and the rate of caesarean sections and vaginal operative delivery were compared. Results: The time of the second stage of labor was significantly longer in the study group (40.99 vs 26.49min, p

Long-term day-by-day tracking of microvascular networks sprouting in fibrin gels: From detailed morphological analyses to general growth rules

Understanding and controlling of the evolution of sprouting vascular networks remains one of the basic challenges in tissue engineering. Previous studies on the vascularization dynamics have typically focused only on the phase of intense growth and often lacked spatial control over the initial cell arrangement. Here, we perform long-term day-by-day analysis of tens of isolated microvasculatures sprouting from endothelial cell-coated spherical beads embedded in an external fibrin gel. We systematically study the topological evolution of the sprouting networks over their whole lifespan, i.e., for at least 14 days. We develop a custom image analysis toolkit and quantify (i) the overall length and area of the sprouts, (ii) the distributions of segment lengths and branching angles, and (iii) the average number of branch generations—a measure of network complexity. We show that higher concentrations of vascular endothelial growth factor (VEGF) lead to earlier sprouting and more branched networks, yet without significantly affecting the speed of growth of individual sprouts. We find that the mean branching angle is weakly dependent on VEGF and typically in the range of 60°–75°, suggesting that, by comparison with the available diffusion-limited growth models, the bifurcating tips tend to follow local VEGF gradients. At high VEGF concentrations, we observe exponential distributions of segment lengths, which signify purely stochastic branching. Our results—due to their high statistical relevance—may serve as a benchmark for predictive models, while our new image analysis toolkit, offering unique features and high speed of operation, could be exploited in future angiogenic drug tests

ℤ-modules

In this article, we formalize Z-module, that is a module over integer ring. ℤ-module is necassary for lattice problems, LLL (Lenstra-Lenstra-Lovász) base reduction algorithm and cryptographic systems with lattices [11].Futa Yuichi - Shinshu University, Nagano, JapanOkazaki Hiroyuki - Shinshu University, Nagano, JapanShidama Yasunari - Shinshu University, Nagano, JapanGrzegorz Bancerek. Curried and uncurried functions. Formalized Mathematics, 1(3):537-541, 1990.Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Józef Białas. Group and field definitions. Formalized Mathematics, 1(3):433-439, 1990.Czesław Byliński. Basic functions and operations on functions. Formalized Mathematics, 1(1):245-254, 1990.Czesław Byliński. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.Daniele Micciancio and Shafi Goldwasser. Complexity of lattice problems: A cryptographic perspective (the international series in engineering and computer science). 2002.Christoph Schwarzweller. The binomial theorem for algebraic structures. Formalized Mathematics, 9(3):559-564, 2001.Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115-122, 1990.Andrzej Trybulec. Tuples, projections and Cartesian products. Formalized Mathematics, 1(1):97-105, 1990.Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.Stanisław Żukowski. Introduction to lattice theory. Formalized Mathematics, 1(1):215-222, 1990