Results 1 to 10 of about 27,790,840 (315)

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, Valery A. Nepomniaschy, Dmitry A. Kondratyev   +2 more
doaj   +3 more sources

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   +2 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, Jessica A, Escobar-Ponce, Luis F, Olguín-Ortega, Andrea, Villeda-Gabriel, Graciela, Figueroa-Damián, Ricardo, Rendón-Molina, Alejandro   +5 more
openaire   +3 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

Numerical Modeling of Galactic Cosmic-Ray Proton and Helium Observed by AMS-02 during the Solar Maximum of Solar Cycle 24 [PDF]

Astrophysical Journal, 2018
Galactic cosmic rays (GCRs) are affected by solar modulation while they propagate through the heliosphere. The study of the time variation of GCR spectra observed at Earth can shed light on the underlying physical processes, specifically diffusion and ...
C. Corti, M. Potgieter, V. Bindi, C. Consolandi, C. Light, M. Palermo, A. Popkow   +6 more
semanticscholar   +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

Light Dark Matter Search with Ionization Signals in XENON1T. [PDF]

Physical Review Letters, 2019
We report constraints on light dark matter (DM) models using ionization signals in the XENON1T experiment. We mitigate backgrounds with strong event selections, rather than requiring a scintillation signal, leaving an effective exposure of (22±3) tonne ...
E. Aprile, J. Aalbers, F. Agostini, M. Alfonsi, L. Althueser, F. Amaro, V. C. Antochi, E. Angelino, F. Arneodo, D. Barge, L. Baudis, B. Bauermeister, L. Bellagamba, M. Benabderrahmane, T. Berger, P. Breur, A. Brown, E. Brown, S. Bruenner, G. Bruno, R. Budnik, C. Capelli, J. Cardoso, D. Cichon, D. Coderre, A. Colijn, J. Conrad, J. Cussonneau, M. Decowski, P. Perio, A. Depoian, P. Gangi, A. Giovanni, S. Diglio, A. Elykov, G. Eurin, J. Fei, A. Ferella, A. Fieguth, W. Fulgione, P. Gaemers, A. G. Rosso, M. Galloway, F. Gao, M. Garbini, L. Grandi, Z. Greene, C. Hasterok, C. Hils, E. Hogenbirk, J. Howlett, M. Iacovacci, R. Itay, F. Joerg, S. Kazama, A. Kish, M. Kobayashi, G. Koltman, A. Kopec, H. Landsman, R. Lang, L. Levinson, Q. Lin, S. Lindemann, M. Lindner, F. Lombardi, J. Lopes, E. L. Fune, C. Macolino, J. Mahlstedt, A. Manfredini, F. Marignetti, T. M. Undagoitia, J. Masbou, S. Mastroianni, M. Messina, K. Micheneau, K. Miller, A. Molinario, K. Morå, Y. Mosbacher, M. Murra, J. Naganoma, K. Ni, U. Oberlack, K. Odgers, J. Palacio, B. Pelssers, R. Peres, J. Pienaar, V. Pizzella, G. Plante, R. Podviianiuk, J. Qin, H. Qiu, D. R. García, S. Reichard, B. Riedel, A. Rocchetti, N. Rupp, J. Santos, G. Sartorelli, N. Šarčević, M. Scheibelhut, S. Schindler, J. Schreiner, D. Schulte, M. Schumann, L. Lavina, M. Selvi, P. Shagin, E. Shockley, M. Silva, H. Simgen, C. Therreau, D. Thers, F. Toschi, G. Trinchero, C. Tunnell, N. Upole, M. Vargas, G. Volta, O. Wack, H. Wang, Y. Wei, C. Weinheimer, D. Wenz, C. Wittweg, J. Wulf, J. Ye, Yuan Zhang, T. Zhu, J. Zopounidis   +132 more
semanticscholar   +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

Roadmap on structured light [PDF]

, 2016
Structured light refers to the generation and application of custom light fields. As the tools and technology to create and detect structured light have evolved, steadily the applications have begun to emerge.
H. Rubinsztein-Dunlop, A. Forbes, M. Berry, Michael Robert Dennis, D. Andrews, M. Mansuripur, C. Denz, C. Alpmann, P. Banzer, T. Bauer, E. Karimi, L. Marrucci, M. Padgett, M. Ritsch-Marte, N. Litchinitser, N. Bigelow, C. Rosales-Guzmán, A. Belmonte, J. P. Torres, T. Neely, M. Baker, R. Gordon, A. Stilgoe, J. Romero, A. White, R. Fickler, A. Willner, G. Xie, B. McMorran, A. Weiner   +29 more
semanticscholar   +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