Results 61 to 70 of about 2,934 (199)
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
Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages [PDF]
Logical Methods in Computer ScienceA characteristic sample for a language $L$ and a learning algorithm $\textbf{L}$ is a finite sample of words $T_L$ labeled by their membership in $L$ such that for any sample $T \supseteq T_L$ consistent with $L$, on input $T$ the learning algorithm ...
Dana Angluin, Dana Fisman
doaj +1 more source
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
Structural Reductions and Stutter Sensitive Properties [PDF]
Logical Methods in Computer ScienceVerification of properties expressed as $\omega$-regular languages such as LTL can benefit hugely from stutter insensitivity, using a diverse set of reduction strategies.
Emmanuel Paviot-Adet +3 more
doaj +1 more source
Advanced Functional Materials, EarlyView.A pioneering magnetogenetic toolkit enables non‐invasive, precise spatiotemporal modulation of intracellular Wnt/β‐catenin signaling. Functionalized magnetic nanoparticles (MNPs@E/EC15) target cellular E‐cadherins to generate localized magnetomechanical forces under low‐intensity magnetic fields.
Christian Castro‐Hinojosa +7 more
wiley +1 more source
Completeness Theorems for Kleene algebra with tests and top [PDF]
Logical Methods in Computer ScienceWe prove two completeness results for Kleene algebra with tests and a top element, with respect to guarded string languages and binary relations. While the equational theories of those two classes of models coincide over the signature of Kleene algebra ...
Damien Pous, Jana Wagemaker
doaj +1 more source
Thickness‐Defined Transport Regime Toward Near‐Ideal Area‐Type Switching
Advanced Materials, EarlyView.By thinning the oxide layer, memristors pass from diode‐like and battery‐effect‐dominated behavior toward eventual short‐circuit failure. Within the intermediate 5–6 nm window, they reach a near‐ideal analog area‐type switching regime, featuring symmetric hysteresis, area‐dependent conductance, and continuous linear programming of HRS and LRS with ...
Cuo Wu +12 more
wiley +1 more source
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source
Streamability of nested word transductions [PDF]
Logical Methods in Computer Science, 2019 We consider the problem of evaluating in streaming (i.e., in a single left-to-right pass) a nested word transduction with a limited amount of memory. A transduction T is said to be height bounded memory (HBM) if it can be evaluated with a memory that ...
Emmanuel Filiot +3 more
doaj +1 more source