Results 21 to 30 of about 97,171 (272)

LSCs: Breathing Life into Message Sequence Charts [PDF]

Formal Methods in System Design, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Damm, Werner, Harel, David
openaire   +1 more source

Luminescent solar concentrators. 2: Experimental and theoretical analysis of their possible efficiencies [PDF]

, 1981
Experimental techniques are developed to determine the applicability of a particular luminescing center for use in a luminescent solar concentrator (LSC). The relevant steady-state characteristics of eighteen common organic laser dyes are given.
Batchelder, J. S., Cole, T., Zewail, A. H.   +2 more
core   +1 more source

Concurrent LSC Verification

Electronic Notes in Theoretical Computer Science, 2006
Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whether a model satisfies an LSC requirement, the LSC's POSA can be composed in parallel to the model as an observer automaton or it can be translated to a CTL or LTL formula ...
Toben, Tobe, Westphal, Bernd
openaire   +2 more sources

Assessment of Sr-90 in water samples: precision and accuracy

Brazilian Journal of Radiation Sciences, 2019
The study of artificial radionuclides dispersion into the environment is very important to control the nuclear waste discharges, nuclear accidents and nuclear weapons testing.
Marcelo Bessa Nisti, Cátia H.R. Saueia, Bruna Castilho, Barbara P. Mazzilli   +3 more
doaj   +1 more source

Pelvic organ prolapse and uterine preservation: a cohort study (POP-UP study)

BMC Women's Health, 2021
Background Abdominal and laparoscopic sacro-colpopexy (LSC) is considered the standard surgical option for the management of a symptomatic apical pelvic organ prolapse (POP).
Daniel Gagyor, Vladimir Kalis, Martin Smazinka, Zdenek Rusavy, Radovan Pilka, Khaled M. Ismail   +5 more
doaj   +1 more source

Role of the bone morphogenic protein pathway in developmental haemopoiesis and leukaemogenesis [PDF]

, 2016
Myeloid leukaemias share the common characteristics of being stem cell-derived clonal diseases, characterised by excessive proliferation of one or more myeloid lineage.
Toofan, Parto, Wheadon, Helen
core   +1 more source

Effect of Scintillation Cocktail and Quenching Calibration Method on Measurement of 55Fe by LSC

He huaxue yu fangshe huaxue
In order to optimize the measurement conditions of 55Fe by liquid scintillation counting, the effect of three kinds of commercial scintillation cocktail and two efficiency correction methods on LSC measurements of 55Fe was tested.
MA Li-na, DAI Xiong-xin, ZHANG Hui, MA Yan, SONG Li-juan   +4 more
doaj   +1 more source

Simultaneous inhibition of Sirtuin 3 and cholesterol homeostasis targets acute myeloid leukemia stem cells by perturbing fatty acid β-oxidation and inducing lipotoxicity

Haematologica, 2023
Outcomes for patients with acute myeloid leukemia (AML) remain poor due to the inability of current therapeutic regimens to fully eradicate disease-initiating leukemia stem cells (LSC).
Cristiana O’Brien, Tianyi Ling, Jacob M. Berman, Rachel Culp-Hill, Julie A. Reisz, Vincent Rondeau, Soheil Jahangiri, Jonathan St-Germain, Vinitha Macwan, Audrey Astori, Andy Zeng, Jun Young Hong, Meng Li, Min Yang, Sadhan Jana, Fabia Gamboni, Emily Tsao, Weiyi Liu, John E. Dick, Hening Lin, Ari Melnick, Anastasia Tikhonova, Andrea Arruda, Mark D. Minden, Brian Raught, Angelo D'Alessandro, Courtney L. Jones   +26 more
doaj   +1 more source

(Leftmost-Outermost) Beta Reduction is Invariant, Indeed [PDF]

, 2015
Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is lambda-calculus a reasonable machine?
Accattoli, Beniamino, Lago, Ugo Dal
core   +5 more sources

Dynamics and Statistics of Reorientations of Large-Scale Circulation in Turbulent Rotating Rayleigh-B\'{e}nard Convection

, 2019
We present a direct numerical simulation to investigate the dynamics and statistics of reorientations of large-scale circulation (LSC) in turbulent rotating Rayleigh-B\'{e}nard convection (RRBC) for air ($Pr=0.7$) contained in a cylindrical cell with ...
De, Arnab Kumar, Mishra, Pankaj Kumar, Vishnu, Venugopal T   +2 more
core   +1 more source