Home |  English version |  Mappa |  Commenti |  Sondaggio |  Staff |  Contattaci Cerca nel sito  
Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"

Contributi in rivista anni: 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020

Elenco Contributi in rivista anno 2020

Mazzanti F.; Basile D.
A Formal Methods Demonstrator for Railways

Ter Beek M.; Legay A.; Lluch Lafuente A.; Vandin A.
A framework for quantitative modeling and analysis of highly (re)configurable systems

Coro G.
A global-scale ecological niche model to predict SARS-CoV-2 coronavirus infection rate

Melo Junior L.; Nardini F.M.; Renso C.; Trani R.; Macedo J.A.
A novel approach to define the local region of dynamic selection techniques in imbalanced credit scoring problems

Belli D.; Chessa S.; Foschini L.; Girolami M.
A Probabilistic Model for the Deployment of Human-enabled Edge Computing in Massive Sensing Scenarios

Pavoni G.; Corsini M.; Cignoni P.
A State of the Art Technology in Large Scale Underwater Monitoring

Rossetti G.
ANGEL: efficient, and effective, node-centric community discovery in static and dynamic networks

Nacci A.; Bastiani L.; Barillari M.R.; Lechien J.R.; Martinelli M.; De Bortoli N.; Berrettini S.; Fattori B.
Assessment and Diagnostic Accuracy Evaluation of the Reflux Symptom Index (RSI) Scale: Psychometric Properties using Optimal Scaling Techniques

Dong B.; Wang H.; Monreale A.; Pedreschi D.; Giannotti F.; Guo W.
Authenticated Outlier Mining for Outsourced Databases

Dearle A.; Connor R.
Bitpart: Exact metric search in high(er) dimensions

Qureshi B.; Kamiran F.; Karim A.; Ruggieri S.; Pedreschi D.
Causal inference for social discrimination reasoning

Campana E.F.; Di Piazza M.C.; Di Summa M.; Ferro E.; Massoli P.; Sacco M.; Soldovieri F.; Vaglieco B.M.; Bassan N.; Castino A.; Debenedetti M.; Guglia P.
CNR-FINCANTIERI joint projects: a successful example of collaboration between research and industry based on the open innovation approach

Pibiri G.E.; Perego R.; Venturini R.
Compressed Indexes for Fast Search of Semantic Data

Basile D.; ter Beek M.H.; Degano P.; Legay A.; Ferrari G. L.; Gnesi S.; Di Giandomenico F.
Controller synthesis of service contracts with variability

Prieto Curiel R.; Cresci S.; Muntean C.I.; Bishop S.R.
Crime and its fear in social media

Massoli F.V.; Amato G.; Falchi F.
Cross-resolution learning for face recognition

Bettelani G.C.; Averta G.; Catalano M.G.; Leporini B.; Bianchi M.
Design and validation of the readable device: a single-cell electromagnetic refreshable Braille display

Leporini B.; Rosellini M.; Forgione N.
Designing assistive technology for getting more independence for blind people when performing everyday tasks: an auditory-based tool as a case study

Olivero M.A.; Bertolino A.; Dominguez-Mayo F.J.; Escalona M.J.; Matteucci I.
Digital persona portrayal: identifying pluridentity vulnerabilities in digital life

Masciotta M.G.; Pellegrini D.; Girardi M.; Padovani C.; Barontini A.; Lourenšo P.B.; Brigante D.; Fabbrocino G.
Dynamic characterization of progressively damaged segmental masonry arches with one settled support: experimental and numerical analyses

Ponchio F.; Callieri M.; Dellepiane M.; Scopigno R.
Effective annotations over 3D models

Pardini C.; Anselmo L.
Environmental sustainability of large satellite constellations in low earth orbit

Sebastiani F.
Evaluation measures for quantification: an axiomatic approach

Broccia G.; Manca M.; Patern˛ F.; Pulina F.
Flexible automatic support for web accessibility validation

Huitzil I.; Bobillo F.; Gomez-Romero J.; Straccia U.
Fudge: Fuzzy ontology building with consensuated fuzzy datatypes

Dasari V.S.; Kantarci B.; Pouryazdan M.; Foschini L.; Girolami M.
Game theory in mobile crowdsensing: A comprehensive survey

Nanni M.; Andrienko G.; Barabasi A.-L.; Boldrini C.; Bonchi F.; Cattuto C.; Chiaromonte F.; ComandÚ G.; Conti M.; CotÚ M.; Dignum F.; Dignum V.; Domingo-Ferrer J.; Ferragina P.; Giannotti F.; Guidotti R.; Helbing D.; Kaski K.; Kertesz J.; Lehmann S.; Lepri B.; Lukowicz P.; Matwin S.; Jimenez D.; Monreale A.; Morik K.; Oliver N.; Passarella A.; Passerini A.; Pedreschi D.; Pentland A.; Pianesi F.; Pratesi F.; Rinzivillo S.; Ruggieri S.; Siebes A.; Torra V.; Trasarti R.; Van Den Hoven J.; Vespignani A.
Give more data, awareness and control to individual citizens, and they will help COVID-19 containment

Laccone F.; Louter C.; Froli M.
Glass-steel triangulated structures: parametric nonlinear finite-element analysis of in-plane and out-of-plane structural response of triangular laminated glass panels

Martinelli M.; Bastiani L.; Moroni D.; Mrakic-Sposta S.; Giardini G.; Pratali L.
High altitude mountain telemedicine

Barontini F.; Catalano M.G.; Pallottino L.; Leporini B.; Bianchi M.
Integrating wearable haptics and obstacle avoidance for the visually impaired in indoor navigation: a user-centered approach

Matos T.; Macedo J.A.; Lettich F.; Monteiro J.M.; Renso C.; Perego R.; Nardini F.M.
Leveraging feature selection to detect potential tax fraudsters

Azzara R.M.; Girardi M.; Iafolla V.; Padovani C.; Pellegrini D.
Long-term dynamic monitoring of medieval masonry towers

May Petry L.; Leite Da Silva C.; Esuli A.; Renso C.; Bogorny V.
MARC: a robust method for multiple-aspect trajectory classification via space, time, and semantic embeddings

Urbieta M.; Firmenich S.; Bosetti G.; Maglione P.; Rossi G.; Olivero M.A.
MDWA: a model-driven Web augmentation approach--coping with client- and server-side support

Karakus O.; Kuruoglu E.E.; Altinkaya M.A.
Modelling impulsive noise in indoor powerline communication systems

Bacco M.; Barsocchi P.; CassarÓ P.; Germanese D.; Gotta A.; Leone G.R.; Moroni D.; Pascali M.A.; Tampucci M.
Monitoring ancient buildings: real deployment of an IoT system enhanced by UAVs and virtual reality

Belli D.; Chessa S.; Corradi A.; Foschini L.; Girolami M.
Optimization strategies for the selection of mobile edges in hybrid crowdsensing architectures

D'Acunto M.; Moroni D.; Puntoni A.; Salvetti O.
Optimized dislocation of mobile sensor networks on large marine environments using voronoi partitions

Coro G.; Trumpy E.
Predicting geographical suitability of geothermal power plants

Vadicamo L.; Gennaro C.; Falchi F.; Chavez E.; Connor R.; Amato G.
Re-ranking via local embeddings: A use case with permutation-based indexing and the nSimplex projection

Nacci A.; Bastiani L.; Barillari M.R.; Martinelli M.; Lechien J.R.; Simoni F.; Berrettini S.; Fattori B.
Reflux Symptom Index (RSI) and singing voice handicap index (SVHI) in singing students. A pilot study.

Baronti P.; Barsocchi P.; Chessa S.; Crivello A.; Girolami M.; Mavilia F.; Palumbo F.
Remote detection of social interactions in indoor environments through bluetooth low energy beacons

Zabulis X.; Meghini C.; Partarakis N.; Beisswenger C.; Dubois A.; Fasoula M.; Nitti V.; Ntoa S.; Adami I.; Chatziantoniou A.; Bartalesi V.; Metilli D.; Stivaktakis N.; Patsiouras N.; Doulgeraki P.; Karuzaki E.; Stefanidi E.; Qammaz A.; Kaplanidi D.; Neumann-Janssen I.; Denter U.; Hauser H.; Petraki A.; Stivaktakis I.; Mantinaki E.; Rigaki A.; Galanakis G.
Representation and preservation of heritage crafts

Augusto C.; Moran J.; Bertolino A.; de la Riva C.; Tuya J.
RETORCH: an approach for resource-aware orchestration of end-to-end test cases

Salinas M.; Giorgi D.; Ponchio F.; Cignoni P.
ReviewerNet: A visualization platform for the selection of academic reviewers

Banci Buonamici F.; Belmonte G.; Ciancia V.; Latella D.; Massink M.
Spatial logics and model checking for medical imaging

Tserpes K.; Dazzi P.; Carlini E.; Coppola M.; Zissis D.
Special Issue on High Performance Services Computing and Internet Technologies

Basile D.; ter Beek M. H.; Pugliese R.
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services

Hussain B.; Jalil B.; Pascali M.A.; Imran M.; Serafino G.; Moroni D.; Ghelfi P.
Thermal vulnerability detection in integrated electronic and photonic circuits using infrared thermography

Mele I.; Tonellotto N.; Frieder O.; Perego R.
Topical result caching in web search engines

Capece N.; Banterle F.; Cignoni P.; Ganovelli F.; Erra U.; Potel M.
Turning a Smartphone Selfie into a Studio Portrait

Froli M.; Laccone F.; Natali A.
TVT(delta) concept for long-span glass-steel footbridges

Coltelli P.; Barsanti L.; Gualtieri P.
Unveiling the secrets of Escher's lithographs

Barsocchi P.; Bartoli G.; Betti M.; Girardi M.; Mammolito S.; Pellegrini D.; Zini G.
Wireless Sensor Networks for Continuous Structural Health Monitoring of Historic Masonry Towers

Daoudagh S.; Lonetti F.; Marchetti E.
XACMET: XACML Testing & Modeling: An automated model-based testing solution for access control systems

Torna indietro Richiedi modifiche Invia per email Stampa
Home Il CNR  |  I servizi News |   Eventi | Istituti |  Focus