Browsing by Subject "Computational methods"
Now showing items 21-40 of 60
-
Conference Object
Distributed spatio-temporal similarity search
(2006)In this paper we introduce the distributed spatio-temporal similarity search problem: given a query trajectory Q, we want to find the trajectories that follow a motion similar to Q, when each of the target trajectories is ...
-
Conference Object
Editorial message: Special track on ubiquitous computing
(2005)Ubiquitous computing places humans in the center of environments saturated with computing and wireless communications capabilities, yet gracefully integrated, so that technology recedes in the background of everyday ...
-
Conference Object
Encoded finite-state machines for non-concurrent error detection and identification
(2003)In this paper we develop a methodology for systematically constructing redundant finite-state machines in a way that enables an external mechanism to detect and identify transient state-transition faults by performing ...
-
Article
Failure management in Grids: The case of the EGEE infrastructure
(2007)The emergence of Grid infrastructures like EGEE has enabled the deployment of large-scale computational experiments that address challenging scientific problems in various fields. However, to realize their full potential, ...
-
Conference Object
FAST: a functional algorithm simulation testbed
(Publ by IEEE, 1994)In this paper we extend the practical range of simulations of parallel executions by what we call 'functional algorithm simulation,' that is, simulation without actually performing most of the numerical computations involved. ...
-
Article
Finite element computations for the Reissner-Mindlin plate model
(1998)We consider the finite element (FE) approximation of the Reissner - Mindlin (RM) plate model, and indicate how to design meshes that yield accurate results when the p/hp version of the standard FE method is used. These ...
-
Article
Functional algorithm simulation of the fast multipole method: Architectural implications
(1996)Functional Algorithm Simulation in a methodology for predicting the computation and communication characteristics of parallel algorithms for a class of scientific problems, without actually performing the expensive numerical ...
-
Article
High performance solution of partial differential equations discretized using a chebyshev spectral collocation method
(1996)When a Chebyshev spectral collocation method is applied to a flow problem in a rectangularly decomposable domain it leads to the solution of a structured linear system. Since the linear system is solved at each step of a ...
-
Article
Incorporating input/output operations into dynamic data-flow graphs
(1995)Driven by the 'side-effect' environment of sequential von Neumann computing, Input/Output operations have evolved as state operations on shared files. In parallel programs, if multiple instances of an I/O-performing process ...
-
Conference Object
Intelligent classification and retrieval of software components
(2006)This work proposes a new methodology for intelligent classification and retrieval of software components based on user-defined requirements. The classification scheme utilizes a dedicated genetic algorithm which evolves a ...
-
Conference Object
Linear behaviour of term graph rewriting programs
(ACM, 1995)The generalized term graph rewriting computational model is exploited to implement concurrent languages based on Girard's Linear Logic (LL). In particular a fragment of LL is identified which is able to serve as a `process ...
-
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 ...
-
Conference Object
A mechanistic approach in defining inelastic rotation capacity of RC columns
(National Technical University of Athens, 2017)When a reinforced concrete (RC) column is subjected to lateral sway as a result of earthquake action, the large strain demand in the end sections is supported by development of strains in the anchorage. This causes the ...
-
Article
The method of fundamental solutions for the identification of a sound-soft obstacle in inverse acoustic scattering
(2012)In this paper we propose a simple meshless method of fundamental solutions (MFS) for detecting a sound-soft scatterer embedded in a host acoustic homogeneous medium from the measurement of the far-field pattern of the ...
-
Article
Modelling and implementing asynchronous timed multimedia frameworks using coordination principles
(2005)This paper combines work done in the areas of Artificial Intelligence, Multimedia Systems and Coordination Programming to derive a framework for Distributed Multimedia Systems based on asynchronous timed computations ...
-
Article
The numerical solution of three-dimensional Signorini problems with the method of fundamental solutions
(2001)The method of fundamental solutions (MFS) is formulated for three-dimensional Signorini boundary-value problems. The method is tested on a three-dimensional electropainting problem related to the coating of vehicle roofs. ...
-
Article
o-Phenylene halocarbenonitrenes and o-phenylene chlorocarbenocarbene: A combined experimental and computational approach
(2005)Computations find that o-phenylene(halo)carbenonitrenes 2-XN, X = F, Cl, Br, have quinoidal singlet biradical ground states such as the parent o-phenylenecarbenonitrene (2-HN). Compared to the parent 2-HN, halogen substitution ...
-
Article
On computing logic programs
(1996)In this paper we present and compare some classical problem-solving methods for computing the stable models of logic programs with negation. Using a graph theoretic representation of logic programs and their stable models, ...
-
Article
On network survivability algorithms based on trellis graph transformations
(1999)Due to the wide range of services being supported, telecommunications networks are loaded with massive quantities of information. This stimulates extra concern for network survivability. In this paper, we use graph theoretic ...
-
Article
On the effects of using curved elements in the approximation of the Reissner-Mindlin plate by the p version of the finite element method
(2003)We consider the approximation of the Reissner-Mindlin plate model by the standard Galerkin p version finite element method. Under the assumption of sufficient smoothness on the solution, we illustrate that the method is ...