Results 71 to 80 of about 2,329,578 (354)

Transducer Materials Mediated Deep Brain Stimulation in Neurological Disorders

Advanced Functional Materials, EarlyView.
This review discusses advanced transducer materials for improving deep brain stimulation (DBS) in neurological disorders. These materials respond to light, ultrasound, or magnetic fields, enabling precise, less invasive neuromodulation. Their stimulus‐responsive properties enhance neural control and adaptive therapy, paving the way for next‐generation ...
Di Zhao, Zhengyang Cao, Guangjun Zhong, Limin Shi, Junxia Xie, Jianhua Hao   +5 more
wiley   +1 more source

Towards an algebrization of a linear temporal logic

CQD Revista Eletrônica Paulista de Matemática
The subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas, Hércules de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini   +2 more
doaj   +1 more source

Design of the Sequential System Automata using Temporal Equivalence Classes [PDF]

Computer Science Journal of Moldova, 1997
A design method of sequential system automata using temporal logic specifications is proposed in this paper. The method is based on well-known Z.Manna and P.Wolper temporal logic satisfiability analysis procedure [1] and is extended to include past time ...
A. Ursu, G. Gruita, S. Zaporojan
doaj  

On a temporal logic of prefixes and infixes

, 2020
A classic result by Stockmeyer [16] gives a non-elementary lower bound to the emptiness problem for star-free generalized regular expressions. This result is intimately connected to the satisfiability problem for interval temporal logic, notably for formulas that make use of the so-called chop operator. Such an operator can indeed be interpreted as the
Bozzelli L., Montanari A., Peron A., Sala P.   +3 more
openaire   +6 more sources

Intuitionistic Linear Temporal Logics [PDF]

ACM Transactions on Computational Logic, 2019
We consider intuitionistic variants of linear temporal logic with “next,” “until,” and “release” based on expanding posets : partial orders equipped with an order-preserving transition function. This class of structures gives rise to a logic that we denote ITL e , and by imposing additional ...
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque   +3 more
openaire   +5 more sources

The Synergy of Artificial Intelligence and 3D Bioprinting: Unlocking New Frontiers in Precision and Tissue Fabrication

Advanced Functional Materials, EarlyView.
Advances in integrating artificial intelligence into 3D bioprinting are systematically reviewed here. Machine learning, computer vision, robotics, natural language processing, and expert systems are examined for their roles in optimizing bioprinting parameters, real‐time monitoring, quality control, and predictive maintenance.
Joao Vitor Silva Robazzi, Irem Deniz Derman, Deepak Gupta, Logan Haugh, Yogendra Pratap Singh, Vaibhav Pal, Yasar Ozer Yilmaz, Suihong Liu, Andre Luis Dias, Rogerio Andrade Flauzino, Ibrahim Tarik Ozbolat   +10 more
wiley   +1 more source

Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations

International Joint Conference on Artificial Intelligence, 2019
Temporal logics are useful for providing concise descriptions of system behavior, and have been successfully used as a language for goal definitions in task planning.
Joseph Kim, Christian Muise, Ankit Shah, Shubham Agarwal, J. Shah   +4 more
semanticscholar   +1 more source

Mimicking Synaptic Plasticity: Optoionic MoS2 Memory Powered by Biopolymer Hydrogels as a Dynamic Cations Reservoir

Advanced Functional Materials, EarlyView.
Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong, Pietro Tordi, Adrián Tamayo, Bin Han, Massimo Bonini, Paolo Samorì   +5 more
wiley   +1 more source

Unveiling Phonon Contributions to Thermal Conductivity and the Applicability of the Wiedemann—Franz Law in Ruthenium and Tungsten Thin Films

Advanced Functional Materials, EarlyView.
Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam, Pravin Karna, Niraj Bhatt, Sandip Thakur, Helge Heinrich, Daniel M. Hirt, Saman Zare, Christopher Jezewski, Rinus T.P. Lee, Kandabara Tapily, John T. Gaskins, Colin D. Landon, Sean W. King, Ashutosh Giri, Patrick E. Hopkins   +14 more
wiley   +1 more source

Logical foundations and implementation of an extension of temporal logic

Journal of Computer Science and Technology, 2000
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas.
María Laura Cobo, Juan Carlos Augusto
doaj