Results 21 to 30 of about 4,569,836 (278)
Energies, 2020 The latest earthquakes have proven that several existing buildings, particularly in developing countries, are not secured from damages of earthquake.
Ehsan Harirchian +2 more
doaj +1 more source
Applying Formal Methods to Networking: Theory, Techniques and Applications [PDF]
, 2013 Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today.
Hasan, Osman, Qadir, Junaid
core +1 more source
AligNet: alignment of protein-protein interaction networks
BMC Bioinformatics, 2020 Background All molecular functions and biological processes are carried out by groups of proteins that interact with each other. Metaproteomic data continuously generates new proteins whose molecular functions and relations must be discovered.
Adrià Alcalá +4 more
doaj +1 more source
LARVA - safer monitoring of real-time Java programs (tool paper) [PDF]
, 2009 The use of runtime verification, as a lightweight approach to guarantee properties of systems, has been increasingly employed on real-life software. In this paper, we present the tool LARVA, for the runtime verification of properties of Java programs ...
Colombo, Christian +3 more
core +1 more source
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
Report on the Standardization Project ``Formal Methods in Conformance Testing'' [PDF]
, 1996 This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) project of ISO and ITU–T. The project has been initiated to study the role of formal description techniques in the conformance testing process.
D Hogrefe +11 more
core +2 more sources
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
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
Assessing Unmet Needs of Caregivers after Stroke: Occupational Therapist Practices and Perspectives [PDF]
, 2020 Background: Family caregivers of stroke survivors often feel unprepared and overwhelmed post discharge with numerous unmet needs. Occupational therapists can play an integral role in addressing family caregivers’ needs.
Clymer, Deborah R +2 more
core +2 more sources