SSProve: a foundational framework for modular cryptographic proofs in Coq
Electronics design and testing of the CMS Fast Beam Condition Monitor for HL-LHC
Special Track on Intelligent Systems for Digital Era (ISDE), editorial message
Special Track on Intelligent Systems for Digital Era (ISDE)
Nutraceutical approaches to non-alcoholic fatty liver disease (NAFLD): A position paper from the International Lipid Expert Panel (ILEP)
Maintaining data integrity in Electronic Health Records with Hyperledger Fabric
From experiments to an application: the first prototype of an adjective detector for Estonian
Diagnosis and epidemiology of viruses infecting cereal crops (CEREVIR)
Cost-effective, fast and easy detection of Polymyxa graminis and of the viruses it transmits to cereal crops
Binary RuO2–CuO Electrodes Outperform RuO2 Electrodes in Measuring the pH in Food Samples
The Mental Health of Healthcare Workers in COVID-19
Optimizing strategies to address burnout in the healthcare staff: Let’s care for the people who care for us
Fostering Menstrual Equity: Promoting Inclusivity and Empowerment in Period Experiences
Menstrual poverty: What can be done to address period poverty?