Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 33 matches
- 2012
- Claudio Angione, Giovanni Carapezza, Jole Costanza, Pietro Liò, Giuseppe Nicosia:
Computing with Metabolic Machines. Turing-100 2012: 1-15 - Joscha Bach, Mario Verdicchio:
What kind of machine is the mind? Turing-100 2012: 16-19 - Israel Belfer:
The Info-Computation Turn in Physics. Turing-100 2012: 20-33 - Fouad B. Chedid:
On Natural Representations of Objects. Turing-100 2012: 34-41 - Edgar G. Daylight:
Turing's Influence on Programming. Turing-100 2012: 42-52 - Martín Hötzel Escardó, Paulo Oliva:
Computing Nash Equilibria of Unbounded Games. Turing-100 2012: 53-65 - Michael Stephen Fiske:
Turing Incomputable Computation. Turing-100 2012: 66-91 - Jeroen Fokker:
The chess example in Turing's Mind paper is really about ambiguity. Turing-100 2012: 92-97 - Rusins Freivalds:
Ultrametric automata and Turing machines. Turing-100 2012: 98-112 - Anthony J. Genot, Teruo Fujii, Yannick Rondelez:
Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics. Turing-100 2012: 113-117 - Laszlo Gyongyosi, Sándor Imre:
Secure Communication over Zero-Private Capacity Quantum Channels. Turing-100 2012: 118-131 - Laszlo Gyongyosi, Sándor Imre:
On the Mathematical Boundaries of Communication with Zero-Capacity Quantum Channels. Turing-100 2012: 132-139 - José Hernández-Orallo, Javier Insa-Cabrera, David L. Dowe, Bill Hibbard:
Turing Tests with Turing Machines. Turing-100 2012: 140-156 - Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang:
Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements. Turing-100 2012: 157-167 - Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff:
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. Turing-100 2012: 168-180 - Hadi Katebi, Karem A. Sakallah, Igor L. Markov:
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies. Turing-100 2012: 181-195 - Jozef Kelemen:
A Note on Turing's Three Pioneering Initiatives and on Their Interplays. Turing-100 2012: 196-203 - Daniel Leivant:
Alternating Turing machines and the analytical hierarchy. Turing-100 2012: 204-213 - Jérôme Leroux:
Vector Addition Systems Reachability Problem (A Simpler Solution). Turing-100 2012: 214-228 - Shaoying Liu:
Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs. Turing-100 2012: 229-238 - Rao Mikkilineni, Albert Comparini, Giovanni Morana:
The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing. Turing-100 2012: 239-251 - Cristian Prisacariu:
The Glory of the Past and Geometrical Concurrency. Turing-100 2012: 252-267 - Frédéric Prost:
On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess. Turing-100 2012: 268-277 - Yun Shang, Xian Lu, Ruqian Lu:
The computing power of Turing machine based on quantum logic. Turing-100 2012: 278-288 - Qiang Shen, Ren Diao, Pan Su:
Feature Selection Ensemble. Turing-100 2012: 289-306 - Mikhail Soutchanski, Wael Yehia:
Towards an Expressive Practical Logical Action Theory. Turing-100 2012: 307-325 - Sorin Stratulat:
A Unified View of Induction Reasoning for First-Order Logic. Turing-100 2012: 326-352 - Omri Tal:
Towards an Information-Theoretic Approach to Population Structure. Turing-100 2012: 353-369 - Tony Veale:
The Soul of a New Cliché: Conventions and Meta-Conventions in the Creative Linguistic Variation of Familiar Forms. Turing-100 2012: 370-385 - Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best:
Unifying Equivalences for Timed Transition Systems. Turing-100 2012: 386-404
skipping 3 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-07 20:12 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint