Results 101 to 110 of about 1,587 (262)

Tree automata with constraints and tree homomorphisms

, 2023
Automata are a widely used formalism in computer science as a concise representation for sets. They are interesting from a theoretical and practical point of view. This work is focused on automata that are executed on tree-like structures, and thus, define sets of trees.
openaire   +3 more sources

C-tree systolic automata

Theoretical Computer Science, 1988
A new type of systolic automaton is introduced, its structural properties such as homogeneity and stability, are investigated and the class of languages accepted by these automata is studied. This class of languages, in the nondeterministic case, contains a large subclass of the Lindenmayer EPT0L languages.
FACHINI, Emanuela, M. Napoli
openaire   +3 more sources

Intelligent Sky Guardians (InSkyGuard): An Aerial Robotic Swarm for Autonomous Detection and Entrapment of Rogue Multirotors

Advanced Robotics Research, EarlyView.
Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings, Levanya Dewanarayana, Iline Shaju, Haider Al‐Wizni, Sampson Marquis, Weicheng Huang, Pooya Sareh   +6 more
wiley   +1 more source

Autonomous Navigation of Pollen‐Inspired Magnetic Microrobots for Biomedical Applications

Advanced Robotics Research, EarlyView.
A sunflower pollen‐inspired magnetic microrobot enables controlled rolling navigation in vessel‐like environments. Its open geometry reduces hydrodynamic drag, while vision‐based closed‐loop control, shortest‐path planning, and reinforcement learning support target‐reaching and maze navigation with microrobot‐scale accuracy, highlighting a route toward
Ali Anil Demircali, Abdurrahim Yilmaz, Meysam Keshavarz, Jinshi Zhao, Ara Darzi, Eric Yeatman, Burak Temelkuran   +6 more
wiley   +1 more source

GPR124 Alleviates Blood–Brain Barrier Disruption by Enhancing Microvascular Endothelial Function after Traumatic Brain Injury

Advanced Science, EarlyView.
Our study reveals the protective role of GPR124 in maintaining BBB integrity and promoting neurological recovery following TBI. It makes a significant contribution by uncovering a novel molecular interaction between GPR124 and FGFBP1 and linking this to activation of the Wnt/β‐catenin signaling pathway in vascular repair mechanisms.
Chen Wang, Lin Cai, Qiuyuan Gong, Yang Yang, Yuqing Liang, Xinyu Niu, Lai Wei, Ze Liu, Shengju Wu, Yinghui Men, Yaohui Tang, Jun Ding, Hengli Tian, Hao Chen   +13 more
wiley   +1 more source

A 3D Human Bone and Bone Marrow‐on‐a‐Chip Model for In Vitro Bone Remodeling and Immune Cell Maintenance

Advanced Science, EarlyView.
This study presents a human Bone (and Bone Marrow)‐on‐a‐Chip model based on native human bone scaffolds and autologous cells. Dynamic perfusion and sequential cell seeding replicate the physiological bone remodeling process in vitro, enabling the long‐term culture of functional, mature bone marrow immune subpopulations.
Nina Stelzer, Melanie‐Jasmin Ort, Kristian Händler, Emely Bortel, Ioanna Maria Dimitriou, Martin Textor, Georg N. Duda, Janosch Schoon, Uwe Marx, Uwe Kornak, Annika Winter, Bernhard Hesse, Stefanie Donner, Sebastian Hardt, Oliver Klein, Simon Reinke, Malte Spielmann, Sven Geißler   +17 more
wiley   +1 more source

Phase Diagrams and Piezoelectric Properties of Wurtzite Al1−x−yScxGdyN Heterostructural Alloys

Advanced Science, EarlyView.
This study demonstrates ferroelectricity and piezoelectric properties improvement of quaternary wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films, guided by density functional theory calculations. Wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films have a high optical bandgap, enhanced piezoelectric ...
Julia L. Martin, Cheng‐Wei Lee, Nate S.P. Bernstein, Thi Nguyen, Ande Bryan, Eli Cooper, John S. Mangum, Sage R. Bauers, Andriy Zakutayev, Keisuke Yazawa, Prashun Gorai, Rebecca W. Smaha   +11 more
wiley   +1 more source

ANKS1B in the Nucleus Accumbens Controls Escalated Cocaine Self‐Administration via Regulating CBP‐FoxO3 Complex

Advanced Science, EarlyView.
ANKS1B in the nucleus accumbens plays a critical role in the transition from controlled to escalated cocaine intake. Mechanistically, ANKS1B interacts with CBP to epigenetically suppress FoxO3 through H3K27 acetylation. The ANKS1B‐CBP‐FoxO3 signaling cascade presents a novel theraputic target for the treatment of cocaine addiction.
Liping Yang, Xiaoxuan Wu, Xuan Chen, Chao Peng, Zihang Li, Shumin Gao, Shiqiu Meng, Jing Dong, Dong Wu, Liying Lv, Ying Han, Yanxue Xue, Lin Lu, Jie Shi, Jianfeng Liu, Yan Sun   +15 more
wiley   +1 more source

Personalized Network‐Guided Neuromodulation Enhances Human Working Memory

Advanced Science, EarlyView.
A personalized neuromodulation framework combining individualized functional brain network targeting with real‐time neural decoding is introduced. Using concurrent TMS–fMRI, participant‐specific stimulation targets and optimal frequencies are identified. Only optimal‐frequency stimulation improves working memory across sessions.
Ahsan Khan, Hongming Li, Camille Blaine, Julie Grier, Ethan Hammett, Almaris Figueroa‐Gonzalez, Sarai Garcia, Romain Duprat, Justin Reber, Joseph Deluisi, Christos Davatzikos, Theodore D. Satterthwaite, Yong Fan, Desmond J. Oathes   +13 more
wiley   +1 more source

Relational Version of the Multi-agent Computation Tree Logic $\mathcal{CTLK}$

Известия Иркутского государственного университета: Серия "Математика"
This paper deals with multi-agent computation tree logic --- $\mathcal{CTLK}$ (Computation Tree Logic with Knowledge). Each agent represents its own computational route of the initial problem, and new branches of possible computational routes spawn new ...
S. I. Bashmakov, K. A. Smelykh
doaj   +1 more source