Results 1 to 10 of about 3,071,324 (279)

Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs

Моделирование и анализ информационных систем, 2015
The C-program verification is an urgent problem of modern programming. To apply known methods of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases.
I. V. Maryasov, V. A. Nepomniaschy
doaj   +3 more sources

Ultraviolet-C Light-emitting Device Against Microorganisms in Beauty Salons. [PDF]

Pathog Immun, 2022
Background. Ultraviolet light in the UV-C band is also known as germicidal radiation, and it is widely used for decontamination and disinfection of environments, water, and food. The ultraviolet source transfers electromagnetic energy from a mercury arc lamp to an organism´s genetic material.
de Almeida MTG, de Almeida BG, Siqueira JPZ, Byzynski Soares G, Sigari Morais V, Mitsue Yasuoka FM, Ghiglieno F.   +6 more
europepmc   +6 more sources

Assessment of Ultraviolet-C Light for Sterilization of Hysteroscopy Instruments. [PDF]

Cureus
Objective 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, Escobar-Ponce LF, Olguín-Ortega A, Villeda-Gabriel G, Figueroa-Damián R, Rendón-Molina A.   +5 more
europepmc   +3 more sources

Is the combination of UV-C light and bleach less effective than bleach alone for intensive care unit surface disinfection? [PDF]

Infection Prevention in Practice, 2023
Summary: Background: Chlorine-based disinfectants, such as bleach, are commonly used for cleaning in healthcare settings to prevent the transmission of nosocomial pathogens.
Nur Shazlin Shek Daud, Mark Dunn, Olga Lucia Moncayo-Nieto, Alasdair Hay   +3 more
doaj   +2 more sources

Salmonella Inactivation Model by UV-C Light Treatment in Chicken Breast. [PDF]

Microorganisms
This study aims to evaluate the effectiveness of inactivating Salmonella enteritidis in fresh chicken breast by irradiation using a combination of short-wave UV (0, 3, 6, 9, 12, and 15 J/cm2) and a natural antimicrobial such as caffeine (0, 5, 10, 15, and 20 nM/g) at 14 °C as alternative proposals to conventional techniques to reduce pathogens in food.
García-Gimeno RM, Palomo-Manzano E, Posada-Izquierdo GD.   +2 more
europepmc   +6 more sources

Generalized large optics fabrication multiplexing

Journal of the European Optical Society-Rapid Publications, 2022
High precision astronomical optics are manufactured through deterministic computer controlled optical surfacing processes, such as subaperture small tool polishing, magnetorheological finishing, bonnet tool polishing, and ion beam figuring.
Kim Daewook, Ke Xiaolong, Pullen Weslin, Wang Tianyi, Choi Heejoo, Negi Vipender Singh, Huang Lei, Idir Mourad   +7 more
doaj   +1 more source

Structural and biochemical characterization of the relaxosome auxiliary proteins encoded on the Bacillus subtilis plasmid pLS20

Computational and Structural Biotechnology Journal, 2022
Bacterial conjugation is an important route for horizontal gene transfer. The initial step in this process involves a macromolecular protein-DNA complex called the relaxosome, which in plasmids consists of the origin of transfer (oriT) and several ...
Isidro Crespo, Nerea Bernardo, Anna Cuppari, Barbara M. Calisto, Jorge Val-Calvo, Andrés Miguel-Arribas, Wilfried J.J. Meijer, Xavi Carpena, Fernando Gil-Ortiz, Marc Malfois, D. Roeland Boer   +10 more
doaj   +1 more source

Hybrid height and slope figuring method for grazing-incidence reflective optics

Journal of Synchrotron Radiation, 2023
Grazing-incidence reflective optics are commonly used in synchrotron radiation and free-electron laser facilities to transport and focus the emitted X-ray beams. To preserve the imaging capability at the diffraction limit, the fabrication of these optics
Tianyi Wang, Lei Huang, Xiaolong Ke, Yi Zhu, Heejoo Choi, Weslin Pullen, Vipender Negi, Daewook Kim, Mourad Idir   +8 more
doaj   +1 more source

Evolutionary Prediction of Soil Loss from Observed Rainstorm Parameters in an Erosion Watershed Using Genetic Programming

Applied and Environmental Soil Science, 2021
Various environmental problems such as soil degradation and landform evolutions are initiated by a natural process known as soil erosion. Aggregated soil surfaces are dispersed through the impact of raindrop and its associated parameters, which were ...
Kennedy C. Onyelowe, Ahmed M. Ebid, Light Nwobia   +2 more
doaj   +1 more source

Insights into the High Activity of Ruthenium Phosphide for the Production of Hydrogen in Proton Exchange Membrane Water Electrolyzers

Advanced Energy & Sustainability Research, 2023
The demand of green hydrogen, that is, the hydrogen produced from water electrolysis, is expected to increase dramatically in the coming years. State‐of‐the‐art proton exchange membrane water electrolysis (PEMWE) uses high loadings of platinum group ...
Dmitry Galyamin, Jorge Torrero, Joshua David Elliott, Isabel Rodríguez-García, Daniel García Sánchez, Mohamed Abdel Salam, Aldo Saul Gago, Mohamed Mokhtar, José Luis Gómez de la Fuente, Samba Violeta Bueno, Diego Gianolio, Pilar Ferrer, David Charles Grinter, Georg Held, María Retuerto, Sergio Rojas   +15 more
doaj   +1 more source