Results 21 to 30 of about 1,494,052 (317)
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
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
Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
IEEE Access, 2023 This paper presents a path planning algorithm for efficiently generating low-cost trajectories that meet mission requirements specified in Linear Time Logic (LTL), where cost functions are defined throughout the configuration space.
Kyunghoon Cho
doaj +1 more source
What Do We Mean by Smart Contracts? Open Challenges in Smart Contracts
Frontiers in Blockchain, 2021 Contracts regulate most of our professional and personal life: they enable modern society to operate. The term “Smart Contract,” coined in 1994 by Nick Szabo, means different things to different people. This editorial perspective explores the meanings of
Maria G. Vigliotti
doaj +1 more source
The Method of Computing Formal Moduli
Journal of Algebra, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Arvid Siqveland
openalex +4 more sources
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
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
Formal methods in knowledge engineering
The Knowledge Engineering Review, 1995 AbstractThis paper presents a general discussion of the role of formal methods in knowledge engineering. We give an historical account of the development of the field of knowledge engineering towards the use of formal methods. Subsequently, we discuss the pros and cons of formal methods.
Van Harmelen, Frank, Fensel, Dieter
openaire +7 more sources
The 4SECURail Formal Methods Demonstrator
, 2022 The need for high-quality standard interfaces is widely rec- ognized as a mandatory step to reduce procurement costs and create safely operating complex railway infrastructures. That is why European initiatives like EULYNX have been set up precisely with the purpose of supporting standard interfaces development.
Mazzanti F, Belli D
openaire +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