Results 21 to 30 of about 1,932,015 (306)
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
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2024 [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 +2 more sources
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
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
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
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
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
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
TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019 [PDF]
, 2021 This is the second issue in the new “Competitions and Challenges” (CoCha) theme of the International Journal on Software Tools for Technology Transfer. The new theme was established to support competitions and challenges with an appropriate publication ...
Kordon, Fabrice +4 more
core +1 more source