Results 91 to 100 of about 3,411 (291)
Advanced Engineering Materials, EarlyView.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
A Novel Approach to Estimate the Transition Temperature via Dynamic Nanoindentation
Advanced Engineering Materials, EarlyView.A new dynamic nanoindentation‐based method was developed that uses the stiffness ratio as an indicator of the elastic–plastic deformation contributions at different temperatures. The approach successfully identified transition temperatures in ferritic steel and distinguished them from continuously ductile austenitic steel.
Stefan Zeiler +4 more
wiley +1 more source
On Multi-stack Visibly Pushdown Languages
, 2013 We contribute to the theory of formal languages of visibly multistack pushdown automata (MVPA). First, we show closure under the main operations and decidability of the main decision problems for the class of MVPA restricted to computations where a ...
Parlato, Gennaro +2 more
core +1 more source
Decision procedures for families of deterministic pushdown automata [PDF]
The existence and complexity of decision procedures for families of deterministic pushdown automata are investigated, with special emphasis on positive decidability results for those questions, such as equivalence, which are known to become ...
Valiant, Leslie
core
Advanced Engineering Materials, EarlyView.This perspective reframes additive manufacturing for electrical machines as a qualification‐limited materials and architecture design problem. It links process–structure–property–performance relationships to magnetic, conducting, dielectric, and thermal property windows, highlighting where AM can enable segmented magnetic circuits, permanent magnet ...
Dénes Fodor, Loránd Szabó
wiley +1 more source
Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery
Advanced Functional Materials, EarlyView.Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang +3 more
wiley +1 more source
CS 466/666: Formal Languages and Automata [PDF]
, 2006 This course introduces the theory of formal languages and automata. The primary focus is on the two methods of defining languages: using generators (e.g., grammars/regular expressions) and using recognizers (e.g., finite state machines).
Thirunarayan, Krishnaprasad
core +2 more sources
Advanced Functional Materials, EarlyView.Eu‐doped {ZnCdO/ZnO} structures grown on Si are developed, showcasing dual‐functionality controlled by europium doping. While high europium concentration transforms the device into an ultrafast, self‐powered photodetector, low‐doped structures can be used as an optoelectronic synapse.
Igor Perlikowski +3 more
wiley +1 more source
, 2005 MONA implements an efficient decision procedure for the logic WS1S, and has already been applied in many non-trivial problems. Among these, we follow on from previous work done by Smith and Klarlund on the verification of a sliding-window protocol.
Howard Bowman +2 more
core
Data‐Driven Materials Science for Energy‐Sustainable Applications
Advanced Materials, EarlyView.Data‐driven approaches powered by artificial intelligence are transforming materials discovery for energy sustainability. This review examines how auto‐generated high‐quality materials databases and domain‐specific language models accelerate research in photovoltaics, thermoelectrics, batteries and magnetic materials. Applications involve extraction of
Jacqueline M. Cole
wiley +1 more source