Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleNovember 2024
VAE-HDC: Efficient and Secure Hyper-dimensional Encoder Leveraging Variation Analog Entropy
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 307, Pages 1–6https://doi.org/10.1145/3649329.3658486Hyperdimensional computing (HDC) is a bio-inspired machine learning paradigm utilizing hyperdimensional spaces for data representation. HDC significantly improves the ability to learn from sparse data and enhances noise robustness, and also enables ...
- research-articleOctober 2023
AirFC: Designing Fully Connected Layers for Neural Networks with Wireless Signals
MobiHoc '23: Proceedings of the Twenty-fourth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile ComputingPages 71–80https://doi.org/10.1145/3565287.3610281This paper proposes and experimentally validates a new paradigm for computing with wireless signals over-the-air (OTA). It demonstrates the first fully connected (FC) neural network (NN) constructed entirely using channel propagation and signal ...
- research-articleMay 2023
Rate-independent Computation in Continuous Chemical Reaction Networks
Journal of the ACM (JACM), Volume 70, Issue 3Article No.: 22, Pages 1–61https://doi.org/10.1145/3590776Understanding the algorithmic behaviors that are in principle realizable in a chemical system is necessary for a rigorous understanding of the design principles of biological regulatory networks. Further, advances in synthetic biology herald the time when ...
- ArticleSeptember 2022
Algebraic Biochemistry: A Framework for Analog Online Computation in Cells
Computational Methods in Systems BiologyPages 3–20https://doi.org/10.1007/978-3-031-15034-0_1AbstractThe Turing completeness of continuous chemical reaction networks (CRNs) states that any computable real function can be computed by a continuous CRN on a finite set of molecular species, possibly restricted to elementary reactions, i.e. with at ...
- research-articleMarch 2022
A Voltage-Controlled, Oscillation-Based ADC Design for Computation-in-Memory Architectures Using Emerging ReRAMs
- Mahta Mayahinia,
- Abhairaj Singh,
- Christopher Bengel,
- Stefan Wiefels,
- Muath A. Lebdeh,
- Stephan Menzel,
- Dirk J. Wouters,
- Anteneh Gebregiorgis,
- Rajendra Bishnoi,
- Rajiv Joshi,
- Said Hamdioui
ACM Journal on Emerging Technologies in Computing Systems (JETC), Volume 18, Issue 2Article No.: 32, Pages 1–25https://doi.org/10.1145/3451212Conventional von Neumann architectures cannot successfully meet the demands of emerging computation and data-intensive applications. These shortcomings can be improved by embracing new architectural paradigms using emerging technologies. In particular, ...
-
- research-articleSeptember 2018
Molecular circuit for approximate maximum a posteriori demodulation of concentration modulated signals
NANOCOM '18: Proceedings of the 5th ACM International Conference on Nanoscale Computing and CommunicationArticle No.: 11, Pages 1–6https://doi.org/10.1145/3233188.3233190This paper builds on our earlier work on designing demodulators for diffusion-based molecular communication using a Markovian approach. The demodulation filters take the form of an ordinary differential equation which computes log-posteriori probability ...
- research-articleSeptember 2017
Design principles of data converters for building large-scale gene networks in living cells
NanoCom '17: Proceedings of the 4th ACM International Conference on Nanoscale Computing and CommunicationArticle No.: 7, Pages 1–2https://doi.org/10.1145/3109453.3131226Scaling the architecture of synthetic gene networks remains one of the most challenging aspects of genetic engineering. We propose a new framework that combines analog signals and digital computation. The analog signals are used to communicate between ...
- research-articleJanuary 2014
Rate-independent computation in continuous chemical reaction networks
ITCS '14: Proceedings of the 5th conference on Innovations in theoretical computer sciencePages 313–326https://doi.org/10.1145/2554797.2554827Understanding the algorithmic behaviors that are in principle realizable in a chemical system is necessary for a rigorous understanding of the design principles of biological regulatory networks. Further, advances in synthetic biology herald the time ...
- ArticleSeptember 2013
The Super-Turing Computational Power of Interactive Evolving Recurrent Neural Networks
Proceedings of the 23rd International Conference on Artificial Neural Networks and Machine Learning — ICANN 2013 - Volume 8131Pages 58–65https://doi.org/10.1007/978-3-642-40728-4_8Understanding the dynamical and computational capabilities of neural models represents an issue of central importance. Here, we consider a model of first-order recurrent neural networks provided with the possibility to evolve over time and involved in a ...
- ArticleSeptember 2012
Tractional motion machines: tangent-managing planar mechanisms as analog computers and educational artifacts
UCNC'12: Proceedings of the 11th international conference on Unconventional Computation and Natural ComputationPages 164–173https://doi.org/10.1007/978-3-642-32894-7_16Concrete and virtual machines play a central role in the both Unconventional Computing (machines as computers) and in Math Education (influence of artifacts on reaching/producing abstract thought). Here we will examine some fallouts in these fields for ...
- articleMarch 2010
OTA-based transmission line model with variable parameters for analog power flow computation
Analog computation has some inherent benefits over traditional digital computation methods and fosters a continued interest in research, specifically in power systems, due to its associated strengths. Among these advantages are physically realizable ...
- articleJanuary 2010
The extended analog computer and functions computable in a digital sense
Acta Cybernetica (ACCY), Volume 19, Issue 4Pages 749–764In this paper we compare the computational power of the Extended Analog Computer (EAC) with partial recursive functions. We first give a survey of some part of computational theory in discrete and in real space. In the last section we show that the EAC ...
- articleApril 2006
The P ≠ NP conjecture in the context of real and complex analysis
Journal of Complexity (JCOM), Volume 22, Issue 2Pages 287–303In this paper, we aim at an analog characterization of the classical P ≠ NP conjecture of Structural Complexity. We consider functions over continuous real and complex valued variables. Subclasses of functions can be defined using Laplace transforms ...
- articleApril 2005
An optical model of computation
Theoretical Computer Science (TCSC), Volume 334, Issue 1-3Pages 227–258https://doi.org/10.1016/j.tcs.2004.07.001We prove computability and complexity results for an original model of computation called the continuous space machine. Our model is inspired by the theory of Fourier optics. We prove our model can simulate analog recurrent neural networks, thus ...
- research-articleFebruary 2005
Type-2 Computability and Moore's Recursive Functions
Regarding effectivity of functions on the reals, there have been several proposed models of analog, continuous-time computation, as opposed to the digital, discrete nature of the type-2 computability. We study one of them, Moore's real (primitive) ...
- articleDecember 2004
Real recursive functions and their hierarchy
Journal of Complexity (JCOM), Volume 20, Issue 6Pages 835–857https://doi.org/10.1016/j.jco.2004.06.001In the last years, recursive functions over the reals (Theoret. Comput. Sci. 162 (1996) 23) have been considered, first as a model of analog computation, and second to obtain analog characterizations of classical computational complexity classes (...
- articleJune 2004
Natural computation and non-Turing models of computation
Theoretical Computer Science (TCSC), Volume 317, Issue 1-3Pages 115–145https://doi.org/10.1016/j.tcs.2003.12.008We propose certain non-Turing models of computation, but our intent is not to advocate models that surpass the power of Turing machines (TMs), but to defend the need for models with orthogonal notions of power. We review the nature of models and argue ...
- articleMay 2004
Undecidability in the Imitation Game
Minds and Machines (MIND), Volume 14, Issue 2Pages 133–143https://doi.org/10.1023/B:MIND.0000021747.28850.16This paper considers undecidability in the imitation game, the so-called Turing Test. In the Turing Test, a human, a machine, and an interrogator are the players of the game. In our model of the Turing Test, the machine and the interrogator are ...
- articleFebruary 2003
Transcending Turing Computability
Minds and Machines (MIND), Volume 13, Issue 1Pages 3–22https://doi.org/10.1023/A:1021397712328It has been argued that neural networks and other forms of analog computation may transcend the limits of Turing-machine computation; proofs have been offered on both sides, subject to differing assumptions. In this article I argue that the important ...
- articleFebruary 2003
Neural and Super-Turing Computing
Minds and Machines (MIND), Volume 13, Issue 1Pages 103–114https://doi.org/10.1023/A:1021376718708``Neural computing'' is a research field based on perceiving the human brain as an information system. This system reads its input continuously via the different senses, encodes data into various biophysical variables such as membrane potentials or ...