Browsing by Subject "Calculations"
Now showing items 120 of 21

Article
Abinitio electronic structure calculations and properties of [SixSn1 − x]3N4 ternary nitrides
(2016)We carry out ab initio electronic structure calculations of (SixSn1 − x)3N4 using density functional theory with projector augmentedwave potentials under the generalized gradient approximation. We find that the energetically ...

Conference Object
Classification performance of motor unit action potential features
(IEEE, 1994)The objective of this study is to examine the classification performance of the following motor unit action potential (MUAP) feature sets: i) time domain measures, ii) frequency measures, iii) autoregressive coefficients ...

Conference Object
Comparison of a nonlinear adaptive controller with certaintyequivalence type adaptive controllers
(IEEE, 1995)Recently a new class of adaptive controllers for linear time invariant minimum phase plants has been proposed and analyzed. The design of these controllers is based on nonlinear tools and appears to be different from that ...

Article
Continuum treatment of longrange interactions in free energy calculations. Application to proteinligand binding
(1997)A method is proposed to include longrange electrostatic interactions in free energy calculations that involve the creation or deletion of net charges in a macromolecule. The vicinity of the mutation site is treated ...

Article
A DFT study of the ground state multiplicities of linear vs angular polyheteroacenes
(2004)Unrestricted density functional calculations in combination with the brokensymmetry approach and spinprojection methods have been employed to study a series of formally 4n π antiaromatic linear and angular polyheteroacenes. ...

Article
Experimental determination of the absolute temperature modulation in photothermal microscopy of Y1Ba2Cu3O7 crystals
(1997)We present a technique to experimentally determine the value of the temperature perturbation ST in photothermal microscopy. Knowledge of δT is necessary for proper analysis of the differential optical reflectivity (∂R/∂T) ...

Conference Object
Feedback control utilizing packet dropping network links
(2002)The increasing availability of network connectivity has prompted the study of computerbased control methodologies that are implemented centrally or distributively using existing network infrastructure as the communications ...

Conference Object
Meanfield semantics for a process calculus for spatiallyexplicit ecological models
(Open Publishing Association, 2016)We define a meanfield semantics for SPALPS, a process calculus for spatiallyexplicit, individualbased modeling of ecological systems. The new semantics of SPALPS allows an interpretation of the average behavior of a ...

Article
On confluence in the πcaleulus
(1997)An account of the basic theory of confluence in the 7rcalculus is presented, techniques for showing confluence of mobile systems are given, and the utility of some of the theory presented is illustrated via an analysis ...

Article
On sharing and determinacy in concurrent systems
(1995)The relationship between sharing and determinacy in concurrent systems is studied. Syntactic conditions on programs of a concurrent object language are isolated and it is established, on the basis of two different semantic ...

Article
On transformations of concurrent object programs
(1996)Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent object languages are given. The correctness of the rules is proved using a semantic definition by ...

Article
Piecewise linear emulator of the nonlinear Schrödinger equation and the resulting analytic solutions for BoseEinstein condensates
(2003)A most general method for finding very good analytic approximate solutions to the cubic nonlinear Schrodinger equation is presented. This method applies whenever the nonlinearity in that equation is a purely cubic one. It ...

Conference Object
Portable parallel implementation of two novel mathematical biology algorithms in ZPL
(ACM, 1995)This paper shows that mathematical models of biological pattern formation are ideally suited to data parallelism. We present two new algorithms, one for simulating the dynamic structure of fibroblasts, and the other for ...

Conference Object
Pricing price information in Ecommerce [Extended Abstract]
(Affiliation: Computer and Information Sci. Dept., University of Pennsylvania, Pittsburgh, PA, United StatesCorrespondence Address: Markopoulos, P.M.Computer and Information Sci. Dept., University of Pennsylvania, Pittsburgh, PA, United Statesemail: markopou@unagi.cis.upenn.edu, 2001)Shopbots and Internet sites that help users locate the best price for a product are changing the way people shop by providing valuable information on goods and services. This paper presents a first attempt to measure the ...

Article
A process calculus for dynamic networks
(2011)In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhooddiscovery ...

Article
Process ordering in a process calculus for spatiallyexplicit ecological models
(2014)In this paper we extend PALPS, a process calculus proposed for the spatiallyexplicit individualbased modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the ...

Article
Social confluence in clientserver systems
(1997)An extension to the theory of partial confluence of concurrent systems is presented in the setting of the polyadic πcalculus. The main result, expressed in terms of clientserver systems, is that in certain client contexts, ...

Article
Synchronous parallel composition in a process calculus for ecological models
(2014)In this paper we extend PALPS, a process calculus proposed for the spatiallyexplicit, individualbased modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, SPALPS, ...

Article
Synchronous parallel composition in a process calculus for ecological modelsAAA
(2014)In this paper we extend PALPS, a process calculus proposed for the spatiallyexplicit, individualbased modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, SPALPS, ...

Article
Type checking privacy policies in the πcalculus
(2015)In this paper we propose a formal framework for studying privacy. Our framework is based on the π calculus with groups accompanied by a type system for capturing privacy requirements relating to information collection, ...