Results 201 to 210 of about 14,301 (245)
Some of the next articles are maybe not open access.
A mathematical theory for the spread of computer viruses
Computers & Security, 1989A model is introduced to treat the spread of computer viruses mathematically. A recurrence formula is given which allows a closed expression to be derived for the probability that, starting from an initial state, a given viral state will be reached after executing exactly k programs. In some special cases this recurrence formula can be used for numeric
openaire +1 more source
Mathematical Theory of Computation
1991Abstract : This project was concerned with the development of correct and reusable software through the use of higher order abstractions (function, control, assignment, process) and reflection. A semantic framework for these notions will be the basis of an experimental system for manipulating and reasoning about programs. The goals of this project were
openaire +1 more source
Some Completeness Results in the Mathematical Theory of Computation
Journal of the ACM, 1968A formal theory is described which incorporates the “assignment” function a ( i , k , ξ ) and the “contents” function c ( i , ξ ).
openaire +2 more sources
Computational Methods for A Mathematical Theory of Evidence
2008Many knowledge-based expert systems employ numerical schemes to represent evidence, rate competing hypoth eses, and guide search through the domains problem space. This paper has two objectives: first, to introduce one such scheme developed by Arthur Dempster and Glen Shafer, to a wider audience; second, to present results that can reduce the compu ...
openaire +2 more sources
Reverse Mathematics and Computability Theory of Domain Theory
2019This 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
Numerical Mathematics--Theory and Computer Applications.
Mathematics of Computation, 1987Mathematical 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
Two mathematical gestalts for computer theory
Proceedings of the 40th ACM technical symposium on Computer science education, 2009Many Computer Science educators have campaigned to increase mathematical content in the computing curriculum. However, mathematical concepts are often presented in a manner that conflicts with the general mental framework, or gestalt, of CS students. Fortunately, there is more than one gestalt in mathematics.
Kirby McMaster +2 more
openaire +1 more source
A Mathematical Theory of Energy Efficient Neural Computation and Communication
IEEE Transactions on Information Theory, 2010A neuroscience-based mathematical model of how a neuron stochastically processes data and communicates information is introduced and analyzed. Call the neuron in question 'neuron j", or just "j". The information j transmits approximately describes the time-varying intensity of the excitation j is continuously experiencing from neural spike trains ...
Toby Berger, William B. Levy
openaire +2 more sources
A basis for a mathematical theory of computation, preliminary report
Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference on - IRE-AIEE-ACM '61 (Western), 1961Programs that learn to modify their own behaviors require a way of representing algorithms so that interesting properties and interesting transformations of algorithms are simply represented. Theories of computability have been based on Turing machines, recursive functions of integers and computer programs.
openaire +2 more sources
Computational and mathematical organization theory: Perspective and directions
Computational and Mathematical Organization Theory, 1995Computational 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