Results 21 to 30 of about 1,347,993 (267)

Mixed Problem for a Homogeneous Wave Equation with a Nonzero Initial Velocity and a Summable Potential [PDF]

Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2020
For a mixed problem defined by a wave equation with a summable potential equal-order boundary conditions with a derivative and a zero initial position, the properties of the formal solution by the Fourier method are investigated depending on the ...
Kurdyumov, Vitalii Pavlovich, Khromov, Avgust Petrovich, Khalova, Victoria Anatol'evna   +2 more
doaj   +1 more source

Formal Methods in Industry

Formal Aspects of Computing
Formal methods encompass a wide choice of techniques and tools for the specification, development, analysis, and verification of software and hardware systems. Formal methods are widely applied in industry, in activities ranging from the elicitation of requirements and the early design phases all the way to the deployment, configuration, and runtime ...
Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang   +14 more
openaire   +2 more sources

How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif

IEEE Access
The formal verification of cryptographic protocols has been extensively studied in recent years. To verify the cryptographic protocol security, formal verification tools consider protocol properties as interactive processes involving a cryptographic ...
Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa   +3 more
doaj   +1 more source

Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods

Software, 2022
Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients and then define nine different study strategies (usability testing, laboratory experiments with software and human subjects, case studies, qualitative studies, surveys, judgement studies, systematic literature
ter Beek MH, Ferrari A
openaire   +4 more sources

Feasibility and Safety of Somato‐Cognitive Coordination Therapy for Cerebellar Ataxia Following Pediatric Brain Tumor Treatment

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Cerebellar ataxia after pediatric brain tumor treatment can cause persistent gait, balance, and speech impairment, yet no established rehabilitation strategy exists. Somato‐cognitive coordination therapy (SCCT) is a virtual reality–guided intervention designed to promote sensorimotor integration through visually constrained reaching
Masanobu Takeuchi, Takashi Matsuzawa, Jun Yamanishi, Masahiro Yoshitomi, Junji Ikeda, Shin‐Ichi Tsujimoto, Yasuteru Yamaguchi, Norio Shiba, Dhroov Pathare, Ayumi Kato, Masahiko Hara   +10 more
wiley   +1 more source

Sustained Therapeutic Efficacy of Intravenous Plasminogen Concentrate in Pediatric Patients With Type 1 Plasminogen Deficiency: An Analysis of Dosing Parameters and Clinical Outcomes

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Type 1 plasminogen deficiency (PLGD‐1) is an ultra‐rare autosomal recessive disorder caused by variants in the PLG gene and affects approximately 1.6 individuals per million. The condition is characterized by decreased plasminogen levels and impaired function, resulting in fibrin‐rich lesions on mucous membranes throughout the body.
Charles Nakar, Karen Thibaudeau, Mary Mathias, Heather McDaniel, Madlen Reschke, Klaus Tenbrock, Joseph M. Parker, Amy Shapiro   +7 more
wiley   +1 more source

A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence

Sensors
Process algebra is one of the most suitable formal methods to model smart IoT systems for smart cities. Each IoT in the systems can be modeled as a process in algebra. In addition, the nondeterministic behavior of the systems can be predicted by defining
Junsup Song, Dimitris Karagiannis, Moonkun Lee   +2 more
doaj   +1 more source

Health Literacy, Self‐Efficacy and Knowledge of Sickle Cell Disease Among Caregivers

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Sickle cell disease (SCD) is a hereditary blood disorder in which abnormal haemoglobin leads to severe anaemia, painful crises and organ failure. Caregivers’ health literacy (HL) – their ability to assess, understand and apply information, and interact with healthcare professionals – is crucial for managing children with SCD, yet ...
Melanie Bruinooge, Maite E. Houwing, Rowena L. Grohssteiner, Ferdows Atiq, Sonja A. M. C. Teuben, Mirjam P. Fransen, Marjon H. Cnossen   +6 more
wiley   +1 more source

Review of Formal Specification and Verification for Operating Systems [PDF]

Jisuanji gongcheng
Operating Systems (OSs), which form a critical infrastructure in the information age, are widely used in core fields such as medical care, industries, and the military.
WANG Zi, WANG Hongqiang, YANG Xiaoyi, LAN Yuqing
doaj   +1 more source

Leukemia and Exposure to Potential Benzene Sources in Children From the Mexico City Metropolitan Area, 2010–2021: A Geospatial Analysis

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Leukemia is the most common childhood cancer in Mexico, and acute lymphoblastic leukemia (ALL) is the most frequent subtype. Exposure to high concentrations of benzene has been associated with ALL incidence, particularly in urban areas. This study evaluated the relationship between distance to benzene emission sources and the number
Orlando Rivera Zurita, Norma Candelaria López Santiago, Claudia Maria García Cuellar, Karla Maldonado Silva, Nancy Reynoso Noverón, Leticia Hernández Cadena   +5 more
wiley   +1 more source