Recognising that (i) coordination is a fundamental concern when both analysing and modelling CAS, and that (ii) CAS often exhibit stochastic behaviours, stemming from probabilistic and time-dependent local (interaction) mechanisms, in this talk we argue that (a) measuring expressiveness of coordination languages, and (b) predicting behaviours of stochastic systems based on coordination models are two fundamental steps in the quest for designing well- engineered CAS.
As a concrete ground where to or discussion, we describe some of our current works as well as our ideas for further research.
Understanding learners’ understanding is a key requirement for an efficient design of teaching situations and learning environments, be they digital or not. This keynote outlines the modeling framework cK¢ (conception, knowing, concept) created with the objective to respond to this requirement, with the additional ambition to build a bridge between research in mathematics education and research in educational technology. After an introduction of the rationale of cK¢, some illustrations are presented. Then follow comments on cK¢ and learning. The conclusion evokes key research issues raised by the use of this modeling framework. (the related text is available on arXiv and HAL)
Dialectica Categories Surprising Application: mapping cardinal invariantsValeria de Paiva
Talk at 2nd Set Theory and General Topology Week in Salvador, Bahia, Brazil, March 2012
Abstract: Goethe famously said that "Mathematicians are like Frenchmen:
whatever you say to them they translate into their own language and forthwith it is something entirely different." True. Even more true of category theorists. Following this great tradition of appropriating other people's work, I want to tell you how I learned about "cardinalities of the continuum" from Blass and Morgan and da Silva
and how I want to rock their boat, just a little, in the direction of my kind of mathematics.
Extending the knowledge level of cognitive architectures with Conceptual Spac...Antonio Lieto
Extending the knowledge level of cognitive architectures with Conceptual Spaces (+ a case study with Dual-PECCS: a hybrid knowledge representation system for common sense reasoning). Talk given at Stockholm, September 2016.
On the problems of interface: explainability, conceptual spaces, relevanceGiovanni Sileno
Summary talk of the research conducted at Télécom ParisTech and Paris Dauphine University during my postdoc project (2016-2018), in collaboration with Isabelle Bloch, Jamal Atif and Jean-Louis Dessalles.
Understanding learners’ understanding is a key requirement for an efficient design of teaching situations and learning environments, be they digital or not. This keynote outlines the modeling framework cK¢ (conception, knowing, concept) created with the objective to respond to this requirement, with the additional ambition to build a bridge between research in mathematics education and research in educational technology. After an introduction of the rationale of cK¢, some illustrations are presented. Then follow comments on cK¢ and learning. The conclusion evokes key research issues raised by the use of this modeling framework. (the related text is available on arXiv and HAL)
Dialectica Categories Surprising Application: mapping cardinal invariantsValeria de Paiva
Talk at 2nd Set Theory and General Topology Week in Salvador, Bahia, Brazil, March 2012
Abstract: Goethe famously said that "Mathematicians are like Frenchmen:
whatever you say to them they translate into their own language and forthwith it is something entirely different." True. Even more true of category theorists. Following this great tradition of appropriating other people's work, I want to tell you how I learned about "cardinalities of the continuum" from Blass and Morgan and da Silva
and how I want to rock their boat, just a little, in the direction of my kind of mathematics.
Extending the knowledge level of cognitive architectures with Conceptual Spac...Antonio Lieto
Extending the knowledge level of cognitive architectures with Conceptual Spaces (+ a case study with Dual-PECCS: a hybrid knowledge representation system for common sense reasoning). Talk given at Stockholm, September 2016.
On the problems of interface: explainability, conceptual spaces, relevanceGiovanni Sileno
Summary talk of the research conducted at Télécom ParisTech and Paris Dauphine University during my postdoc project (2016-2018), in collaboration with Isabelle Bloch, Jamal Atif and Jean-Louis Dessalles.
Seminar presented to VUW philosophy dept on April 14 2011. Argues that we can take a 'kind of causal role' analysis in order to identify important causes in development. Then we can focus our explanatory models on the key stuff.
Towards Causal Representation LearningSuyeong Park
Schölkopf, Bernhard, et al. "Toward causal representation learning." (2021) https://arxiv.org/pdf/2102.11107.pdf
지난 7월 6일 Causal Inference KR 에서 발표한 위 논문의 발표 자료입니다. 아직 배우는 학생이라 많이 부족할테지만, 틀렸거나 애매한 설명은 언제든 댓글로 질문이나 첨언 부탁드립니다.
감사합니다.
Computational Rationality I - a Lecture at Aalto University by Antti OulasvirtaAalto University
This 2-hour lecture looks at the emerging field of Computational Rationality. Lecture given March 12, 2018, for the Aalto University Master's level course on "Probabilistic Programming and Reinforcement Learning for Cognition and Interaction." Based on: Gershman et al 2015 Science, Lewis et al 2014 Topics in Cog Sci, and Gershman & Daw 2017 Annu Rev Psych
Tuple-based Coordination of Stochastic Systems with Uniform PrimitivesAndrea Omicini
Complex computational systems — such as pervasive, adaptive, and self-organising ones — typically rely on simple yet expressive coordination mechanisms: this is why coordination models and languages can be exploited as the sources of the essential abstractions and mechanisms to build such systems. While the features of tuple-based models make them well suited for complex system coordination, they lack the probabilistic mechanisms for modelling the stochastic behaviours typically required by adaptivity and self-organisation. To this end, in this talk we explicitly introduce uniform primitives as a probabilistic specialisation of standard tuple-based coordination primitives, replacing don’t know non-determinism with uniform distribution. We define their semantics and discuss their expressiveness and their impact on system predictability.
Nelson, Lindsey and Alice L. Pawley. “Using the Emergent Methodology of Domain Analysis to Answer Complex Research Questions.” Presented at the 2010 American Society for Engineering Education National Conference and Exposition, Louisville KY, June 20-23 2010.
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive EnvironmentsStefano Mariani
Molecules of Knowledge (MoK) is a coordination model supporting self-organisation of knowledge in Knowledge Intensive Environments (KIE). Usual approaches to knowledge management in KIE consider data as a passive, "dead" entity and rely on "brute force" approaches assuming an ever-increasing computational power and storage capacity (e.g. big data). This won't scale forever, thus alternative approaches should be explored. MoK promotes the vision of data as a "live" thing, continuously and spontaneously interacting and evolving---self-organising. Accordingly, MoK relies on features such as locality, probability and situatedness to tackle KIE challenges such as scale, openness and unpredictability. In this seminar, the MoK model is motivated and introduced, then some early "evaluation" described.
Title: "Sources of bias when working with visualisations". Introduction to the "Dealing with Cognitive Biases in Visualisations (DECISIVe 2014) workshop at IEEE VIS, Paris, November 2014.
Coordination of Complex Socio-technical Systems: Challenges and OpportunitiesStefano Mariani
The issue of coordination in Socio-Technical Systems (STS) mostly stems from “humans-in-the-loop”: besides software-software we have software-human interactions to handle, too. Also, a number of peculiarities and related engineering challenges makes a socio-technical gap easy to rise, in the form of a gap between what the computational platform provides, and what the users are expecting to have. In this paper we try to shed some light on the issue of engineer- ing coordination mechanisms and policies in STS. Accordingly, we highlight the main challenges, the opportunities we have to deal with them, and a few selected approaches for specific STS application domains.
Twenty Years of Coordination Technologies: State-of-the-Art and PerspectivesStefano Mariani
Since complexity of inter- and intra-systems interactions is steadily increasing in modern application scenarios (e.g., the IoT), coordination technologies are required to take a crucial step towards maturity. In this paper we look back at the history of the COORDINATION conference in order to shed light on the current status of the coordination technologies there proposed throughout the years, in an attempt to understand success stories, limitations, and possibly reveal the gap between actual technologies, theoretical models, and novel application needs.
The Speaking Objects Vision: Argumentation for Coordinating Distributed Syste...Stefano Mariani
What is argumentation
Definition
Frameworks
Dialogue types (recap)
Argumentation use cases
Analysis
Synthesis
Applications
Argumentation for Speaking Objects
Benefits
Challenges
The Speaking Objects Vision: Argumentation for Coordinating Distributed Syste...Stefano Mariani
The vision
[what we imagine to happen]
Towards conversational coordination
[what we focus on]
Ingredients
[what we think will be needed]
Recipe
[how we think it will happen]
On the role of argumentation
[why we think argumentation matters]
Programming the Interaction Space Effectively with ReSpecTXStefano Mariani
Talk delivered at the 11th International Symposium on Intelligent Distributed Computing in
Belgrade, Serbia, 12/10/2017.
Abstract: The lack of a suitable toolchain for programming the inter- action space with coordination languages hinders their adoption in the industry, and limits their application as core calculus, proof-of-concept frameworks, or rapid prototyping / simulation environments. In this paper we present the ReSpecTX language and toolchain as a first step toward closing the gap, by equipping a core coordination language (ReSpecT) with tools and features commonly found in mainstream programming languages, improving likelihood of adoption in real-world scenarios.
Seminar presented to VUW philosophy dept on April 14 2011. Argues that we can take a 'kind of causal role' analysis in order to identify important causes in development. Then we can focus our explanatory models on the key stuff.
Towards Causal Representation LearningSuyeong Park
Schölkopf, Bernhard, et al. "Toward causal representation learning." (2021) https://arxiv.org/pdf/2102.11107.pdf
지난 7월 6일 Causal Inference KR 에서 발표한 위 논문의 발표 자료입니다. 아직 배우는 학생이라 많이 부족할테지만, 틀렸거나 애매한 설명은 언제든 댓글로 질문이나 첨언 부탁드립니다.
감사합니다.
Computational Rationality I - a Lecture at Aalto University by Antti OulasvirtaAalto University
This 2-hour lecture looks at the emerging field of Computational Rationality. Lecture given March 12, 2018, for the Aalto University Master's level course on "Probabilistic Programming and Reinforcement Learning for Cognition and Interaction." Based on: Gershman et al 2015 Science, Lewis et al 2014 Topics in Cog Sci, and Gershman & Daw 2017 Annu Rev Psych
Tuple-based Coordination of Stochastic Systems with Uniform PrimitivesAndrea Omicini
Complex computational systems — such as pervasive, adaptive, and self-organising ones — typically rely on simple yet expressive coordination mechanisms: this is why coordination models and languages can be exploited as the sources of the essential abstractions and mechanisms to build such systems. While the features of tuple-based models make them well suited for complex system coordination, they lack the probabilistic mechanisms for modelling the stochastic behaviours typically required by adaptivity and self-organisation. To this end, in this talk we explicitly introduce uniform primitives as a probabilistic specialisation of standard tuple-based coordination primitives, replacing don’t know non-determinism with uniform distribution. We define their semantics and discuss their expressiveness and their impact on system predictability.
Nelson, Lindsey and Alice L. Pawley. “Using the Emergent Methodology of Domain Analysis to Answer Complex Research Questions.” Presented at the 2010 American Society for Engineering Education National Conference and Exposition, Louisville KY, June 20-23 2010.
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive EnvironmentsStefano Mariani
Molecules of Knowledge (MoK) is a coordination model supporting self-organisation of knowledge in Knowledge Intensive Environments (KIE). Usual approaches to knowledge management in KIE consider data as a passive, "dead" entity and rely on "brute force" approaches assuming an ever-increasing computational power and storage capacity (e.g. big data). This won't scale forever, thus alternative approaches should be explored. MoK promotes the vision of data as a "live" thing, continuously and spontaneously interacting and evolving---self-organising. Accordingly, MoK relies on features such as locality, probability and situatedness to tackle KIE challenges such as scale, openness and unpredictability. In this seminar, the MoK model is motivated and introduced, then some early "evaluation" described.
Title: "Sources of bias when working with visualisations". Introduction to the "Dealing with Cognitive Biases in Visualisations (DECISIVe 2014) workshop at IEEE VIS, Paris, November 2014.
Coordination of Complex Socio-technical Systems: Challenges and OpportunitiesStefano Mariani
The issue of coordination in Socio-Technical Systems (STS) mostly stems from “humans-in-the-loop”: besides software-software we have software-human interactions to handle, too. Also, a number of peculiarities and related engineering challenges makes a socio-technical gap easy to rise, in the form of a gap between what the computational platform provides, and what the users are expecting to have. In this paper we try to shed some light on the issue of engineer- ing coordination mechanisms and policies in STS. Accordingly, we highlight the main challenges, the opportunities we have to deal with them, and a few selected approaches for specific STS application domains.
Twenty Years of Coordination Technologies: State-of-the-Art and PerspectivesStefano Mariani
Since complexity of inter- and intra-systems interactions is steadily increasing in modern application scenarios (e.g., the IoT), coordination technologies are required to take a crucial step towards maturity. In this paper we look back at the history of the COORDINATION conference in order to shed light on the current status of the coordination technologies there proposed throughout the years, in an attempt to understand success stories, limitations, and possibly reveal the gap between actual technologies, theoretical models, and novel application needs.
The Speaking Objects Vision: Argumentation for Coordinating Distributed Syste...Stefano Mariani
What is argumentation
Definition
Frameworks
Dialogue types (recap)
Argumentation use cases
Analysis
Synthesis
Applications
Argumentation for Speaking Objects
Benefits
Challenges
The Speaking Objects Vision: Argumentation for Coordinating Distributed Syste...Stefano Mariani
The vision
[what we imagine to happen]
Towards conversational coordination
[what we focus on]
Ingredients
[what we think will be needed]
Recipe
[how we think it will happen]
On the role of argumentation
[why we think argumentation matters]
Programming the Interaction Space Effectively with ReSpecTXStefano Mariani
Talk delivered at the 11th International Symposium on Intelligent Distributed Computing in
Belgrade, Serbia, 12/10/2017.
Abstract: The lack of a suitable toolchain for programming the inter- action space with coordination languages hinders their adoption in the industry, and limits their application as core calculus, proof-of-concept frameworks, or rapid prototyping / simulation environments. In this paper we present the ReSpecTX language and toolchain as a first step toward closing the gap, by equipping a core coordination language (ReSpecT) with tools and features commonly found in mainstream programming languages, improving likelihood of adoption in real-world scenarios.
Coordination Issues in Complex Socio-technical Systems: Self-organisation of ...Stefano Mariani
The thesis proposes the Molecules of Knowledge (MoK) model for self-organisation of knowledge in knowledge-intensive socio-technical systems.
The main contribution is the conception, definition, design, and implementation of the MoK model.
The model is based on a chemical metaphor for self-organising coordination, in which coordination laws are interpreted as artificial chemical reactions ruling evolution of the molecules of knowledge living in the system (the information chunks), indirectly coordinating the users working with them.
In turn, users may implicitly affect system behaviour with their interactions, according to the cognitive theory of behavioural implicit communication, integrated in MoK.
The theory states that any interaction conveys tacit messages that can be suitably interpreted by the coordination model to better support users' workflows.
Design and implementation of the MoK model required two other contributions: conception, design, and tuning of the artificial chemical reactions with custom kinetic rates, playing the role of the coordination laws, and development of an infrastructure supporting situated coordination, both in time, space, and w.r.t. the environment, along with a dedicated coordination language.
Advanced Coordination Techniques: Experiments with TuCSoN and ReSpecTStefano Mariani
Distributed systems are more about interaction than computation: thus, they need coordination abstractions and techniques for managing the associated space of interaction.
Inspired to the archetypal Linda model, TuCSoN is a coordination model and technology providing tuple-based coordination services to (mobile) software agents through the notion of tuple centre—that is, a programmable tuple space. ReSpecT is a coordination language enabling run-time programmability of TuCSoN tuple centres—that is, of the coordination primitives and laws enabling and constraining interaction.
In this seminar TuCSoN and ReSpecT are used as the reference models and technologies for experimenting advanced coordination techniques for distributed and mobile programming of intelligent and pervasive multi-agent systems.
On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with ...Stefano Mariani
The “local-to-global” issue in self-organisation is about finding a way to engineer local mechanisms according to the emergent, global behaviour desired for the system at hand. In this paper, we propose an approach to deal with such issue, by modelling the local mechanisms as artificial chemical reactions and by carefully designing their kinetic rates as “custom” functional expressions.
Models of Autonomy and Coordination: Integrating Subjective & Objective Appro...Stefano Mariani
Objective and subjective approaches to coordination constitute two complementary approaches, which, being both essential in MAS engineering, require to be suitably integrated. In this paper, we (i) observe that a successful integration depends on the models of autonomy and coordination promoted by agent technologies, (ii) suggest that ignoring the two models may hinder agent autonomy, (iii) provide an example of “autonomy-preserving” integration by discussing TuCSoN4Jade.
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive EnvironmentsStefano Mariani
Molecules of Knowledge (MoK) is a coordination model supporting self-organisation of knowledge in Knowledge Intensive Environments (KIE). Usual approaches to knowledge management in KIE consider data as a passive, "dead" entity and rely on "brute force" approaches assuming an ever-increasing computational power and storage capacity (e.g. big data). This won't scale forever, thus alternative approaches should be explored. MoK promotes the vision of data as a "live" thing, continuously and spontaneously interacting and evolving---self-organising. Accordingly, MoK relies on features such as locality, probability and situatedness to tackle KIE challenges such as scale, openness and unpredictability. In this seminar, the MoK model is motivated and introduced, then some early "evaluation" described.
Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordinat...Stefano Mariani
To cope with nowadays MAS complexity, nature-inspired coordination models and languages gained increasing attention: in particular, biochemical coordination models. Being intrinsically stochastic and self-organising, the effectiveness of their outcome likely depends on a correct parameter tuning stage. In this paper, we focus on chemical reactions rates, showing that simply imitating chemistry "as it is" may be not enough for the purpose of effectively engineer complex, self-organising coordinated systems such as MoK .
Event-driven Programming for Situated MAS with ReSpecT Tuple CentresStefano Mariani
We advocate the role of tuple-based coordination languages as effective tools for event-driven programming of situated multi-agent systems (MAS). By focussing on logic-based coordination artefacts, we discuss the benefits of exploiting ReSpecT tuple centres as event-driven abstractions for MAS coordination.
Promoting Space-Aware Coordination: ReSpecT as a Spatial Computing Virtual Ma...Stefano Mariani
Situatedness is a fundamental requirement for to- day’s complex software systems—as well as for the computation models and programming languages used to build them. Spatial situatedness, in particular, is an essential feature for coordination models and languages, as they represent the most effective approach to face the critical issues of interaction. Following some seminal works [1], [2], [3], in this paper we try to bring some novel results from the Coordination field into the Spatial Computing perspective, by identifying a minimal set of primitives that could be used to build a virtual machine for a space-aware coordination language, using ReSpecT as our reference example.
Probabilistic Modular Embedding for Stochastic Coordinated SystemsStefano Mariani
Embedding and modular embedding are two well-known tech- niques for measuring and comparing the expressiveness of languages— sequential and concurrent programming languages, respectively. The emer- gence of new classes of computational systems featuring stochastic be- haviours – such as pervasive, adaptive, self-organising systems – requires new tools for probabilistic languages. In this paper, we recall and refine the notion of probabilistic modular embedding (PME) as an extension to modular embedding meant to capture the expressiveness of stochas- tic systems, and show its application to different coordination languages providing probabilistic mechanisms for stochastic systems.
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Pur...Stefano Mariani
This talk discusses the paper “MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes”, presented at SOCIAL:PATH @ AISB 2013.
Molecules Of Knowledge: Self-Organisation In Knowledge-Intensive EnvironmentsStefano Mariani
This talk discusses the paper “Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments”, presented at the 6th International Symposium on Intelligent Distributed Computing (IDC 2012).
Self-Organising News Management: The Molecules Of Knowledge ApproachStefano Mariani
This talk discusses the paper “Self-Organising News Management: The Molecules of Knowledge Approach”, presented at the 1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012).
Earliest Galaxies in the JADES Origins Field: Luminosity Function and Cosmic ...Sérgio Sacani
We characterize the earliest galaxy population in the JADES Origins Field (JOF), the deepest
imaging field observed with JWST. We make use of the ancillary Hubble optical images (5 filters
spanning 0.4−0.9µm) and novel JWST images with 14 filters spanning 0.8−5µm, including 7 mediumband filters, and reaching total exposure times of up to 46 hours per filter. We combine all our data
at > 2.3µm to construct an ultradeep image, reaching as deep as ≈ 31.4 AB mag in the stack and
30.3-31.0 AB mag (5σ, r = 0.1” circular aperture) in individual filters. We measure photometric
redshifts and use robust selection criteria to identify a sample of eight galaxy candidates at redshifts
z = 11.5 − 15. These objects show compact half-light radii of R1/2 ∼ 50 − 200pc, stellar masses of
M⋆ ∼ 107−108M⊙, and star-formation rates of SFR ∼ 0.1−1 M⊙ yr−1
. Our search finds no candidates
at 15 < z < 20, placing upper limits at these redshifts. We develop a forward modeling approach to
infer the properties of the evolving luminosity function without binning in redshift or luminosity that
marginalizes over the photometric redshift uncertainty of our candidate galaxies and incorporates the
impact of non-detections. We find a z = 12 luminosity function in good agreement with prior results,
and that the luminosity function normalization and UV luminosity density decline by a factor of ∼ 2.5
from z = 12 to z = 14. We discuss the possible implications of our results in the context of theoretical
models for evolution of the dark matter halo mass function.
Nutraceutical market, scope and growth: Herbal drug technologyLokesh Patil
As consumer awareness of health and wellness rises, the nutraceutical market—which includes goods like functional meals, drinks, and dietary supplements that provide health advantages beyond basic nutrition—is growing significantly. As healthcare expenses rise, the population ages, and people want natural and preventative health solutions more and more, this industry is increasing quickly. Further driving market expansion are product formulation innovations and the use of cutting-edge technology for customized nutrition. With its worldwide reach, the nutraceutical industry is expected to keep growing and provide significant chances for research and investment in a number of categories, including vitamins, minerals, probiotics, and herbal supplements.
Deep Behavioral Phenotyping in Systems Neuroscience for Functional Atlasing a...Ana Luísa Pinho
Functional Magnetic Resonance Imaging (fMRI) provides means to characterize brain activations in response to behavior. However, cognitive neuroscience has been limited to group-level effects referring to the performance of specific tasks. To obtain the functional profile of elementary cognitive mechanisms, the combination of brain responses to many tasks is required. Yet, to date, both structural atlases and parcellation-based activations do not fully account for cognitive function and still present several limitations. Further, they do not adapt overall to individual characteristics. In this talk, I will give an account of deep-behavioral phenotyping strategies, namely data-driven methods in large task-fMRI datasets, to optimize functional brain-data collection and improve inference of effects-of-interest related to mental processes. Key to this approach is the employment of fast multi-functional paradigms rich on features that can be well parametrized and, consequently, facilitate the creation of psycho-physiological constructs to be modelled with imaging data. Particular emphasis will be given to music stimuli when studying high-order cognitive mechanisms, due to their ecological nature and quality to enable complex behavior compounded by discrete entities. I will also discuss how deep-behavioral phenotyping and individualized models applied to neuroimaging data can better account for the subject-specific organization of domain-general cognitive systems in the human brain. Finally, the accumulation of functional brain signatures brings the possibility to clarify relationships among tasks and create a univocal link between brain systems and mental functions through: (1) the development of ontologies proposing an organization of cognitive processes; and (2) brain-network taxonomies describing functional specialization. To this end, tools to improve commensurability in cognitive science are necessary, such as public repositories, ontology-based platforms and automated meta-analysis tools. I will thus discuss some brain-atlasing resources currently under development, and their applicability in cognitive as well as clinical neuroscience.
ESR spectroscopy in liquid food and beverages.pptxPRIYANKA PATEL
With increasing population, people need to rely on packaged food stuffs. Packaging of food materials requires the preservation of food. There are various methods for the treatment of food to preserve them and irradiation treatment of food is one of them. It is the most common and the most harmless method for the food preservation as it does not alter the necessary micronutrients of food materials. Although irradiated food doesn’t cause any harm to the human health but still the quality assessment of food is required to provide consumers with necessary information about the food. ESR spectroscopy is the most sophisticated way to investigate the quality of the food and the free radicals induced during the processing of the food. ESR spin trapping technique is useful for the detection of highly unstable radicals in the food. The antioxidant capability of liquid food and beverages in mainly performed by spin trapping technique.
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...Travis Hills MN
Travis Hills of Minnesota developed a method to convert waste into high-value dry fertilizer, significantly enriching soil quality. By providing farmers with a valuable resource derived from waste, Travis Hills helps enhance farm profitability while promoting environmental stewardship. Travis Hills' sustainable practices lead to cost savings and increased revenue for farmers by improving resource efficiency and reducing waste.
This presentation explores a brief idea about the structural and functional attributes of nucleotides, the structure and function of genetic materials along with the impact of UV rays and pH upon them.
Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...Sérgio Sacani
Since volcanic activity was first discovered on Io from Voyager images in 1979, changes
on Io’s surface have been monitored from both spacecraft and ground-based telescopes.
Here, we present the highest spatial resolution images of Io ever obtained from a groundbased telescope. These images, acquired by the SHARK-VIS instrument on the Large
Binocular Telescope, show evidence of a major resurfacing event on Io’s trailing hemisphere. When compared to the most recent spacecraft images, the SHARK-VIS images
show that a plume deposit from a powerful eruption at Pillan Patera has covered part
of the long-lived Pele plume deposit. Although this type of resurfacing event may be common on Io, few have been detected due to the rarity of spacecraft visits and the previously low spatial resolution available from Earth-based telescopes. The SHARK-VIS instrument ushers in a new era of high resolution imaging of Io’s surface using adaptive
optics at visible wavelengths.
hematic appreciation test is a psychological assessment tool used to measure an individual's appreciation and understanding of specific themes or topics. This test helps to evaluate an individual's ability to connect different ideas and concepts within a given theme, as well as their overall comprehension and interpretation skills. The results of the test can provide valuable insights into an individual's cognitive abilities, creativity, and critical thinking skills
Professional air quality monitoring systems provide immediate, on-site data for analysis, compliance, and decision-making.
Monitor common gases, weather parameters, particulates.
Phenomics assisted breeding in crop improvementIshaGoswami9
As the population is increasing and will reach about 9 billion upto 2050. Also due to climate change, it is difficult to meet the food requirement of such a large population. Facing the challenges presented by resource shortages, climate
change, and increasing global population, crop yield and quality need to be improved in a sustainable way over the coming decades. Genetic improvement by breeding is the best way to increase crop productivity. With the rapid progression of functional
genomics, an increasing number of crop genomes have been sequenced and dozens of genes influencing key agronomic traits have been identified. However, current genome sequence information has not been adequately exploited for understanding
the complex characteristics of multiple gene, owing to a lack of crop phenotypic data. Efficient, automatic, and accurate technologies and platforms that can capture phenotypic data that can
be linked to genomics information for crop improvement at all growth stages have become as important as genotyping. Thus,
high-throughput phenotyping has become the major bottleneck restricting crop breeding. Plant phenomics has been defined as the high-throughput, accurate acquisition and analysis of multi-dimensional phenotypes
during crop growing stages at the organism level, including the cell, tissue, organ, individual plant, plot, and field levels. With the rapid development of novel sensors, imaging technology,
and analysis methods, numerous infrastructure platforms have been developed for phenotyping.
Seminar of U.V. Spectroscopy by SAMIR PANDASAMIR PANDA
Spectroscopy is a branch of science dealing the study of interaction of electromagnetic radiation with matter.
Ultraviolet-visible spectroscopy refers to absorption spectroscopy or reflect spectroscopy in the UV-VIS spectral region.
Ultraviolet-visible spectroscopy is an analytical method that can measure the amount of light received by the analyte.
In silico drugs analogue design: novobiocin analogues.pptx
Stochastic Coordination in CAS: Expressiveness & Predictability
1. Stochastic Coordination in CAS:
Expressiveness & Predictability
Stefano Mariani Andrea Omicini
fs.mariani, andrea.omicinig@unibo.it
DISI
Alma Mater Studiorum|Universita di Bologna
CAS: Qualitative and Quantitative Modelling and Analysis Seminar
Dagstuhl, Germany - December 14-19th, 2014
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 1 / 53
2. Outline
1 Context, Motivation Goals
2 Research Threads
Uniform Primitives
Probabilistic Modular Embedding
Biochemical Coordination
3 Future Directions Open Questions
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 2 / 53
3. Context, Motivation Goals
Outline
1 Context, Motivation Goals
2 Research Threads
Uniform Primitives
Probabilistic Modular Embedding
Biochemical Coordination
3 Future Directions Open Questions
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 3 / 53
4. Context, Motivation Goals
Stochastic Coordination in CAS: Why
CAS are usually composed of a multitude of heterogeneous,
autonomous agents, which needs to interact in order to achieve a
system goal|typically beyond their individual capabilities
=) coordination is a fundamental concern when both analysing and
modelling CAS
CAS often exhibit stochastic behaviours, stemming from probabilistic
and time-dependent local (interaction) mechanisms
=) stochastic coordination models and languages provide such mechanisms
Expressiveness Predictability
Understanding expressiveness of coordination languages and achieving
predictability of stochastic coordination models is a fundamental step in
the quest for designing well-engineered CAS.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 4 / 53
5. Context, Motivation Goals
Stochastic Coordination in CAS: Issues
Expressiveness from both the computer science and computer engineering
points of view:
science | formal expressiveness of coordination
languages (to observe systems) [Bonsangue et al., 2003]
engineering | core coordination mechanisms enabling
expression of collective behaviours (to build systems)
[Fernandez-Marquez et al., 2012b]
Predictability in terms of the local-to-global issue
[Beal and Bachrach, 2006] of CAS
design the local interaction mechanisms to achieve
desired global behaviour
. . . (and the other way around: encode the global behaviour
in terms of the local mechanisms available)
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 5 / 53
6. Context, Motivation Goals
Stochastic Coordination in CAS: Goals
1 Devise out core coordination mechanisms enabling self-organisation
and adaptiveness in CAS
2 Understand their expressiveness, both in terms of formal comparison
of languages' (relative) expressive power and in terms of enabled
behaviours
3 Ensure predictable (and controllable) relationships between such core
(local) mechanisms and the overall coordinated CAS (global)
behaviour exist
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 6 / 53
7. Research Threads
Outline
1 Context, Motivation Goals
2 Research Threads
Uniform Primitives
Probabilistic Modular Embedding
Biochemical Coordination
3 Future Directions Open Questions
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 7 / 53
8. Research Threads Uniform Primitives
Outline
1 Context, Motivation Goals
2 Research Threads
Uniform Primitives
Probabilistic Modular Embedding
Biochemical Coordination
3 Future Directions Open Questions
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 8 / 53
9. Research Threads Uniform Primitives
Motivation Goals
Linda [Gelernter, 1985] features don't know non-determinism
handled with a don't care approach:
don't know which tuple among the matching ones is retrieved by a
getter operation (in, rd) can be neither speci
10. ed nor
predicted
don't care nonetheless, the coordinated system (e.g. the CAS) is
designed so as to keep on working whichever is the
matching tuple returned
Linda CAS
CAS may need to implement stochastic behaviours like most of the time
do this, but sometimes do that.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 9 / 53
13. rst
mentioned in [Gardelli et al., 2007] { as the specialisation of Linda
getter primitives featuring probabilistic non-determinism
[Mariani and Omicini, 2014]
The uLinda Approach
Uniform primitives allow CAS designers to both specify and (statistically)
predict the probability to retrieve one speci
14. c (kind of) tuple among a bag
of matching tuples.
Uniform primitives are (one of) the core coordination mechanisms
enabling self-organisation in CAS: a minimal construct able (alone) to
impact the observable properties of a coordinated system
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 10 / 53
15. Research Threads Uniform Primitives
On Predictability I
In a sequence of getter operations, Linda don't know
non-determinism makes any prediction of the overall behaviour
impossible
sequences of Linda getter operations present no predictable
distribution over time|abstracting away from speci
16. c implementations
In a sequence of getter operations, uLinda probabilistic (uniform)
non-determinism makes predictions about the overall behaviour
possible
sequences of uLinda getter operations tend to exhibit a predictable
uniform distribution over time
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 11 / 53
18. ne tuple space dice
We represent a six-face dice as a collection of six tuples: face(1),
..., face(6)
We roll a dice by rd-ing a face/1 tuple from dice: dice ?
rd(face(X))
! We do not obtain the (stochastic) behaviour of a dice: e.g., it may
reasonably happen that rolling the dice 109 times always results in X/1
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 12 / 53
20. ne tuple space dice
Again, we represent a six-face dice as a collection of six tuples:
face(1), ..., face(6)
We roll a dice by urd-ing a face/1 tuple from dice: dice ?
urd(face(X))
! Now, we do obtain the (stochastic) behaviour of a dice: repeating
several times a roll, the six faces will tend to converge towards a
uniform distribution
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 13 / 53
21. Research Threads Uniform Primitives
On Expressiveness: Load Balancing I
Figure : Clients using rd: Provider1 is under-exploited|actually, not at all.
Notice it could be Provider2, we don't know a priori.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 14 / 53
22. Research Threads Uniform Primitives
On Expressiveness: Load Balancing II
Figure : Provider1 and Provider2 exhibit no collective behaviour|no load
balancing.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 15 / 53
23. Research Threads Uniform Primitives
On Expressiveness: Load Balancing III
Figure : Clients using urd: Provider2 is exploited as much as it can aord.
Provider1 takes what's left.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 16 / 53
24. Research Threads Uniform Primitives
On Expressiveness: Load Balancing IV
Figure : Provider1 and Provider2 exhibit some form of load balancing,
achieved by self-organisation.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 17 / 53
25. Research Threads Uniform Primitives
On Expressiveness: Stigmergic Coordination I
Figure : Digital ants search for food (top box) wandering randomly from their
anthill (bottom box).
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 18 / 53
26. Research Threads Uniform Primitives
On Expressiveness: Stigmergic Coordination II
Figure : By urd-ing digital pheromones, ants
27. nd the optimal path toward the
food source|as a self-organising, distributed process.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 19 / 53
28. Research Threads Probabilistic Modular Embedding
Outline
1 Context, Motivation Goals
2 Research Threads
Uniform Primitives
Probabilistic Modular Embedding
Biochemical Coordination
3 Future Directions Open Questions
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 20 / 53
29. Research Threads Probabilistic Modular Embedding
Motivation Goals
Understanding expressiveness of coordination languages is essential to
deal with interactions complexity [Wegner, 1997]
The notion of Modular Embedding [de Boer and Palamidessi, 1994]
has been proposed for comparison of the relative expressiveness of
concurrent languages
Expressiveness CAS
CAS features stochastic behaviours, exploiting probabilistic mechanisms,
which demands new techniques to model and measure expressiveness.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 21 / 53
31. nition of (modular) embedding assumes that a language
could be translated in another [Shapiro, 1991]
easily without the need for a global reorganisation of the program
equivalently without aecting the program's observable behaviour
We re
32. ne term easily to focus on coordination languages'
expressiveness:
no extra-computations to mimic complex coordination operators
no extra-coordinators (neither coordinated processes nor coordination
medium) to avoid suspensive semantics
no unbound extra-interactions to perform additional coordination
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 22 / 53
34. ne term equivalently to cover probabilistic coordination
languages:
observable actions should be associated with their execution
probability, driven by synchronisation opportunities oered by the
coordination medium at run-time
ending states should be de
35. ned as those states for which all outgoing
transitions have probability 0. Also, they should be re
36. ned with the
probability of reaching that state from a given initial one
Probabilistic Modular Embedding
Using these re
38. nitions of easily and equivalentlya, we shift
from Modular Embedding to Probabilistic Modular Embedding
[Mariani and Omicini, 2013].
aIt's a long story short, for the precise formalisation see the cited paper.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 23 / 53
39. Research Threads Probabilistic Modular Embedding
On Expressiveness I
Suppose a ProbLinCa1 process P and a LinCa process Q are acting
on tuple space S:
P = inp(T):; + inp(T):rdp(T0):;
Q = in(T):; + in(T):rd(T0):;
S = htl[20]; tr[10]i
where T is a Linda template matching both tuples tl and tr,
whereas T0 matches tr solely.
1Probabilistic extension of the Linda-based LinCa calculus, in which each tuple has
a weight resembling selection probability: the higher the weight, the higher the matching
chance [Bravetti et al., 2005].
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 24 / 53
40. Research Threads Probabilistic Modular Embedding
On Expressiveness II
Modular Embedding
To ME, P and Q are not distinguishable, being their ending states the
same:
[P] = (success; htr[10]i) or (deadlock; htl[20]i)
[Q] = (success; htr[10]i) or (deadlock; htl[20]i)
Quantity vs. Quality
Whereas P and Q are qualitatively equivalent, they are not so
quantitatively, but ME cannot tell apart the probabilistic information
conveyed by, e.g., a ProbLinCa primitive w.r.t. a LinCa onea.
aSimilar results can be obtained comparing pKlaim to Klaim and
pa-calculus (probabilistic asynchronous pi-calculus) to a-calculus
(asynchronous pi-calculus) [Mariani and Omicini, 2013].
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 25 / 53
41. Research Threads Probabilistic Modular Embedding
On Expressiveness III
Probabilistic Modular Embedding
By repeating the embedding observation, now using PME, we get:
[P] = (0:6; success) or (0:3; deadlock)
[Q] = (; success) or (; deadlock)
where symbol denotes absence of information.
Quantity vs. Quality
PME succeeds in telling ProbLinCa apart from LinCa, recognising
ProbLinCa as more expressive than LinCa, because it takes into account
the probabilistic (quantitative) information conveyed by, e.g., a ProbLinCa
primitive w.r.t. a LinCa one.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 26 / 53
42. Research Threads Biochemical Coordination
Outline
1 Context, Motivation Goals
2 Research Threads
Uniform Primitives
Probabilistic Modular Embedding
Biochemical Coordination
3 Future Directions Open Questions
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 27 / 53
43. Research Threads Biochemical Coordination
Motivation Goals I
Existing approaches to alleviate the so-called local-to-global issue
[Beal and Bachrach, 2006] in CAS are mostly based on:
simulation [Gardelli et al., 2006]
parameter tuning [Gardelli et al., 2009]
(approximate) model checking [Casadei and Viroli, 2013]
bio-inspired design patterns [Fernandez-Marquez et al., 2012a]
Limits
simulation may not be able to accurately reproduce real world
contingencies
parameter tuning may lead to sub-optimal settings
model checking may be impractical for the complexity of the problem
at hand
design patterns give no guarantees about the quality of the solution
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 28 / 53
44. Research Threads Biochemical Coordination
Motivation Goals II
Goals
We propose an integrated approach [Mariani, 2014]:
1 rely on design patterns | design the local mechanisms by
implementing self-organisation primitives as arti
45. cial chemical
reactions
2 go beyond the law of mass action [Cardelli, 2008] | engineer custom
kinetic rates for such reactions
3 simulate-then-tune [Gardelli et al., 2008] | adjust the dynamics of
the (arti
46. cial) chemical system obtained (the CAS) to achieve the
emergent, global behaviour desired
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 29 / 53
47. Research Threads Biochemical Coordination
On Expressiveness I
A survey of state-of-art literature2 led to the following core set of
primitives|the local mechanisms:
decay destroys information as time passes
feed increases information relevance (e.g. quantity)
according to some kind of feedback mechanism
activation/inhibition changes information status (e.g. attributes,
values, etc.) depending on external stimuli
aggregation fuses information together (e.g.
48. ltering, merging,
composing, transforming, etc.)
diusion moves information within a topology (e.g. migration,
replication, etc.)
repulsion/attraction drifts apart / approaches information
2[Nagpal, 2004], [De Wolf and Holvoet, 2007], [Fernandez-Marquez et al., 2012b],
[Fernandez-Marquez et al., 2011], [Tchao et al., 2011], [Viroli et al., 2011]
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 30 / 53
49. Research Threads Biochemical Coordination
On Expressiveness II
Figure : Bio-inspired design patterns, from primitives (local mechanisms) to
high-level patterns (global behaviours). Image taken from
[Fernandez-Marquez et al., 2012a].
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 31 / 53
50. Research Threads Biochemical Coordination
On Predictability I
From Local to Global
By engineering the local mechanisms as arti
51. cial chemical reactions, and
by engineering custom kinetic rates, we can relate changes in local
mechanisms to the global behaviour of the CAS and observe/modify such
relationships.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 32 / 53
52. Research Threads Biochemical Coordination
On Predictability II
Figure : Decay chemical reaction, fast-then-slow trend, independent of the
quantity of molecule to decay.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 33 / 53
53. Research Threads Biochemical Coordination
On Predictability III
Figure : Decay chemical reaction, slow-then-fast trend, now dependent on the
quantity of molecule to decay.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 34 / 53
54. Research Threads Biochemical Coordination
On Predictability IV
Figure : Feed chemical reaction, fast-then-slow trend, independent of the
quantity of molecule to feed.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 35 / 53
55. Research Threads Biochemical Coordination
On Predictability V
Figure : Feed chemical reaction, slow-then-fast trend, still independent of the
quantity of molecule to feed.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 36 / 53
56. Research Threads Biochemical Coordination
On Predictability VI
Figure : Activation chemical reaction, fast-then-slow trend, dependent on the
quantity of activating molecule, independent of the quantity of molecule to
activate.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 37 / 53
57. Research Threads Biochemical Coordination
On Predictability VII
Figure : Activation chemical reaction, nearly linear trend, now independent of
the quantity of activating molecule, now directly proportional to the quantity of
molecule to activate.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 38 / 53
58. Research Threads Biochemical Coordination
On Predictability VIII
Figure : Activation chemical reaction, slow-then-fast trend, still independent of
the quantity of activating molecule, still directly proportional to the quantity of
molecule to activate.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 39 / 53
59. Research Threads Biochemical Coordination
On Predictability IX
Predictability
The factors chosen for custom kinetic rate expressions (the local
mechanisms) have a well-de
60. ned, predictable eect on the global
behaviour achieved by the CAS.
This is made possible by adoption of the chemical reaction metaphor
while implementing self-organisation primitives, and helps alleviating
the local-to-global issue, ultimately leading to a better engineering
of CAS behaviours
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 40 / 53
61. Future Directions Open Questions
Outline
1 Context, Motivation Goals
2 Research Threads
Uniform Primitives
Probabilistic Modular Embedding
Biochemical Coordination
3 Future Directions Open Questions
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 41 / 53
62. Future Directions Open Questions
Future Directions I
Uniform Primitives Devising out the whole spectrum of self-organising
behaviours they directly enable is essential to
understand their modelling capabilities, from the
perspective of a CAS designer
understand their (practical) expressiveness, from the
perspective of a CAS developer
build a library of core coordination mechanisms enabling
and supporting self-organisation in CAS
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 42 / 53
63. Future Directions Open Questions
Future Directions II
PME Extending and further evaluating PME to as many languages
as possible is essential to
tell apart probabilistic languages into hierarchies of
embeddings, devising out the core linguistic constructs
from the syntactic sugar|in the spirit of
[Vanglabbeek et al., 1995]
de
64. ne a novel notion of Turing Machine for CAS|in
the spirit of [Wegner and Goldin, 2003]
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 43 / 53
65. Future Directions Open Questions
Future Directions III
Biochemical Coordination Investigating eectiveness of arti
66. cial chemical
reactions in modelling bio-inspired design patterns is
essential to
devise out expressiveness of the biochemical metaphor
applied to coordination in CAS
improve predictability of the global behaviours exhibited
by the CAS
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 44 / 53
67. Future Directions Open Questions
Open Questions
? How to know that a given set of core coordination mechanisms is
complete? E.g. in the sense that it enables the whole spectrum of
CAS self-organising behaviours?
? From the point of view of CAS engineering, what is the consequence
of having dierent probability models placed in a hierarchy of
embeddings? Does this imply a dierence (even a hierarchy?) in the
global behaviours they enable?
? Can we do what Wegner did with Persistent Turing Machines
[Goldin, 2000], w.r.t. the interaction space of computations, in the
68. eld of CAS, building a theory of a Collective Adaptive Turing
Machine?
? Is the biochemical metaphor scalable enough for large-scale CAS, e.g.
world-wide socio-technical systems?
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 45 / 53
69. References
References I
Beal, J. and Bachrach, J. (2006).
Infrastructure for engineered emergence on sensor/actuator networks.
Intelligent Systems, IEEE, 21(2):10{19.
Bonsangue, M. M., Kok, J. N., and Zavattaro, G. (2003).
Comparing coordination models and architectures using embeddings.
Science of Computer Programming, 46:31 { 69.
Special Issue on Coordination Languages and Architectures.
Bravetti, M., Gorrieri, R., Lucchi, R., and Zavattaro, G. (2005).
Quantitative information in the tuple space coordination model.
Theoretical Computer Science, 346(1):28{57.
Cardelli, L. (2008).
On process rate semantics.
Theoretical computer science, 391(3):190{215.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 46 / 53
70. References
References II
Casadei, M. and Viroli, M. (2013).
Toward approximate stochastic model checking of computational
71. elds for pervasive
computing systems.
In Pitt, J., editor, Self-Adaptive and Self-Organizing Systems Workshops (SASOW), pages
199{204. IEEE CS.
2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France,
10-14 September 2012. Proceedings.
de Boer, F. S. and Palamidessi, C. (1994).
Embedding as a tool for language comparison.
Information and Computation, 108(1):128{157.
De Wolf, T. and Holvoet, T. (2007).
Design patterns for decentralised coordination in self-organising emergent systems.
In Engineering Self-Organising Systems, pages 28{49. Springer.
Fernandez-Marquez, J., Marzo Serugendo, G., Montagna, S., Viroli, M., and Arcos, J.
(2012a).
Description and composition of bio-inspired design patterns: a complete overview.
Natural Computing, pages 1{25.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 47 / 53
72. References
References III
Fernandez-Marquez, J. L., Di Marzo Serugendo, G., and Arcos, J. L. (2011).
Infrastructureless spatial storage algorithms.
ACM Transactions on Autonomous and Adaptive Systems (TAAS), 6(2):15.
Fernandez-Marquez, J. L., Serugendo, G. D. M., and Montagna, S. (2012b).
Bio-core: Bio-inspired self-organising mechanisms core.
In Bio-Inspired Models of Networks, Information, and Computing Systems, volume 103 of
Lecture Notes of the Institute for Computer Sciences, Social Informatics and
Telecommunications Engineering, pages 59{72. Springer Berlin Heidelberg.
Gardelli, L., Viroli, M., Casadei, M., and Omicini, A. (2007).
Designing self-organising MAS environments: The collective sort case.
In Weyns, D., Parunak, H. V. D., and Michel, F., editors, Environments for MultiAgent
Systems III, volume 4389 of LNAI, pages 254{271. Springer.
3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8 May 2006. Selected
Revised and Invited Papers.
Gardelli, L., Viroli, M., Casadei, M., and Omicini, A. (2008).
Designing self-organising environments with agents and artefacts: A simulation-driven
approach.
International Journal of Agent-Oriented Software Engineering, 2(2):171{195.
Special Issue on Multi-Agent Systems and Simulation.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 48 / 53
73. References
References IV
Gardelli, L., Viroli, M., and Omicini, A. (2006).
On the role of simulations in engineering self-organising MAS: The case of an intrusion
detection system in TuCSoN.
In Brueckner, S. A., Di Marzo Serugendo, G., Hales, D., and Zambonelli, F., editors,
Engineering Self-Organising Systems, volume 3910 of LNAI, pages 153{168. Springer.
3rd International Workshop (ESOA 2005), Utrecht, The Netherlands, 26 July 2005.
Revised Selected Papers.
Gardelli, L., Viroli, M., and Omicini, A. (2009).
Combining simulation and formal tools for developing self-organizing MAS.
In Uhrmacher, A. M. and Weyns, D., editors, Multi-Agent Systems: Simulation and
Applications, Computational Analysis, Synthesis, and Design of Dynamic Systems,
chapter 5, pages 133{165. CRC Press.
Gelernter, D. (1985).
Generative communication in Linda.
ACM Transactions on Programming Languages and Systems, 7(1):80{112.
Goldin, D. Q. (2000).
Persistent Turing Machines as a model of interactive computation.
In 1st International Symposium on Foundations of Information and Knowledge Systems
(FoIKS '00), pages 116{135, London, UK, UK. Springer-Verlag.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 49 / 53
74. References
References V
Mariani, S. (2014).
On the local-to-global issue in self-organisation: Chemical reactions with custom kinetic
rates.
In Proceedings of the 2014 Eigth IEEE International Conference on Self-Adaptive and
Self-Organizing Systems Workshop (SASOW 2014).
Mariani, S. and Omicini, A. (2013).
Probabilistic modular embedding for stochastic coordinated systems.
In Julien, C. and De Nicola, R., editors, Coordination Models and Languages, volume 7890
of LNCS, pages 151{165. Springer.
15th International Conference (COORDINATION 2013), Florence, Italy, 3{6 June 2013.
Proceedings.
Mariani, S. and Omicini, A. (2014).
Coordination mechanisms for the modelling and simulation of stochastic systems: The
case of uniform primitives.
SCS MS Magazine.
Special Issue on Agents and Multi-Agent Systems.
Nagpal, R. (2004).
A catalog of biologically-inspired primitives for engineering self-organization.
In Engineering Self-Organising Systems, pages 53{62. Springer.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 50 / 53
75. References
References VI
Shapiro, E. (1991).
Separating concurrent languages with categories of language embeddings.
In 23rd Annual ACM Symposium on Theory of Computing (STOC'91), pages 198{208,
New York, NY, USA. ACM.
Tchao, A.-E., Risoldi, M., and Di Marzo Serugendo, G. (2011).
Modeling self-* systems using chemically-inspired composable patterns.
In Self-Adaptive and Self-Organizing Systems (SASO), 2011 Fifth IEEE International
Conference on, pages 109 {118.
Vanglabbeek, R. J., Smolka, S. A., and Steen, B. (1995).
Reactive, generative, and strati
76. ed models of probabilistic processes.
Information and Computation, 121(1):59{80.
Viroli, M., Casadei, M., Montagna, S., and Zambonelli, F. (2011).
Spatial coordination of pervasive services through chemical-inspired tuple spaces.
ACM Transactions on Autonomous and Adaptive Systems, 6(2):14:1{14:24.
Wegner, P. (1997).
Why interaction is more powerful than algorithms.
Communications of the ACM, 40(5):80{91.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 51 / 53
77. References
References VII
Wegner, P. and Goldin, D. (2003).
Computation beyond Turing machines.
Communications of the ACM, 46(4):100{102.
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 52 / 53
78. Stochastic Coordination in CAS:
Expressiveness Predictability
Stefano Mariani Andrea Omicini
fs.mariani, andrea.omicinig@unibo.it
DISI
Alma Mater Studiorum|Universita di Bologna
CAS: Qualitative and Quantitative Modelling and Analysis Seminar
Dagstuhl, Germany - December 14-19th, 2014
S. Mariani, A. Omicini (DISI, Alma Mater) CAS: Expressiveness Predictability Dagstuhl, 14-19/12/2014 53 / 53