Sentence examples for computational kinds from inspiring English sources

Finally, the idea that abstract mathematical concepts such as complexity and (in tractability may not only be translated into physics, but also re-written by physics bears directly on the autonomous character of computer science and the status of its theoretical entities the so-called "computational kinds".

In specifying the nature of mental kinds, many functionalists followed Putnam (and Fodor) by adopting "Turing machine functionalism": mental kinds are identical to the computational kinds of a suitably programmed universal Turing machine.

In other words, given that quantum computers may be able to efficiently solve classically intractable problems, hence re-describe the abstract space of computational complexity, computational concepts and even computational kinds such as 'an efficient algorithm' or 'the class NP', will become machine-dependent, and recourse to 'hardware' will become inevitable in any analysis thereof.

Rather, the textual hints of literariness continue to wash over us unannounced, even as a new kind of brainpower, the computational kind, can help identify exactly what those hints are and how they function.

The Central Dogma was initially cast in terms of structural information (Šustar 2007), and only later recast by Crick as a more cybernetic or computational kind of information (Crick 1970).

To start the computational analyses, both kinds of models require parallel studies in wind tunnel to identify the aerodynamic properties of the model.

Kronecker's strategy was to study in concrete detail, and by exploiting computational aspects, certain kinds of extensions of the rational numbers, or of the integers contained in them.

In other words, the advocates of weak AI were looking for computational properties, or kinds, that would be machine independent, at least in the sense that they would not be associated with the physical constitution of the computer, nor with the specific machine model that was being used.

In the case of kosher computational descriptions — the kind normally used in scientific modeling — the work of generating successive descriptions of a system's physical dynamics is done by a computer running an appropriate program (e.g., a weather forecasting program), not by the mapping relation.

We have described a new, first-of-its kind, computational tool MOTIF-EM that can identify structural motifs or domains that are conserved between a pair of cryoEM maps.

It should be kept in mind that any kind computational analysis work based on sequence/structure analysis needs to place newly identified domains in the context of what is already known in order to make new functional predictions.