Search results for "Q-universality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel	Computational Universality in Symbolic Dynamical Systems.	MCU	2004	DBLP DOI BibTeX RDF
72	Václav Koubek, Jirí Sichler	On relative universality and Q-universality.	Stud Logica	2004	DBLP DOI BibTeX RDF	distributive double p-algebra, Q-universality, relative universality, endomorphism monoid, variety, quasivariety
69	Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell 0001	Zone-Based Universality Analysis for Single-Clock Timed Automata.	FSEN	2007	DBLP DOI BibTeX RDF
63	Mark Burgin	Universality, Reducibility, and Completeness.	MCU	2007	DBLP DOI BibTeX RDF	problem completeness, algorithm, computability, reducibility, universal, computing power, problem hardness
60	Jérôme Durand-Lose	Simulation and Intrinsic Universality Among Reversible Cellular Automata, the Partition Cellular Automata Leverage.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
58	H. Van Dyke Parunak, Sven Brueckner, Robert Savit	Universality in Multi-Agent Systems.	AAMAS	2004	DBLP DOI BibTeX RDF
58	Guillaume Theyssier	How Common Can Be Universality for Cellular Automata?.	STACS	2005	DBLP DOI BibTeX RDF	zero-one law, cellular automata, universality
58	Richard Raimi, Ramin Hojati, Kedar S. Namjoshi	Environment modeling and language universality.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	language universality, model checking, abstraction, environment modeling
47	Jin-Qing Fang, Yong Li	One Kind of Network Complexity Pyramid with Universality and Diversity.	Complex (1)	2009	DBLP DOI BibTeX RDF
47	Sara Adams, Joël Ouaknine, James Worrell 0001	Undecidability of Universality for Timed Automata with Minimal Resources.	FORMATS	2007	DBLP DOI BibTeX RDF
47	Michael C. Fairhurst, Richard M. Guest, Farzin Deravi, J. George	Using Biometrics as an Enabling Technology in Balancing Universality and Selectivity for Management of Information Access.	User Interfaces for All	2002	DBLP DOI BibTeX RDF
47	Danuta Makowiec, Piotr Gnacinski	Universality Class of Probabilistic Cellular Automata.	ACRI	2002	DBLP DOI BibTeX RDF
47	Haiming Chen, Mihai Ionescu, Tseren-Onolt Ishdorj, Andrei Paun, Gheorghe Paun, Mario J. Pérez-Jiménez	Spiking neural P systems with extended rules: universality and languages.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Universality, Membrane computing, Turing computability, Spiking neural P systems, Chomsky hierarchy
47	Riccardo Camerlo	Universality of Embeddability Relations for Coloured Total Orders.	Order	2005	DBLP DOI BibTeX RDF	coloured total order, Borel reducibility, ?1 1-universality, dendrite
45	Andrew Adamatzky (eds.)	Reversibility and Universality, Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Martin Kutrib, Andreas Malcher, Matthias Wendlandt	Queue Automata: Foundations and Developments.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Tai-Ran He, Jia Lee, Teijiro Isokawa	Invertible Construction of Decimal-to-Binary Converter Using Reversible Elements.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Teijiro Isokawa, Ferdinand Peper	Computation and Pattern Formation by Swarm Networks with Brownian Motion.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	K. G. Subramanian 0001, Sastha Sriram, Bosheng Song, Linqiang Pan	An Overview of 2D Picture Array Generating Models Based on Membrane Computing.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Georgios Ch. Sirakoulis, Ioannis Karafyllidis	Power Consumption in Cellular Automata.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Yuhi Ohkubo, Tetsuo Yokoyama, Chishun Kanayama	Clean Reversible Simulations of Ranking Binary Trees.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Genaro J. Martínez, Andrew Adamatzky, Kenichi Morita	Logical Gates via Gliders Collisions.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Kenichi Morita	A Snapshot of My Life.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Hiroshi Umeo	FSSP Algorithms for 2D Rectangular Arrays. Recent Developments.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Nazim Fatès, Biswanath Sethi, Sukanta Das	On the Reversibility of ECAs with Fully Asynchronous Updating: The Recurrence Point of View.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Artiom Alhazov, Sergey Verlan, Rudolf Freund	Small Universal Reversible Counter Machines.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Masami Hagiya, Katsunobu Imai	On the Persistency of Gellular Automata.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Rolf Hoffmann	Simple Block-Substitution Rule Exhibits Interesting Patterns.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Guoliang Xu, Daowen Qiu, Xiangfu Zou, Jozef Gruska	Improving the Success Probability for Shor's Factorization Algorithm.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Fumiya Okubo, Takashi Yokomori	The Computing Power of Determinism and Reversibility in Chemical Reaction Automata.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Ferdinand Peper, Jia Lee	On Non-polar Token-Pass Brownian Circuits.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Martin Kutrib, Andreas Malcher	Cellular Automata: Descriptional Complexity and Decidability.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Klaus Sutner	Abelian Invertible Automata.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Maurice Margenstern	A Weakly Universal Cellular Automaton on the Grid {8, 3} with Two States.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Katsunobu Imai, Bruno Martin, Ryohei Saito	On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
45	Oscar H. Ibarra, Ian McQuillan	Input-Position-Restricted Models of Language Acceptors.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
43	Shankara Narayanan Krishna	On Pure Catalytic P Systems.	UC	2006	DBLP DOI BibTeX RDF
43	Shankara Narayanan Krishna	Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes.	CiE	2006	DBLP DOI BibTeX RDF
43	Shankara Narayanan Krishna	Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication.	DNA	2005	DBLP DOI BibTeX RDF
42	Alexei Lisitsa 0001, Igor Potapov	In time alone: on the computational power of querying the history.	TIME	2006	DBLP DOI BibTeX RDF	history-dependent computations, executable temporal logic, universality, models of computations
41	Alexander Okhotin	On Computational Universality in Language Equations.	MCU	2004	DBLP DOI BibTeX RDF
41	Carlos Martín-Vide, Gheorghe Paun	Computing with Membranes (P Systems): Universality Results.	MCU	2001	DBLP DOI BibTeX RDF
37	Parosh Aziz Abdulla, Pavel Krcál, Wang Yi 0001	Sampled Universality of Timed Automata.	FoSSaCS	2007	DBLP DOI BibTeX RDF
37	Joël Ouaknine, James Worrell 0001	Universality and Language Inclusion for Open and Closed Timed Automata.	HSCC	2003	DBLP DOI BibTeX RDF
37	Jean-François Abramatic	Challenges for the Web: Universality and Scalability (Abstract).	ECDL	1999	DBLP DOI BibTeX RDF
37	P. Oscar Boykin, Tal Mor, Matthew Pulver, Vwani P. Roychowdhury, Farrokh Vatan	On Universal and Fault-Tolerant Quantum Computing: A Novel Basis and a New Constructive Proof of Universality for Shor's Basis.	FOCS	1999	DBLP DOI BibTeX RDF
36	Artiom Matveevici, Yurii Rogozhin, Sergey Verlan	Insertion-Deletion Systems with One-Sided Contexts.	MCU	2007	DBLP DOI BibTeX RDF	insertion-deletion systems, computational non-completeness, universality
36	Noga Alon, Michael R. Capalbo, Yoshiharu Kohayakawa, Vojtech Rödl, Andrzej Rucinski 0001, Endre Szemerédi	Universality and Tolerance.	FOCS	2000	DBLP DOI BibTeX RDF	positive integers, sparse universal graphs, random constructions, fault-tolerant bipartite random graph, graph theory, graph theory, graphs, bipartite graphs, universality, vertices, tolerance, maximum degree
36	Tsutomu Sasao, Kozo Kinoshita	Conservative Logic Elements and Their Universality.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	universality of logic elements, logic elements, magnetic bubble logic elements, Logic circuits
32	S. N. Hosseini, M. V. Mielke	Universal Monos in Partial Morphism Categories.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A15, 18A20, 18B99, 18D15
32	Shankara Narayanan Krishna	The Expressiveness of Concentration Controlled P Systems.	UC	2008	DBLP DOI BibTeX RDF
32	Grégory Lafitte, Michael Weiss	Universal Tilings.	STACS	2007	DBLP DOI BibTeX RDF
32	Shankara Narayanan Krishna, Gheorghe Paun	P Systems with Mobile Membranes.	Nat. Comput.	2005	DBLP DOI BibTeX RDF	matrix grammar, membrane computing, Turing computability
32	Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Chabrier, Pierre Collet	A New Universal Cellular Automaton Discovered by Evolutionary Algorithms.	GECCO (1)	2004	DBLP DOI BibTeX RDF
32	Philipp Woelfel	Efficient Strongly Universal and Optimally Universal Hashing.	MFCS	1999	DBLP DOI BibTeX RDF
32	Leonid Libkin	Approximation in Databases.	ICDT	1995	DBLP DOI BibTeX RDF
32	Jirí Wiedermann, Lukás Petru	On the Universal Computing Power of Amorphous Computing Systems.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Simulation, Communication protocol, Universality, Probabilistic automata, Amorphous computing
32	Gadi Taubenfeld	On the Computational Power of Shared Objects.	OPODIS	2009	DBLP DOI BibTeX RDF	power numbers, k-obstruction-freedom, wait-free hierarchy, power hierarchy, universality, Shared objects, wait-freedom, consensus numbers
32	Jirí Wiedermann, Lukás Petru	Computability in Amorphous Structures.	CiE	2007	DBLP DOI BibTeX RDF	simulation, complexity, computability, universality, amorphous computers
32	Nicholas Chia, Ralf Bundschuh	A Practical Approach to Significance Assessment in Alignment with Gaps.	RECOMB	2005	DBLP DOI BibTeX RDF	Markov models and/or hidden Markov models, statistics of motifs or strings, Gumbel distribution, extreme value distribution, Kardar-Parisi-Zhang universality class, asymmetric exclusion process, statistical significance, pairwise sequence alignment
32	Jérôme Durand-Lose	Abstract Geometrical Computation: Turing-Computing Ability and Undecidability.	CiE	2005	DBLP DOI BibTeX RDF	Analog model of computation, Turing universality, Cellular automata, Geometry, Abstract geometrical computation
30	Wei Huang, Tenghao Ji	Quantitative Approaches to Universality and Individuality in Language Quantitative Approaches to Universality and Individuality in Language , edited by Makoto Yamazaki, Haruko Sanada, Reinhard Köhler, Sheila Embleton, Relja Vulanović and Eric S. Wheeler, Berlin, De Gruyter Mouton, 2023, V+229 pp., €99.95 (hardback), ISBN 978-3-11-062808-1: edited by Makoto Yamazaki, Haruko Sanada, Reinhard Köhler, Sheila Embleton, Relja Vulanović and Eric S. Wheeler, Berlin, De Gruyter Mouton, 2023, V+229 pp., €99.95 (hardback), ISBN 978-3-11-062808-1.	J. Quant. Linguistics	2024	DBLP DOI BibTeX RDF
30	Petr Sosík, Jan Drastík	Computational Universality and Efficiency in Morphogenetic Systems.	MCU	2022	DBLP DOI BibTeX RDF
30	Enrico Formenti	Complexity of Local, Global and Universality Properties in Finite Dynamical Systems.	MCU	2022	DBLP DOI BibTeX RDF
30	Michel Raynal, Jiannong Cao 0001	A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality.	MCU	2018	DBLP DOI BibTeX RDF
30	Sergiu Ivanov 0001, Sergey Verlan	Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States.	MCU	2015	DBLP DOI BibTeX RDF
30	Dmitry A. Zaitsev	Universality in Infinite Petri Nets.	MCU	2015	DBLP DOI BibTeX RDF
30	Damien Woods	Intrinsic universality and the computational power of self-assembly.	MCU	2013	DBLP DOI BibTeX RDF
30	Kenichi Morita	Reversible Logic Elements with Memory and Their Universality.	MCU	2013	DBLP DOI BibTeX RDF
30	Simon Martiel, Bruno Martin	Intrinsic Universality of Causal Graph Dynamics.	MCU	2013	DBLP DOI BibTeX RDF
30	Véronique Bruyère, Marc Ducobu, Olivier Gauwin	Visibly pushdown automata on trees: universality and u-universality	CoRR	2012	DBLP BibTeX RDF
30	Turlough Neary	A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems.	LATA	2010	DBLP DOI BibTeX RDF
30	Václav Koubek, Jirí Sichler	Almost ff-universality Implies Q-universality.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 08C15, 18B15
30	Turlough Neary	A boundary between universality and non-universality in spiking neural P systems	CoRR	2009	DBLP BibTeX RDF
30	Kenichi Morita, Tsuyoshi Ogiro, Keiji Tanaka, Hiroko Kato	Classification and Universality of Reversible Logic Elements with One-Bit Memory.	MCU	2004	DBLP DOI BibTeX RDF
30	Klaus Sutner	Universality and Cellular Automata.	MCU	2004	DBLP DOI BibTeX RDF
30	Madhu Mutyam, Kamala Krithivasan	P Systems with Membrane Creation: Universality and Efficiency.	MCU	2001	DBLP DOI BibTeX RDF
30	Ulrich Nitsche	On the Border of Universality and Non-Universality in Restricted High-Level Petri Nets.	MCU (2)	1998	DBLP BibTeX RDF
26	Mark H. Chignell, Naotsune Hosono, Deborah I. Fels, Danielle M. Lottridge, John A. Waterworth	Mobility, Emotion, and Universality in Future Collaboration.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	Future Interfaces, Perceptual Interfaces, University Interfaces, Cross-Cultural Interfaces, Mobile Computing, Emotional Design
26	Francisco V. Cipolla Ficarra, Miguel Cipolla-Ficarra	Multimedia, User-Centered Design and Tourism: Simplicity, Originality and Universality.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	Communica-bility, Human-Computer Interaction, Usability, Multimedia, User-Centered Design, Heuristic Evaluation, Tourism, Semiotics
26	Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar	Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata.	CIAA	2008	DBLP DOI BibTeX RDF
26	Thomas Worsch, Hidenosuke Nishio	Changing Neighborhoods of CA: Reduced Local Structures and Embeddings for Universality.	ACRI	2008	DBLP DOI BibTeX RDF
26	Shie Mannor, Jeff S. Shamma, Gürdal Arslan	Online calibrated forecasts: Memory efficiency versus universality for learning in games.	Mach. Learn.	2007	DBLP DOI BibTeX RDF	Learning in games, Fictitious play, Prediction of universal sequences, The ODE method, Calibration, Forecasting, Stochastic approximation
26	Martin De Wulf, Laurent Doyen 0001, Thomas A. Henzinger, Jean-François Raskin	Antichains: A New Algorithm for Checking Universality of Finite Automata.	CAV	2006	DBLP DOI BibTeX RDF
26	Jean-Charles Delvenne	Turing Universality in Dynamical Systems.	CiE	2006	DBLP DOI BibTeX RDF
26	Francesco Bernardini, Marian Gheorghe 0001	Cell communication in tissue P systems: universality results.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Tissue, Membrane computing, Turing computability
26	Emmanuel Jeandel	Universality in Quantum Computation.	ICALP	2004	DBLP DOI BibTeX RDF
26	Mario J. Pérez-Jiménez, Francisco José Romero-Campero	Attacking the Common Algorithmic Problem by Recognizer P Systems.	MCU	2004	DBLP DOI BibTeX RDF
26	Mihai Ionescu, Carlos Martín-Vide, Andrei Paun, Gheorghe Paun	Unexpected universality results for three classes of P systems with symport/antiport.	Nat. Comput.	2003	DBLP DOI BibTeX RDF	membrane computing, P system, Turing computability, Chomsky hierarchy
26	Nicolas Ollinger	The Intrinsic Universality Problem of One-Dimensional Cellular Automata.	STACS	2003	DBLP DOI BibTeX RDF
26	Mihai Ionescu, Carlos Martín-Vide, Andrei Paun, Gheorghe Paun	Unexpected Universality Results for Three Classes of P Systems with Symport/Antiport.	DNA	2002	DBLP DOI BibTeX RDF
26	Rudolf Freund, Andrei Paun	Membrane Systems with Symport/Antiport Rules: Universality Results.	WMC-CdeA	2002	DBLP DOI BibTeX RDF
26	Madhu Mutyam, Kamala Krithivasan	Universality Results for Some Variants of P Systems.	WMP	2000	DBLP DOI BibTeX RDF
26	João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo	Turing Universality of Neural Nets (Revisited).	EUROCAST	1997	DBLP DOI BibTeX RDF	recursive function theory, modularity, Neural computation
21	Bogdan Aman, Gabriel Ciobanu	Simple, Enhanced and Mutual Mobile Membranes.	Trans. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
21	Zhi Zhang, Sergey Tulyakov, Venu Govindaraju	Combining Facial Skin Mark and Eigenfaces for Face Recognition.	ICB	2009	DBLP DOI BibTeX RDF
21	Slawomir Lasota 0001, Igor Walukiewicz	Alternating timed automata.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	emptyness problem, timed automata, Alternation
21	Shun Shiramatsu, Kazunori Komatani, Kôiti Hasida, Tetsuya Ogata, Hiroshi G. Okuno	A game-theoretic model of referential coherence and its empirical verification using large Japanese and English corpora.	ACM Trans. Speech Lang. Process.	2008	DBLP DOI BibTeX RDF	centering theory, corpus statistics, discourse salience, game-theoretic pragmatics, meaning game, perceptual utility, pronominalization, reference probability, referential coherence, game theory, Discourse analysis
21	Thomas Colcombet, Christof Löding	The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata.	ICALP (2)	2008	DBLP DOI BibTeX RDF
21	Andrzej Roslanowski, Saharon Shelah	Universal forcing notions and ideals.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E40, 03E17