Results 131 to 140 of about 5,611,476 (304)

Unveiling Exsolution‐Induced Giant Electronic and Magnetic Property Changes in Non‐Stoichiometric Titanate Perovskite Thin Films

Advanced Materials, EarlyView.
A giant insulator to metal transition and emergent superparamagnetism are revealed by nanoparticle exsolution in non‐stoichiometric titanate perovskite thin films. By combining transport, synchrotron spectroscopy, and first‐principles calculations, this work reveals how defect reconfiguration and lattice reconstruction fundamentally reshape electronic ...
Sungil Kim, June Ho Lee, Yaolong Xing, Dongchang Kim, Haeseong Jeong, Mongjun Jeong, Manuel Valvidares, Stuart S. P. Parkin, Sang Ho Oh, Donghwa Lee, Hyojin Yoon, Hyeon Han   +11 more
wiley   +1 more source

Alternating finite automata through the lens of quasiorders: canonical representation and Angluin-style learning [PDF]

openThe property of possessing a canonical representation is fundamental for any class of automata. While deterministic, non-deterministic, and universal automata have well-established canonical representations, the question remains open for alternating ...
SCANDALETTI, ELIA
core  

Microgels Enable iPSCs to Assemble, Expand, and Differentiate Into Organoids—From Sizable to High‐Throughput

Advanced Materials, EarlyView.
A chemically defined PEG‐based microgel platform enables scalable, reproducible production of three‐dimensional microgel‐iPSC constructs in multiple sizes. The system is compatible with high‐throughput automation and supports human iPSC expansion and differentiation within a single construct, including directed differentiation into cardiac organoids ...
Laura Klasen, Matthias Mork, Ramin Nasehi, Vasudha Turuvekere Krishnamurthy, Kira Zeevaert, Aaron Babendreyer, Jacopo Di Russo, Wolfgang Wagner, Laura De Laporte   +8 more
wiley   +1 more source

From LIDL(m) to Timed Automata [PDF]

, 2009
LIDL(m) is a decidable fragment of Interval Duration Logic with Located Constraints, an expressive subset of dense-time Duration Calculus. It has been claimed that, for any LIDL(m) formula D, a timed automaton can be constructed which accepts the models ...
Gomez, Rodolfo
core  

Descriptor‐Informed Screening of Interface‐Active Molecules for Efficient Magnesium Metal Anodes

Advanced Materials, EarlyView.
A descriptor‐informed molecular screening strategy identifies 4‐bromo‐N, N‐dimethylaniline (BrNNA) as an interface‐active electrolyte component that enables fast Mg stripping/plating in Mg(TFSI)2‐based electrolytes. By simultaneously regulating Mg2+ solvation and interphase formation, the BrNNA‐containing electrolyte delivers activation‐free Mg ...
Hao Xu, Yue Li, Tian Xie, Arafat Hossain Khan, Fengzhan Sun, Zhao Li, Lingyue Liu, Zhaohui Yang, Xinlong Xie, Huayu Qiu, Quanquan Guo, Tian Sun, Xingyuan Chu, Jingwei Du, Jianxin Zou, Xinliang Feng, Minghao Yu   +16 more
wiley   +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, Junjie Zhao, Richard Schroedter, Jason Vincent, Hampus Hoffman, Leif Riemenschneider, Abdallh Herbawe, Hao Shen, Ronald Tetzlaff, Stefan Slesazeck, Gianaurelio Cuniberti, Thomas Mikolajick, Benjamin Max   +12 more
wiley   +1 more source

Automata Theory and Formal Languages

, 2013
In this book we present some basic notions and results on Automata Theory, For- mal Language Theory, Computability Theory, and Parsing Theory. In particular, we consider the class of regular languages which are related to the class of finite automata ...
Alberto Pettorossi
core  

Biomass DNA: An Emerging Building Block for Advanced Materials

Advanced Materials, EarlyView.
Biomass DNA is rapidly emerging from its traditional role as a genetic blueprint to serve as a versatile abundant, highly programmable polymeric building block. This review highlights the transformation of macroscopic bulk biomass DNA into next generation of functional materials, spanning from dynamic hydrogels, sustainable bioplastics, and high ...
Yuwei Hu, Itamar Willner, Li Niu
wiley   +1 more source

APPLICATION OF AUTOMATA THEORY TO DYNAMICAL CALCULATION OF MESHES AND MEMBRANES

Nauka ta progres transportu, 2010
The possibilities of application of the terminal automatic devices and associated matrices to modeling the grid and membrane vibrations with continuous mass distribution and different boundary conditions are ...
O. S. Raspopov
doaj  

A parsing automata approach to LR theory

, 1981
Two simple but powerful tools are introduced in LR theory, viz. item grammars and parsing automata. Parsing automata are used to define a large class of correct prefix parsers operating in linear time. DeRemer's and Pager's parsing methods turn out to be
Heilbrunner, Stephan
core   +1 more source