Results 31 to 40 of about 1,073,172 (333)
Normal Functions as a New Way of Defining Computable Functions [PDF]
Computer Science, 2004 Report sets new method of defining computable functions. This is formalization of traditional function descriptions, so it allows to define functions in very intuitive way.
Leszek Dubiel
doaj
Generating Turing Machines by Use of Other Computation Models [PDF]
Computer Science, 2003 For each problem that can be solved there exists algorithm, which can be described with a program of Turing machine. Because this is very simple model programs tend to be very complicated and hard to analyse by human.
Leszek Dubiel
doaj
Optimistic and Pessimistic Result of Planning and Scheduling Dynamic Processes [PDF]
Computer Science, 1999 The combinatorial optimization is aimed at finding the optimum sequence for a given form of the performance index. This paper deals with the problems of combinatorics optimization.
Wieslaw Wajs
doaj
Fragments of first-order logic over infinite words [PDF]
, 2008 We give topological and algebraic characterizations as well as language theoretic descriptions of the following subclasses of first-order logic FO[
Diekert, Volker, Kufleitner, Manfred
core +6 more sources
Quality of the equipment used in the mining rescue activity in Romania and the nature of their specific requests [PDF]
MATEC Web of Conferences, 2021 Occupational safety and health is increasingly considered to be a distinct scientific discipline, with a well-defined place in the labor sciences system.
Ilioni Cristian
doaj +1 more source
Practice-oriented controversies and borrowed epistemic credibility in current evolutionary biology: phylogeography as a case study [PDF]
, 2013 Although there is increasing recognition that theory and practice in science are intimately intertwined, philosophy of science perspectives on scientific controversies have been historically focused on theory rather than practice.
Arroyo-Santos, Alfonso +2 more
core +3 more sources
Pérenniser le patrimoine immatériel : un projet d’archivage logiciel mis en place par l’Aconit
Humanités Numériques, 2023 The article discusses the challenges of preserving software as part of the Association pour un conservatoire de l’informatique et de la télématique (Aconit), a French nonprofit organisation for heritage computer science. One major issue is the decreasing
Antoine Hébert, Xavier Hiron
doaj +1 more source
New Trends in Quantum Computing
, 1996 Classical and quantum information are very different. Together they can perform feats that neither could achieve alone, such as quantum computing, quantum cryptography and quantum teleportation.
Brassard, Gilles
core +2 more sources
Unsharp Values, Domains and Topoi [PDF]
, 2011 The so-called topos approach provides a radical reformulation of quantum theory. Structurally, quantum theory in the topos formulation is very similar to classical physics.
Barbosa, Rui Soares, Doering, Andreas
core +1 more source
The tropical double description method [PDF]
, 2010 We develop a tropical analogue of the classical double description method allowing one to compute an internal representation (in terms of vertices) of a polyhedron defined externally (by inequalities).
Allamigeon, Xavier +2 more
core +5 more sources