Browsing by Subject "Calculations"
Now showing items 1-20 of 21
-
Article
Ab-initio 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 augmented-wave 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 certainty-equivalence 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 long-range interactions in free energy calculations. Application to protein-ligand binding
(1997)A method is proposed to include long-range 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 broken-symmetry approach and spin-projection 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 computer-based control methodologies that are implemented centrally or distributively using existing network infrastructure as the communications ...
-
Conference Object
Mean-field semantics for a process calculus for spatially-explicit ecological models
(Open Publishing Association, 2016)We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS 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 7r-calculus 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 Bose-Einstein 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 E-commerce [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 neighborhood-discovery ...
-
Article
Process ordering in a process calculus for spatially-explicit ecological models
(2014)In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the ...
-
Article
Social confluence in client-server 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 client-server 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 spatially-explicit, individual-based modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, S-PALPS, ...
-
Article
Synchronous parallel composition in a process calculus for ecological modelsAAA
(2014)In this paper we extend PALPS, a process calculus proposed for the spatially-explicit, individual-based modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, S-PALPS, ...
-
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, ...