Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 26
Titolo Tipologia Data di pubblicazione Autori File
iFeel. A tool for studying the effect of the pandemic and the lockdown on socio-economic behaviours 01 - Articolo su rivista 2023 Rimoldi, SZambon, APescini, DAvellone, A
On finding the community with maximum persistence probability 01 - Articolo su rivista 2023 Avellone, AGrassi, R +
Ranking extraction in nested partially ordered data systems 03 - Contributo in libro 2022 Fattore MAvellone A +
A Mobile App Leveraging Citizenship Engagement to Perform Anonymized Longitudinal Studies in the Context of COVID-19 Adverse Drug Reaction Monitoring: Development and Usability Study 01 - Articolo su rivista 2022 Di Filippo, MarziaAvellone, AlessandroBelingheri, MichaelPaladino, Maria EmiliaRiva, Michele AugustoZambon, AntonellaPescini, Dario
Complexity reduction and approximation of multidomain systems of partially ordered data 01 - Articolo su rivista 2022 Avellone, AFattore, M +
Portfolio Optimization with Nonlinear Loss Aversion and Transaction Costs 03 - Contributo in libro 2021 Alessandro AvelloneAnna Maria FioriIlaria Foroni
POSetR: a new computationally efficient R package for partially ordered data 02 - Intervento a convegno 2021 Alessandro AvelloneMarco Fattore +
Sudden transition from equilibrium stability to chaotic dynamics in a cautious tâtonnement model 01 - Articolo su rivista 2016 FORONI, ILARIAAVELLONE, ALESSANDRO +
Sudden transition from equilibrium stability to chaotic dynamics in a cautious tâtonnement model 01 - Articolo su rivista 2015 Foroni, IAvellone, A +
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic 01 - Articolo su rivista 2015 AVELLONE, ALESSANDRO +
Focusing on Contraction 02 - Intervento a convegno 2013 AVELLONE, ALESSANDRO +
Optimization techniques for intuitionistic propositional logic and their implementation 01 - Articolo su rivista 2008 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
Improvements to the tableau prover PITP 02 - Intervento a convegno 2007 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
ESBC: an application for computing stabilization bouns 01 - Articolo su rivista 2006 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE +
A tableau decision procedure for propositional intuitionistic logic 02 - Intervento a convegno 2006 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
ESBC: an application for computing stabilization bounds 02 - Intervento a convegno 2005 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE +
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 03 - Contributo in libro 2004 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
A space efficient implementation of a tableau calculus for a logic with a constructive negation 02 - Intervento a convegno 2004 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE +
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 02 - Intervento a convegno 2003 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 02 - Intervento a convegno 2002 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
Mostrati risultati da 1 a 20 di 26
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile