Data-driven discovery of digital twins in biomedical research. [PDF]
Brief BioinformMétayer C, Ballesta A, Martinelli J.
europepmc +1 more source
Life as a Categorical Information-Handling System: An Evolutionary Information-Theoretic Model of the Holobiont. [PDF]
Biology (Basel)Carvajal-Rodríguez A.
europepmc +1 more source
On the Modeling and Verification of Collective and Cooperative Systems. [PDF]
Front Robot AI, 2022 Aldini A.
europepmc +1 more source
Diagrammatic physical robot models. [PDF]
Softw Syst ModelMiyazawa A +7 more
europepmc +1 more source
BMWP: the first Bengali math word problems dataset for operation prediction and solving. [PDF]
Discov Artif IntellMondal S +4 more
europepmc +1 more source
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. [PDF]
PeerJ Comput Sci, 2023 Tran DD, Wai Mon T, Ogata K.
europepmc +1 more source
NESTML: a generic modeling language and code generation tool for the simulation of spiking neural networks with advanced plasticity rules. [PDF]
Front NeuroinformLinssen C +5 more
europepmc +1 more source
Waste minimization strategies for environmental sustainability analysis of MABAC based on schweizer-sklar prioritized approach for circular bipolar fuzzy systems. [PDF]
Sci RepAshraf K +5 more
europepmc +1 more source
Diagnostic Accuracy of Neutrophil Gelatinase-Associated Lipocalin in Peritoneal Effluent and Ascitic Fluid for Early Detection of Peritonitis: A Systematic Review and Meta-Analysis. [PDF]
Med Sci (Basel)Prieto-Magallanes ML +8 more
europepmc +1 more source
Measuring homoplasy I: comprehensive measures of maximum and minimum cost under parsimony across discrete cost matrix character types. [PDF]
CladisticsHoyal Cuthill JF, Lloyd GT.
europepmc +1 more source