Results 141 to 150 of about 676,729 (299)

Synchronizing the asynchronous

, 2017
Synchronous programs are easy to specify because the side effects of an operation are finished by the time the invocation of the operation returns to the caller. Asynchronous programs, on the other hand, are difficult to specify because there are side effects due to pending computation scheduled as a result of the invocation of an operation.
Kragl, Bernhard, Qadeer, Shaz, Henzinger, Thomas A.   +2 more
openaire   +3 more sources

Review of Memristors for In‐Memory Computing and Spiking Neural Networks

Advanced Intelligent Systems, EarlyView.
Memristors uniquely enable energy‐efficient, brain‐inspired computing by acting as both memory and synaptic elements. This review highlights their physical mechanisms, integration in crossbar arrays, and role in spiking neural networks. Key challenges, including variability, relaxation, and stochastic switching, are discussed, alongside emerging ...
Mostafa Shooshtari, Teresa Serrano‐Gotarredona, Bernabé Linares‐Barranco   +2 more
wiley   +1 more source

Autonomous Robotic Colonoscopy: A Supervised Learning Approach for Enhanced Navigation and Collision Detection

Advanced Intelligent Systems, EarlyView.
A novel autonomous robotic colonoscopy is introduced through supervised learning approaches. The proposed system consists of 3 degrees of freedom motorized colonoscope with an integrated navigation module that can infer a target steering point and collision probability.
Bohyun Hwang, Dae Kyung Sohn, Seonggun Joe, Byungkyu Kim   +3 more
wiley   +1 more source

A Fully Asynchronous Multifrontal Solver Using Distributed Dynamic Scheduling

SIAM Journal on Matrix Analysis and Applications, 2001
P. Amestoy, I. Duff, J. L’Excellent, J. Koster   +3 more
semanticscholar   +1 more source

Current‐Limiting Control Strategies in Variable Capacitance Electrostatic Energy Harvesters

Advanced Intelligent Systems, EarlyView.
This work introduces control strategies for electrostatic energy harvesters that balance energy yield with current limitations. Two approaches are explored: traditional peak‐triggered controls, and newly developed quadrature controls, which use smooth voltage profiles.
Alireza Jalaliankhakshour, Gianluca Rizzello, Antonello Cherubini, Marco Fontana, Giacomo Moretti   +4 more
wiley   +1 more source

Hardware acceleration of number theoretic transform for zk‐SNARK

Engineering Reports, EarlyView., 2023
An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao, Dong Ding, Feng Wang, Pengcheng Hua, Ning Wang, Qin Wu, Zhilei Chai   +6 more
wiley   +1 more source

Compact Modeling of Volatile‐Switching Electrochemical Metallization Memory Cells by Means of the Electromotive Force

Advanced Intelligent Systems, EarlyView.
A volatile‐switching compact model of electrochemical metallization memory cells for neuromorphic architecture is developed and validated by reliable reproduction of device characterization measurements: I−V sweeps, SET kinetics, relaxation dynamics.
Rana Walied Ahmad, Solomon Amsalu Chekol, Julius Rasbach, Susanne Hoffmann‐Eifert, Stephan Menzel   +4 more
wiley   +1 more source

Adaptive Autonomy in Microrobot Motion Control via Deep Reinforcement Learning and Path Planning Synergy

Advanced Intelligent Systems, EarlyView.
This study introduces a data‐driven framework that combines deep reinforcement learning with classical path planning to achieve adaptive microrobot navigation. By training a surrogate neural network to emulate microrobot dynamics, the approach improves learning efficiency, reduces training time, and enables robust real‐time obstacle avoidance in ...
Amar Salehi, Bairong Zhu, Haoyu Liu, Tingting Yu   +3 more
wiley   +1 more source

ControlIt: A Universal Framework for Translational, Adaptive, and Online Brain–Computer Interfaces

Advanced Intelligent Systems, EarlyView.
Brain–computer interfaces (BCIs) lack a unified platform that works across signals and algorithms. ControlIt, an open‐source, modular ROS2‐based BCI framework supporting electroencephalography (EEG), electrocorticography (ECoG), and spike‐based decoding across both classification and regression tasks is presented.
Wanlin Yang, Chenyang Li, Xinxiu Xu, Xindong Wang, Yongcheng Guo, Xiaoke Chai, Tianqin Cao, Jiuxiang Song, Nan Wang, Xueming Zhang, Yi Yang, Cong Zheng, He Cui   +12 more
wiley   +1 more source

Assessing the viability of genebanked seeds from rare, wild plants native to the United States using the D.E.A.D. paradigm

Applications in Plant Sciences, EarlyView.
Abstract Premise Genebanks must maintain viable seeds for decades. Seeds that germinate are clearly alive, but some seeds, often from wild populations, do not germinate because they are dormant, empty, aged, or damaged (D.E.A.D.). This work evaluates the effects of D.E.A.D.
Christina Walters, Lisa M. Hill, Katherine D. Heineman, Hannah M. Tetreault, Shaimaa Ibrahim, Katherine Markstein, Cheryl Birker, Kris Freitag, Dustin Wolkis, Michael Kunz, Sheila Murray, Nathaniel Kingsley, Alexandra Seglias, Nicholas Matsumoto, Thomas N. Kaye, Cheryl Peterson, Matthew A. Albrecht, Noah Dell, Stacy Anderson, Steve Blackwell, David Remucal, Wendy Gibble, Anita Tiller, Emily Coffey, Jason Ligon, Laurie Blackmore, Carrie Radcliffe, Heather E. Schneider, Kristen Nelson, David Sollenberger, Jessamine Finch, Kate Wellspring, Robert Jetton, Joyce Maschinski   +33 more
wiley   +1 more source