Results 301 to 310 of about 540,625 (369)

A Mathematical Theory of Prolog(Lambda Calculus and Computer Science Theory)

A Mathematical Theory of Prolog(Lambda Calculus and Computer Science Theory)
openaire  

Some of the next articles are maybe not open access.

Related searches:

Numerical Mathematics--Theory and Computer Applications.

Mathematics of Computation, 1987
Mathematical Introduction * Numerical Computation * Vectors and Matrices * Series Expansions * Orthogonal Functions * Linear Operators * Difference Equations * Special Functions * Laplace Transformation * Calculus of Variations Equations * Systems of Linear Equations * Nonlinear Equations and Systems of Equations * Algebraic Eigenvalue Problems ...
David K. Kahaner, Carl-Erik Froberg
openaire   +1 more source

Theory of Composites. Cambridge Monographs on Applied and Computational Mathematics

Applied Mechanics Reviews, 2003
GW Milton,, AT Sawicki,
openaire   +2 more sources

Mathematical and Computational Aspects of a General Viscoelastic Theory

Journal of Rheology, 1987
A discussion of mathematical aspects of general stress‐strain problems involving viscoelastic materials is given. Constitutive equations are presented in a general differential form. These equations generalize the Boltzmann constitutive relations and provide a convenient way to solve stress‐strain problems.
Alex Markovsky, Thomas F. Soules, Victor Chen, Milan R. Vukcevich   +3 more
openaire   +1 more source

Computational and mathematical organization theory: Perspective and directions

Computational and Mathematical Organization Theory, 1995
Computational and mathematical organization theory is an interdisciplinary scientific area whose research members focus on developing and testing organizational theory using formal models. The community shares a theoretical view of organizations as collections of processes and intelligent adaptive agents that are task oriented, socially situated ...
openaire   +1 more source

Mathematical and Computational Methods in Photonics and Phononics

Mathematical Surveys and Monographs, 2018
The fields of photonics and phononics encompass the fundamental science of light and sound propagation and interactions in complex structures, and its technological applications.
H. Ammari, B. Fitzpatrick, Hyeonbae Kang, Matias Ruiz, Sanghyeon Yu, Hai Zhang   +5 more
semanticscholar   +1 more source

Reverse Mathematics and Computability Theory of Domain Theory

2019
This paper deals with the foundations of mathematics and computer science, domain theory in particular; the latter studies certain ordered sets, called domains, with close relations to topology. Conceptually speaking, domain theory provides a highly abstract and general formalisation of the intuitive notions ‘approximation’ and ‘convergence’.
openaire   +1 more source

Logic, Foundations of Mathematics, and Computability Theory

1977
I. Formal Development of the Theory of Quantum Logic.- Spectral Theory in Quantum Logics.- Semantics of the Minimal Logic of Quantum Mechanics.- Representations of Groups as Automorphisms on Orthomodular Lattices and Posets.- The Conditional in Abstract and Concrete Quantum Logic.- On the Logical Structure of Quantum Mechanics.- II.
openaire   +1 more source

Mathematical systems theory in biology, communications, computation, and finance

2003
On cellular automaton approaches to modeling biological cells.- Crystalline stochastic systems and curvature driven flows.- Overdetermined multidimensional systems: state space and frequency domain methods.- Dissipative dynamics in classical and quantum conservative systems.- A state space approach to control of interconnected systems.- Multi ...
openaire   +3 more sources