Integrity of systems under decentralized integral control by Meadows, Edward S., Kariwala, Vinay, Forbes, J. Fraser

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text
Get full text

Development of interpretable spiking neural network for multiclass classification by Jeyasothy, Abeegithan

Subjects: “…Engineering::Computer science and engineering::Theory of computation::Computation by abstract devices…”
Get full text

Wearable sensing system for improvement in sports training by Ank Khandelwal

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Incentive compatible design of reverse auctions. by Gravin, Nikolai.

Subjects: “…DRNTU::Science::Mathematics::Discrete mathematics::Theory of computation…”
Get full text

DNA-based computing by Yong, Kian Yan

Subjects: “…DRNTU::Science::Mathematics::Discrete mathematics::Theory of computation…”
Get full text

A study on memetic computation, with applications to capacitated vehicle routing problems by Chen, Xianshun

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Mathematical strategame theory and biomolecular mediated computing by Wang, Qi Wen

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Computation by abstract devices…”
Get full text

DNA mediated transistors based on multi-valued logic by Arjun Kudva.

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Logics and meanings of programs…”
Get full text

Embedded computing techniques for vision-based lane change decision aid systems by Satzoda Ravi Kumar

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Soft core and hard core vector processors using vector backend by Soh, Jun Jie

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

RF circuit and antenna optimization using space mapping technique by Abdullah Rasmita

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Creation of dynamic contact network through agent-based simulation by Leow, Guan Hao

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Synthetic biology : modelling genetic circuits of quorum sensing, metal biosensors and biological amplifiers by Tay, Pei Wen

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Computation by abstract devices…”
Get full text

An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions by Andreas Weiermann

“…This paper combines number-theoretic results by Hardy and Ramanujan, Karamata's celebrated Tauberian theorem and techniques from the theory of computability in a perhaps surprising way.…”
Get full text

An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions by Andreas Weiermann

“…This paper combines number-theoretic results by Hardy and Ramanujan, Karamata's celebrated Tauberian theorem and techniques from the theory of computability in a perhaps surprising way.…”
Get full text

From formulas to cirquents in computability logic by Giorgi Japaridze

“…Computability logic (CoL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a recently introduced semantical platform and ambitious program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth that logic has more traditionally been. …”
Get full text

Metacomputable by Piotr Bołtuć

“…The last point I need to make belongs to ontology in the theory of computability. The claim that computable objects, or processes, may produce incomputable ones does not commit us to what I call computational monism—the idea that non-computable processes may, strictly speaking, be transformed into computable ones. …”
Get full text

Approximate Nearest Neighbor: Towards Removing the Curse of Dimensionality by Har-Peled, Sariel, Indyk, Piotr, Motwani, Rajeev

Get full text

Fundamentals of energy storage from first principles simulations: Challenges and opportunities by Piotr M. Kowalski, Piotr M. Kowalski, Thomas Bornhake, Thomas Bornhake, Thomas Bornhake, Oskar Cheong, Oskar Cheong, Oskar Cheong, Noah Dohrmann, Andre Luiz Koch Liston, Shannon Kimberly Potts, Alison Shad, Rebekka Tesch, Rebekka Tesch, Rebekka Tesch, Yin-Ying Ting, Yin-Ying Ting, Yin-Ying Ting

Get full text

Approximate Nearest Neighbor: Towards Removing the Curse of Dimensionality by Har-Peled, Sariel, Indyk, Piotr, Motwani, Rajeev

Get full text