The Experts below are selected from a list of 44145 Experts worldwide ranked by ideXlab platform
Ingmar H. Riedel-kruse - One of the best experts on this subject based on the ideXlab platform.
-
Interactive Programming Paradigm for real-time experimentation with remote living matter
Proceedings of the National Academy of Sciences of the United States of America, 2019Co-Authors: Peter Washington, Karina G. Samuel-gama, Shirish Goyal, Ashwin Ramaswami, Ingmar H. Riedel-kruseAbstract:Recent advancements in life-science instrumentation and automation enable entirely new modes of human interaction with microbiological processes and corresponding applications for science and education through biology cloud laboratories. A critical barrier for remote and on-site life-science experimentation (for both experts and nonexperts alike) is the absence of suitable abstractions and interfaces for Programming living matter. To this end we conceptualize a Programming Paradigm that provides stimulus and sensor control functions for real-time manipulation of physical biological matter. Additionally, a simulation mode facilitates higher user throughput, program debugging, and biophysical modeling. To evaluate this Paradigm, we implemented a JavaScript-based web toolkit, "Bioty," that supports real-time interaction with swarms of phototactic Euglena cells hosted on a cloud laboratory. Studies with remote and on-site users demonstrate that individuals with little to no biology knowledge and intermediate Programming knowledge were able to successfully create and use scientific applications and games. This work informs the design of Programming environments for controlling living matter in general, for living material microfabrication and swarm robotics applications, and for lowering the access barriers to the life sciences for professional and citizen scientists, learners, and the lay public.
-
An interactive Programming Paradigm for realtime experimentation with remote living matter
2017Co-Authors: Peter Washington, Karina G. Samuel-gama, Shirish Goyal, Ashwin Ramaswami, Ingmar H. Riedel-kruseAbstract:Recent advancements in life-science instrumentation and automation enable entirely new modes of human interaction with microbiological processes and corresponding applications for science and education through biology cloud labs. A critical barrier for remote life-science experimentation is the absence of suitable abstractions and interfaces for Programming living matter. To this end we conceptualize a Programming Paradigm that provides stimulus control functions and sensor control functions for realtime manipulation of biological (physical) matter. Additionally, a simulation mode facilitates higher user throughput, program debugging, and biophysical modeling. To evaluate this Paradigm, we implemented a JavaScript-based web toolkit, ‘Bioty’, that supports realtime interaction with swarms of phototactic Euglena cells hosted on a cloud lab. Studies with remote users demonstrate that individuals with little to no biology knowledge and intermediate Programming knowledge were able to successfully create and use scientific applications and games. This work informs the design of Programming environments for controlling living matter in general and lowers the access barriers to biology experimentation for professional and citizen scientists, learners, and the lay public.Significance StatementBiology cloud labs are an emerging approach to lower access barriers to life-science experimentation. However, suitable Programming approaches and user interfaces are lacking, especially ones that enable the interaction with the living matter itself - not just the control of equipment. Here we present and implement a corresponding Programming Paradigm for realtime interactive applications with remotely housed biological systems, and which is accessible and useful for scientists, programmers and lay people alike. Our user studies show that scientists and non-scientists are able to rapidly develop a variety of applications, such as interactive biophysics experiments and games. This Paradigm has the potential to make first-hand experiences with biology accessible to all of society and to accelerate the rate of scientific discovery.
Peter Washington - One of the best experts on this subject based on the ideXlab platform.
-
Interactive Programming Paradigm for real-time experimentation with remote living matter
Proceedings of the National Academy of Sciences of the United States of America, 2019Co-Authors: Peter Washington, Karina G. Samuel-gama, Shirish Goyal, Ashwin Ramaswami, Ingmar H. Riedel-kruseAbstract:Recent advancements in life-science instrumentation and automation enable entirely new modes of human interaction with microbiological processes and corresponding applications for science and education through biology cloud laboratories. A critical barrier for remote and on-site life-science experimentation (for both experts and nonexperts alike) is the absence of suitable abstractions and interfaces for Programming living matter. To this end we conceptualize a Programming Paradigm that provides stimulus and sensor control functions for real-time manipulation of physical biological matter. Additionally, a simulation mode facilitates higher user throughput, program debugging, and biophysical modeling. To evaluate this Paradigm, we implemented a JavaScript-based web toolkit, "Bioty," that supports real-time interaction with swarms of phototactic Euglena cells hosted on a cloud laboratory. Studies with remote and on-site users demonstrate that individuals with little to no biology knowledge and intermediate Programming knowledge were able to successfully create and use scientific applications and games. This work informs the design of Programming environments for controlling living matter in general, for living material microfabrication and swarm robotics applications, and for lowering the access barriers to the life sciences for professional and citizen scientists, learners, and the lay public.
-
an interactive Programming Paradigm for realtime experimentation with remote living matter
bioRxiv, 2018Co-Authors: Peter Washington, Shirish Goyal, Ashwin Ramaswami, Karina G Samuelgama, Ingmar H RiedelkruseAbstract:Recent advancements in life-science instrumentation and automation enable entirely new modes of human interaction with microbiological processes and corresponding applications for science and education through biology cloud labs. A critical barrier for remote life-science experimentation is the absence of suitable abstractions and interfaces for Programming living matter. To this end we conceptualize a Programming Paradigm that provides stimulus control functions and sensor control functions for realtime manipulation of biological (physical) matter. Additionally, a simulation mode facilitates higher user throughput, program debugging, and biophysical modeling. To evaluate this Paradigm, we implemented a JavaScript-based web toolkit, 9Bioty9, that supports realtime interaction with swarms of phototactic Euglena cells hosted on a cloud lab. Studies with remote users demonstrate that individuals with little to no biology knowledge and intermediate Programming knowledge were able to successfully create and use scientific applications and games. This work informs the design of Programming environments for controlling living matter in general and lowers the access barriers to biology experimentation for professional and citizen scientists, learners, and the lay public.
-
An interactive Programming Paradigm for realtime experimentation with remote living matter
2017Co-Authors: Peter Washington, Karina G. Samuel-gama, Shirish Goyal, Ashwin Ramaswami, Ingmar H. Riedel-kruseAbstract:Recent advancements in life-science instrumentation and automation enable entirely new modes of human interaction with microbiological processes and corresponding applications for science and education through biology cloud labs. A critical barrier for remote life-science experimentation is the absence of suitable abstractions and interfaces for Programming living matter. To this end we conceptualize a Programming Paradigm that provides stimulus control functions and sensor control functions for realtime manipulation of biological (physical) matter. Additionally, a simulation mode facilitates higher user throughput, program debugging, and biophysical modeling. To evaluate this Paradigm, we implemented a JavaScript-based web toolkit, ‘Bioty’, that supports realtime interaction with swarms of phototactic Euglena cells hosted on a cloud lab. Studies with remote users demonstrate that individuals with little to no biology knowledge and intermediate Programming knowledge were able to successfully create and use scientific applications and games. This work informs the design of Programming environments for controlling living matter in general and lowers the access barriers to biology experimentation for professional and citizen scientists, learners, and the lay public.Significance StatementBiology cloud labs are an emerging approach to lower access barriers to life-science experimentation. However, suitable Programming approaches and user interfaces are lacking, especially ones that enable the interaction with the living matter itself - not just the control of equipment. Here we present and implement a corresponding Programming Paradigm for realtime interactive applications with remotely housed biological systems, and which is accessible and useful for scientists, programmers and lay people alike. Our user studies show that scientists and non-scientists are able to rapidly develop a variety of applications, such as interactive biophysics experiments and games. This Paradigm has the potential to make first-hand experiences with biology accessible to all of society and to accelerate the rate of scientific discovery.
Fabrizio Montesi - One of the best experts on this subject based on the ideXlab platform.
-
YR-SOC - Reasoning About a Service-oriented Programming Paradigm
Electronic Proceedings in Theoretical Computer Science, 2009Co-Authors: Claudio Guidi, Fabrizio MontesiAbstract:This paper is about a new way for Programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for Programming services. Both the theoretical formalization and the language interpreter showed us the evidence that a new Programming Paradigm exists. In this paper we illustrate the basic features it is characterized by
-
reasoning about a service oriented Programming Paradigm
Electronic Proceedings in Theoretical Computer Science, 2009Co-Authors: Claudio Guidi, Fabrizio MontesiAbstract:This paper is about a new way for Programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for Programming services. Our work started some years ago when we began to formalize the basic mechanisms of the Web Services technology in a process calculus. We chose such an approach because process calculi were naturally born for describing concurrent processes, as Web Services are. The need to address Web Services with a formal approach was motivated by the high level of complexity they are characterized by: we wanted a simple and precise means for catching their essentials and, at the same time, strong foundations for developing concrete tools for designing and implementing service systems. When we started to build our formal model we took inspiration from foundational calculi such as CCS (22) and π-calculus (23), by enriching those approaches with specific mechanisms which came from the Web Services technology. We developed SOCK (16, 13), that is a process calculus where those aspects of service-oriented computing which deal with communication primitives, work-flow composition, service session management and service networks are considered. SOCK is structured on three layers, each one representing a specific feature of the service-oriented approach: the behaviour of a service, the execution of service sessions into a service engine and the connection of services within a network. Such a categorization allowed us to handle the complexity of service-oriented computing without loosing the important details they are characterize by. Differently fr om our approach, other authors proposed SCC (6) and COWS (20). The main difference between SCC and SOCK can befound in the session identification mechanism. In SOCK we identify sessions by means of correlation sets whereas in SCC sessions are identified by freshly generated names. In our opinion, corre lation set represents a key mechanism for the service-oriented Programming Paradigm which is also modelled in COWS and it is provided by the most credited orchestration language for Web Services: WS-BPEL (26). The main difference between SOCK and COWS is the fact that SOCK explicitly supports a state whereas COWS does not. Moroever, SOCK encoded the RequestResponse communication primitive which is not supported by COWS. Both state and the RequestResponse primitive made SOCK close to the technologies. This fact allowed us to reason about fault handling issues which led us to propose a new way, the dynamic handling, for managing faults (14, 24).
Thomas Schmickl - One of the best experts on this subject based on the ideXlab platform.
-
Introduction to WOSPP: Wave Oriented Swarm Programming Paradigm.
arXiv: Multiagent Systems, 2018Co-Authors: Joshua Cherian Varughese, Hannes Hornischer, Ronald Thenius, Payam Zahadat, Franz Wotawa, Thomas SchmicklAbstract:In this work, we present a Programming Paradigm allowing the control of swarms with a minimum communication bandwidth in a simple manner, yet allowing the emergence of diverse complex behaviors and autonomy of the swarm. Communication in the proposed Paradigm is based on single bit "ping"-signals propagating as information-waves throughout the swarm. We show that even this minimum bandwidth communication between agents suffices for the design of a substantial set of behaviors in the domain of essential behaviors of a collective, including locomotion and self awareness of the swarm.
-
Controlling Swarms: A Programming Paradigm with Minimalistic Communication
arXiv: Multiagent Systems, 2018Co-Authors: Joshua Cherian Varughese, Hannes Hornischer, Ronald Thenius, Payam Zahadat, Franz Wotawa, Thomas SchmicklAbstract:Inspired by natural swarms, numerous control schemes enabling robotic swarms, mobile sensor networks and other multi-agent systems to exhibit various self-organized behaviors have been suggested. In this work, we present a Wave Oriented Swarm Programming Paradigm (WOSPP) enabling the control of swarms with minimalistic communication bandwidth in a simple manner, yet allowing the emergence of diverse complex behaviors and autonomy of the swarm. Communi cation in the proposed Paradigm is based on "ping"-signals inspired by strategies for communication and self organization of slime mold (dictyostelium discoideum) and fireflies (lampyridae). Signals propagate as information-waves throughout the swarm. We show that even with 1-bit bandwidth communication between agents suffices for the design of a substantial set of behaviors in the domain of essential behaviors of a collective. Ultimately, the reader will be enabled to develop and design a control scheme for individual swarms.
-
wospp a wave oriented swarm Programming Paradigm
IFAC-PapersOnLine, 2018Co-Authors: Ronald Thenius, Joshua Cherian Varughese, Daniel Moser, Thomas SchmicklAbstract:Abstract In this paper, we present a possible control Paradigm for swarms of mobile agents with limited communication capabilities. The control Paradigm is based on communication and movement strategies from slime mould, that uses 1-bit communication for various behaviours of the super organism. We have found that by varying minor details of the classical slime mould based communication strategies and movement cues it is possible to generate substantially different behaviours and features that the swarm is able to perform. Swarm size estimation, pinging synchronization, ego positioning etc. are some behaviours which can be generated by varying minor details of the basic slime mould based communication and movement strategies. Additionally, using several different signals within the swarm and combining them, it is possible to generate an open control Paradigm, that allows to construct different behaviours, not bases on the design of individual behaviour but by design of different interacting travelling waves on the different signal layers in the swarm.
Jörg Pührer - One of the best experts on this subject based on the ideXlab platform.
-
Towards a Simulation-Based Programming Paradigm for AI applications
arXiv: Artificial Intelligence, 2015Co-Authors: Jörg PührerAbstract:We present initial ideas for a Programming Paradigm based on simulation that is targeted towards applications of artificial intelligence (AI). The approach aims at integrating techniques from different areas of AI and is based on the idea that simulated entities may freely exchange data and behavioural patterns. We define basic notions of a simulation-based Programming Paradigm and show how it can be used for implementing AI applications.
-
ICCSW - Towards a Programming Paradigm for Artificial Intelligence Applications Based On Simulation
2014Co-Authors: Jörg PührerAbstract:In this work, we propose to use simulation as a key principle for Programming AI applications. The approach aims at integrating techniques from different areas of AI and is based on the idea that simulated entities may freely exchange data and behavioural patterns. We introduce basic notions of a simulation-based Programming Paradigm and show how it can be used for implementing different scenarios.
