Results 91 to 100 of about 689,888 (317)
An LTL Semantics of Business Workflows with Recovery
, 2014 We describe a business workflow case study with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking can provide a methodology to iteratively revise the design and obtain a correct-by construction system. To
Bersani, Marcello M. +2 more
core +1 more source
Bridging Nature and Technology: A Perspective on Role of Machine Learning in Bioinspired Ceramics
Advanced Engineering Materials, EarlyView.Machine learning (ML) is revolutionizing the development of bioinspired ceramics. This article investigates how ML can be used to design new ceramic materials with exceptional performance, inspired by the structures found in nature. The research highlights how ML can predict material properties, optimize designs, and create advanced models to unlock a ...
Hamidreza Yazdani Sarvestani +2 more
wiley +1 more source
Software Defensive Design and Implementation of Diesel Locomotive AC Auxiliary Control System
Kongzhi Yu Xinxi Jishu, 2019 In order to improve the reliability of the diesel locomotive’s AC auxiliary control system, this paper proposed a defensive design for AC auxiliary control system software based on signal acquisition sources and control object working modes, such as ...
YANG Dongxin +4 more
doaj
Advanced Engineering Materials, EarlyView.In this study, the mechanical response of Y‐shaped core sandwich beams under compressive loading is investigated, using deep feed‐forward neural networks (DFNNs) for predictive modeling. The DFNN model accurately captures stress–strain behavior, influenced by design parameters and loading rates.
Ali Khalvandi +4 more
wiley +1 more source
Assessment of novel POCT to evaluate liver function
Practical Laboratory MedicineObjectives: Point of care testing (POCT) offers the possibility of near bedside patient testing with a reduction of the turn-around time of analysis. The aim of our study was to determine the analytical performances and usability of a recently developed ...
Carmen Minea, Damien Gruson
doaj +1 more source
Advanced Engineering Materials, EarlyView.Molecular dynamics simulations are advancing the study of ribonucleic acid (RNA) and RNA‐conjugated molecules. These developments include improvements in force fields, long‐timescale dynamics, and coarse‐grained models, addressing limitations and refining methods.
Kanchan Yadav, Iksoo Jang, Jong Bum Lee
wiley +1 more source
Legislation of Violence on Workplace (Mobbing) in Spain [PDF]
Societas et Iurisprudentia, 2016 The Spanish legislation does not regulate in any law the protection of employees against mobbing (with the exception of public administration). Violence on workplace violates fundamental rights included in the Constitution, mainly the right for equal ...
Eva Šimečková
doaj
Implementing the complex arcsine and arccosine functions using exception handling [PDF]
, 1997 T. E. Hull +2 more
openalex +1 more source
Cancellation and Exception Handling [PDF]
, 2019 More or less frequently, we all get bitten by run-time errors, either in our sequential or parallel developments. To try to assuage the pain, we have learnt to capture them using error codes or a more high-level alternative like exception handling. C++, as most OO languages, supports exception handling, which, when conveniently exercised, enables the ...
James Reinders +2 more
openaire +2 more sources