OITAVEM FONSECA DA ROCHA KAHLE, ISABEL MARIA
OITAVEM FONSECA DA ROCHA KAHLE, ISABEL MARIA
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Personale esterno ed autonomi
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
2024 Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
2023 Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Paolo Pistone, Isabel Oitavem
Burden of non-communicable diseases among adolescents aged 10–24 years in the EU, 1990–2019: a systematic analysis of the Global Burden of Diseases Study 2019
2022 Armocida B.; Monasta L.; Sawyer S.; Bustreo F.; Segafredo G.; Castelpietra G.; Ronfani L.; Pasovic M.; Hay S.; Sawyer S.M.; Hay S.I.; Abila D.B.; Abolhassani H.; Accrombessi M.M.K.; Adekanmbi V.; Ahmadi K.; Al Hamad H.; Aldeyab M.A.; Al-Jumaily A.; Ancuceanu R.; Andrei C.L.; Andrei T.; Arumugam A.; Attia S.; Aujayeb A.; Ausloos M.; Baker J.L.; Barone-Adesi F.; Barra F.; Barteit S.; Basu S.; Baune B.T.; Bejot Y.; Belo L.; Bennett D.A.; Bikbov B.; Bikov A.; Blyuss O.; Breitner S.; Brenner H.; Carreras G.; Carvalho M.; Catapano A.L.; Chandan J.S.; Charalampous P.; Chen S.; Conde J.; Cruz-Martins N.; Damiani G.; Dastiridou A.; de la Torre-Luque A.; Dianatinasab M.; Dias da Silva D.; Douiri A.; Dragioti E.; Engelbert Bain L.; Fagbamigbe A.F.; Fereshtehnejad S.-M.; Ferrara P.; Ferreira de Oliveira J.M.P.; Ferrero S.; Ferro Desideri L.; Fischer F.; Fonseca D.A.; Gaewkhiew P.; Gaihre S.; Gallus S.; Gaspar Fonseca M.; Gill P.S.; Glasbey J.C.; Gorini G.; Gupta V.K.; Gurara M.K.; Haro J.M.; Hasan M.T.; Havmoeller R.J.; Heibati B.; Hellemons M.E.; Herteliu C.; Hussain S.; Isola G.; Johnson O.; Jonas J.B.; Jozwiak J.J.; Jurisson M.; Kabir Z.; Karch A.; Kauppila J.H.; Kayode G.A.; Khan M.A.; Khatab K.; Kivimaki M.; Klugar M.; Klugarova J.; Koly K.N.; Koyanagi A.; Kurmi O.P.; Kusuma D.; La Vecchia C.; Lacey B.; Lallukka T.; Lamnisos D.; Langguth B.; Larsson A.O.; Lauriola P.; Lee P.H.; Leonardi M.; Li A.; Linehan C.; Lopez-Bueno R.; Lorkowski S.; Loureiro J.A.; Lunevicius R.; Magee L.A.; Magnani F.G.; Majeed A.; Makris K.C.; Mathioudakis A.G.; Mathur M.R.; McGrath J.J.; Menezes R.G.; Mentis A.-F.A.; Meretoja A.; Mestrovic T.; Miao Jonasson J.; Miazgowski T.; Mirica A.; Moccia M.; Mohammed S.; Molokhia M.; Mondello S.; Mueller U.O.; Mulita F.; Munblit D.; Negoi I.; Negoi R.I.; Nena E.; Noor N.M.; Nowak C.; Ntaios G.; Nwatah V.E.; Oancea B.; Oguntade A.S.; Ortiz A.; Otoiu A.; Padron-Monedero A.; Palladino R.; Pana A.; Panagiotakos D.; Panda-Jonas S.; Pardhan S.; Patel J.; Pedersini P.; Penalvo J.L.; Pensato U.; Pereira R.B.; Perico N.; Petcu I.-R.; Polinder S.; Postma M.J.; Rabiee M.; Rabiee N.; Raggi A.; Rahimzadeh S.; Rawaf D.L.; Rawaf S.; Rehman F.U.; Remuzzi G.; Riad A.; Rodriguez A.; Sacco S.; Saeb M.R.; Safdarian M.; Sathian B.; Sattin D.; Saxena S.; Scarmeas N.; Schlee W.; Schwendicke F.; Shamsizadeh M.; Sharew N.T.; Shiri R.; Shivalli S.; Shivarov V.; Silva J.P.; Simpson C.R.; Skou S.T.; Socea B.; Soyiri I.N.; Steiropoulos P.; Straif K.; Sun X.; Tabares-Seisdedos R.; Thiyagarajan A.; Topouzis F.; Tovani-Palone M.R.; Truelsen T.C.; Unim B.; Van den Eynde J.; Vasankari T.J.; Veroux M.; Villafaina S.; Vinko M.; Violante F.S.; Volovici V.; Wang Y.; Westerman R.; Yadegarfar M.E.; Yaya S.; Zadnik V.; Zumla A.; Perel P.; Beran D.
Implicit recursion-theoretic characterizations of counting classes
2022 Ugo Dal Lago; Reinhard Kahle; Isabel Oitavem
Towards Randomized Bounded Arithmetic
2022 Antonelli, Melissa; DAL LAGO, Ugo; Davoli, Davide; Oitavem, Isabel; Pistone, Paolo
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories | Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | csl2024.pdf |
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories |
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Paolo Pistone, Isabel Oitavem |
2023-01-01 | - | - | 4.02 Riassunto (Abstract) | - |
Burden of non-communicable diseases among adolescents aged 10–24 years in the EU, 1990–2019: a systematic analysis of the Global Burden of Diseases Study 2019 | Armocida B.; Monasta L.; Sawyer S.; Bustreo F.; Segafredo G.; Castelpietra G.; Ronfani L.; Pasovi...c M.; Hay S.; Sawyer S.M.; Hay S.I.; Abila D.B.; Abolhassani H.; Accrombessi M.M.K.; Adekanmbi V.; Ahmadi K.; Al Hamad H.; Aldeyab M.A.; Al-Jumaily A.; Ancuceanu R.; Andrei C.L.; Andrei T.; Arumugam A.; Attia S.; Aujayeb A.; Ausloos M.; Baker J.L.; Barone-Adesi F.; Barra F.; Barteit S.; Basu S.; Baune B.T.; Bejot Y.; Belo L.; Bennett D.A.; Bikbov B.; Bikov A.; Blyuss O.; Breitner S.; Brenner H.; Carreras G.; Carvalho M.; Catapano A.L.; Chandan J.S.; Charalampous P.; Chen S.; Conde J.; Cruz-Martins N.; Damiani G.; Dastiridou A.; de la Torre-Luque A.; Dianatinasab M.; Dias da Silva D.; Douiri A.; Dragioti E.; Engelbert Bain L.; Fagbamigbe A.F.; Fereshtehnejad S.-M.; Ferrara P.; Ferreira de Oliveira J.M.P.; Ferrero S.; Ferro Desideri L.; Fischer F.; Fonseca D.A.; Gaewkhiew P.; Gaihre S.; Gallus S.; Gaspar Fonseca M.; Gill P.S.; Glasbey J.C.; Gorini G.; Gupta V.K.; Gurara M.K.; Haro J.M.; Hasan M.T.; Havmoeller R.J.; Heibati B.; Hellemons M.E.; Herteliu C.; Hussain S.; Isola G.; Johnson O.; Jonas J.B.; Jozwiak J.J.; Jurisson M.; Kabir Z.; Karch A.; Kauppila J.H.; Kayode G.A.; Khan M.A.; Khatab K.; Kivimaki M.; Klugar M.; Klugarova J.; Koly K.N.; Koyanagi A.; Kurmi O.P.; Kusuma D.; La Vecchia C.; Lacey B.; Lallukka T.; Lamnisos D.; Langguth B.; Larsson A.O.; Lauriola P.; Lee P.H.; Leonardi M.; Li A.; Linehan C.; Lopez-Bueno R.; Lorkowski S.; Loureiro J.A.; Lunevicius R.; Magee L.A.; Magnani F.G.; Majeed A.; Makris K.C.; Mathioudakis A.G.; Mathur M.R.; McGrath J.J.; Menezes R.G.; Mentis A.-F.A.; Meretoja A.; Mestrovic T.; Miao Jonasson J.; Miazgowski T.; Mirica A.; Moccia M.; Mohammed S.; Molokhia M.; Mondello S.; Mueller U.O.; Mulita F.; Munblit D.; Negoi I.; Negoi R.I.; Nena E.; Noor N.M.; Nowak C.; Ntaios G.; Nwatah V.E.; Oancea B.; Oguntade A.S.; Ortiz A.; Otoiu A.; Padron-Monedero A.; Palladino R.; Pana A.; Panagiotakos D.; Panda-Jonas S.; Pardhan S.; Patel J.; Pedersini P.; Penalvo J.L.; Pensato U.; Pereira R.B.; Perico N.; Petcu I.-R.; Polinder S.; Postma M.J.; Rabiee M.; Rabiee N.; Raggi A.; Rahimzadeh S.; Rawaf D.L.; Rawaf S.; Rehman F.U.; Remuzzi G.; Riad A.; Rodriguez A.; Sacco S.; Saeb M.R.; Safdarian M.; Sathian B.; Sattin D.; Saxena S.; Scarmeas N.; Schlee W.; Schwendicke F.; Shamsizadeh M.; Sharew N.T.; Shiri R.; Shivalli S.; Shivarov V.; Silva J.P.; Simpson C.R.; Skou S.T.; Socea B.; Soyiri I.N.; Steiropoulos P.; Straif K.; Sun X.; Tabares-Seisdedos R.; Thiyagarajan A.; Topouzis F.; Tovani-Palone M.R.; Truelsen T.C.; Unim B.; Van den Eynde J.; Vasankari T.J.; Veroux M.; Villafaina S.; Vinko M.; Violante F.S.; Volovici V.; Wang Y.; Westerman R.; Yadegarfar M.E.; Yaya S.; Zadnik V.; Zumla A.; Perel P.; Beran D. | 2022-01-01 | THE LANCET CHILD & ADOLESCENT HEALTH | - | 1.01 Articolo in rivista | Burden of non communicable diseases among adolescents aged 10–24 years in the EU.pdf |
Implicit recursion-theoretic characterizations of counting classes | Ugo Dal Lago; Reinhard Kahle; Isabel Oitavem | 2022-01-01 | ARCHIVE FOR MATHEMATICAL LOGIC | - | 1.01 Articolo in rivista | - |
Towards Randomized Bounded Arithmetic | Antonelli, Melissa; DAL LAGO, Ugo; Davoli, Davide; Oitavem, Isabel; Pistone, Paolo | 2022-01-01 | - | - | 4.02 Riassunto (Abstract) | - |