Results 141 to 150 of about 1,501,850 (327)
Advanced Engineering Materials, EarlyView.A simple, cleanroom‐free method produces flexible mini‐coils using automated blade cutting. The process is fast, low‐cost, and supports diverse materials. The coils show strong durability and performance under repeated bending. Demonstrated use in resistor‐inductor filters and magnetic nanoparticle control proves their adaptability.
Changhao Ge +5 more
wiley +1 more source
Logic circuit design with the aid of an automated reasoning program [PDF]
, 1988 Reyna Abhyankar, B. Humpert
openalex +1 more source
Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
, 2011 OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but to date no reasoner has been implemented for this language.
Schneider, Michael, Sutcliffe, Geoff
core +1 more source
Advanced Engineering Materials, EarlyView.Commercial light‐based 3D printers increasingly find use for industry‐scale production of microstructured tissue culture devices. How can commercial printer performance be assessed for a given application? This work introduces simplified quantitative metrics based on microstructural fidelity analysis, addressing key manufacturing challenges in scaling ...
Zoltán András Guller +4 more
wiley +1 more source
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
Automation of Diagrammatic Reasoning [PDF]
, 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 +1 more source
Kanger’s Choices in Automated Reasoning [PDF]
, 2001 Automated deduction, or automated theorem proving is a branch of science that deals with automatic search for a proof. The contribution of Kanger to automated deduction is well-recognized. His monograph [1957] introduced a calculus LC, which was one of the first calculi intended for automated proof-search.
Degtyarev, Anatoli, Voronkov, Andrei
openaire +4 more sources
Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014 [PDF]
, 2014 Preface For many years the British and the German automated reasoning communities have successfully run independent series of workshops for anybody working in the area of automated reasoning. Although open to the general public they addressed in the past
core
Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.By fabricating and covalently assembling gelatin methacryloyl (GelMA) porous microgels, a new class of granular hydrogel scaffolds with hierarchical porosity is developed. These scaffolds have a significantly higher void fraction than their counterparts made up of nonporous microgels, enhancing cell recruitment and tissue integration. This research may
Alexander Kedzierski +9 more
wiley +1 more source
A comparison of chain-of-thought reasoning strategies across datasets and models [PDF]
PeerJ Computer ScienceEmergent chain-of-thought (CoT) reasoning capabilities promise to improve the performance and explainability of large language models (LLMs). However, uncertainties remain about how reasoning strategies formulated for previous model generations ...
Konstantin Hebenstreit +3 more
doaj +2 more sources