Browsing by Subject "Computational methods"
Now showing items 120 of 60

Article
An analytical method for linear elliptic PDEs and its numerical implementation
(2004)A new numerical method for solving linear elliptic boundary value problems with constant coefficients in a polygonal domain is introduced. This method produces a generalized DirichletNeumann map: given the derivative of ...

Article
Argumentation Logic
(2014)We propose a novel logicbased argumentation framework, called Argumentation Logic (AL), built upon a restriction of classical Propositional Logic (PL) as its underlying logic. This allows us to control the application of ...

Article
Argumentative agent deliberation, roles and context
(2002)This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the agent is able to take into account the roles ...

Article
ARNI: Abductive inference of complex regulatory network structures
(2013)Physical network inference methods use a template of molecular interaction to infer biological networks from high throughput datasets. Current inference methods have limited applicability, relying on causeeffect pairs or ...

Article
Certain nonlinear partially observable stochastic optimal control problems with explicit control laws equivalent to LEQG/LQG problems
(1997)This paper is concerned with partially observed stochastic optimal control problems when nonlinearities enter the dynamics of the unobservable state and the observations as gradients of potential functions. Explicit ...

Conference Object
Certain results concerning filtering and control of diffusions in small white noise
(IEEE, 1997)The purpose of this talk is twofold. First, we examine in detail the binary hypothesis decision and/or estimation problem using a risksensitive cost criterion, when the state and observation processes are diffusion signals. ...

Conference Object
Characterization of computational grid resources using lowlevel benchmarks
(2006)An important factor that needs to be taken into account by endusers and systems (schedulers, resource brokers, policy brokers) when mapping applications to the Grid is the performance capacity of hardware resources attached ...

Article
Classes of nonlinear partially observable stochastic optimal control problems with explicit optimal control laws
(1998)This paper introduces certain nonlinear partially observable stochastic optimal control problems which are equivalent to completely observable control problems with finitedimensional state space. In some cases the optimal ...

Article
The complexity of equilibria for riskmodeling valuations
(2016)Following the direction pioneered by Fiat and Papadimitriou in their 2010 paper [12], we study the complexity of deciding the existence of mixed equilibria for minimization games where players use valuations other than ...

Article
A comprehensive context modeling framework for pervasive computing systems
(2008)Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resourceconstrained devices, or heterogeneity of context sources. Although ...

Article
Computational assessment of distributed decomposition methods for stochastic linear programs
(1998)Incorporating uncertainty in optimization models gives rise to large, structured mathematical programs. Decomposition procedures are wellsuited for parallelization, thus providing a promising venue for solving large ...

Conference Object
Computational modeling of visual selective attention
(2011)An overview of a nerocomputational model of visual selective attention that has been properly implemented is presented in this abstract. Visual selective attention is a fundamental function of human cognition and a highly ...

Article
Computational modeling of visual selective attention based on correlation and synchronization of neural activity
(2009)Within the broad area of computational intelligence, it is of great importance to develop new computational models of human behaviour aspects. In this report we look into the recently suggested theory that neural synchronization ...

Conference Object
Computational study of the KuramotoSivashinsky equation
(Soc for Industrial & Applied Mathematics Publ, 1996)We report the results of extensive numerical experiments on the KuramotoSivashinsky equation in the strongly chaotic regime as the viscosity parameter is decreased and increasingly more linearly unstable modes enter the ...

Article
Concurrent objectoriented programming using term graph rewriting techniques
(1996)The generalized computational model of Term Graph Rewriting Systems is used as the basis for expressing concurrent objectoriented programming techniques exploiting the fine grain highly parallel features of TGRS in a ...

Article
Conforming spectral methods for Poisson problems in cuboidal domains
(1994)A Chebyshev collocation strategy is introduced for the subdivision of cuboids into cuboidal subdomains (elements). These elements are conforming, which means that the approximation to the solution is C0 continuous at all ...

Book Chapter
DART: a datadriven processor architecture for realtime computing
(Publ by Elsevier Science Publishers B.V., 1993)This paper presents the design of DART, a Datadriven processor Architecture for RealTime computing. The DART processor is designed to be the key building block in realtime multiprocessor systems that can handle multiple ...

Conference Object
Designing stable inverters and state observers for switched linear systems with unknown inputs
(2006)We present a method for estimating the inputs and states in discretetime switched linear systems with unknown inputs. We first investigate the problem of system invertibility, which reconstructs the unknown inputs based ...

Conference Object
Development of confined viscoplastic flows with heterogeneous wall slip
(National Technical University of Athens, 2016)The steady, pressuredriven flow of a HerschelBulkley fluid in a channel is considered assuming that slip occurs on one wall only due to slip heterogeneities. Hence, the velocity profile is allowed to be asymmetric. The ...

Conference Object
Directly computable L2 and Lx performance bounds for Morse's dynamic certainty equivalence adaptive controller
(1995)In this paper we consider a model reference adaptive control scheme where the classical error augmentation and standard tuning error normalization are avoided through the use of Morse's high order tuner. We consider the ...