Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Coupled map lattices as computational systems (1992)
    Woodbury, NY : American Institute of Physics (AIP)
    Chaos 2 (1992), S. 367-376 
    Details
    ISSN: 1089-7682
    Source: AIP Digital Archive
    Topics: Physics
    Notes: The coupled map lattice (CML) as a mathematical model for a computer is considered. Using the theory of synchronous concurrent algorithms, it is shown that the CML is a valid new model for a parallel deterministic analog machine, but that, in principle, such a CML computer does not generate computations that cannot be reproduced by the standard mathematical models for computing on real numbers. The analysis is based on new general mathematical definitions of CMLs, and an axiomatic approach to determining which models of computation can be used to simulate CMLs.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1063/1.165879
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Molecular cloning of theEscherichia coli gene encoding xylose isomerase (1985)
    Springer
    Biotechnology letters 7 (1985), S. 153-158 
    Details
    ISSN: 1573-6776
    Source: Springer Online Journal Archives 1860-2000
    Topics: Process Engineering, Biotechnology, Nutrition Technology
    Notes: Summary A 2.4 Kb DNA fragment restricted from a Clarke-Carbon ColEl plasmid, pLC32-9, containing the xylose isomerase gene has been inserted into the PstI site of pDB248, a shuttle plasmid between the bacteriumE. coli and the fission yeast,Schizosaccharomyces pombe. This recombinant plasmid, pDB248-XI, can genetically complement xylose isomerase deficientE. coli strains and xylose isomerase gene can be expressed inSchizosaccharomyces pombe.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01027809
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    The axiomatic semantics of programs based on Hoare's logic (1984)
    Springer
    Acta informatica 21 (1984), S. 293-320 
    Details
    ISSN: 1432-0525
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Summary This paper is about the Floyd-Hoare Principle which says that the semantics of a programming language can be formally specified by axioms and rules of inference for proving the correctness of programs written in the language. We study the simple language WP of while-programs and Hoare's system for partial correctness and we calculate the relational semantics of WP as this is determined by Hoare's logic. This calculation is possible by using relational semantics to build a completeness theorem for the logic. The resulting semantics AX we call the axiomatic relational semantics for WP. This AX is not the conventional semantics for WP: it need not be effectively computable or deterministic, for example. A large number of elegant properties of AX are proved and the Floyd-Hoare Principle is reconsidered.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00264252
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Complexity theory and the operational structure of algebraic programming systems (1982)
    Springer
    Acta informatica 17 (1982), S. 451-476 
    Details
    ISSN: 1432-0525
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Summary An algebraic programming system is a language built from a fixed algebraic data abstraction and a selection of deterministic, and nondeterministic, assignment and control constructs. First, we give a detailed analysis of the operational structure of an algebraic data type, one which is designed to classify programming systems in terms of the complexity of their implementations. Secondly, we test our operational description by comparing the computations in deterministic and non-deterministic programming systems under certain space and time restrictions.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00264163
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Electronic Resource
    Electronic Resource
    Algebraic models of microprocessors Architecture and organisation (1996)
    Springer
    Acta informatica 33 (1996), S. 421-456 
    Details
    ISSN: 1432-0525
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract. We present an algebraic method for modeling microprocessors at different levels of abstraction, and for expressing the relationships between each level. We consider microprocessors at levels of abstraction determined by time and details of construction. The algebraic models isolate features of the scientific structure of microprocessor computation, providing: (i) a basis for modular decomposition of the description of microprocessors, including correctness criteria; and (ii) equational specification and verification techniques for the design of microprocessors relevant to a range of specification languages and theorem provers. Our specifications are iterated maps that decompose the modeling of the computer into easily understood, equationally specified stages, represented by algebras. We illustrate our algebraic tools with an example of a simple computer.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/s002360050051
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...