Results 71 to 80 of about 5,156 (265)

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions [PDF]

Logical Methods in Computer Science
Mixed-choice has long been barred from models of asynchronous communication since it compromises the decidability of key properties of communicating finite-state machines.
Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King   +3 more
doaj   +1 more source

Stable Neural Signal Recording Processed by Memristor‐Based Reservoir Computing System

Advanced Intelligent Systems, EarlyView.
This work introduces a memristor‐based reservoir computing (RC) system for real‐time, energy‐efficient processing of neural signals in brain‐machine interface (BMI). Combined with flexible mesh neural probes with tissue‐like flexibility and subcellular‐scale features that enable consistent, long‐term tracking of single‐cell neural activities, the ...
Soohyeon Kim, Yuting Wu, Finn Moore, Mingtao Hu, Xiaoyu Zhang, Sangmin Yoo, Eric Yeu‐Jer Lee, Hao Shen, Yichun He, Jia Liu, Wei D. Lu   +10 more
wiley   +1 more source

Small‐Scale Magnetic Peristaltic Soft Robot With Mobility and Transport Capabilities

Advanced Intelligent Systems, EarlyView.
This study introduces a miniature, untethered soft magnetic microrobot with peristaltic capabilities for both locomotion and cargo transport. Eight helically magnetized elastomeric strips deform under rotating fields (10–80 mT, 1–5 Hz), enabling movement across rods and lumina at up to 4.1 body lengths min‐¹.
Mohammad Hasan Dad Ansari, Linda Paternò, Chenjun Wu, Veronica Iacovacci, Arianna Menciassi   +4 more
wiley   +1 more source

Electromagnetic field coupled circuits and open‐loop control of fast starting processes in induction motors

IET Power Electronics
To solve the problems of difficulty in speed measurement and low accuracy of speed measurement of induction motor (IM) during fast starting, the electromagnetic field coupling circuit (EFCC) and open‐loop control of IM considering rapid speed change are ...
Huixian Zhang, Kunlun Zhang, Nan Xu, Cheng Luo   +3 more
doaj   +1 more source

Physics‐Grounded Probabilistic Bits for Hardware‐Efficient Intelligent Inference and Optimization

Advanced Intelligent Systems, EarlyView.
Si–SiNx interface traps are harnessed as a complementary metal–oxide–semiconductor‐compatible source of controllable randomness for probabilistic bits. Pulse‐width‐programmed stochastic capture converts nanoscale defect dynamics into Boltzmann‐consistent binary outputs, while a physics‐based Simulation Program with Integrated Circuit Emphasis model ...
Dokyoung Lee, Jun‐Young Park, Joon‐Kyu Han, Sungho Kim   +3 more
wiley   +1 more source

Model predictive control with adjustable switching frequency for induction motor drives based on three‐dimensional satisfaction space optimisation

IET Electric Power Applications
This paper proposes a model predictive control strategy for induction motors driven by three‐level inverters, enabling effective switching frequency adjustment.
Bo Yang, Xiang Wu, Yu Tian, Zhikang Guo, Xu Zhang, Guojun Tan   +5 more
doaj   +1 more source

CALCULATIONS OF DYNAMIC OPERATING MODES OF ELECTRIC DRIVES OF SELF-PROPELLED MINING MACHINES

Записки Горного института, 2018
The task of improving the calculations of the dynamic modes of electric drives of self-propelled mining machines, particulary, tunneling machines, is considered. Attention is drawn to the possibility to opearte in dynamic modes of a spatial change in the
E. K. Eshchin
doaj   +1 more source

AI‐Assisted IoT‐Enabled ECG Monitoring: Integrating Foundational and Generative AI Tools for Sustainable Smart Healthcare—Recent Trends

AI &Innovation, EarlyView.
ABSTRACT The rapid evolution of the Internet of Things (IoT) has significantly advanced the field of electrocardiogram (ECG) monitoring, enabling real‐time, remote, and patient‐centric cardiac care. This paper presents a comprehensive survey of AI assisted IoT‐based ECG monitoring systems, focusing on the integration of emerging technologies such as ...
Amrita Choudhury, Kandarpa Kumar Sarma, Lachit Dutta   +2 more
wiley   +1 more source

Genome‐Wide Association Study of Symptom Change Following Cognitive Behavioral Therapy for Common Mental Disorders

American Journal of Medical Genetics Part B: Neuropsychiatric Genetics, EarlyView.
ABSTRACT Cognitive behavioral therapy (CBT) is a well‐established, evidence‐based treatment for common mental disorders such as depression, anxiety disorders, and obsessive‐compulsive disorder (OCD). However, treatment outcomes vary widely, and a substantial proportion of patients do not achieve sufficient improvement.
Julia Bäckman, Olly Kravchenko, Matthew Halvorsen, Elles de Schipper, Ekaterina Ivanova, Viktor Kaldo, Nils Hentati Isacsson, Thorstein Olsen Eide, Kira D. Höffler, Manuel Mattheisen, Bjarne Hansen, Gerd Kvale, Kristen Hagen, Jan Haavik, David Mataix‐Cols, James J. Crowley, John Wallert, Christian Rück, Nordic OCD and Related Disorders Consortium (NORDiC), Julia Bäckman, Long‐Long Chen, James J. Crowley, Elles de Schipper, Diana Pascal, Jan Haavik, Kristen Hagen, Matthew W. Halvorsen, Bjarne Hansen, Kira D. Höffler, Fredrik Johansson, Anna K. Kähler, Elinor K. Karlsson, Gerd Kvale, Paul Lichtenstein, Kerstin Lindblad‐Toh, Manuel Mattheisen, David Mataix‐Cols, Kathleen Morrill, Christian Rück, Thorstein Olsen Eide, Nora I. Strom, John Wallert   +41 more
wiley   +1 more source

Personal HealthCare of Things: A novel paradigm and futuristic approach

CAAI Transactions on Intelligence Technology, EarlyView., 2023
Abstract This study provides an investigative approach and offers a complete review of research on Internet of Medical Things (IoMT), describing the progress in general and highlighting the research issues, trends, and future aspects of IoMT. Exploring a research strategy for IoMT systems is vital as the need for IoT in healthcare grows. By aggregating
Surbhi Gupta, Mohammad Shabaz, Ankur Gupta, Abdullah Alqahtani, Shtwai Alsubai, Isaac Ofori   +5 more
wiley   +1 more source