Results 111 to 120 of about 23,557 (297)

Triple Junctions as Dislocation‐Like Defects: The Role of Grain Boundary Crystallography Revealed by Experiment and Atomistic Simulation

Advanced Engineering Materials, EarlyView.
Grain boundary triple junctions are an essential ingredient of the microstructure of polycrystalline materials. In this study, a triple junction is observed using atomic‐resolution scanning transmission electron microscopy and characterized. Computer simulations reveal that the junction has a dislocation character that is determined by the joining ...
Tobias Brink, Saba Saood, Peter Schweizer, Jörg Neugebauer, Gerhard Dehm   +4 more
wiley   +1 more source

Observer‐Based Sampled‐Data Controller in Saturated Systems via Composite Nonlinear Feedback

Engineering Reports
Employing composite nonlinear feedback idea, an observer‐based digital controller is addressed for continuous‐time systems with input nonlinearity and disturbance. To achieve the regulation purpose, the equivalent discrete‐time equations are obtained via
Valiollah Ghaffari, Ali Vazani, Saleh Mobayen, Amin Torabi Jahromi   +3 more
doaj   +1 more source

Elimination of loop-check for logic of idealized knowledge

Lietuvos matematikos rinkinys, 2009
In the paper loop-check-free sequent calculus for logic of idealized knowledge is presented. To obtain termination of derivation indices and marks are used instead of history.
openaire   +3 more sources

Achieving High ON State Current through Ferroelectric Polarization‐Dependent Interfacial Resistance Switching in Undoped Orthorhombic HfO2 Films

Advanced Functional Materials, EarlyView.
Ferroelectric tunnel junction devices based on epitaxial undoped ferroelectric HfO2 films demonstrate stable switching endurance of over 106 switching cycles, low write voltages of ±3 V, 16 measured resistance states, and neuromorphic capability.
Markus Hellenbrand, Nuno Estrócio, Ji S. Kim, Babak Bakhit, Marian C. Istrate, Corneliu Ghica, Tiago Rebelo, Nives Strkalj, Abin Varghese, Bernardo Almeida, Luís S. Marques, Bipin Rajendran, Judith L. MacManus‐Driscoll, José P. B. Silva   +13 more
wiley   +1 more source

Human-in-the-Loop Semantic Rule Base Generation and Dynamic Updating for Automated BIM Compliance Checking: A Knowledge Graph Approach

Buildings
Objective: This paper seeks to provide an effective and automated method for the creation and updating of building information modeling compliance rules using the integration of human-in-the-loop collaboration with advanced natural language processing ...
Zhuoqun Zhang, Chunhui Zhao, Danli Li, Peijie Li, Yulong Chen, Hao Zhu, Daguang Han   +6 more
doaj   +1 more source

Solution‐Processed Two‐Dimensional Indium Oxide on Sodium‐Embedded Alumina for Reconfigurable Optoelectronic Synaptic Transistors

Advanced Functional Materials, EarlyView.
Wafer‐scale two‐dimensioanl In2Se3 oxidized into InOx on sodium‐embedded beta‐alumina enables multifunctional reconfigurable electronics. Sodium ions accumulate within distinct spatial distribution under drain‐controlle and gate‐controlled operation. Drain‐control operation gives controllability of ultraviolet‐driven optoelectronic synaptic conductance
Jinhong Min, Yonghyun Albert Kwon, Hyunbin Kim, Jihyun Kim, Myeongjin Jung, Jaewon Heo, Gwang Ya Kim, Vlastimil Mazanek, Zdeněk Sofer, In Soo Kim, Jeong Ho Cho, Hyesung Park, Sang Min Won, Joohoon Kang   +13 more
wiley   +1 more source

Loop closure detection of visual SLAM based on variational autoencoder

Frontiers in Neurorobotics
Loop closure detection is an important module for simultaneous localization and mapping (SLAM). Correct detection of loops can reduce the cumulative drift in positioning.
Shibin Song, Fengjie Yu, Xiaojie Jiang, Jie Zhu, Weihao Cheng, Xiao Fang   +5 more
doaj   +1 more source

Generating customized verifiers for automatically generated code

, 2008
Program verification using Hoare-style techniques requires many logical annotations. We have previously developed a generic annotation inference algorithm that weaves in all annotations required to certify safety properties for automatically generated ...
Fischer, Bernd, Denney, Ewen, Ewen Denney, Bernd Fischer   +3 more
core   +1 more source

Mechanoluminescent HOF Nanotransducers Enabled Sono‐Optogenetics in Parkinsonian Rats

Advanced Functional Materials, EarlyView.
We present a mechanoluminescent system utilizing porous hydrogen‐bonded organic frameworks (HOFs) as a toolkit for focused ultrasound‐triggered, non‐invasive light delivery to the deep brain in rats. This approach enables the specific activation of PV‐GPe neurons in dopamine‐depleted Parkinson's disease rat models, resulting in a comparable alleviation
Wenliang Wang, Ilya Pyatnitskiy, Yanshu Shi, Kai Wing Kevin Tang, Yi Xie, Sihan Yu, Thomas Wynn, Xiangping Liu, Ju‐Chun Hsieh, Jinmo Jeong, Weilong He, Brinkley Artman, Anakaren Romero Lozano, Xi Shi, Arjun Sangani, Lief E Fenno, Samantha Santacruz, Banglin Chen, Huiliang Wang   +18 more
wiley   +1 more source

Flash Assembloids: A Rapid Biofabrication of a Platform for Modeling Early Glioblastoma Invasion at the Glioblastoma–Brain Organoid Interfaces

Advanced Healthcare Materials, EarlyView.
This study presents a bioengineered assembloid (ASM) system combining glioblastoma (GBM) cells in oxidized alginate (OA) microgels with dorsal organoids (DOs). This model simulates brain tumor‐host interactions, revealing enhanced GBM invasion, altered gene expression, and aggressive infiltration patterns, demonstrating ASM as a valuable platform for ...
Chao Liang, Henry Robert Howard, Shihui Chen, Won‐Young Choi, Summer Cao, Arthur Chien, Kevin Zou, Michael Kassiou, Fabien Delerue, Ho Sang Jung, Yeonju Park, Young Mee Jung, Yong‐Dae Kwon, Karrie M. Kiang, Gilberto Ka‐Kit Leung, Ryohichi Sugimura, Ann‐Na Cho, Sang Jin Lee   +17 more
wiley   +1 more source