Results 261 to 270 of about 273,705 (292)
Some of the next articles are maybe not open access.
Machine Science: Truly Machine-Aided Science
Science, 2010The Perspective by J. Evans and A. Rzhetsky (“Machine science,” 23 July, p. [399][1]) implies that the next Einstein could be a computer. During the past centuries, the epistemological debates on the scientific trends and revolutionary aspects in the scientific breakthroughs of every century showed the centrality of the investigators and their ...
openaire +2 more sources
Fundamenta Informaticae, 2009
The Skolem machine is a Turing-complete machine model where the instructions are first-order formulas of a specific form. We introduce Skolem machines and prove their logical correctness and completeness. Skolem machines compute queries for the Geolog language, a rich fragment of first-order logic.
Fisher, John, Bezem, Marc
openaire +2 more sources
The Skolem machine is a Turing-complete machine model where the instructions are first-order formulas of a specific form. We introduce Skolem machines and prove their logical correctness and completeness. Skolem machines compute queries for the Geolog language, a rich fragment of first-order logic.
Fisher, John, Bezem, Marc
openaire +2 more sources
Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences, 2013
The machine conception of the organism (MCO) is one of the most pervasive notions in modern biology. However, it has not yet received much attention by philosophers of biology. The MCO has its origins in Cartesian natural philosophy, and it is based on the metaphorical redescription of the organism as a machine.
openaire +2 more sources
The machine conception of the organism (MCO) is one of the most pervasive notions in modern biology. However, it has not yet received much attention by philosophers of biology. The MCO has its origins in Cartesian natural philosophy, and it is based on the metaphorical redescription of the organism as a machine.
openaire +2 more sources
2006
As explained in the preceding chapter, Tutte invented a way of finding the settings of the Tunny’s chi-wheels, but the rub was that his method seemed impractical. It involved calculations which, if done by hand, would consume a vast amount of time—probably as much as several hundred years for a single, long message, Newman once estimated. The necessary
openaire +1 more source
As explained in the preceding chapter, Tutte invented a way of finding the settings of the Tunny’s chi-wheels, but the rub was that his method seemed impractical. It involved calculations which, if done by hand, would consume a vast amount of time—probably as much as several hundred years for a single, long message, Newman once estimated. The necessary
openaire +1 more source
Minding Machines/Machining Minds
2012AbstractThis article attempts a switch in perspective. Instead of arranging modern and contemporary American poets in a forward-moving lineage or scanning such a lineage for generative breaks, it asks what poetries come into view if we look backward from the circuitries of twenty-first-century digital writing.
openaire +1 more source
Personal and Ubiquitous Computing, 2010
This story is a Science fiction (SF) prototype and serves as an example application of the process of Science Fiction (SF) prototyping as a design tool. This story should be read in conjunction with Science Fiction for Scientists!! An Introduction to SF Prototypes and Brain Machines (also included with this edition).
openaire +1 more source
This story is a Science fiction (SF) prototype and serves as an example application of the process of Science Fiction (SF) prototyping as a design tool. This story should be read in conjunction with Science Fiction for Scientists!! An Introduction to SF Prototypes and Brain Machines (also included with this edition).
openaire +1 more source
Studia Logica
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wagner Sanz, Petrucio Viana
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wagner Sanz, Petrucio Viana
openaire +2 more sources