Results 11 to 20 of about 3,165,692 (263)
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Моделирование и анализ информационных систем, 2017 This work represents the further development of the method for definite iteration verification [7]. It extends the mixed axiomatic semantics method [1] suggested for C-light program verification. This extension includes a verification method for definite
Ilya V. Maryasov +2 more
doaj +4 more sources
Assessment of Ultraviolet-C Light for Sterilization of Hysteroscopy Instruments. [PDF]
CureusObjective To evaluate the sterilization efficacy of hysteroscopy instruments using ultraviolet C (UV-C) light at a wavelength of 259 nm in the Endoscopic Diagnostic Center of the National Institute of Perinatology. Methods Consecutive patients undergoing office hysteroscopy via the Bettochi vaginoscopy technique were included, excluding those with ...
Mora-Galván JA +5 more
europepmc +3 more sources
Aerosol Susceptibility of Influenza Virus to UV-C Light [PDF]
Applied and Environmental Microbiology, 2012 ABSTRACTThe person-to-person transmission of influenza virus, especially in the event of a pandemic caused by a highly virulent strain of influenza, such as H5N1 avian influenza, is of great concern due to widespread mortality and morbidity. The consequences of seasonal influenza are also substantial.
James J, McDevitt +2 more
openaire +2 more sources
Scientific Reports, 2020 With the rapid evolution of synchrotron X-ray sources, the demand for high-precision X-ray mirrors has greatly increased. Single nanometer profile error is required to keep imaging capability at the diffraction limit. Ion Beam Figuring (IBF), as a highly
Tianyi Wang +6 more
doaj +1 more source
Long-lasting XUV activation of helium nanodroplets for avalanche ionization
New Journal of Physics, 2023 We study the dynamics of avalanche ionization of pure helium nanodroplets activated by a weak extreme-ultraviolet (XUV) pulse and driven by an intense near-infrared (NIR) pulse.
C Medina +15 more
doaj +1 more source
Statistical Tool Size Study for Computer-Controlled Optical Surfacing
Photonics, 2023 Over the past few decades, computer-controlled optical surfacing (CCOS) systems have become more deterministic. A target surface profile can be predictably achieved with a combination of tools of different sizes. However, deciding the optimal set of tool
Weslin C. Pullen +7 more
doaj +1 more source
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Моделирование и анализ информационных систем, 2013 The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process.
I. V. Maryasov +3 more
doaj +1 more source
Molecules, 2023 This paper thoroughly explores the formation of Schiff bases derived from salicylaldehydes and a conformationally restricted amino alcohol (1-amino-2-indanol), as well as the generation of 1,3-oxazolidines, a key heterocyclic core present in numerous ...
Esther Matamoros +3 more
doaj +1 more source
Active and durable R2MnRuO7 pyrochlores with low Ru content for acidic oxygen evolution
Nature Communications, 2023 The production of green hydrogen in water electrolyzers is limited by the oxygen evolution reaction (OER). State-of-the-art electrocatalysts are based on Ir. Ru electrocatalysts are a suitable alternative provided their performance is improved.
Dmitry Galyamin +17 more
doaj +1 more source
New Journal of Physics, 2023 We have investigated the possibility to track and control correlation dynamics of valence electrons in krypton (Kr) initiated by the absorption of one extreme ultraviolet (XUV) photon.
Andreas H Roos +12 more
doaj +1 more source