Results 61 to 70 of about 139,845,986 (286)
Type A thymoma with simultaneous solitary intrapulmonary metastasis: A case report
A 79‐year‐old woman was referred to our facility because of an abnormal chest shadow. Chest computed tomography (CT) showed a solitary right middle lung nodule with a maximum diameter of 3 mm and anterior mediastinal nodule with a maximum diameter of 21 ...
Tsutomu Tatematsu +8 more
doaj +1 more source
AbstractCurrent data abstraction mechanisms are not adequate to control sharing of state in the general case involving objects in linked structures. The pervading possibility of sharing is a source of errors and an obstacle to language implementation techniques.Balloon types, which we have introduced in [2], are a general extension to programming ...
openaire +1 more source
Session Types as Generic Process Types [PDF]
In Proceedings EXPRESS/SOS 2014, arXiv:1408 ...
Simon J. Gay +2 more
openaire +5 more sources
ABSTRACT Background Cytomegalovirus (CMV) is a recognized trigger of immune thrombocytopenia (ITP); however, its incidence and impact on disease course in children remain controversial. Therefore, we aimed to characterize the clinical course of pediatric patients with CMV‐associated ITP.
Oded Gilad +9 more
wiley +1 more source
The aim of the study was to assess the new body measurements introduced in use for Romanian Black and White cows belonging to Holstein-Friesian breeds, and their influences on body indices. Researches were carried out on 66 adult Romanian Black and White
Ludovic Toma Cziszter +7 more
doaj
W-types in homotopy type theory [PDF]
We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition, we will discuss W-types in categories of simplicial presheaves and an application to models of set theory.
van den Berg, B., Moerdijk, I.
openaire +8 more sources
ABSTRACT Background Reduced bone mineral density (BMD) has been reported in survivors of childhood and young adult acute lymphoblastic leukaemia (ALL); however, data from cohorts treated with contemporary protocols and including matched controls remain limited.
Karen Schow Jensen +10 more
wiley +1 more source
A Maupertuis-type principle in relativistic mechanics and applications
We provide a Maupertuis-type principle for the following system of ODE, of interest in special relativity: d/dt (mx˙/√1 −|˙x|2/c2) = ∇V(x), x ∈ ⊂ Rn, where m, c > 0 and V : → R is a function of class C1.
Dambrosio, Walter +2 more
core +1 more source
Madame Davit: Gaudir de la natura: La il·lustració botànica des de la perspectiva de gènere
Suzanne Davit (París, 1897–Barcelona, 1973) és poc coneguda i estudiada, tot i la rellevància del seu llegat en la il·lustració botànica catalana de començament i de mitjan segle xx.
Àngels Viladomiu, Àngel Romo
doaj +1 more source
LoSI: Large Scale Location Inference Through FM Signal Integration and Estimation
In this paper we present a large scale, passive positioning system that can be used for approximate localization in Global Positioning System (GPS) denied/spoofed environments.
Tathagata Mukherjee +5 more
doaj +1 more source

