Changes for page Products

From version 161.1
edited by Andrea Omicini
on 11/08/2021 06:10
Change comment: There is no comment for this version
To version 152.1
edited by Andrea Omicini
on 10/08/2021 17:35
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -2,11 +2,11 @@
2 2  >Academic activities often result in //products// that can be shared and freely used, consisting mainly of software //technologies// — programming languages and frameworks, software infrastructures — but also including //methodologies// for the engineering of complex computational systems.
3 3  >Below, the current list of products actively supported, ordered alphabetically.
4 4  
5 -(% style='text-align:center' %)((([[#alchemist()>>||anchor='alchemist']] | [[{{arg2p/}}>>||anchor='arg2p']] | [[ALOO>>||anchor='aloo']] | [[#cartago()>>||anchor='cartago']] | [[#hm()>>||anchor='homemanager']] | [[#lpaas()>>||anchor='lpaas']] | [[{{mok/}}>>||anchor='mok']] | [[MS-BioNET>>||anchor='msbionet']] | [[P@J>>||anchor='p@j']] | [[{{respect/}}>>||anchor='respect']] | [[simpA>>||anchor='simpa']] | [[simpAL>>||anchor='simpal']] | [[{{soda/}}>>||anchor='soda']] | [[#traumatracker()>>||anchor='traumatracker']] | [[{{tucson/}}>>||anchor='tucson']] | [[{{tuprolog/}}>>||anchor='tuprolog']])))
5 +|[[#alchemist()>>||anchor='alchemist']] | [[{{arg2p/}}>>||anchor='arg2p']] | [[ALOO>>||anchor='aloo']] | [[#cartago()>>||anchor='cartago']] | [[#hm()>>||anchor='homemanager']] | [[#mok()>>||anchor='mok']] | [[MS-BioNET>>||anchor='msbionet']] | [[P@J>>||anchor='p@j']] | [[{{respect/}}>>||anchor='respect']] | [[simpA>>||anchor='simpa']] | [[simpAL>>||anchor='simpal']] | [[{{soda/}}>>||anchor='soda']] | [[{{tucson/}}>>||anchor='tucson']] | [[{{tuprolog/}}>>||anchor='tuprolog']]
6 6  
7 7  {{id name='alchemist'/}}
8 8  == #alchemist() ==
9 -|[[image:Alchemist.WebHome@logo.svg||width='100em']]|(((
9 +|[[image:Alchemist.WebHome@logo.svg||width='100']]|(((
10 10  #alchemist() is a simulation framework offering both high performance and flexibility. Alchemist tries to get the best from ABMs and stochastic simulators and build an hybrid
11 11  )))(((
12 12  **Space**: [[#alchemist() Home>>Alchemist.WebHome]]
... ... @@ -53,17 +53,6 @@
53 53  **Contact**: [[Roberta Calegari>>RobertaCalegari.WebHome]]
54 54  )))
55 55  
56 -{{id name='lpaas'/}}
57 -== #lpaas() ==
58 -|[[image:LPaaS.WebHome@2P-LPaaS.png||width='600']]|(((
59 -#lpaas() (short for #lpaasfull()) is a logic-based agreement framework enabling defeasible reasoning in intelligent systemsLogic Programming as a Service (LPaaS) is an evolution of the logic programming (LP) paradigm for intelligent IoT. It is a logic-based, service-oriented approach for distributed situated intelligence, conceived and designed as the natural evolution of LP in nowadays pervasive computing systems. Its purpose is to enable situated reasoning via explicit definition of the spatial-temporal structure of the environment where situated entities act and interact.
60 -)))(((
61 -**Space**: [[#lpaas() Home>>LPaaS.WebHome]]
62 -**Contact**: [[Roberta Calegari>>RobertaCalegari.WebHome]]
63 -
64 -)))
65 -
66 -
67 67  {{id name='mok'/}}
68 68  == #moklong() ==
69 69  |[[image:MoK.WebHome@mok-logo.png||width="200"]]|(((
... ... @@ -107,7 +107,7 @@
107 107  
108 108  {{id name='simpa'/}}
109 109  == #simpa() ==
110 -|[[image:SimpA.WebHome@simpa-logo.jpg||width="250"]]|(((
99 +|[[image:SimpA.WebHome@simpa-logo.jpg||width="400"]]|(((
111 111  #simpa() is a framework extending the basic Java environment with an agent-oriented abstraction layer for programming complex (concurrent in particular) applications.
112 112  
113 113  #simpa() is based on the #aea() (Agents and Artifacts) programming model, which introduces high-level metaphors taken from human society, namely agents - analogous to humans, as executors of activities and activities — and artifacts — analogous of the objects, resources, tools that are dynamically constructed, used, manipulated by humans to support / realise their individual and social activities.
... ... @@ -125,8 +125,8 @@
125 125  **Contact**: [[Alessandro Ricci>>AlessandroRicci.WebHome]]
126 126  )))
127 127  
128 -{{id name='soda'/}}
129 129  == #soda() ==
118 +{{id name='soda'/}}
130 130  |[[image:SODA.WebHome@soda-logo.png||width="200"]]|(((
131 131  #soda() (Societies in Open and Distributed Agent spaces) is a methodology for the analysis and design of complex agent-based systems. #soda() is not concerned with //intra-agent issues//: designing a multi-agent system with #soda() leads to defining agents in terms of their required observable behaviour and their role in the multi-agent system.
132 132  Instead, #soda() concentrated on //inter-agent// issues, like the engineering of societies and infrastructures for multi-agent systems.
... ... @@ -136,8 +136,8 @@
136 136  **Contact**: [[Ambra Molesini>>AmbraMolesini.WebHome]]
137 137  )))
138 138  
139 -{{id name='traumatracker'/}}
140 140  == #traumatracker() ==
129 +{{id name='traumatracker'/}}
141 141  |[[image:TraumaTracker.WebHome@TT-logo.png||width="500"]]|(((
142 142  Developed in collaboration with the Trauma Center and the Emergency Department of the "Bufalini" Hospital in Cesena, Italy, #traumatracker() is a project in which agent technologies are exploited to realise Personal Medical Digital Assistant Agents (PMDA) supporting a Trauma Team in trauma management operations. This project aims at exploring the fruitful integration of software personal agents with wearable/eyewear computing, based on mobile and wearable devices such as smart-glasses.
143 143  
... ... @@ -147,8 +147,8 @@
147 147  **Contact**: [[Angelo Croatti>>https://www.unibo.it/sitoweb/a.croatti/en]], [[Sara Montagna>>https://www.unibo.it/sitoweb/sara.montagna/en]], [[Alessandro Ricci>>https://www.unibo.it/sitoweb/a.ricci/en]]
148 148  )))
149 149  
150 -{{id name='tucson'/}}
151 151  == #tucson() ==
140 +{{id name='tucson'/}}
152 152  |[[image:TuCSoN.WebHome@tucson.jpg||width="200"]]|(((
153 153  #tucson() (Tuple Centres over the Network) is a model (and related infrastructure and technology) for the coordination of Internet agents.
154 154