Search results for " Computer Science"
showing 10 items of 3983 documents
Automatic determination of aortic compliance with cine-magnetic resonance imaging - An application of fuzzy logic theory
2002
International audience; Abstract: RATIONALE AND OBJECTIVES. Aortic compliance is defined as the relative change in aortic cross-sectional area divided by the change in arterial pressure. Magnetic resonance imaging (MRI) is a useful imaging modality for the noninvasive evaluation of aortic compliance. However, manual tracing of the aortic contour is subject to important interobserver variations. To estimate the aortic compliance from cine-MRI, a method based on fuzzy logic theory was elaborated. MATERIALS AND METHODS. Seven healthy volunteers and eight patients with Marfan syndrome were examined using an ECG gated cine-MRI sequence. The aorta was imaged in the transverse plane at the level o…
A robust aerial image registration method using Gaussian mixture models
2014
Aerial image registration is one of the bases in many aerospace applications, such as aerial reconnaissance and aerial mapping. In this paper, we propose a novel aerial image registration algorithm which is based on Gaussian mixture models. First of all, considering the characters of the aerial images, the work uses a shape feature detector which computes the boundaries of regions with nearly the same gray-value to extract invariant feature. Then, a Gaussian mixture models (GMM) based image registration model is built and solved to estimate the transformation matrix between two aerial images. Furthermore, the proposed method is applied on real aerial images, and the results demonstrate the …
ABM of Civil Violence: ODD Description
2017
This chapter contains a description of the proposed agent-based model, using the well-known “Overview, Design Concepts and Details” protocol. The model was implemented in NetLogo and is based on the same two types of agents—citizens and law-enforcement—as in Epstein’s model, but “citizen” agents have one subtype (“activist”) used for implementing network influence effects. The salient aspects of the model description are centered on the submodels for the risk perception, the expression of hardship in terms of value-sensitive relative deprivation, endogenous legitimacy feedback and network influence effects, which provide extensions to Epstein’s model. The model includes two networks called …
Semantically enriched informed environment for multi-agent simulation : application to simulation in 3D virtual environment
2014
This thesis focuses on multi-agent simulation applied to the simulation of individuals in virtual 3D buildings. To do this, our work suggests to capitalize on the experience gained in the field of semantic web ontologies and inference engines to facilitate the design and development of intelligent behavior for agents operating in virtual worlds. The goal is to provide to agents a generic approach to managing their representation of the world and reason about this representation. For this, the central problem is based on the definition of a decidable ontology modeling all of the knowledge contained in the virtual 3D environment to enrich semantically the environment of a multi-agent simulati…
Balance control in aging: improvements in anticipatory postural adjustments and updating of internal models
2015
International audience; Postural stability of older subjects can be estimated during orthostatic equilibrium. However, dynamic equilibrium is also important to investigate risks of fall. It implies different interpretations of measures given by force plates. Same dependant variables (e.g. center of pressure displacement) cannot be interpreted the same ways depending of the type of equilibrium that is investigated. In particular, sways increases during dynamic equilibrium and before movement execution may reflect an improvement of feedforward control.
On monadic quantale algebras: basic properties and representation theorems
2010
Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new structures.
Arithmetical Analysis of Biomolecular Finite Automaton
2013
In the paper we present a theoretical analysis of extension of the finite automaton built on DNA (introduced by the Shapiro team) to an arbitrary number of states and symbols. In the implementation we use a new idea of several restriction enzymes instead of one. We give arithmetical conditions for the existence of such extensions in terms of ingredients used in the implementation.
Forcing for First-Order Languages from the Perspective of Rasiowa–Sikorski Lemma
2017
The paper is concerned with the problem of building models for first-order languages from the perspective of the classic paper of Rasiowa and Sikorski [9]. The central idea, developed in this paper, consists in constructing first-order models from individual variables. The key notion of a Rasiowa–Sikorski set of formulas for an arbitrary countable language L is examined. Each Rasiowa–Sikorski set defines a countable model for L . Conversely, every countable model for L is determined by a Rasiowa–Sikorski set. The focus is on constructing Rasiowa–Sikorski sets by applying forcing techniques restricted to Boolean algebras arising from the subsets of the set of atomic formulas of L .
TWO-DIMENSIONAL FINITE STATE RECOGNIZABILITY
1996
The purpose of this paper is to investigate about a new notion of finite state recognizability for two-dimensional (picture) languages. This notion takes as starting point the characterization of one-dimensional recognizable languages in terms of local languages and projections. Such notion can be extended in a natural way to the two-dimensional case. We first introduce a notion of local picture language and then we define,a recognizable picture language as a projection of a local picture language. The family of recognizable picture languages is denoted by REC. We study some combinatorial and language-theoretic properties of family REC. In particular we prove some closure properties with re…
A Survey on Nature-Inspired Medical Image Analysis: A Step Further in Biomedical Data Integration
2019
Natural phenomena and mechanisms have always intrigued humans, inspiring the design of effective solutions for real-world problems. Indeed, fascinating processes occur in nature, giving rise to an ever-increasing scientific interest. In everyday life, the amount of heterogeneous biomedical data is increasing more and more thanks to the advances in image acquisition modalities and high-throughput technologies. The automated analysis of these large-scale datasets creates new compelling challenges for data-driven and model-based computational methods. The application of intelligent algorithms, which mimic natural phenomena, is emerging as an effective paradigm for tackling complex problems, by…