English
Related papers

Related papers: Detecting Stimuli with Novel Temporal Patterns to …

200 papers

This paper introduces a novel framework for optimizing observer-based soft sensors through dynamic causality analysis. Traditional approaches to sensor selection often rely on linearized observability indices or statistical correlations…

Artificial Intelligence · Computer Science 2025-09-16 William Farlessyost , Sebastian Oberst , Shweta Singh

With increasing interest in high-speed imaging should come an increased interest in the response times of our scanning transmission electron microscope (STEM) detectors. Previous works have previously highlighted and contrasted performance…

Instrumentation and Detectors · Physics 2023-08-09 Tiarnan Mullarkey , Matthew Geever , Jonathan J. P. Peters , Ian Griffiths , Peter D. Nellist , Lewys Jones

Identifying relevant machine-learning features for multi-sensing platforms is both an applicative limitation to recognize environments and a necessity to interpret the physical relevance of transducers' complementarity in their information…

A new hybrid tracking controller for neuromuscular electrical stimulation is proposed. The control scheme uses sampled measurements and is designed by utilizing a numerical prediction of the state variables. The tracking error of the…

Optimization and Control · Mathematics 2013-10-08 Iasson Karafyllis , Michael Malisoff , Marcio de Queiroz , Miroslav Krstic

Debugging is a demanding aspect of programming yet guidance on how to teach it effectively remains limited. Novices often struggle to recognize impasses regulate their problem solving and manage cognitive load and stress. This study…

Human-Computer Interaction · Computer Science 2026-05-07 Anahita Golrang , Kshitij Sharma

In-field test of processor-based devices is a must when considering safety-critical systems (e.g., in robotics, aerospace, and automotive applications). During in-field testing, different solutions can be adopted, depending on the specific…

Hardware Architecture · Computer Science 2021-09-09 Juan-David Guerrero-Balaguera , Josie E. Rodriguez Condia , Matteo Sonza Reorda

According to the theory of efficient coding, sensory systems are adapted to represent natural scenes with high fidelity and at minimal metabolic cost. Testing this hypothesis for sensory structures performing non-linear computations on high…

Neurons and Cognition · Quantitative Biology 2018-04-13 Ulisse Ferrari , Christophe Gardella , Olivier Marre , Thierry Mora

In this contribution, a design of a synthetic calibration genetic circuit to characterize the relative strength of different sensing promoters is proposed and its specifications and performance are analyzed via an effective mathematical…

Molecular Networks · Quantitative Biology 2026-02-06 D. Gamermann , A. Montagud , P. Aparicio , E. Navarro , J. Triana , F. R. Villatoro , J. F. Urchueguía , P. Fernández de Córdoba

Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next. Traditionally this simulation mode cannot take into…

Software Engineering · Computer Science 2019-12-24 Julien Brunel , David Chemouil , Alcino Cunha , Nuno Macedo

Attacks like Spectre abuse speculative execution, one of the key performance optimizations of modern CPUs. Recently, several testing tools have emerged to automatically detect speculative leaks in commercial (black-box) CPUs. However, the…

Cryptography and Security · Computer Science 2023-01-19 Oleksii Oleksenko , Marco Guarnieri , Boris Köpf , Mark Silberstein

Supporting the programming of stateful packet forwarding functions in hardware has recently attracted the interest of the research community. When designing such switching chips, the challenge is to guarantee the ability to program…

Networking and Internet Architecture · Computer Science 2019-01-29 Carmelo Cascone , Roberto Bifulco , Salvatore Pontarelli , Antonio Capone

Many autonomous systems, such as robots and self-driving cars, involve real-time decision making in complex environments, and require prediction of future outcomes from limited data. Moreover, their decisions are increasingly required to be…

Robotics · Computer Science 2021-05-26 Erfan Aasi , Cristian Ioan Vasile , Mahroo Bahreinian , Calin Belta

One of the most attractive features of untyped languages is the flexibility in term creation and manipulation. However, with such power comes the responsibility of ensuring the correctness of these operations. A solution is adding run-time…

Programming Languages · Computer Science 2017-10-17 Nataliia Stulova , José F. Morales , Manuel V. Hermenegildo

Spectre attacks exploit speculative execution to leak sensitive information. In the last few years, a number of static side-channel detectors have been proposed to detect cache leakage in the presence of speculative execution. However,…

Cryptography and Security · Computer Science 2022-11-28 Ali Sahraee

We introduce an adaptive scheduling for adaptive sampling as a novel way of machine learning in the construction of part-of-speech taggers. The goal is to speed up the training on large data sets, without significant loss of performance…

Computation and Language · Computer Science 2024-02-06 Manuel Vilares Ferro , Victor M. Darriba Bilbao , Jesús Vilares Ferro

The existence of tactile afferents sensitive to slip-related mechanical transients in the human hand augments the robustness of grasping through secondary force modulation protocols. Despite this knowledge and the fact that tactile-based…

Robotics · Computer Science 2018-06-28 Karl Van Wyk , Joe Falco

Spiking neuronal networks are usually simulated with three main simulation schemes: the classical time-driven and event-driven schemes, and the more recent hybrid scheme. All three schemes evolve the state of a neuron through a series of…

Neurons and Cognition · Quantitative Biology 2018-01-24 Jeyashree Krishnan , PierGianLuca Porta Mana , Moritz Helias , Markus Diesmann , Edoardo Di Napoli

This paper proposes a new class of nonparametric tests for the correct specification of models based on conditional moment restrictions, paying particular attention to generalized propensity score models. The test procedure is based on two…

Econometrics · Economics 2023-04-18 Pedro H. C. Sant'Anna , Xiaojun Song

A recent experiment suggests that neural circuits may alternatively implement continuous or discrete attractors, depending on the training set up. In recurrent neural network models, continuous and discrete attractors are separately modeled…

Biological Physics · Physics 2007-09-04 Alberto Bernacchia

Transportation modes prediction is a fundamental task for decision making in smart cities and traffic management systems. Traffic policies designed based on trajectory mining can save money and time for authorities and the public. It may…

Artificial Intelligence · Computer Science 2018-09-07 Mohammad Etemad , Amilcar Soares Junior , Stan Matwin