Results 101 to 110 of about 1,200,969 (291)
Integrating phenotype ontologies with PhenomeNET
Journal of Biomedical Semantics, 2017 Background Integration and analysis of phenotype data from humans and model organisms is a key challenge in building our understanding of normal biology and pathophysiology.
Miguel Ángel Rodríguez-García +3 more
doaj +1 more source
Automating Chemical Reasoning in High-Throughput Phase Identification With a Probabilistic, LLM-Guided Framework. [PDF]
Adv Sci (Weinh)Autonomous laboratories can now synthesize materials faster than experts can interpret the resulting diffraction data. A probabilistic framework combines refinement‐fit metrics with large language model‐derived chemical reasoning to rank competing phase interpretations and flag those unsuitable for autonomous use.
Dartsi O +7 more
europepmc +2 more sources
Advanced Engineering Materials, EarlyView.Reproduction of stacking fault energy calculations from literature with a semi‐automated large language model‐assisted extraction procedure: extraction of simulation protocol, atomistic structures, computational parameters, and reported results, ontology alignment, knowledge graph construction and, finally, recomputation forvalidation.
Sepideh Baghaee Ravari +5 more
wiley +1 more source
Automation of Diagrammatic Reasoning.
, 1997 Theorems in automated theorem proving are usually proved by logical formal proofs. However, there is a subset of problems which humans can prove in a different way by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is more clearly perceived in these than in the corresponding algebraic proofs: they capture an ...
Jamnik, Mateja, Bundy, Alan, Green, Ian
openaire +3 more sources
Cooperating Reasoning Processes: More than Just the Sum of their Parts [PDF]
, 2007 Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning process can achieve much more than they could if they only acted individually.
Bundy, Alan
core
Symmetry‐Guided Multifunctional Acoustic System Based on Mechanically Actuated Sonic Crystals
Advanced Engineering Materials, EarlyView.This study presents the design, simulation, and experimental validation of amultifunctional acoustic metamaterial based on rotationally engineered sonic crystals.By tuning cylinder orientations, controllable band gaps and six distinct functionalities—including switching, topological insulation, beam splitting, and logic operations—areachieved ...
Yuanyan Zhao +2 more
wiley +1 more source
Automated Reasoning and Robotics [PDF]
, 2019 A most important quality in robotics is the work done in the development of automated reasoning techniques. This model of reasoning works on the assistance of computer programs and just as it is in other fields, it has worked to aid in the answering of ...
Al Kashari, Zainab, Al Taheri, Fatma
core +1 more source
Advanced Engineering Materials, EarlyView.This study applies machine learning regression to predict chromium layer thickness in decorative trivalent chromium electroplating, using 441 experiments from laboratory‐scale (1L) and pilot‐scale (14L) setups. Tree‐based models, particularly CatBoost, outperformed linear regression by capturing nonlinear parameter interactions (R2$R^2$ up to 0.77 ...
Christoph Baumer +4 more
wiley +1 more source
Automated Reasoning for Mathematics
AbstractThroughout the history of automated reasoning, mathematics has been viewed as a prototypical domain of application. It is therefore surprising that the technology has had almost no impact on mathematics to date and plays almost no role in the subject today. This article presents an optimistic view that the situation is about to change.
openaire +1 more source
Advanced Engineering Materials, EarlyView.Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter +10 more
wiley +1 more source