5,443 research outputs found
"Going back to our roots": second generation biocomputing
Researchers in the field of biocomputing have, for many years, successfully
"harvested and exploited" the natural world for inspiration in developing
systems that are robust, adaptable and capable of generating novel and even
"creative" solutions to human-defined problems. However, in this position paper
we argue that the time has now come for a reassessment of how we exploit
biology to generate new computational systems. Previous solutions (the "first
generation" of biocomputing techniques), whilst reasonably effective, are crude
analogues of actual biological systems. We believe that a new, inherently
inter-disciplinary approach is needed for the development of the emerging
"second generation" of bio-inspired methods. This new modus operandi will
require much closer interaction between the engineering and life sciences
communities, as well as a bidirectional flow of concepts, applications and
expertise. We support our argument by examining, in this new light, three
existing areas of biocomputing (genetic programming, artificial immune systems
and evolvable hardware), as well as an emerging area (natural genetic
engineering) which may provide useful pointers as to the way forward.Comment: Submitted to the International Journal of Unconventional Computin
The prospects for mathematical logic in the twenty-first century
The four authors present their speculations about the future developments of
mathematical logic in the twenty-first century. The areas of recursion theory,
proof theory and logic for computer science, model theory, and set theory are
discussed independently.Comment: Association for Symbolic Logi
From Social Simulation to Integrative System Design
As the recent financial crisis showed, today there is a strong need to gain
"ecological perspective" of all relevant interactions in
socio-economic-techno-environmental systems. For this, we suggested to set-up a
network of Centers for integrative systems design, which shall be able to run
all potentially relevant scenarios, identify causality chains, explore feedback
and cascading effects for a number of model variants, and determine the
reliability of their implications (given the validity of the underlying
models). They will be able to detect possible negative side effect of policy
decisions, before they occur. The Centers belonging to this network of
Integrative Systems Design Centers would be focused on a particular field, but
they would be part of an attempt to eventually cover all relevant areas of
society and economy and integrate them within a "Living Earth Simulator". The
results of all research activities of such Centers would be turned into
informative input for political Decision Arenas. For example, Crisis
Observatories (for financial instabilities, shortages of resources,
environmental change, conflict, spreading of diseases, etc.) would be connected
with such Decision Arenas for the purpose of visualization, in order to make
complex interdependencies understandable to scientists, decision-makers, and
the general public.Comment: 34 pages, Visioneer White Paper, see http://www.visioneer.ethz.c
Roadmap on semiconductor-cell biointerfaces.
This roadmap outlines the role semiconductor-based materials play in understanding the complex biophysical dynamics at multiple length scales, as well as the design and implementation of next-generation electronic, optoelectronic, and mechanical devices for biointerfaces. The roadmap emphasizes the advantages of semiconductor building blocks in interfacing, monitoring, and manipulating the activity of biological components, and discusses the possibility of using active semiconductor-cell interfaces for discovering new signaling processes in the biological world
Stepping Beyond the Newtonian Paradigm in Biology. Towards an Integrable Model of Life: Accelerating Discovery in the Biological Foundations of Science
The INBIOSA project brings together a group of experts across many disciplines
who believe that science requires a revolutionary transformative
step in order to address many of the vexing challenges presented by the
world. It is INBIOSA’s purpose to enable the focused collaboration of an
interdisciplinary community of original thinkers.
This paper sets out the case for support for this effort. The focus of the
transformative research program proposal is biology-centric. We admit
that biology to date has been more fact-oriented and less theoretical than
physics. However, the key leverageable idea is that careful extension of the
science of living systems can be more effectively applied to some of our
most vexing modern problems than the prevailing scheme, derived from
abstractions in physics. While these have some universal application and
demonstrate computational advantages, they are not theoretically mandated
for the living. A new set of mathematical abstractions derived from biology
can now be similarly extended. This is made possible by leveraging
new formal tools to understand abstraction and enable computability. [The
latter has a much expanded meaning in our context from the one known
and used in computer science and biology today, that is "by rote algorithmic
means", since it is not known if a living system is computable in this
sense (Mossio et al., 2009).] Two major challenges constitute the effort.
The first challenge is to design an original general system of abstractions
within the biological domain. The initial issue is descriptive leading to the
explanatory. There has not yet been a serious formal examination of the
abstractions of the biological domain. What is used today is an amalgam;
much is inherited from physics (via the bridging abstractions of chemistry)
and there are many new abstractions from advances in mathematics (incentivized
by the need for more capable computational analyses). Interspersed
are abstractions, concepts and underlying assumptions “native” to biology
and distinct from the mechanical language of physics and computation as
we know them. A pressing agenda should be to single out the most concrete
and at the same time the most fundamental process-units in biology
and to recruit them into the descriptive domain. Therefore, the first challenge
is to build a coherent formal system of abstractions and operations
that is truly native to living systems.
Nothing will be thrown away, but many common methods will be philosophically
recast, just as in physics relativity subsumed and reinterpreted
Newtonian mechanics.
This step is required because we need a comprehensible, formal system to
apply in many domains. Emphasis should be placed on the distinction between
multi-perspective analysis and synthesis and on what could be the
basic terms or tools needed.
The second challenge is relatively simple: the actual application of this set
of biology-centric ways and means to cross-disciplinary problems. In its
early stages, this will seem to be a “new science”.
This White Paper sets out the case of continuing support of Information
and Communication Technology (ICT) for transformative research in biology
and information processing centered on paradigm changes in the epistemological,
ontological, mathematical and computational bases of the science
of living systems. Today, curiously, living systems cannot be said to
be anything more than dissipative structures organized internally by genetic
information. There is not anything substantially different from abiotic
systems other than the empirical nature of their robustness. We believe that
there are other new and unique properties and patterns comprehensible at
this bio-logical level. The report lays out a fundamental set of approaches
to articulate these properties and patterns, and is composed as follows.
Sections 1 through 4 (preamble, introduction, motivation and major biomathematical
problems) are incipient. Section 5 describes the issues affecting
Integral Biomathics and Section 6 -- the aspects of the Grand Challenge
we face with this project. Section 7 contemplates the effort to
formalize a General Theory of Living Systems (GTLS) from what we have
today. The goal is to have a formal system, equivalent to that which exists
in the physics community. Here we define how to perceive the role of time
in biology. Section 8 describes the initial efforts to apply this general theory
of living systems in many domains, with special emphasis on crossdisciplinary
problems and multiple domains spanning both “hard” and
“soft” sciences. The expected result is a coherent collection of integrated
mathematical techniques. Section 9 discusses the first two test cases, project
proposals, of our approach. They are designed to demonstrate the ability
of our approach to address “wicked problems” which span across physics,
chemistry, biology, societies and societal dynamics. The solutions
require integrated measurable results at multiple levels known as “grand
challenges” to existing methods. Finally, Section 10 adheres to an appeal
for action, advocating the necessity for further long-term support of the
INBIOSA program.
The report is concluded with preliminary non-exclusive list of challenging
research themes to address, as well as required administrative actions. The
efforts described in the ten sections of this White Paper will proceed concurrently.
Collectively, they describe a program that can be managed and
measured as it progresses
Grand Challenge 7: Journeys in Non-Classical Computation
We review progress in Grand Challenge 7 : Journeys in Non-Classical Computation. We overview GC7-related events, review some background work in certain aspects of GC7 (hypercomputation, bio-inspired computation, and embodied computation) and identify some of the unifying challenges. We review the progress in implementations of one class of non-classical computers: reaction-diffusion systems. We conclude with warnings about “regression to the classical”
Federated Embedded Systems – a review of the literature in related fields
This report is concerned with the vision of smart interconnected objects, a vision that has attracted much attention lately. In this paper, embedded, interconnected, open, and heterogeneous control systems are in focus, formally referred to as Federated Embedded Systems. To place FES into a context, a review of some related research directions is presented. This review includes such concepts as systems of systems, cyber-physical systems, ubiquitous
computing, internet of things, and multi-agent systems. Interestingly, the reviewed fields seem to overlap with each other in an increasing number of ways
Dagstuhl News January - December 2011
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic
Immune systems inspired multi-robot cooperative shepherding
Certain tasks require multiple robots to cooperate in order to solve them. The main problem with multi-robot systems is that they are inherently complex and usually situated in a dynamic environment. Now, biological immune systems possess a natural distributed control and exhibit real-time adaptivity, properties that are required to solve problems in multi-robot systems. In this thesis, biological immune systems and their response to external elements to maintain an organism's health state are researched. The objective of this research is to propose immune-inspired approaches to cooperation, to establish an adaptive cooperation algorithm, and to determine the refinements that can be applied in relation to cooperation. Two immune-inspired models that are based on the immune network theory are proposed, namely the Immune Network T-cell-regulated---with Memory (INT-M) and the Immune Network T-cell-regulated---Cross-Reactive (INT-X) models. The INT-M model is further studied where the results have suggested that the model is feasible and suitable to be used, especially in the multi-robot cooperative shepherding domain. The Collecting task in the RoboShepherd scenario and the application of the INT-M algorithm for multi-robot cooperation are discussed. This scenario provides a highly dynamic and complex situation that has wide applicability in real-world problems. The underlying 'mechanism of cooperation' in the immune inspired model (INT-M) is verified to be adaptive in this chosen scenario. Several multi-robot cooperative shepherding factors are studied and refinements proposed, notably methods used for Shepherds' Approach, Shepherds' Formation and Steering Points' Distance. This study also recognises the importance of flock identification in relation to cooperative shepherding, and the Connected Components Labelling method to overcome the related problem is presented. Further work is suggested on the proposed INT-X model that was not implemented in this study, since it builds on top of the INT-M algorithm and its refinements. This study can also be extended to include other shepherding behaviours, further investigation of other useful features of biological immune systems, and the application of the proposed models to other cooperative tasks
- …