Results 111 to 120 of about 1,295,766 (195)

On a reachability set of automaton counter machines

, 2010
Properties of automaton counter machines are investigated. We prove that reachability sets of automaton one-counter machines are semilinear. An algorithm of construction of these semilinear reachability sets is resultexl.
D. J. Chalyy, E. V. Kuzmin
core  

Nano‐Architected Metallic Metamaterial With Enhanced Fatigue Resistance via Dislocation Starvation

Advanced Materials, EarlyView.
Nanoscale Ni single crystals exhibit remarkable fatigue resistance over an order of magnitude higher than that of bulk single crystals through dislocation starvation. By translating this mechanism into geometric nano‐architecture, nano‐architected Ni single‐crystal metamaterials achieve about twice the fatigue resistance of the bulk, despite their ...
Kota Sugisaka, Yamato Ishizaka, Hiroki Ikeda, Shigeo Arai, Masataka Abe, Yoshitaka Umeno, Hiroyuki Shima, Takashi Sumigawa   +7 more
wiley   +1 more source

Looking at Computations from a Different Angle

We present a novel framework to reason about programs based on encodings of computations as graphs. The main insight here is to rearrange the programs such that given a bound k, each computation can be explored according to any tree decomposition of ...
Parlato, Gennaro, Tomasco, Ermenegildo, La Torre, Salvatore, Inverso, Omar   +3 more
core   +1 more source

Hydrophobic MFI‐Type Zeolites via Alkali‐Cation‐Induced Defect Healing: Implications for Adsorbent and Catalyst Design

Advanced Materials, EarlyView.
Sub‐stoichiometric amounts of Na+ or K+ enhance defect healing during Silicalite‐1 (MFI) and TS‐1 calcination by promoting Si–O–Si annealing and healing framework vacancies. The resulting defect‐free zeolites are more hydrophobic and show improved butanol/water separation and improved activity and selectivity in the epoxidation of 1‐hexene, offering a ...
Christos Kanteler, Pau Ferri, Francisco Javier Escobar‐Bedia, Álvaro Mayoral, Alejandro Vidal‐Moya, Richard Kendra, Chen Lei, Miguel Palomino, Fernando Rey, Lukáš Grajciar, Christopher James Heard, Pedro Serna, Mercedes Boronat, Cristina Martínez, Manuel Moliner   +14 more
wiley   +1 more source

Research on an intelligent drilling parameter optimization method using sliding window segmentation based on the hydraulic-mechanical specific energy model. [PDF]

PLoS One
Li W, Liu Y, Li X, Deng B, Zhao H, Zhu L, Zain U.   +6 more
europepmc   +1 more source

Estimation of the reachability sets and attraction sets for the supply networks with structural constraints by means of invariant ellipsoids

, 2015
Досліджено задачу оцінювання множин досяжності і тяжіння мережі поставок зі структурними обмеженнями, задану у вигляді дискретної моделі із запізненням в просторі станів.
Дорофєєв, Юрій Іванович
core  

Electrolyte Design for Fast‐Charging Lithium‐Based Batteries

Advanced Materials, EarlyView.
A decade of progress in fast‐charging electrolytes for lithium batteries is reviewed. Electrolyte design strategies spanning solvents, salts, additives, and advanced systems, such as localized high‐concentration electrolytes (LHCEs), are summarized. Advanced diagnostic tools for lithium plating and interphase chemistry are discussed, with perspectives ...
Chen Liu, Zehao Cui, Arumugam Manthiram
wiley   +1 more source

The attractiveness of reclaimed and developed post-mining sites in Poland urban areas. [PDF]

Sci Rep
Strzałkowski P, Sitarska M, Szymkiewicz A, Ossowski R.   +3 more
europepmc   +1 more source

Direct Growth of 2D Bilayers on Au(111) for Low‐Coercive Sliding Ferroelectricity

Advanced Materials, EarlyView.
Controlled CVD growth of stacking‐defined bilayer ReS2 on Au(111) enables parallel‐stacked bilayers with intrinsic sliding ferroelectricity, a strong piezoelectric response, and an ultralow coercive voltage. Atomic‐resolution imaging and in situ measurements further reveal the decisive role of clean interfaces in achieving low‐barrier ferroelectric ...
Honglin Chen, Ke Yang, Yuhuan Li, Lingli Huang, Tianren Chen, Ming Yang, Jiong Zhao, Thuc Hue Ly   +7 more
wiley   +1 more source

Extract, model, refine: improved modelling of program verification tools through data enrichment. [PDF]

Softw Syst Model
Lathouwers S, Liu Y, Zaytsev V.
europepmc   +1 more source