Results 31 to 40 of about 34,882,646 (291)
Ruby vs. Perl – the Languages of Bioinformatics
Studies in Logic, Grammar and Rhetoric, 2013 Ruby and Perl are programming languages used in many fields. In this paper we would like to present their usefulness with regard to basic bioinformatic problems.
Goliński Maciej +1 more
doaj +1 more source
On a directed tree problem motivated by a newly introduced graph product
Electronic Journal of Graph Theory and Applications, 2015 In this paper we introduce and study a directed tree problem motivated by a new graph product that we have recently introduced and analysed in two conference contributions in the context of periodic real-time processes.
Antoon H. Boode +2 more
doaj +1 more source
Formal Methods for Control Synthesis: An Optimization Perspective
Annu. Rev. Control. Robotics Auton. Syst., 2019 In control theory, complicated dynamics such as systems of (nonlinear) differential equations are controlled mostly to achieve stability. This fundamental property, which can be with respect to a desired operating point or a prescribed trajectory, is ...
C. Belta, Sadra Sadraddini
semanticscholar +1 more source
Formal Methods: Oversold? Underused? A Survey [PDF]
arXiv.org, 2018 Formal methods (FMs) have been around for a while, still being unclear how to leverage their benefits, overcome their challenges, and set new directions for their improvement towards a more successful transfer into practice.
Mario Gleirscher, Diego Marmsoler
semanticscholar +1 more source
New Opportunities for Integrated Formal Methods [PDF]
ACM Computing Surveys, 2018 Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance.
Mario Gleirscher, S. Foster, J. Woodcock
semanticscholar +1 more source
The Evaluation of Skeletal Age Based on Computer-Supported Methods in Comparison to the Atlas Method
Studies in Logic, Grammar and Rhetoric, 2013 This article describes methods used in estimating skeletal age based both on the evaluation of skeletal maturation of the palm and the wrist (Greulich and Pyle’s atlas method) and the Cervical Vertebral Maturation method (CVM).
Predko-Maliszewska Anna +2 more
doaj +1 more source
Formal Methods for Industrial Critical Systems
International Journal on Software Tools for Technology Transfer (STTT)To stimulate the development and application of formal methods in industry, we need to promote research and development for the improvement of formal methods and tools for industrial applications, and we need to exchange experiences of the industrial ...
J. F. Groote, Marieke Huisman
semanticscholar +1 more source
A Framework for Cybersecurity Requirements Management in the Automotive Domain
Sensors, 2023 The rapid development of intelligent connected vehicles has increased the attack surface of vehicles and made the complexity of vehicle systems unprecedented.
Feng Luo +4 more
doaj +1 more source
A Taxonomy of MBSE Approaches by Languages, Tools and Methods
IEEE Access, 2022 Systems engineering has gained in maturity over the last decades and started a transition from document-centric approaches to Model-Based Systems Engineering (MBSE).
Pierre De Saqui-Sannes +3 more
doaj +1 more source
Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning
AAAI Conference on Artificial Intelligence, 2018 Formal verification provides a high degree of confidence in safe system operation, but only if reality matches the verified model. Although a good model will be accurate most of the time, even the best models are incomplete.
Nathan Fulton, André Platzer
semanticscholar +1 more source