Search results for " Computer Science"
showing 10 items of 3983 documents
Decentralization and heterogeneity in complex adaptative systems
2015
Purpose – Following a bacterial-based modeling approach, the authors want to model and analyze the impact of both decentralization and heterogeneity on group behavior and collective learning. The paper aims to discuss these issues. Design/methodology/approach – Inspired by bacterial conjugation, the authors have defined an artificial society in which agents’ strategies adapt to changes in resources location, allowing migration, and survival in a dynamic sugarscape-like scenario. To study the impact of these variables the authors have simulated a scenario in which resources are limited and localized. The authors also have defined three constraints in genetic information processing (inhibiti…
An inductive learning perspective on automated generation of feature models from given product specifications
2018
For explicit representation of commonality and variability of a product line, a feature model is mostly used. An open question is how a feature model can be inductively learned in an automated way from a limited number of given product specifications in terms of features.We propose to address this problem through machine learning, more precisely inductive generalization from examples. However, no counter-examples are assumed to exist. Basically, a feature model needs to be complete with respect to all the given example specifications. First results indicate the feasibility of this approach, even for generating hierarchies, but many open challenges remain.
Quantum Query Algorithms for Conjunctions
2010
Every Boolean function can be presented as a logical formula in conjunctive normal form. Fast algorithm for conjunction plays significant role in overall algorithm for computing arbitrary Boolean function. First, we present a quantum query algorithm for conjunction of two bits. Our algorithm uses one quantum query and correct result is obtained with a probability p = 4/5, that improves the previous result. Then, we present the main result - generalization of our approach to design efficient quantum algorithms for computing conjunction of two Boolean functions. Finally, we demonstrate another kind of an algorithm for conjunction of two bits, that has a correct answer probability p = 9/10. Th…
Sensitivity analysis of efficiency and Malmquist productivity indices: An application to Spanish savings banks
2008
Hypothesis testing and statistical precision in the context of non-parametric efficiency and productivity measurement have been investigated since the early 1990s. Recent contributions focus on this matter through the use of resampling methods-i.e., bootstrapping techniques. However, empirical evidence is still practically non-existent. This gap is more noticeable in the case of banking efficiency studies, where the literature is immense. In this work, we explore productivity growth and productive efficiency for Spanish savings banks over the (initial) post-deregulation period 1992-1998 using Data Envelopment Analysis (DEA) and bootstrapping techniques. Results show that productivity growth…
Run-time profiling of functional logic programs
2005
In this work, we introduce a profiling scheme for modern functional logic languages covering notions like laziness, sharing, and non-determinism. Firstly, we instrument a natural (big-step) semantics in order to associate a symbolic cost to each basic operation (e.g., variable updates, function unfoldings, case evaluations). While this cost semantics provides a formal basis to analyze the cost of a computation, the implementation of a cost-augmented interpreter based on it would introduce a huge overhead. Therefore, we also introduce a sound transformation that instruments a program such that its execution—under the standard semantics—yields not only the corresponding results but also the a…
On the dynamics of eco-efficiency performance in the European Union
2016
This paper evaluates the evolution of environmental performance in the context of the European Union (EU), over the period 1993–2010. The context is particularly relevant, due to the traditionally high concerns of the EU about these issues, which has triggered off several initiatives and regulations on environmental protection. In this setting, we conduct a two-stage analysis which develops environmental performance indicators in the first stage for each pair country-year, and evaluates its evolution in the second. More specifically, in the first stage we estimate specific efficiencies for three air-pollutants (CO2e, SO2, NOx), along with an eco-efficiency indicator, for which we use the sl…
Programmation linéaire multiobjectif : un résumé
1988
Le but de ce document de travail est de présenter les différents concepts utilisés en programmation linéaire multiobjectif en précisant les types de décision qu'il est possible de prendre, les choix des partenaires et les methodes qu'il convient de choisir pour résoudre de tels problèmes.Par la suite le problème général est posé et différentes méthodes de résolution sont proposées. Nous insisterons principalement sur les méthodes interactives en déterminant leurs assises théoriques et en essayant de préciser les méthodes de résolution et en donnant des comparaisons entre celles-ci, pour terminer par l'introduction de la programmation dynamique.
The Attention Schema Theory: A Foundation for Engineering Artificial Consciousness
2017
The purpose of the attention schema theory is to explain how an information-processing device, the brain, arrives at the claim that it possesses a non-physical, subjective awareness, and assigns a high degree of certainty to that extraordinary claim. The theory does not address how the brain might actually possess a non-physical essence. It is not a theory that deals in the non-physical. It is about the computations that cause a machine to make a claim and to assign a high degree of certainty to the claim. The theory is offered as a possible starting point for building artificial consciousness. Given current technology, it should be possible to build a machine that contains a rich internal …
A Non-linear Diffeomorphic Framework for Prostate Multimodal Registration
2011
International audience; This paper presents a novel method for non-rigid registration of prostate multimodal images based on a nonlinear framework. The parametric estimation of the non-linear diffeomorphism between the 2D fixed and moving images has its basis in solving a set of non-linear equations of thin-plate splines. The regularized bending energy of the thin-plate splines along with the localization error of established correspondences is jointly minimized with the fixed and transformed image difference; where, the transformed image is represented by the set of non-linear equations defined over the moving image. The traditional thin-plate splines with established correspondences may p…
Quantum Security Proofs Using Semi-classical Oracles
2019
We present an improved version of the one-way to hiding (O2H) Theorem by Unruh, J ACM 2015. Our new O2H Theorem gives higher flexibility (arbitrary joint distributions of oracles and inputs, multiple reprogrammed points) as well as tighter bounds (removing square-root factors, taking parallelism into account). The improved O2H Theorem makes use of a new variant of quantum oracles, semi-classical oracles, where queries are partially measured. The new O2H Theorem allows us to get better security bounds in several public-key encryption schemes.