Linguaggi di programmazione
Persone
parole chiave:
pervasive computing, artificial intelligence, sistemi distribuiti, apprendimento multi agente, paradigmi di
Leggi di più
parole chiave:
Artificial Intelligence, Constraint Programming, Combinatorial Optimization, Algorithms Portfolio, Software Verification
parole chiave:
Microservizi, Sistemi Distribuiti, Adattabilità Dinamica, Linguaggi di Programmazione
parole chiave:
intelligenza artificiale, paradigmi di programmazione, sistemi collettivi, sistemi distribuiti, pervasive computing,
Leggi di più
parole chiave:
intelligenza artificiale, sistemi cloud, agenti intelligenti, calcolo ad alte prestazioni, virtualizzazione di sistemi
parole chiave:
Lambda calcolo, Linguaggi di programmazione quantistici, Semantica operazionale, Verifica di risorse
parole chiave:
deep learning, Visione artificiale, agritech, riconoscimento biometrico
parole chiave:
Semantica Differenziale dei Programmi, Computazione Quantistica, Crittografia, Analisi Statica dei Programmi
parole chiave:
Sistemi multi-agente, Linguaggi di programmazione, Ingegneria del software orientata agli agenti, Infrastrutture
Leggi di più
parole chiave:
Linguaggi di programmazione, Constraint programming, Intelligenza aritificiale
parole chiave:
Linguaggi di Programmazione, Algebre di Processi, Tipi Sessione, Programmazione Coreografica, Microservizi,
Leggi di più
parole chiave:
Modelli per la descrizione di sistemi concorrenti, Algebre di Processi e Reti di Petri, Sicurezza, Computazione
Leggi di più
parole chiave:
Semantica operazionale, Linguaggi reversibili, Metodi Formali, Reversibilità Computazionale
parole chiave:
Computazione quantistica, Linguaggi reversibili, Sessioni multiparty, Computazioni orientate ai servizi
parole chiave:
linguaggi di programmazione, verifica statica di programmi, semantica dei linguaggi di programmazione, implementazione
Leggi di più
parole chiave:
Linguaggi di programmazione, Storia e filosofia dell'informatica, Didattica dell'informatica, Logica lineare
parole chiave:
simulazione, agenti intelligenti, linguaggi multiparadigma, sistemi autoorganizzanti, calcolo pervasivo, sistemi
Leggi di più
parole chiave:
simulazione, programmazione aggregata, Internet of Things, auto-organizzazione, sistemi complessi, biomimesi
parole chiave:
Teoria dei tipi, Dimostrazione assistita, Mathematical knowledge management, Lambda-calcolo, Linguaggi di
Leggi di più
parole chiave:
Fog Computing, Cloud Computing, IoT, Mobile Edge Computing, Mobile Cloud Computing, Wireless Network, Software Defined
Leggi di più
parole chiave:
Ingegneria del software empirica, agile methods, open source, metriche software, applicazioni dell'intelligenza
Leggi di più
parole chiave:
Linguaggi orientati agli oggetti, Sistemi multiagente, Simulazione e verifica, Coordinazione, Ingegneria del software,
Leggi di più
parole chiave:
Apprendimento automatico, Microservizi, Intelligenza artificiale, Dispersione scolastica