Computing Approximations of Linear Transition Systems [PDF]
, 2003 Transition systems have been intensively applied to the modelling of complex systems. Their safety properties can be verified using model-checking procedures by iterative computation of fixed points.
Musset, Julien, Rusinowitch, Michaël
core +1 more source
Constantin and Iyer's representation formula for the Navier--Stokes equations on manifolds
, 2017 The purpose of this paper is to establish a probabilistic representation formula for the Navier--Stokes equations on compact Riemannian manifolds. Such a formula has been provided by Constantin and Iyer in the flat case of $\mathbb R^n$ or of $\mathbb T ...
Fang, Shizan, Luo, Dejun
core +2 more sources
Productivity of Florida Springs: Second semi-annual report to the Biology Division, Office of Naval Research progress from February 1, 1953 to June 30, 1953 [PDF]
, 1953 During this second six months emphasis has been laid on developing a complete understanding of the metabolism of the Silver Springs ecosystem as an example of a community apparently in a steady state.
Galindo, Osilio +3 more
core
Intervención neuropsicológica de la atención en niños con TADH: una revisión sistémica
, 2021 El presente estudio tuvo como objetivo principal realizar una revisión sistemática sobre las actuales intervenciones neuropsicológicas de la atención para lograr con éxito la rehabilitación de dicha función cognitiva en niños con TDAH. Para elaborar la pregunta se usó la estrategia PICOS (Participantes: Niños con TDAH; Intervención: Intervención ...
openaire +1 more source
Collective dynamics of flowing colloids during pore clogging [PDF]
, 2014 Based on direct numerical simulations of the coupled motion of particles and fluid, this study analyzes the collective hydrodynamic and colloidal effects of flowing microparticles during the formation of different 3D clogging patterns at a pore entrance.
Agbangla, Gbedo Constant +2 more
core +1 more source
Paxillin facilitates timely neurite initiation on soft-substrate environments by interacting with the endocytic machinery. [PDF]
, 2017 Neurite initiation is the first step in neuronal development and occurs spontaneously in soft tissue environments. Although the mechanisms regulating the morphology of migratory cells on rigid substrates in cell culture are widely known, how soft ...
Chang, Ting-Ya +9 more
core +2 more sources
New families of single integration vectors and gene tagging plasmids for genetic manipulations in budding yeast. [PDF]
, 2016 The tractability of the budding yeast genome has provided many insights into the fundamental mechanisms regulating cellular life. With the advent of synthetic biology and single-cell measurements, novel tools are required to manipulate the yeast genome ...
Aymoz, D. +5 more
core +1 more source
FTO gene: Historic background and its relationship with chronic-degenerative diseases [PDF]
, 2018 Indexación: Scopus; Latindex.Alteraciones en el desarrollo de la atención y la organización conductual pueden configurar cuadros clínicos como el trastorno déficit de atención (TDA) que puede estar acompañado o no de hiperactividad (TDAH), este ...
Añez, R. +16 more
core
(Bosonic)Mass Meets (Extrinsic)Curvature
, 2002 In this paper we discuss the mechanism of spontaneous symmetry breaking from the point view of vacuum pairs, considered as ground states of a Yang-Mills-Higgs gauge theory.
Englert +7 more
core +1 more source
La educación física y sus beneficios en el alumnado TADH
, 2020 Varios estudios afirman los beneficios que el alumnado que presenta algunas dificultades en el aula puede verse influenciado de manera positiva debido a la práctica habitual de actividad física. Al mismo tiempo, el currículo de educación contempla la asignatura de Educación Física que se encuentra directamente relacionada con el movimiento y la ...
openaire +1 more source