Results 51 to 60 of about 94,428 (211)
Logical Methods in Computer ScienceMeasurable cones, with linear and measurable functions as morphisms, are a model of intuitionistic linear logic and of call-by-name probabilistic PCF which accommodates "continuous data types" such as the real line. So far however, they lacked a major feature to make them a model of more general probabilistic programming languages ...
Ehrhard, Thomas, Geoffroy, Guillaume
openaire +6 more sources
Exploring adaptations to the modified shuttle walking test [PDF]
, 2013 Objective: The 10 m modified shuttle walking test (MSWT) is recommended to determine the functional capacity in older individuals and for patients entering cardiac rehabilitation.
Steve Meadows +5 more
core +1 more source
Frontiers in Microbiology, 2020 Antarctic perennially ice-covered lakes provide a stable low-disturbance environment where complex microbially mediated structures can grow. Lake Untersee, an ultra-oligotrophic lake in East Antarctica, has the lake floor covered in benthic microbial mat
Carla Greco +7 more
doaj +1 more source
Commissural Axon Kinetics and the Role of Netrin in Early Brain Circuitry Development [PDF]
, 2005 As neurons begin to differentiate, they send out processes called axons to initiate the formation of functional nerve connections. A specialized structure at the end of an axon called the growth cone is believed to possess the impressive navigational and
Bak-Maier, Magdalena
core +1 more source
eLifeHuman cone photoreceptors differ from rods and serve as the retinoblastoma cell-of-origin, yet the developmental basis for their distinct behaviors is poorly understood. Here, we used deep full-length single-cell RNA-sequencing (scRNA-seq) to distinguish
Dominic WH Shayler +20 more
doaj +1 more source
Resonance Cones in the Field Pattern of a Short Radio Frequency Probe in a Warm Anisotropic Plasma [PDF]
, 1970 An experimental investigation of the angular field pattern of a small radio frequency probe in a plasma in a magnetic field is described. The field is observed to become very large along a resonance cone whose axis is parallel to the static magnetic ...
Fisher, R. K., Fisher, Raymond Kurt
core +1 more source
Atp1b2Atp1b1 Knock-In Mice Exhibit a Cone–Rod Dystrophy-Like Phenotype
CellsThe Na,K-ATPase is a heterodimeric ion pump consisting of various combinations of a catalytic α-subunit (α1, α2, α3, or α4, encoded by ATP1A1–ATP1A4) and a β-subunit (β1, β2, or β3, encoded by ATP1B1–ATP1B3).
Susanne Bartsch +5 more
doaj +1 more source
III.—Notes on “Cone-In-Cone” Structure [PDF]
Geological Magazine, 1887 In Decade III. Vol. II. of the GEOLOGICAL MAGAZINE, for 1885, at page 283, an abstract of a paper on “ Cone-in-Cone ” by Mr. John Young, F.G.S., of Glasgow, was given. The author of this interesting paper has kindly presented the writer with a copy of it, to which, since it was readinGlasgow last year, has been added some additional remarks, together ...
openaire +2 more sources
Volume, cones e cilindros - Parte I
, 2016 Ensino Médio::MatemáticaAntônio e Mariana são colegas de escola e na hora do lanche seu João, dono da cantina, lhes faz um desafio: em que tipo de copo é necessário menos liquido para atingir metade da sua altura, o cônico ou o cilíndrico? Caso acertem o
Martins, Lourival Pereira +6 more
core +1 more source