All Theses in APICe

Last modified by Andrea Omicini on 18/06/2021 08:40

 There are currently 447 theses recorded in APICe

 Il Ragionamento Logico come Forma di Apprendimento: Un Framework alla scoperta di ILP (Giovanni Speciale)  |  Spatial Tuples nel mondo reale: il caso di Unity e Google Maps (Marco Pastore)  |  Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (Maicol Forti)  |  Monitoraggio dinamico di entità geo-localizzate: un'applicazione web modulare (Michele Donati)  |  Engineering Angle-of-Arrival-based Indoor Localization Systems (Shapour Nemati)  |  Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks (Federico Sabbatini)  |  Progettazione e implementazione  di un'interfaccia Android  per il motore Prolog 2P-Kt (Andrea Dipietro)  |  Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (Ilaria Crivellari)  |  Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (Riccardo Varotto)  |  Engineering Self-Adaptive Collective Processes for Cyber-Physical Ecosystems (Roberto Casadei)  |  AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (Giuseppe Pisano)  |  End-to-End Goal-Oriented Conversational Agent for Risk Awareness (Marco Canducci)  |  Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati (Matteo Minardi)  |  Simulazione di Agenti BDI basati su Prolog in Alchemist (Filippo Nicolini)  |  2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (Enrico Siboni)  |  Synapsis - Middleware per l'integrazione di Game Engine e Sistemi Multi-Agente (Luca Pascucci)  |  Blockchain e Internet of Things: realizzazione di un’applicazione decentralizzata per l’affitto di case vacanza (Matteo Saccomanni)  |  Logic-based coordination: a semantic approach to self-composition of services (Ashley Caselli)  |  Tecnologia Blockchain: un'analisi tecnica e sviluppo di un'applicazione decentralizzata (Andrea Cardiota)  |  Coordination as a Web Service: una moderna implementazione del modello Linda (Lorenzo Rizzato)  |  Multi-sensing Data Fusion: Target tracking via particle filtering (Alessandro Contro)  |  Testing automatico per una implementazione dello standard OpenGL (Edoardo Antonini)  |  Coordinazione di veicoli autonomi: simulazione di incroci stradali (Mattia Borrillo)  |  tuProlog.NET: analisi di sostenibilità del processo di sviluppo (Matteo Castiglio)  |  Micro-Intelligenza in contesti Smart Home: realizzazione di un guardaroba intelligente (Luca Antognetti)  |  Smart Environment su piattaforma Home Manager:  sensori e micro-intelligenza (Alessandro Calvio)  |  Estensione di un plug-in multilinguaggio su piattaforma Eclipse: supporto a progetti ibridi Java-Prolog (Riccardo Vasumini)  |  Implementazione di un sistema per il self-management del diabete di tipo 1 (Francesco Cozzolino)  |  Game Engines and MAS: Spatial Tuples in Unity3D (Alessandro Bagnoli)  |  Micro-Intelligence for the IoT: Logic-Based Models and Technologies (Roberta Calegari)  |  La rivoluzione dei Chatbot: sviluppo di un sistema conversazionale in azienda (Patryk Wojtowicz)  |  Blockchain: modello generale e tassonomia delle componenti chiave (Alex Collini)  |  Modelli e piattaforme per la democrazia digitale: analisi e confronto (Thomas Trapanese)  |  Game Engines and MAS: Tuplespace-based Interaction in Unity (Mattia Cerbara)  |  Managing Challenges of Non Communicable Diseases during Pregnancy: An Innovative Approach (Valentina Intrusi)  |  Web of Things: RESTful API con Node.js (Luca Martello)  |  Agenti autonomi e artefatti per la simulazione del traffico in una Smart City (Brando Mordenti)  |  Game Engines and MAS: BDI & Artifacts in Unity (Nicola Poli)  |  La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente (Nicola Atti)  |  Sistemi di supporto alle decisioni in ambito clinico: predizione del rischio “as a service” (Andrea Decastri)  |  Bio-inspired Networking: analisi della letteratura applicata al modello MoK (Alessandro Corbi)  |  Heuristic Multicast Routing Algorithms in WSNs with Incomplete Network Knowledge (Valeri Katerinchuk)  |  Coordinazione di elettrodomestici in uno scenario Smart Home: sperimentazione su piattaforma Home Manager (Nicola Fava)  |  A topological classifier for detecting the emergence of anomalous synchronization in brain activities (Marco Piangerelli)  |  Simplicial Complexes and Graph Rewriting for Modelling RNA Folding (Adane Letta Mamuye)  |  Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (Alberto Sita)  |  Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse (Federico Stella)  |  Bitcoin: limiti e soluzioni tecniche della scalabilità (Oksana Komarnytska)  |   A Logic-Based Coordination Middleware for Self-Organising Systems: distributed reasoning based on many-valued logics (Francesco Luca De Angelis)  |  Smart home: reasoning e proattività applicate ad un caso di studio (Ilaria Bertoletti)  |  Aggregazione di dati testuali in MoK: matchmaking basato su ontologie o similarità (Matteo Fattori)  |  Coordinazione e tolleranza ai guasti: preservare lo spazio dell'interazione in TuCSoN (Matteo Delvecchio)  |  Filtraggio e censura dei servizi Internet: un'analisi sul protocollo SSL/TLS (Andrea Vignudelli)  |  tuProlog as a Service: intelligenza per scenari IoT (Andrea Muccioli)  |  Labelled tuProlog: Architettura ed Implementazione  (Tiziano Di Stefano)  |  Microservizi per il progetto di sistemi distribuiti (Simone Lai)  |  Strumenti per middleware di coordinazione: il caso di TuCSoN (Andrea Dintino)  |  Home Manager come middleware per la coordinazione situata in ambito IoT (Richiard Casadei)  |  Enterprise Social Networks: The Case of CERN (Marco Carlo Cavalazzi)  |  Programmazione ad agenti e pianificazione: AgentSpeak(PL) come caso di studio (Sacha Muratori)  |  Refactoring e attualizzazione del prototipo di Home Manager su piattaforma Raspberry (Luca Scalzotto)  |  Studiare e sviluppare alcuni casi di studio significativi in ottica Smart Home (Erika Gardini)  |  SVILUPPO DEL SIMULATORE ALCHEMIST PER LA MODELLAZIONE DEL MOVIMENTO CELLULARE (Franco Pradelli)  |  Sistemi di Mobile-Health per il monitoraggio e l'assistenza alla gravidanza (Emmanuele Ghigi)  |  Scheduling di elettrodomestici nel  prototipo di Home Manager (Federico Gava)  |  HUMAN PRESENCE DETECTION IN AMBIENTE HOME MANAGER: SPERIMENTAZIONE SU PIATTAFORMA RASPBERRY (Simone Bruzzechesse)  |  Progettazione e implementazione di una incarnazione biochimica per il  simulatore Alchemist (Gabriele Graffieti)  |  Home Manager Application su Android ART: progetto e realizzazione in ottica modern UI (Alessio Mora)  |  REALIZZAZIONE DI UN PROTOTIPO DI SMART OVEN IN AMBIENTE HOME MANAGER (Armando Mancini)  |  Integrazione sistemi a eventi e multi-agente: Kafka, TuCSoN e JADE (Marco Zaccheroni)  |  Computazione Embodied e Disembodied: Cloud-based IoT (Pietro Antonio Nompleggio)  |  2P as a service for Android (Lucrezia Paradisi)  |  Progetto e sviluppo di middleware per l’interfacciamento di sensori per la domotica in ambiente Java (Federico Baldassarre)  |  Progetto e sviluppo di una libreria tuProlog per l’interfacciamento di sensori in contesti di pervasive computing (Federico Venturini)  |  Simulazione agent-based di un sistema di m-Health per il self-management del diabete di tipo 1 (Michele Donati)  |  Coordination Issues in Complex Socio-Technical Systems: Self-Organisation of Knowledge in MoK (Stefano Mariani)  |  Integration of Internet of Things and Cloud computing: A case study on vital signs monitoring (Fabio Vasini)  |  Sviluppo di un sistema informatico per il controllo remoto di un osservatorio astronomico (Davide Pieretti)  |  Self-management di malattie croniche in sistemi di mobile Health: sviluppo di un modello agent-based per casi di diabete (Francesco Degli Angeli)  |  Internet dei veicoli, un nuovo paradigma per una mobilità intelligente e autonoma (Matteo Pasolini)  |  IoT e progettazione di sistemi di Home Automation: un caso di studio reale basato su framework e standard open (Danilo Candiotti)  |  Context-Aware Computing e Tecnologie Wearable (Andrea Nicolini)  |  HUMAN PRESENCE DETECTION: ANALISI COMPARATIVA E CASO DI STUDIO IN HOME MANAGER (Jacopo Ameli)  |  Progettazione e sviluppo multi-platform di applicazioni mobile: un caso di studio in Xamarin (Enrico Ceccolini)  |  Mobile CSCW e sincronizzazione dati per il soccorso in emergenza: un caso di studio (Simone Grotti)  |  Coordination nel Cloud: elasticità in ReSpecT (Francesco Serafini)  |  Bluetooth per TuCSoN mobile: panorama tecnologico ed esperimenti (Svetlozar Nikolov Orlovski)  |  Elasticity in Cloud Computing: tecnologia e applicazione aziendale presso Onit (Matteo Cacchi)  |  Tecnologie e framework per la programmazione multi-agente (Roberto Giuliani)  |  INSPECTOR-PI: Progettazione e Sviluppo di un Sistema Mobile per il Controllo e il Monitoraggio basato su Tecnologie Embedded e Internet of Things (Simone Galassi)  |  Studio di Augmented World come Paradigma di Progettazione  di Sistemi basati su Realtà Aumentata e Pervasive Computing  - Verso la Definizione di un Modello (Alessia Papini)  |  Sviluppo di applicazioni mobile cross-platform: Flutter come caso di studio (Luca Polverelli)  |  Studio e sviluppo di un Framework  in ambiente Android per la realizzazione di Interfacce Utente Innovative basate su Smart Glass (Giulia Lucchi)  |  Reactive programming: un caso di studio (Martina Giovanelli)  |  Smart Home: HomeKit e Nest (Ivan Fraioli)  |  Evoluzione delle User Interface: Dalla Metafora del Desktop al Wearable Computing (Giulia Lucchi)  |  Windows 10 IoT su Raspberry Pi 2: multiparadigm programming tra Java e C# (Luca Marzaduri)  |  Realizzazione di applicazioni multi-piattaforma: Android, iOS, Java (Vito Colletta)  |  Architetture per Smart Health: il caso FitStadium (Roberto D'Elia)  |  Coordinazione situata per la domotica: Butlers in TuCSoN (Attilio Pometto)  |  TuCSoN on Android: coordinazione event-driven e geolocalizzata su dispositivi mobili (Lorenzo Forcellini Reffi)  |  Studio, analisi e progettazione di un prototipo di Infrastructure as Code (Alessandro Mazzoli)  |  Un Distributore Intelligente di Bevande alla Spina con Sistema di Pagamento basato su Bitcoin. (Ludovico Denittis)  |  Smart home: reasoning e proattività applicate ad un caso di studio (Alessandro Celi)  |  Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog (Andrea Bucaletti)  |  Home intelligence & social network in the Butlers perspective (Sara Bevilacqua)  |  Sperimentazione di tecnologie Raspberry in contesti di Home Intelligence (Matteo Carano)  |  Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java (Alberto Sita)  |  Esperimenti di Design Pattern di Ispirazione Biologica (Riccardo Mencucci)  |  Tool a supporto della programmazione multi-piattaforma: il caso di RoboVM e iTuCSoN (Marco Fiorini)  |  Darknet e Deep Web: il lato oscuro del Web per la privacy e la protezione dei dati (Patryk Wojtowicz)  |  Smart home: stato dell’arte della tecnologia (Silvia Vandi)  |  Ingegnerizzazione di RBAC-MAS in TuCSoN (Emanuele Buccelli)  |  Mining LinkedIn Social Media: Tecniche di Data e Text mining applicate a Recommender System per la Ricerca ed Offerta di Lavoro (Karin Pasini)  |  Progetto e sviluppo di RESTful web API per un sistema aziendale di marcature degli accessi (Andrea Rinaldi)  |  Sviluppo storico ed economico del Cloud Computing: Cloud Foundry come esempio di Platform as a Service (Jessica Marcantoni)  |  Specifica e sintesi automatica di sistemi software: una notazione in linguaggio Z (Fabio Desimone)  |  Butler vision nella home intelligence: un caso di studio (Vincenzo Zappavigna)  |  Geolocalizzazione di servizi in un sistema di home intelligence (Daiana Paolini)  |  TuCSoN on Cloud: Revisione dell’architettura (Fabio Ricca Rosellini)  |  Pervasive vs. Cloud Computing: il dualismo embodied/disembodied nei i sistemi distribuiti ()  |  Dynamic Interaction Spaces and Situated Multi-Agent Systems: From a Multi-Layered Model to a Distributed Architecture (Giuseppe Vizzari)  |  Generatori di codice in Visual Studio: modelli di funzionamento e applicazioni pratiche (Michele Francesco Di Lella)  |  Test di accettazione: strumenti a confronto (Marcello Colameo)  |  Il tempo nei sistemi coordinati: esperimenti in TuCSoN (Raffaele Mazza)  |  Sicurezza, protezione e integrità nei sistemi cloud: modelli, metodi e tecnologie (Filippo Alberto Brandolini)  |  Revisione e attualizzazione del prototipo del sistema HomeManager per la gestione di una casa intelligente (Ilaria Bertoletti)  |  Compliance by Design: Synthesis of Business Processes by Declarative Specifications (Francesco Olivieri)  |  Bitcoin: aspetti tecnici, economici e politici di una crittovaluta (Pier Francesco Costa)  |  Traduzione semi-automatica di applicazioni in iOS: approcci e strumenti (Lorenzo Dalla Casa)  |  Gestione dell'input nell'interfaccia grafica di tuProlog per Java ed Eclipse (Matteo Librenti)  |  Tecnologie per la mobilità verso un middleware general-purpose (Stefano Montesi)  |  Progetto di integrazione di strumenti per l'asset management in funzione di privacy e sicurezza (Enrico Gualandi)  |  Metodi e Modelli per l'Interoperabilità di Infrastrutture di Virtualizzazione Eterogenee: OpenStack Come Caso di Studio (Nikolay Zuluaga)  |  Class loading in Android: applicazione a tuProlog (Alessio Mercurio)  |  Programmazione multi-linguaggio in tuProlog.NET: esempi e casi d'uso (Marco Donato Torsello)  |  Riprogettazione ed estensione di un sistema prototipale per la gestione di una casa intelligente (Paolo Barboni)  |  Agents, Nodes & Resources: Universal Naming System for a Coordination Middleware (Federico Foschini)  |  Predictive Text Mining: Metodi di previsione di indici di borsa basati su Twitter (Denis Di Paolo)  |  New Markov Chain Based Methods For Single And Cross-Domain Sentiment Classification (Andrea Pagliarani)  |  Estensione dell'interfaccia grafica in tuProlog per Android (Mirco Mastrovito)  |  Tecniche di text mining per l'autoorganizzazione della conoscenza (Michele Pratiffi)  |  Coordinazione embodied vs. disembodied: TuCSoN on Cloud (Luca Guerra)  |  Coordinazione situata: integrazione di Arduino in un middleware basato su tuple  (Steven Maraldi)  |  Profiling, re-factoring e ottimizzazione del middleware di coordinazione TuCSoN (Saverio Cicora)  |  Sviluppo di un ambiente prototipale per lo sviluppo di applicazioni Java su Android (Davide Geremia Nuzzi)  |  Coordinazione space-aware per dispositivi mobili in TuCSoN (Michele Bombardi)  |  Esperimenti di stigmergia cognitiva con TuCSoN e Jason (Chiara Casalboni)  |  Refactoring e testing dell'interprete tuProlog (Emanuele Signorin)  |  Engineering Regulated Open Multiagent Systems (Emilia Garcia)  |  Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development (Andrea Santi)  |  Applicazioni multi-linguaggio e multi-paradigma in tuProlog.NET (Mirko Davoli)  |  Traduzione semi-automatica di applicazioni: approcci a confronto (Giacomo Dall'Olio)  |  Modello di sicurezza e controllo di accesso in una infrastruttura di coordinazione: architettura e implementazione (Francesco Galassi)  |  Knowledge Representation Methods for Smart Devices in Intelligent Buildings (Giuseppe Loseto)  |  Sistemi Intelligenti per la Progettazione e Modellazione Automatica di Circuiti Genetici (Paolo Pannarale)  |  Coordination as a Service (CaaS) in the Cloud (Richiard Casadei)  |  Biochemical coordination in TuCSoN (Marco Piraccini)  |  Sviluppo di un Framework per la Programmazione di Robot basati su Architettura di Controllo Behaviour-Based (Matteo Bianchi)  |  TuCSoN on Android (Andrea Ridolfi)  |  Simulazione di algoritmi di auto organizzazione basati su gradiente computazionale in Alchemist (Enrico Polverelli)  |  Framework mobile per lo sviluppo di sistemi coordinati (Roberto D'Elia)  |  Progettazione e Sviluppo di Applicazioni Distribuite su Web: da JavaScript a TypeScript (Enrico Gramellini)  |  Attualizzazione del supporto al multitasking in tuProlog (Eleonora Cau)  |  Coordination as a service in JADE (Nicola Dellarocca)  |  Aspetti di sicurezza nel Cloud Computing (Francesca Collina)  |  Configurazione di un portale XWiki per la visualizzazione su dispositivi mobili: il caso di APICe (Andrea Buscarini)  |  Programming Robots with an Agent-Oriented BDI-based Control Architecture: Explorations using the JaCa and WeBots platforms (Andrea Mordenti)  |  Negoziazione dinamica e rilascio di ACC in TuCSoN (Roberto Togni)  |  Sviluppo di app HTML 5 per l'accesso a un portale scientifico XWiki (Marco Zaccheroni)  |  Artefatti e sistemi coordinati: esperimenti in ReSpecT (Noemi Ciampelli)  |  Da Java a Objective-C: porting e dispositivi portatili (Pietro Antonio Nompleggio)  |  Estensione della Socket Library per tuProlog (Adelina Benedetti)  |  Traduzione automatica di applicazioni Java in .NET: approcci a confronto  (Andrea Muccioli)  |  Integrazione di codice tuProlog in linguaggi .NET approcci a confronto (Fabio Gravina)  |  BDI Agents for Real Time Strategy games (Andrea Dallatana)  |  Supporting Agent-Oriented Models within the Software Life Cycle (Bin Lu)  |  Streaming audio e video nei sistemi Peer-To-Peer TV: il caso Sopcast P2PTV (Riccardo Timoncini)  |  Supporting semantic web technologies in the pervasive service ecosystems middleware (Paolo Contessi)  |  XWiki Mobile: architetture collaborative per device mobili (Marco Renio)  |  Algoritmi Gradient-based per la modellazione e simulazione di sistemi auto-organizzanti (Francesca Cioffi)  |  Molecules of Knowledge: architettura, implementazione ed esempi (Mattia Occhiuto)  |  Interoperabilità tra frammenti EHR e coordinamento semantico (Simone Norcini)  |  Semantic coordination tuple centres for eHealth Systems (Alex Carmine Olivieri)  |  Modellazione e Simulazione della Cascata di  Segnalazione Intracellulare MAPK su uno Spazio di Tuple Biochimiche (Andrea Boccacci)  |  Implementazione automatica di protocolli di interazione AUML mediante reti di Petri (Marco Alberti)  |  Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA  (Alan Foligatti)  |  Tecnologie per la collaborazione sociale tra robot Mindstorm: Lejos & ReSpecT (Cornel Moisuc)  |  Porting dell'interprete tuProlog su piattaforma Android: nuova GUI (Gianluca Privitera)  |  Architetture software per coordinazione semantica: efficienza vs. espressività (Marco Savoia)  |  Molecules of knowledge: a new approach to knowledge production, management and consumption (Stefano Mariani)  |  Social network scientifici: stato dell'arte, evoluzione e potenziale sviluppo (Stefano Montesi)  |  Estensione e riorganizzazione della GUI di un interprete Prolog su piattaforma Java (Michele Castagna)  |  Soluzioni per il deployment di un plugin Eclipse (Lorena Qendro)  |  Testing esaustivo di un interprete Prolog su piattaforma Java (Fabrizio Sabbioni)  |  Interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET (Valerio Pipolo)  |  Modulo di comunicazione in una infrastruttura per pervasive service ecosystems (Michele Morgagni)  |  Supporto a regole chimico-semantiche per la coordinazione di service pervasive ecosystems (Matteo Desanti)  |  Gestione della tail recursion in tuProlog (Silvia Umiliacchi)  |  Mobile TuCSoN: theoretical and technological requirements for TuCSoN's porting over Android mobile devices (Antonio Pedone)  |  Porting e testing su piattaforma Android di un interprete Prolog (Andrea Pasquini)  |  Coordinazione sociale di robot Mindstorm in ReSpecT (Matteo Mosca)  |  Semantic Coordination Through Programmable Tuple Spaces (Elena Nardini)  |  Multi-level models and infrastructures for simulating biological system development (Sara Montagna)  |  Sviluppo di un linguaggio grafico per una metodologia orientata agli agenti e del relativo strumento di supporto (Davide Aldrovandi)  |  Modellazione e implementazione di un gioco di ruolo distribuito tramite un approccio ad agenti (Alessio Serrangeli)  |  Sviluppo di un framework concettuale e tecnologico per l'integrazione di LEGO Mindstorm e ReSpecT (Marco Alessi)  |  HTML 5: Stato dell'arte e prospettive (Simone Dozza)  |  Un Framework di simulazione per ecosistemi di servizi pervasivi (Danilo Pianini)  |  Adeguamento del plug-in per l'interprete tuProlog su piattaforma Eclipse (Orfeo Ciano)  |  Modellazione di leggi chimiche per la generazione della forma (Davide Ensini)  |  Progettazione di un framework di sicurezza per smartphone (Marco Antonio Primiceri)  |  Modellazione e simulazione della morfogenesi di Drosophila Melanogaster su COMPUCELL3D (Matteo Pozzi)  |  Modellazione agent-based delle  dinamiche alla base della precoce regionalizzazione dell'embrione di Drosophila Melanogaster (Lorenzo Ravaglia)  |  Un'infrastruttura a spazi di tuple per ecosistemi di servizi pervasivi (Andrea Tosi)  |  Porting e processo di mantenimento di applicazioni Java su piattaforma .NET  (Montanari Alessandro)  |  Progetto ed implementazione di uno smart environment per sistemi pervasivi su piattaforma TuCSoN (Simone Romei)  |  ALGORITMI DI RICERCA LOCALE  STOCASTICA PER L'OTTIMIZZAZIONE DI  PARAMETRI IN UN SIMULATORE  BIOLOGICO  (Fabio Tonti)  |  Towards Boolean network design for robotics applications (Mattia Manfroni)  |  Modellazione di meccanismi morfogenetici in Repast (Filippo Campana)  |  Artefatti di coordinazione per agenti in Smart Environment  (Andrea Mordenti)  |  Organizzazione della conoscenza sul Web tramite SKOS (Chiara Casalboni)  |  Topologia nel modello di coordinazione TuCSoN (Enrico Zamagni)  |  Law and Science through the Lens of Patent Law and Software Agents (Migle Laukyte)  |  Constructs and Applications of Generic Programming in Object-Oriented Languages (Maurizio Cimadamore)  |  Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (Michele Piunti)  |  Hive BDI. Extending BDI Agents with Shared Memory (Matteo Barbieri)  |  Swarm Intelligence e autoorganizzazione della conoscenza: esperimenti con WordNet in italiano (Michele Pratiffi)  |  MIGRAZIONE A CALDO DI MACCHINE VIRTUALI IN INFRASTRUTTURE DI VIRTUALIZZAZIONE (Davide Salvaterra)  |  Coordinazione space-based per la piattaforma bioinformatica Cellulat (Marco Sbaraglia)  |  INFRASTRUTTURE DI VIRTUALIZZAZIONE NEI SISTEMI IT E VIRTUAL DESKTOP INFRASTRUCTURE (Enrico Polverelli)  |  ALFRED2: An Abductive Logic FRamEwork for Distributed Diagnosis (Marco Battarra)  |  Analysis and quantification of information in biological networks for protein function prediction (Frens Tedeschini)  |  VIRTUALIZZAZIONE DI SISTEMI DI ELABORAZIONE: LA TECNOLOGIA VIRTUALBOX COME CASO DI STUDIO (Cristiana Casanova)  |  Modellazione e simulazione ad agenti della morfogenesi di Drosophila Melanogaster (Nicola Donati)  |  Graph&SODA: A Graphical Tool for SODA (Luca Staccoli)  |  Refactoring dell'interprete tuProlog su piattaforma .NET per il supporto alla gestione delle eccezioni (Antonio Danilo Santoro)  |  Sviluppo dei predicati di I/O standard ISO per l' interprete tuProlog (Sara Sabioni)  |  Design e Implementazione di un Modulo Semantico per TuCSoN (Emanuele Panzavolta)  |  Probabilità e stocasticità nei sistemi coordinati: esperimenti in ReSpecT (Stefano Mariani)  |  Gli SPIME nell'Internet delle cose come combinazione di agenti e artefatti (Stefano Tamagnini)  |  Interfacce grafiche di nuova generazione: stato dell'arte e sperimentazioni di ambienti collaborativi tramite Croquet SDK (Luca Spazzoli)  |  Progetto e sviluppo di una libreria tuProlog per il Web Semantico (Martina Paianini)  |  Progetto di un motore RBAC per un sistema prototipale di gestione di una casa intelligente (Leo Di Carlo)  |  Self-organising coordination systems (Matteo Casadei)  |  Sistemi di workflow dichiarativo (Gheorghe Gabriel Pinzaru)  |  Esperienze in robotica con lego Mindstorm e ReSpect (Matteo Amaducci)  |  Tecnologie di coordinazione per la situatedness in ambito robotico (Maicol Urbinati)  |  Scripting in Java 6: esperimenti in tuProlog (Andrea Del Bene)  |  Coordinazione stigmergica tra agenti situati mediante tecnologia RFID con tag passivi (Michael Gattavecchia)  |  Sviluppo di Metodi e Strumenti per l'Inferenza di Reti di Regolazione Genetica (Adele Gori)  |  Analisi di prestazione del motore tuProlog su piattaforma Java (Michele Damian)  |  XML representation of Functional Safety Requirements according to ISO26262 and AUTOSAR 3LSC Standards  (Christian Rimondi)  |  Ri-progettazione, separazione e integrazione delle tecnologie ReSpecT e TuCSoN per sistemi distribuiti (Luca Semprini)  |  Trasduttori e middleware: da JDDAC alla coordinazione (Andrea Tosi)  |  Autoorganizzazione di eco-servizi in TuCSoN (Tommaso Pirini)  |  Progetto e sviluppo del supporto all'interoperabilità fra l'interprete tuProlog e linguaggi su piattaforma Microsoft.NET  (Marco Albertin)  |  DrSimpA: progettazione e sviluppo di ambiente per il collaudo e sviluppo interattivo di applicazioni ad agenti nel framework simpA (Valerio Monti)  |  Verso reti auto-organizzanti ispirate alle biochimica: un framework di simulazione (Lorenzo Cavina)  |  Dalla Swarm Intelligence alla Self Organising Coordination: applicazione a scenari pervasive (Danilo Pianini)  |  Coordinazione field-based e stigmergica con ReSpecT Mobile Code (Sascia Virruso)  |  Progettazione e sviluppo di uno strumento per il monitoraggio e controllo di applicazioni per il framework ad agenti simpA (Alberto Castori)  |  Sviluppo ed implementazione in MASON di un modello multiagente per la simulazione di cellule staminali ematopoieitiche (Marco Alberti)  |  Il framework Java Metro per lo sviluppo di Web Services e Sistemi SOA Interoperabili (Simone Vignodelli)  |  Un modello di programmazione ad agenti per lo sviluppo di applicazioni Web complesse (Luca Domeniconi)  |  Modello preda-predatore basato ad agenti (Denis Brighi)  |  Progetto e sviluppo di una GUI per il linguaggio di coordinazione ReSpecT  (Andrea Novaga)  |  Studio di fattibilità per il deployment del plug-in tuProlog su piattaforma Eclipse (Paolo Barboni)  |  Progetto e sviluppo di una nuova GUI per l'interprete tuProlog (Juri Castellani)  |  Un modello di programmazione ad agenti per applicazioni Web 2.0 e 3.0 (Mattia Minotti)  |  Meta-models, environment and layers: agent-oriented engineering of complex systems (Ambra Molesini)  |  Argumentation and artifacts for intelligent multi-agent systems (Enrico Oliva)  |  Engineering Self-organising Systems with the Multi-Agent Paradigm (Luca Gardelli)  |  Progettazione di un simulatore per modelli continui di reti genetiche (Francesco Vernocchi)  |  Analisi e sviluppo di un sistema per l'automatizzazione delle procedure operative di gestione di una clinica veterinaria per piccoli animali (Giovanni Bezicheri)  |  Coordination Games in TuCSoN (Lorenzo Varrasso)  |  Design di una interfaccia grafica per query multiple su motori inferenziali (Marco Casadio)  |  Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Java Micro Edition (J2ME) (Enrico Angelini)  |  Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Microsoft .NET (Mattia Generali)  |  Progetto e sviluppo di una libreria tuProlog per il linguaggio SQL (Matteo Iuliani)  |  MASON come piattaforma Java-based per la simulazione di modelli multi-agente (Lorenzo Ravaglia)  |  Studio e sperimentazione di modelli di interazione e coordinazione software di robot LEGO Mindstorms (Alberto Pini)  |  Il framework Symfony: panoramica e sperimentazioni (Giacomo Bartolucci)  |  Supporto per monitoraggio, gestione e diagnosi di applicazioni su piattaforma Java: stato dell'arte. (Andrea Caraceni)  |  Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog (Robertino Aniello)  |  Progetto e realizzazione di una battaglia medioevale mediante tecnologie ad agenti (Alberto Mercati)  |  P4P: infrastrutture space-based per il p2p (Giorgio Amadei)  |  Implementazione del plug-in per l?interprete tuProlog su piattaforma NetBeans: sviluppo di un nuovo prototipo (Riccardo Malara)  |  Modelling and Simulating in Systems Biology: an Approach based on Multi-Agents Systems (Sara Montagna)  |  Advanced role-based models for organisation in MAS coordination infrastructures  (Stefano Riffelli)  |  Progetto e realizzazione di un agente per l'esplorazione dei servizi di rete (Roberto Magale)  |  Tecnologie ad agenti per una casa intelligente (Claudia Fontan)  |  Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans (Luca Coccini Gailli)  |  Realizzazione di agenti software per la gestione di una rete di sensori wireless (Stefano Bromuri)  |  Simulazione ad agenti: Repast vs. TuCSoN (Paolo Angelini)  |  Estensione del plugin tuProlog su piattaforma Eclipse: supporto per istanze multiple dell'interprete (Michele Dinardo)  |  Sviluppo di un sistema multi-agente per la gestione di una stazione ferroviaria (Ambra Palladini)  |  Analisi e progetto di un sistema di controllo degli accessi ad un edificio (Felice Tufo)  |  Estensione del plug-in tuProlog su piattaforma Eclipse: reingegnerizzazione della interazione con l'ambiente (Stefano Bonetti)  |  Sistemi software e middleware per sistemi e tecnologie RFID: stato dell'arte e sperimentazioni (Marco Sbaraglia)  |  Sviluppo di un sistema multi-agente per la gestione di un calendario (Cinzia La Morgia)  |  Strumenti di interazione avanzati mediante spazi di lavoro virtuali: un ambiente su piattaforma tucson (Alessandro Lazzarotto)  |  Lifestreams in TuCSoN: toward the integration of knowledge and development management (Marco Fabbri)  |  Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog (Emanuele Nanetti)  |  Programmazione a canale (Michele Mei)  |  Ingegnerizzazione di applicazioni con metodologie agent oriented: un caso applicativo (Emanuela Mattiolo)  |  RBAC in sistemi multiagente: modello e implementazione in TuCSoN (Daniele Albonetti)  |  Integrazione della funzionalità di syntax highlighting per l'interprete tuProlog in ambiente Eclipse (Daniele Sabatini)  |  Estensione di un motore Prolog per la programmazione a vincoli (Alex Benini)  |  Analisi di prestazione di un interprete prolog su piattaforma Java (Fabio Tosi)  |  Routing adattativo dinamico: un approccio basato su agenti e stigmergia (Stefano Benedettini)  |  JIMAGiC: una infrastruttura ad agenti mobili per il calcolo distribuito (Mattia Piraccini)  |  Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale (Nicola Zaghini)  |  Localizzazione Indoor in WLAN attraverso Rete Neuronale Evolutiva (Claudio Buda)  |  Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale (Nicola Zaghini)  |  Progetto e sviluppo di un plug-in per l'interprete tuProlog in ambiente Eclipse. (Stefano Rizzi)  |  Istituzioni Computazionali: coordinazione mediante norme (Rossella Rubino)  |  Istituzioni Computazionali: coordinazione mediante norme (Rossella Rubino)  |  Studio di fattibilità per l?integrazione di un motore Prolog in Mozilla (Amedeo Simeone)  |  Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: organizzazione e coordinazione (Leonardo Nicoli)  |  Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: agenti e servizi (Ambra Molesini)  |  Progetto e realizzazione di un sistema prototipale per la fruizione integrata di servizi per la comunicazione su piattaforma TuCSoN (Roberta Calegari)  |  Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures  (Alessandro Ricci)  |  Sviluppo di un Servizio di Messaggistica per Telefonia Mobile su una Infrastruttura di Coordinazione ad Agenti (Mattia Bargellini)  |  Migrazione di tuProlog su piattaforma Java2 Micro Edition (J2ME) (Michele Pace)  |   Sviluppo prototipale di un sistema intelligente di download di file basato su un'infrastruttura di coordinazione  (Valerio Siri)  |  Sviluppo prototipale di un sistema intelligente di upload di file basato su un'infrastruttura di coordinazione  (Massimo Raffaelli)  |  Sviluppo prototipale di un sistema di posta elettronica intelligente basato su un'infrastruttura di coordinazione (Rossella Rubino)  |  Studio di fattibilità per la migrazione di un?applicazione dalla piattaforma java alla piattaforma  .NET:  un caso applicativo (Antonio Poggiali)  |  Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (Enrico Denti)  |  Programmazione Logica Orientata agli Oggetti (Andrea Omicini)  |  Adherence and Compliance Monitoring for Chronic Patients: State of Art ()  |  Programmazione asincrona in JavaScript (Riccardo Drudi)  |  Gestione automatizzata di processi in ambito SOA/WS: un caso di studio (Luca Morri)  |  Ottimizzazione dell'engine dell'interprete tuProlog ()  |  Studio di fattibilità per l'integrazione dell'accesso a Web Services tramite un'infrastruttura di coordinazione (Giacomo Tartari)  |  Analisi alto-livello di sistemi in PRISM  ()  |  Smart Home: gestione avanzata della configurazione tramite metafore virtuali ()  |  Reingegnerizzazione di un sistema di supervisione ed il controllo dei reparti produttivi: Progetto del sottosistema di fault tolerance con particolare attenzione alle perdite di connettività.  ()  |  Integrazione di tecnologie per la distribuzione di contenuti Web in sistemi multi-agente: un approccio basato sull'infrastruttura TuCSoN (Stefano Montini)  |  Programming the Interaction Space Twenty Years Later: ReSpecTX Language and IDE ()  |  Linguaggi di Programmazione ad Agenti: Jason come Caso di Studio ()  |  Programmazione di sistemi autonomi basati su modelli e tecnologie ad agenti - JaCa per AR-Drone come caso di studio ()  |  Risk Prediction as a Service: A RESTful Machine Learning Pipeline for the Healthcare Domain ()  |  tuProlog per Eclipse MARS M1 ()  |  Parallelising Stochastic Simulation Algorithms: optimistic simulation engine for Alchemist ()  |  Analisi del rischio e studio delle vulnerabilita in un sistema di home intelligence su piattaforma ad agenti: il caso Home Manager (Caterina Caravaggio)  |  Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog ()  |  Studio di fattibilità per l'integrazione del supporto vocale in un'infrastruttura di coordinazione  (Fabio Poli)  |  Sviluppo di un laboratorio virtuale per la modellazione dei sistemi biologici con Evolution ()  |  Rewriting the history of motorsports with modern digital democracy ()  |  Traduzione semi-automatica di applicazioni: approcci a confronto ()  |  Progettazione e Sviluppo di Applicazioni di Augmented Reality Interattive (Fabio Gaudenzi)  |  Sistemi basati su Mobile Augmented Reality  ()  |  Coordinazione di sistemi multi-agente basati su piattaforma LEGO MINDSTORMS (Simone Pellegrini)  |  Smart home e social network ()  |  Database Scaling in Docker: Replication vs. Consistency ()  |  Riprogettazione ed estensione di un'applicazione Prolog a vincoli in ambiente Eclipse ()  |  Kit&SODA: A Toolkit for SODA ()  |  Pervasive Traffic Analysis through Alchemist ()  |  Agent-Oriented Computing - Programmazione orientata agli agenti ()  |  MODELLI E TECNOLOGIE PER LA SICUREZZA IN APPLICAZIONI ORIENTATE AI SERVIZI: ANALISI E SPERIMENTAZIONI DEL FRAMEWORK WS-SECURITY Elaborata nel (Domenico Magnani)  |  Lo Standard WSDM per la Gestione di Risorse a Livello Applicativo: Panoramica e Sperimentazioni (Michele Morgagni)  |  Progettazione di un framework integrato per tecniche sub-simboliche e simboliche: Verso l'eXplainable AI (Jason Dellaluce)  |  Multi-paradigm programming: tuProlog & Java 8 ()  |  Simulazione e Verifica di Sistemi Biochimici in PRISM ()  |  Estensione di un interprete prolog per la gestione delle eccezioni (Matteo Iuliani)  |  Smart home: reasoning e proattività applicate ad un caso di studio ()  |  Interfacce di input e reporting per la simulazione di ecosistemi di servizi pervasivi ()  |  JNode come sistema operativo Java-based: analisi e sperimentazioni (Alessandro Cristiano)  |  Coordination as a Service: Distributing TuCSoN as a Cloud-based Service ()  |  Modelli e Tecnologie per la Visualizzazione di Programmi in Esecuzione (Massimo Smiraglio)  |  Integrazione di servizi di messaggistica intelligenti basati su una infrastruttura di coordinazione (Giuseppe Tomaiuoli)  |  Argumentation for the IoT: Technical Feasibility and State of Art ()  |  Sapere Adaptive Visualisation (Francesco Cardi)  |  Glassware - Progettazione e Sviluppo di Applicazioni basate su Smart Glass  ()  |  Realizzazione di macchine virtuali portabili: lo standard Open Virtual Machine Format (OVF) (Alice Grandi)  |  Estensione delle funzionalità di agenti software per l'invio e la ricezione di SMS su piattaforma TuCSoN (Alessandro Grazi)  |  Pattern di computazione su piattaforma biochimica ()  |  Approximate Stochastic Model Checking in Alchemist ()  |  Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans (Luca Coccini Gailli)  |  Sicurezza in TuCSoN: Progettazione e Implementazione ()  |  Alchemist based biochemical simulator with multiple mobile compartments ()  |  Ottimizzazione dell'architettura dell'interprete tuProlog (Ali Nadjoui)  |  Meccanismi di Riuso nella Programmazione Concorrente: Dagli Attori agli Agenti (Roberto Casadei)  |  Multi-platform Coordination Middleware: TuCSoN between Java and .NET ()  |  Ruolo delle architetture ad eventi nello sviluppo della applicazioni moderne (Roberto Reda)  |  Commonsense Reasoning: State of Art in the IoT Era ()  |  tuProlog vs "rest of the world": un confronto ragionato ()  |  Monitoraggio e controllo automatizzato di macchine virtuali in ambienti ad agenti: sperimentazioni in simpA (Marco Primitivo)  |  Multi-paradigm programming: Java/Javascript in Rhino ()  |  Reingegnerizzazione di un sistema di supervisione ed il controllo dei reparti produttivi: Progetto e sviluppo del sottosistema di personalizzazione ()  |  Un simulatore per sistemi informatici di natura biochimica ()  |  Gradle, Kotlin e lo sviluppo di un’applicazione multipiattaforma (Mariano Caldara)  |  Infrastrutture di Virtualizzazione  ()  |  Situated coordination in contesti di Home Intelligence: sperimentazione con tecnologie Raspberry e Odroid ()  |  Computationally Modelling Human Motion: un caso di studio ()  |  A general implementation framework for tuple centres ()  |  Integrazione fra TuCSoN e Store per ABox ()  |  "A Robot in Every Home": Programmazione di Robot domestici con linguaggi e tecnologie ad agenti  ()  |  Sviluppo di un sistema di installazione per servizi operanti su piattaforma TuCSoN (Gerardo Verna)  |  Progetto e sviluppo di un sistema per l'integrazione di Web Services e sistemi multi-agente basati sull'infrastruttura di coordinazione TuCSoN (Roberto Costantini)  |  COPASI: piattaforma di simulazione per sistemi biochimici ()  |  Testing dell' interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET ()  |  Automated Testing of RESTful API: the Postman Tool ()  |  Sviluppo dello strumento Graph&SODA per il supporto della metodologia SODA ()  |  ConRec: A Recommender System featuring Spatial, Temporal, and Personal Context ()  |  Piattaforme per la simulazione di sistemi multicellulari ()  |  From images to rich pervasive environments ()  |  Riprogettazione dell'editor dell'interprete tuProlog (Raffaele Serra)  |  Virus informatici benevoli: panoramica e sperimentazioni (Jimmy Ciccolini)  |  Progettazione e Sviluppo di Applicazioni Cloud (Alberto Modigliani)  |  Natural Language Generation for Personalised Recommendations in Healthcare ()  |  Smart home: reasoning e proattività applicate ad un caso di studio ()  |  Composable Patterns of Coordination as Library Services: Experiments in ReSpecT ()  |  Adattamento architetturale basato su coordinazione per sistemi socio-tecnici: un caso di studio in TuCSoN ()  |  Modernizing Linda eval Primitive: spawn with Code-on-Demand ()  |  Progettazione e sviluppo applicazioni embedded distribuite - NoTA + tecnologie ad agenti  ()  |  tuProlog in the Cloud ()  |  Eco-coordination: sviluppo di modelli ecologici di coordinazione ()  |  Il ruolo della simulazione agent-based in sistemi di Health Care ()  |  Un linguaggio di alto livello per la descrizione di ecosistemi di servizi pervasivi ()  |  AR come GUI delle app di domani (Fabio Cosenza)  |  Portabilità di applicazioni multi-paradigma verso l'architettura Android ART: studio di fattibilità (Francesca Cappa)  |  Progetto di una libreria CLP per tuProlog ()  |  Graph-based vs. Document-oriented DB for Self-organisation of Knowledge ()  |  Il ruolo della simulazione in sistemi di Health Care ()  |  Dalla programmazione logica contestuale alla programmazione del Web: implementazione in tuProlog ()  |  Esplorazione di scenari di Human Sensing ()  |  Un approccio semantico per la coordinazione di sistemi pervasivi (Sascia Virruso)  |  PROGETTAZIONE E SVILUPPO DI SISTEMI INFORMATICI AUTONOMICI MEDIANTE TECNOLOGIE AD AGENTI (Davide Fabbri)  |  Mobile Computing - piattaforma Android  ()  |  Engineering Concurrent and Event-Driven Web Apps: From DART isolates to simpAL agents ()  |  Modularizzazione dell’interprete tuProlog su piattaforma Java ()  |  Il Framework Windows IoT Core per lo Sviluppo di Sistemi IoT (Marco Nobile)  |  Architettura MAPE per la realizzazione di sistemi autonomici: panoramica e sperimentazioni (Claudio Reggiani)  |  Sviluppo di un prototipo per l'interazione con basi di dati mediante un'infrastruttura di coordinazione (Luca Tonini)  |  Knowledge Representation and Information Retrieval: Research Papers as MoK Seeds ()  |  Piattaforma Google Android: Analisi e Sperimentazioni (Marco Guidi)  |  Multi-paradigm programming: tuProlog & Scala ()  |  "Agenti Volanti" - Sperimentazione di Tecnologie ad Agenti - JaCa in particolare - per la Programmazione di Sistemi UAV basati su AR-Drone ()  |  Il modello ad attori nei linguaggi di programmazione moderni - da framework in Java a Google DART ()  |  Simulazione di ecosistemi di servizi pervasivi con supporto ad annotazioni tuple based (Giacomo Pronti)  |  Ruolo del Cloud nell'Amministrazione dei Sistemi Informatici Moderni (Marco Lorenzini)  |  Coordinazione fuzzy tramite ReSpecT ()  |  Porting di interfacce grafiche Java su piattaforma .NET tramite traduzione automatica del bytecode: un caso concreto ()  |  Multi-paradigm & multi-language programming: tuProlog , Scala, Javascript, Java () 

Tags:
    
2008 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna
0.2