Results 11 to 20 of about 1,848,485 (266)
Gaussian Process Panel Modeling—Machine Learning Inspired Analysis of Longitudinal Panel Data
Frontiers in Psychology, 2020 In this article, we extend the Bayesian nonparametric regression method Gaussian Process Regression to the analysis of longitudinal panel data. We call this new approach Gaussian Process Panel Modeling (GPPM).
Julian D. Karch +4 more
doaj +1 more source
Buildings, 2022 The seismic vulnerability assessment of existing reinforced concrete (RC) buildings is a significant source of disaster mitigation plans and rescue services. Different countries evolved various Rapid Visual Screening (RVS) techniques and methodologies to
Vandana Kumari +3 more
doaj +1 more source
A manifesto for applicable formal methods [PDF]
Software and Systems Modeling, 2023 AbstractRecently, formal methods have been used in large industrial organisations (including AWS, Facebook/Meta, and Microsoft) and have proved to be an effective part of a software engineering process finding important bugs. Perhaps because of that, practitioners are interested in using them more often.
Mario Gleirscher +2 more
openaire +4 more sources
A generic user interface for energy management in smart homes
Energy Informatics, 2018 Building operating systems play an important role in monitoring energy consumption of devices and improving energy efficiency in household buildings.
Huiwen Xu +3 more
doaj +1 more source
The Merits of a Decentralized Pollution-Monitoring System Based on Distributed Ledger Technology
IEEE Access, 2020 Pollution-monitoring systems (PMSs) are used worldwide to sense environmental changes, such as air quality conditions or temperature increases, and to monitor compliance with regulations.
Markus Lucking +6 more
doaj +1 more source
An Abstraction Technique for Verifying Shared-Memory Concurrency
Applied Sciences, 2020 Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability.
Wytse Oortwijn +2 more
doaj +1 more source
BMC Bioinformatics, 2020 Background The alignment of protein-protein interaction networks was recently formulated as an integer quadratic programming problem, along with a linearization that can be solved by integer linear programming software tools.
Mercè Llabrés +3 more
doaj +1 more source
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
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