Results 1 to 10 of about 342,635 (308)
A calculus for Esterel: if can, can. if no can, no can. [PDF]
Proceedings of the ACM on Programming Languages, 2019 The language Esterel has found success in many safety-critical applications, such as fly-by-wire systems and nuclear power plant control software. Its imperative style is natural to programmers building such systems and its precise semantics makes it work well for reasoning about programs. Existing semantics of Esterel generally fall into two
Spencer P. Florence +3 more
openaire +1 more source
Current Approaches to PANS/PANDAS Diagnostics and Management
Вопросы современной педиатрии, 2020 PANS, or Pediatric Acute-onset Neuropsychiatric Syndrome, is characterized by the sudden onset of obsessive-compulsive syndrome and accompanied by anxiety, emotional lability and other symptoms.
Inna A. Kostik, Mikhail M. Kostik
doaj +1 more source
Revista Pesquisa em Fisioterapia, 2023 OBJECTIVES: Complaints of arm, neck, and shoulder (CANS) have been recognized as an important cause of work disability. Therefore, it is essential to identify those health risk factors for the development of CANS before they escalate into a disabling ...
Yughdtheswari Muniandy +3 more
doaj +1 more source
AIP Advances, 2021 Creating voids between thin films is a very effective method to improve thin film crystal quality. However, for AlN material systems, the AlN layer growth, including voids, is challenging because of the very high Al atom sticking coefficient.
Byeongchan So +8 more
doaj +1 more source
Multielement analysis in beer cans using X-ray fluorescence
Brazilian Journal of Radiation Sciences, 2022 In this study the elemental concentrations of twenty-three beer cans of different brands and nationalities were determined using X-ray fluorescence technique.
Gabriel da cruz ferreira +6 more
doaj +1 more source
Molecules, 2020 Chemical probes have been instrumental in microbiology since its birth as a discipline in the 19th century when chemical dyes were used to visualize structural features of bacterial cells for the first time.
Jonathan Hira +3 more
doaj +1 more source
Can they hack it? Yes they can [PDF]
BMJ, 2013 A smartphone app for patients to collect and compute home blood pressure readings clinched first prize at the inaugural BMJ hack day last ...
openaire +3 more sources
DEVELOPMENT OF CAN PASTEURIZATION WITH REFERENCE TO CONTINUOUS OPEN TYPE APPARATUS
Вестник Дагестанского государственного технического университета: Технические науки, 2016 In the paper are considered the problems connected with the development of scientifically valid can pasteurization regimes in the self-exhaustion tare in continuous open type apparatus operating under atmosphere pressure.
K. R. Gammatsaev, L. R. Ibragimova
doaj +1 more source
The Enigmatic Canal-Associated Neurons Regulate Caenorhabditis elegans Larval Development Through a cAMP Signaling Pathway. [PDF]
, 2019 Caenorhabditis elegans larval development requires the function of the two Canal-Associated Neurons (CANs): killing the CANs by laser microsurgery or disrupting their development by mutating the gene ceh-10 results in early larval arrest. How these cells
Chien, Jason +5 more
core +1 more source
Shipin gongye ke-ji, 2022 In order to investigate the migration amounts of bisphenol substances (BPs) in domestic food metal cans, a method of simultaneous detection of 14 kinds of BPs in food metal cans with high sensitivity was established by high performance liquid ...
Yuling ZHANG +7 more
doaj +1 more source