1–20 of 235 hits
Sort by:
Sort by:
-
Computability of Analytic Functions with Analytic Machines
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Fractals Generated by Algorithmically Random Brownian Motion
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Equivalence Relations on Classes of Computable Structures
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Bayesian Data Integration and Enrichment Analysis for Predicting Gene Function in Malaria
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Chaitin Omega Numbers and Halting Problems
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
An Approach to the Engineering of Cellular Models Based on P Systems
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Survey on Oblivious Routing Strategies
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
On Ladner's Result for a Class of Real Machines with Restricted Use of Constants
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Constructing New Aperiodic Self-simulating Tile Sets
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Computability of Continuous Solutions of Higher-Type Equations
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Immunity for Closed Sets
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Decidability of Sub-theories of Polynomials over a Finite Field
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
The First Order Theories of the Medvedev and Muchnik Lattices
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Stochastic Programs and Hybrid Automata for (Biological) Modeling
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Complexity of Existential Positive First-Order Logic
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Lowness for Demuth Randomness
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Sigma ~1^0 and Pi ~1^0 Equivalence Structures
British Library Conference Proceedings | 2009|Keywords: Computational barriers -
Hyperloops Do Not Threaten the Notion of an Effective Procedure
British Library Conference Proceedings | 2009|Keywords: Computational barriers
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.