Results 1 - 10 of 1,700

A calculus of mobile processes, I

by Robin Milner, et al. , 1992
"... We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage. The ..."
Abstract - Cited by 1184 (31 self) - Add to MetaCart
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage

New results in linear filtering and prediction theory

by R. E. Kalman, R. S. Bucy - TRANS. ASME, SER. D, J. BASIC ENG , 1961
"... A nonlinear differential equation of the Riccati type is derived for the covariance matrix of the optimal filtering error. The solution of this "variance equation " completely specifies the optimal filter for either finite or infinite smoothing intervals and stationary or nonstationary sta ..."
Abstract - Cited by 607 (0 self) - Add to MetaCart
in the theory of adaptive systems. Some aspects of this are considered briefly.

Motivation through the Design of Work: Test of a Theory. Organizational Behavior and Human Performance,

by ] Richard Hackman , Grec R Oldham , 1976
"... A model is proposed that specifies the conditions under which individuals will become internally motivated to perform effectively on their jobs. The model focuses on the interaction among three classes of variables: (a) the psychological states of employees that must be present for internally motiv ..."
Abstract - Cited by 622 (2 self) - Add to MetaCart
of changes that have been completed. For these reasons, the major value of socio-technical systems theory appears to be its considerable usefulness as a way of thinking about work systems and their redesign. In its present form, it has only limited use in generating new understanding through quantitative

Convex Analysis

by R. Tyrrell Rockafellar , 1970
"... In this book we aim to present, in a unified framework, a broad spectrum of mathematical theory that has grown in connection with the study of problems of optimization, equilibrium, control, and stability of linear and nonlinear systems. The title Variational Analysis reflects this breadth. For a lo ..."
Abstract - Cited by 5411 (68 self) - Add to MetaCart
In this book we aim to present, in a unified framework, a broad spectrum of mathematical theory that has grown in connection with the study of problems of optimization, equilibrium, control, and stability of linear and nonlinear systems. The title Variational Analysis reflects this breadth. For a

The beta reputation system

by Audun Jøsang, Roslan Ismail - In Proceedings of the 15th Bled Conference on Electronic Commerce , 2002
"... Reputation systems can be used to foster good behaviour and to encourage adherence to contracts in e-commerce. Several reputation systems have been deployed in practical applications or proposed in the literature. This paper describes a new system called the beta reputation system which is based on ..."
Abstract - Cited by 364 (18 self) - Add to MetaCart
Reputation systems can be used to foster good behaviour and to encourage adherence to contracts in e-commerce. Several reputation systems have been deployed in practical applications or proposed in the literature. This paper describes a new system called the beta reputation system which is based

Domain Theory in Logical Form

by Samson Abramsky - Annals of Pure and Applied Logic , 1991
"... The mathematical framework of Stone duality is used to synthesize a number of hitherto separate developments in Theoretical Computer Science: • Domain Theory, the mathematical theory of computation introduced by Scott as a foundation for denotational semantics. • The theory of concurrency and system ..."
Abstract - Cited by 249 (8 self) - Add to MetaCart
and systems behaviour developed by Milner, Hennessy et al. based on operational semantics. • Logics of programs. Stone duality provides a junction between semantics (spaces of points = denotations of computational processes) and logics (lattices of properties of processes). Moreover, the underlying logic

A Linear Logical Framework

by Iliano Cervesato, Frank Pfenning , 1996
"... We present the linear type theory LLF as the forAppeared in the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science --- LICS'96 (E. Clarke editor), pp. 264--275, New Brunswick, NJ, July 27--30 1996. mal basis for a conservative extension of the LF logical framework. ..."
Abstract - Cited by 234 (48 self) - Add to MetaCart
. LLF combines the expressive power of dependent types with linear logic to permit the natural and concise representation of a whole new class of deductive systems, namely those dealing with state. As an example we encode a version of Mini-ML with references including its type system, its operational

Risk as analysis and risk as feelings: Some thoughts about affect, reason, risk, and rationality

by Paul Slovic, Melissa L. Finucane, Ellen Peters, Donald G. Macgregor - Risk Analysis , 2004
"... Modern theories in cognitive psychology and neuroscience indicate that there are two fundamental ways in which human beings comprehend risk. The “analytic system ” uses algorithms and normative rules, such as the probability calculus, formal logic, and risk assessment. It is relatively slow, effortf ..."
Abstract - Cited by 234 (12 self) - Add to MetaCart
Modern theories in cognitive psychology and neuroscience indicate that there are two fundamental ways in which human beings comprehend risk. The “analytic system ” uses algorithms and normative rules, such as the probability calculus, formal logic, and risk assessment. It is relatively slow

The Polymorphic Pi-calculus: Theory and Implementation

by David N. Turner , 1995
"... We investigate whether the π-calculus is able to serve as a good foundation for the design and implementation of a strongly-typed concurrent programming language. The first half of the dissertation examines whether the π-calculus supports a simple type system which is flexible enough to provide a su ..."
Abstract - Cited by 109 (0 self) - Add to MetaCart
We investigate whether the π-calculus is able to serve as a good foundation for the design and implementation of a strongly-typed concurrent programming language. The first half of the dissertation examines whether the π-calculus supports a simple type system which is flexible enough to provide a

Γ-convergence for beginners

by Andrea Braides - of Oxford Lecture Series in Mathematics and its Applications , 2002
"... The object of -convergence is the description of the asymptotic behaviour of families of minimum problems, usually depending on some parameters whose nature may be geometric or constitutive, deriving from a discretization argument, an approximation procedure, etc. Since its introduction by De Giorgi ..."
Abstract - Cited by 178 (37 self) - Add to MetaCart
The object of -convergence is the description of the asymptotic behaviour of families of minimum problems, usually depending on some parameters whose nature may be geometric or constitutive, deriving from a discretization argument, an approximation procedure, etc. Since its introduction by De
Results 1 - 10 of 1,700