Results 81 to 90 of about 1,535,797 (279)

Harnessing Phase Separation for the Development of High‐Performance Hydrogels

Advanced Science, EarlyView.
ABSTRACT Hydrogels are indispensable for the development of next‐generation bioelectronics, soft robotics, and biomedical devices, where their mechanical properties determine performance and reliability. Among strategies to enhance hydrogel mechanics, phase separation enables controlled heterogeneity resulting in gel networks that are reinforced by ...
Yue Shao, Yiming Ma, Baihao Shao, Molly M. Stevens   +3 more
wiley   +1 more source

Half-Positional Objectives Recognized by Deterministic B\"uchi Automata [PDF]

Logical Methods in Computer Science
In two-player games on graphs, the simplest possible strategies are those that can be implemented without any memory. These are called positional strategies. In this paper, we characterize objectives recognizable by deterministic B\"uchi automata (a
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove   +3 more
doaj   +1 more source

Data‐Driven Modeling of Composition–Processing–Microstructure Relations for Recycled Aluminum Cast Alloys

Advanced Science, EarlyView.
Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang, Waleed Mohammed, Dierk Raabe   +2 more
wiley   +1 more source

Deterministic automata for extended regular expressions

Open Computer Science, 2017
In this work we present the algorithms to produce deterministic finite automaton (DFA) for extended operators in regular expressions like intersection, subtraction and complement.
Syzdykov Mirzakhmet
doaj   +1 more source

Multiferroic‐Centric Materials and Systems Engineering for Battery Applications: An Insight Into Mechanisms, Strategies, and Characterizations

Advanced Science, EarlyView.
Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su, Yanda Zhu, Hao Peng, Manman Li, Xuzihan Zhang, Meixiao Wu, Siyuan Zhang, Yuhan Zeng, Jiwen Liao, Ming Luo, Hetaishan Huang, Yutong Wang, Sean Li, Wenxian Li   +13 more
wiley   +1 more source

Fundamental results for learning deterministic extended finite state machines from queries [PDF]

, 2020
YesRegular language inference, initiated by Angluin, has many developments, including applications in software engineering and testing. However, the capability of finite automata to model the system data is quite limited and, in many cases, extended ...
Gheorghe, Marian, Lefticaru, Raluca, Ipate, F.   +2 more
core   +1 more source

A Versatile‐Designable Framework for Active and Programmable Shape‐Morphing Soft Matter Systems: From Inverse Design to Closed‐Loop Control

Advanced Science, EarlyView.
A versatile framework integrates addressable electrothermal actuation and strain‐constraint mechanisms to construct programmable shape‐morphing soft matter systems. By combining an analytical inverse design strategy for high‐fidelity 3D surface reconstruction with deep learning‐based closed‐loop control, this approach enables zero‐energy shape locking,
Kai Liu, Peiling Xie, Ruitong Song, Banghan Liu, Rui Guo, Jiu‐an Lv   +5 more
wiley   +1 more source

GEMS: a deterministic finite automaton framework for adaptive laboratory automation

Digital Discovery
We cast experiments as Mealy-machine DFAs: a sample-centred, state-to-state data model that spans disciplines. GEMS advances protocols via penalty-aware dynamic scheduling, adapting operations to observations in real time.
Yuya Tahara-Arai, Akari Kato, Koji Ochiai, Kazuya Azumi, Koichi Takahashi, Genki N. Kanda, Haruka Ozaki   +6 more
openaire   +1 more source

Exact Discrete Stochastic Simulation With Deep‐Learning‐Scale Gradient Optimization

Advanced Science, EarlyView.
A 203,796‐parameter gene regulatory network classifies handwritten digits with 98.4% accuracy using exact stochastic dynamics. The framework decouples forward simulation from backward differentiation, making continuous‐time Markov chain models compatible with deep‐learning optimization.
Jose M. G. Vilar, Leonor Saiz
wiley   +1 more source

Gap‐Free Information Transfer in 4D‐STEM via Fusion of Complementary Scattering Channels

Advanced Science, EarlyView.
Fused Full‐Field STEM (FF‐STEM) is introduced as a 4D‐STEM imaging modality that combines direct ptychography with tilt‐corrected dark‐field reconstruction in a single acquisition. Fourier‐space fusion using Wiener‐type spectral weighting closes the low‐frequency contrast gap inherent to bright‐field methods, delivering gap‐free, dose‐efficient, near ...
Shengbo You, Georgios Varnavides, Sagar Khavnekar, Nikita Palatkin, Sihan Shao, Mingjian Wu, Daniel Stroppa, Darya Chernikova, Baixu Zhu, Ricardo Egoavil, Stefano Vespucci, Dileep Krishnan, Xingchen Ye, Florian K. M. Schur, Erdmann Spiecker, Philipp Pelz   +15 more
wiley   +1 more source