Results 21 to 30 of about 34,882,646 (291)
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
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
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
ACM Computing Surveys, 1996 Hardware and software systems will inevitably grow in scale and functionality. Because of this increase in complexity, the likelihood of subtle errors is much greater. Moreover, some of these errors may cause catastrophic loss of money, time, or even human life.
Clarke EM, Wing JM
openaire +3 more sources
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
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
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 Certification Methods for Automated Vehicle Safety Assessment [PDF]
IEEE Transactions on Intelligent Vehicles, 2022 Challenges related to automated driving are no longer focused on just the construction of such automated vehicles (AVs) but also on assuring the safety of operation.
Tong Zhao +3 more
semanticscholar +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