Books, e-books, journals, periodicals, proceedings, standards and loaning procedures will be migrated on 21st of April to a new website under development. See here for more information.

CERN Accelerating science

HSE Articles

Ultimi arrivi:
2021-03-18
20:11
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;

Record dettagliato - Record simili
2021-03-15
15:03
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. [...]
CERN-OPEN-2021-004.
- 2021. - 36 p.
Fulltext

Record dettagliato - Record simili
2020-10-06
08:16
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

Record dettagliato - Record simili
2020-09-11
10:34
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 [...]
2020-09-02.

Full text
Record dettagliato - Record simili
2020-03-12
09:05
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

Record dettagliato - Record simili