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 

      Pavloudis, T.; Zervos, Matthew; Komninou, P.; Kioseoglou, J. (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 

      Pattichis, Constantinos S.; Elia, Avraam; Schizas, Christos N.; Middleton, Lefkos T. (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 

      Zhang, Youping; Ioannou, Petros A. (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 

      Simonson, T.; Archontis, Georgios Z.; Karplus, M. (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 

      Constantinides, Christos P.; Koutentis, Panayiotis Andreas; Schatz, J. (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 

      Studenmund, W. R.; Fishman, I. M.; Kino, G. S.; Giapintzakis, John (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 

      Hadjicostis, Christoforos N.; Touri, R. (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 

      Toro, Mauricio; Philippou, Anna; Arboleda, S.; Puerta, M.; Vélez S, C. M. (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 

      Philippou, Anna; Walker, D. (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 

      Philippou, Anna; Walker, D. (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 

      Philippou, Anna; Walker, D. (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 

      Theodorakis, Stavros (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 

      Dikaiakos, Marios D.; Manoussaki, Daphne; Lin, Calvin; Woodward, Diana E. (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] 

      Markopoulos, Panos M.; Ungar, Lyle H. (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 

      Kouzapas, D.; Philippou, Anna (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 

      Philippou, Anna; Toro, Mauricio (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 

      Philippou, Anna; Walker, D. (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 

      Toro, Mauricio; Philippou, Anna; Kassara, Christina; Sfenthourakis, Spyros (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 

      Toro, Mauricio; Philippou, Anna; Kassara, Christina; Sfenthourakis, Spyros (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 

      Kouzapas, D.; Philippou, Anna (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, ...