CERN Accelerating science

HSE Articles

უკანასკნელი დამატებები:
Study of an Air Curtain in the Context of Individual Protection from Exposure to Coronavirus (SARS-CoV-2) Contained in Cough-Generated Fluid Particles / Sakharov, Alexandre (Manhattan College (US) ; CERN) ; Zhukov, Konstantin (Russian Academy of Sciences (RU) ; CERN)
The ongoing respiratory COVID-19 pandemic has heavily impacted the social and private lives of the majority of the global population. This infection is primarily transmitted via virus-laden fluid particles (i.e., droplets and aerosols) that are formed in the respiratory tract of infected individuals and expelled from the mouth in the course of breathing, talking, coughing, and sneezing. [...]
CERN-OPEN-2021-005.- Geneva : CERN, 2020 - 12 p. - Published in : Physics 2 (2020) 340-351 Article: PDF;

დეტალური ჩანაწერი - მსგავსი ჩანაწერები
Modelling airborne transmission of SARS-CoV-2: Risk assessment for enclosed spaces / Henriques, Andre (CERN) ; Rognlien, Markus Kongstein (Norwegian University of Science and Technology (NTNU) (NO)) ; Devine, James (CERN) ; Azzopardi, Gabriella (CERN) ; Mounet, Nicolas (CERN) ; Elson, Philip James (CERN) ; Andreini, Marco (CERN) ; Tarocco, Nicola (CERN)
The global crisis triggered by the Coronavirus disease 2019 (COVID-19) pandemic has highlighted the need for a proper risk assessment of respiratory pathogens in indoor settings, due to their potential for airborne transmission. [...]
- 2021. - 36 p.

დეტალური ჩანაწერი - მსგავსი ჩანაწერები
A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) / Ceesay-Seitz, Katharina (CERN) ; Boukabache, Hamza (CERN) ; Perrin, Daniel (CERN)
Electronic systems that are related to human safety need to comply to strict international standards such as the IEC 61508. We present a functional verification methodology for highly parametrizable, continuously operating, safety-critical real-time systems implemented in FPGAs. [...]
2020 Fulltext (Preprint): PDF;
In : SAFECOMP 2020: Computer Safety, Reliability, and Security, Lisbon, Portugal, 15 - 18 Sep 2020, pp.67-81

დეტალური ჩანაწერი - მსგავსი ჩანაწერები
The Fluence Conversion Coefficients method : applications to radiological characterization with the FLUKA and PHITS codes. / Bozzato, D ; Froeschl, R (ed.)
One of the key aspects of radiation protection is the radiological characterization of components that have been exposed to a radiation environment [...]

Full text
დეტალური ჩანაწერი - მსგავსი ჩანაწერები
Semi-formal Reformulation of Requirements for Formal Property Verification / Ceesay-Seitz, Katharina (CERN) ; Boukabache, Hamza (CERN) ; Perrin, Daniel (CERN)
Ambiguously specified requirements can be a source of risk for safety-critical electronic designs. Requirement specifications in natural language are subject to misinterpretation. [...]
Fulltext: PDF;
In : Design and Verification Conference in Europe, Munich, 29 - 30 Oct 2019, pp.7.1

დეტალური ჩანაწერი - მსგავსი ჩანაწერები