Results 91 to 100 of about 226,334 (282)
The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling +15 more
wiley +1 more source
Residual adhesive after electrode loading in adhesive‐assisted resistance spot welding is quantified through a traceable experimental‐to‐digital workflow. Chromatic confocal topography provides calibrated surface‐height data, while OpenCV detects the electrode imprint and integrates adhesive height into comparable volume metrics.
Sung‐Min Wi, Jiangdong Zhao
wiley +1 more source
IntroductionAccurate identification of graft loss in Electronic Medical Records of kidney transplant recipients is essential but challenging due to inconsistent and not mandatory International Classification of Diseases (ICD) codes.
Andrea Garcia-Lopez +3 more
doaj +1 more source
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
Boosting Conversion Efficiency in Zn3P2/InP Solar Cells Via Nanoscale Junction Engineering
This study demonstrates the efficacy of selective area epitaxy (SAE) in enhancing the conversion efficiency of a Zn3P2${\rm Zn}_3{\rm P}_2$/InP heterojunction solar cell. The impact of the SAE pattern dimensions on the performance parameters is investigated. Small size opening limits Jsc because of current crowding whereas large size opening limits Voc
Raphael Lemerle +14 more
wiley +1 more source
Divvunspell---Finite-State Spell-Checking and Correction on Modern Platforms
Spell-checking and correction is one of the key applications of natural language support. Historically, for the biggest, less morphologically complex languages, spell-checking and correction could be implemented by relatively simple means; however, for ...
Pirinen, Flammie A. +1 more
core
Strengthening Model Checking Techniques with Inductive Invariants [PDF]
This paper describes optimized techniques to efficiently compute and reap benefits from inductive invariants within SAT-based model checking. We address sequential circuit verification, and we consider both equivalences and implications between pairs of ...
Nocco, Sergio +2 more
core
High‐Throughput Discovery of Quantum Frustrated Materials
Physics‐guided discovery of frustrated kagome and triangular magnets. ABSTRACT Geometrical frustration provides a fertile platform for realizing exotic quantum phases such as spin liquids, yet, the predictive identification of frustrated magnets remains limited.
Byeong‐Hyeon Jeong +4 more
wiley +1 more source
Potentials of Chatbots for Spell Check among Youngsters
Chatbots are already being used successfully in many areas. This publication deals with the development and programming of a chatbot prototype to support learning processes. This Chatbot prototype is designed to help pupils in order to correct their spelling mistakes by providing correction proposals to them.
Jeton Arifi +2 more
openaire +3 more sources
Melanin content directly controls fungal spore mechanical properties, with pigmented spores achieving rupture forces two orders of magnitude higher than hyaline spores. Environmental stress drives this quantity‐quality tradeoff; stressed species invest energy in melanin‐reinforced, mechanically superior thick‐walled, super‐hydrophobic spores, while ...
Atul Agrawal, Steven E. Naleway
wiley +1 more source

