Results 21 to 30 of about 14,914,060 (244)
DevFemOps: enhancing maintainability based on microservices using formal engineering methods
Connection Science, 2022 How can we make software services evolve safely and be long-lived? By designing on the premise of microservices, the services become loosely coupled, which can localise the changes in the system and accelerate the changes. However, from a medium- to long-
Tetsuo Fukuzaki +2 more
doaj +1 more source
Improving Diagnostics with Deep Forest Applied to Electronic Health Records
Sensors, 2023 An electronic health record (EHR) is a vital high-dimensional part of medical concepts. Discovering implicit correlations in the information of this data set and the research and informative aspects can improve the treatment and management process.
Atieh Khodadadi +5 more
doaj +1 more source
The 2020 Expert Survey on Formal Methods
, 2020 Organised to celebrate the 25th anniversary of the FMICS international conference, the present survey addresses 30 questions on the past, present, and future of formal methods in research, industry, and education.
Van De Pol, Jaco +3 more
core +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
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
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
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025 [PDF]
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +1 more source
Formal Methods for a Digital Industry
, 2021 S.71-76The industrial track at ISoLA 2021 provided a platform for presenting industrial perspectives on digitalization and for discussing trends and challenges in the ongoing digital transformation from the perspective of where and how formal methods can
Hungar, H. +5 more
core +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
A Spectrogram-Based Approach for Tire-Type Classification Using Pass-by Noise
IEEE AccessThis study presents a non-intrusive approach for tire type classification using pass-by noise recorded from a single roadside microphone. Unlike camera-based or sensor-based systems, the proposed method enables contactless monitoring under real traffic ...
Mustafa Demetgul +2 more
doaj +1 more source