Search results for "Mathematical logic"
showing 10 items of 394 documents
Ética de las biotecnologías
2002
El poder que la Nueva Genética ha puesto en manos de los seres humanos requiere una ética desde la que sea posible tomar decisiones en cuestiones de manipulación genética. El trabajo se propone (1) situar la ética de las biotecnologías en el conjunto de la bioética, (2) señalar los distintos ámbitos de la Nueva Genética que plantean problemas éticos, reconociendo que cada uno de ellos requiere un tratamiento específico, (3) esbozar un marco ético desde el que orientar las respuestas, un marco elaborado desde la ética kantiana, el enfoque de las capacidades de Sen, la ética del discurso y el principio responsabilidad de Jonas, y (4) abordar la cuestión tal vez más candente en el ámbito ético…
Talking Blockchains: The Perspective of a Database Researcher
2021
There are few topics out there, that seem to create as much confusion and discussion as blockchains. This has a multitude of reasons: (1) A large number of drastically different concepts and systems are unified under the very broad term "blockchain". (2) The topic touches a variety of different fields, including databases, distributed processing, networks, cryptography, and even economics. (3) There exists a large number of different applications of the technology.The goal of this paper is to simplify and structure the discussion of blockchain technology. We first introduce a simple formalization of the basic components, that appear again and again in a variety of blockchain systems. Second…
The Ephemera of Success: Strategy, Structure and Performance in the Forestry Industries
2006
The structure of atractyligenin.
1965
Memetic algorithms and memetic computing optimization: A literature review
2012
Abstract Memetic computing is a subject in computer science which considers complex structures such as the combination of simple agents and memes, whose evolutionary interactions lead to intelligent complexes capable of problem-solving. The founding cornerstone of this subject has been the concept of memetic algorithms, that is a class of optimization algorithms whose structure is characterized by an evolutionary framework and a list of local search components. This article presents a broad literature review on this subject focused on optimization problems. Several classes of optimization problems, such as discrete, continuous, constrained, multi-objective and characterized by uncertainties…
On Interacting with Collective Knowledge of Group Facilitation
2013
Group decision process design is a well-known class of ill-structured, dynamic, and going-concerns problem. The paper presents a human-computer interaction engineering approach to design a software prototype that provides personalized, contextual and actionable recommendations for this problem. The approach emphasizes the computational aspects of collective intelligence to structure these recommendations based on the collective knowledge that reflects not only the design space per se, but the collective experience in exploiting it as well. It is demonstrated by: 1) detailing the engineering issues of an implemented prototype for the group decision process design; and 2) explaining its funct…
Interactive Effects of Explicit Emergent Structure: A Major Challenge for Cognitive Computational Modeling
2015
International audience; David Marr's (1982) three-level analysis of computational cognition argues for three distinct levels of cognitive information processingnamely, the computational, representational, and implementational levels. But Marr's levels areand were meant to bedescriptive, rather than interactive and dynamic. For this reason, we suggest that, had Marr been writing today, he might well have gone even farther in his analysis, including the emergence of structurein particular, explicit structure at the conceptual levelfrom lower levels, and the effect of explicit emergent structures on the level (or levels) that gave rise to them. The message is that today's cognitive scientists …
Apperception, content-based psychology and design
2003
A core area of scientific thinking is explaining. This means answering to the “why-questions and how questions” (Hempel 1965). Why does Sam have a fewer? Why did an organization fail abroad? Why a structure is able to support the weight of snow? How more effective valves for an engine can be designed? How to make computer games more attractive for female users? These are typical examples of design problems, all of which should be based on scientific explanation, i.e., what should be answered based on the laws of nature or as is becoming increasingly more evident, based on the laws of the human mind.
A stigmergic approach for social interaction design in collaboration engineering
2014
The increasing number of available collaborative tools and their extensive use in many organizational activities has constantly raised the complexity of collaboration engineering. It presumes the design of group decision processes, supported by a wide-range of groupware tools, in an ill-structured, dynamic, and open environment. As many of these processes are recurring by nature, the development of a shared repository to store the collective knowledge and experiences of group decision process designs became a core research topic of collaboration engineering in last few years. The paper presents a human-computer interaction engineering approach to design a software prototype that provides pe…
A computational model for motor learning in insects
2013
The aim of this paper is to propose a computational model, inspired by Drosophila melanogaster, able to handle problems related to motor learning. The role of the Mushroom Bodies and the Central Complex in solving this problem is analyzed and plausible biologically inspired models are proposed. The designed computational models have been evaluated in simulation using a dynamic structure inspired by the fruit fly. The obtained results open the way to new neurobiological experiments focused to better understand the underlined mechanisms involved, to verify the feasibility of the hypotheses formulated and the significance of the obtained results.