Search results
From MaRDI portal
- James Clift (section List of research outcomes)Publication Date of Publication Type Encodings of Turing machines in linear logic 2020-12-08 Paper Cofree coalgebras and differential linear logic 2020-12-08...10 bytes (16 words) - 22:40, 27 December 2023
- Daniel Murfet (section List of research outcomes)Publication Date of Publication Type Encodings of Turing machines in linear logic 2020-12-08 Paper Cofree coalgebras and differential linear logic 2020-12-08...10 bytes (17 words) - 10:13, 6 October 2023
- 2019-05-17 Paper Feedback Turing Computability, and Turing Computability as Feedback 2018-04-23 Paper Graph Turing machines 2017-12-20 Paper On computability...10 bytes (19 words) - 10:36, 11 December 2023
- Merlin Carl (section List of research outcomes)reducibility with ordinal Turing machines 2022-02-28 Paper Space-bounded OTMs and REG ∞ 2022-02-28 Paper Taming Koepke's zoo. II: Register machines 2022-01-18 Paper...10 bytes (16 words) - 18:01, 6 October 2023
- Christoph Meinel (section List of research outcomes)de/entity/Q4699317 2000-02-01 Paper On the Influence of the State Encoding on OBDD-Representations of Finite State Machines 1999-12-19 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 04:40, 9 December 2023
- Marek Piotrów (section List of research outcomes)2022-08-18 Paper Incremental encoding of pseudo-Boolean goal functions based on comparator networks 2021-04-07 Paper Encoding cardinality constraints using...10 bytes (16 words) - 03:20, 25 September 2023
- John E. Hopcrofts (section List of research outcomes)Structure of Social Networks Using (α, β)-Communities 2013-06-28 Paper Making the World a Better Place 2012-07-16 Paper On the Impact of Turing Machines 2012-07-16...10 bytes (19 words) - 09:33, 13 December 2023
- Yongge Wang (section List of research outcomes)separation of two randomness concepts 2016-06-16 Paper NP-hard sets are superterse unless NP is small 2016-06-01 Paper On encoding symbol degrees of array BP-XOR...10 bytes (17 words) - 18:41, 8 December 2023
- Jyrki Katajainen (section List of research outcomes)mardi4nfdi.de/entity/Q3796756 1988-01-01 Paper Fast Simulation of Turing Machines by Random Access Machines 1988-01-01 Paper A linear expected-time algorithm for...10 bytes (16 words) - 12:40, 28 January 2024
- Kyung Hyun Cho (section List of research outcomes)Publication Date of Publication Type Dynamic Neural Turing Machine with Continuous and Discrete Addressing Schemes 2021-10-12 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 04:05, 13 December 2023
- Mirosław Kutyłowski (section List of research outcomes)Exclusive-Write Parallel Random-Access Machines 1997-06-09 Paper Limits on the power of parallel random access machines with weak forms of write conflict resolution...10 bytes (16 words) - 17:50, 12 December 2023
- Sheila A. Greibach (section List of research outcomes)The method of accepting does affect decision problems 1979-01-01 Paper Reset machines 1979-01-01 Paper Monadic recursion schemes: The effect of constants...10 bytes (18 words) - 22:56, 12 December 2023
- Ludwig Staiger (section List of research outcomes)Case of Exact Dimension 2011-08-19 Paper Universal recursively enumerable sets of strings 2011-05-10 Paper A note on accelerated Turing machines 2010-12-14...10 bytes (17 words) - 00:31, 10 December 2023
- Ratna Dutta (section List of research outcomes)signatures 2023-05-12 Paper Short attribute-based signatures for arbitrary Turing machines from standard assumptions 2023-04-28 Paper Fully secure unbounded zero...10 bytes (17 words) - 20:16, 6 October 2023
- Gabriel Ciobanu (section List of research outcomes)Exocytosis 2012-10-04 Paper An Extension of a Permutative Model of Set Theory 2012-10-04 Paper On the Computability Power of Membrane Systems with Controlled Mobility...10 bytes (17 words) - 12:30, 28 January 2024
- Robert I. Soare (section List of research outcomes)and the iterated Turing jump 1995-08-27 Paper Algebraic aspects of the computably enumerable degrees. 1995-05-16 Paper The continuity of cupping to \(\text...10 bytes (19 words) - 06:17, 9 December 2023
- Brent Waters (section List of research outcomes)Learning with Errors 2020-10-29 Paper Output compression, MPC, and iO for Turing machines 2020-05-20 Paper New approaches to traitor tracing with embedded identities...10 bytes (16 words) - 17:47, 24 September 2023
- Matthew R. Lakin (section List of research outcomes)2014-07-07 Paper Modular Verification of DNA Strand Displacement Networks via Serializability Analysis 2014-07-07 Paper Encoding abstract syntax without fresh...10 bytes (18 words) - 11:30, 7 October 2023
- Jacobo Toran (section List of research outcomes)de/entity/Q4273947 1993-12-08 Paper Graph isomorphism is low for PP 1993-09-16 Paper Turing machines with few accepting computations and low sets for PP 1992-09-27 Paper...10 bytes (16 words) - 03:51, 9 December 2023
- Shweta Agrawal (section List of research outcomes)polynomial hardness 2023-12-12 Paper Bounded functional encryption for Turing machines: adaptive security from general assumptions 2023-08-14 Paper Multi-input...10 bytes (16 words) - 18:02, 24 September 2023
