PORTO @ Archivio Istituzionale della Ricerca

CORNO, Fulvio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 73.140
NA - Nord America 48.061
AS - Asia 24.515
SA - Sud America 1.691
AF - Africa 483
OC - Oceania 192
Continente sconosciuto - Info sul continente non disponibili 20
Totale 148.102
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 47.022
IT - Italia 33.759
FR - Francia 8.979
GB - Regno Unito 8.974
DE - Germania 8.359
SG - Singapore 7.048
CN - Cina 5.739
VN - Vietnam 4.997
RU - Federazione Russa 4.054
UA - Ucraina 2.168
NL - Olanda 1.522
BR - Brasile 1.291
KR - Corea 1.216
TR - Turchia 1.127
HK - Hong Kong 893
CA - Canada 837
SE - Svezia 815
IN - India 808
PK - Pakistan 725
IE - Irlanda 702
FI - Finlandia 583
CH - Svizzera 540
JP - Giappone 451
PT - Portogallo 356
BG - Bulgaria 350
PL - Polonia 300
AT - Austria 295
BE - Belgio 270
ID - Indonesia 192
ES - Italia 183
AP - ???statistics.table.value.countryCode.AP??? 174
TW - Taiwan 167
PH - Filippine 162
TH - Thailandia 159
RO - Romania 158
ZA - Sudafrica 124
MX - Messico 122
JO - Giordania 119
CO - Colombia 114
IQ - Iraq 105
NZ - Nuova Zelanda 103
BD - Bangladesh 101
EU - Europa 88
AR - Argentina 87
AU - Australia 87
CZ - Repubblica Ceca 87
DK - Danimarca 81
IL - Israele 79
MY - Malesia 68
LT - Lituania 67
CL - Cile 62
GR - Grecia 61
AE - Emirati Arabi Uniti 53
SA - Arabia Saudita 49
SN - Senegal 49
IR - Iran 43
MA - Marocco 41
EC - Ecuador 39
UZ - Uzbekistan 39
MD - Moldavia 37
PE - Perù 36
DZ - Algeria 35
EG - Egitto 35
EE - Estonia 32
VE - Venezuela 29
CI - Costa d'Avorio 28
GT - Guatemala 28
MU - Mauritius 27
BY - Bielorussia 26
SK - Slovacchia (Repubblica Slovacca) 25
ET - Etiopia 24
GH - Ghana 24
HR - Croazia 21
TN - Tunisia 21
KZ - Kazakistan 18
NG - Nigeria 18
PS - Palestinian Territory 18
AL - Albania 17
AZ - Azerbaigian 17
SI - Slovenia 17
HU - Ungheria 16
PY - Paraguay 16
RS - Serbia 16
LV - Lettonia 14
NP - Nepal 14
KE - Kenya 13
CR - Costa Rica 12
OM - Oman 12
DO - Repubblica Dominicana 10
NO - Norvegia 10
UY - Uruguay 10
LY - Libia 9
MT - Malta 9
SY - Repubblica araba siriana 9
GE - Georgia 8
PA - Panama 8
BA - Bosnia-Erzegovina 7
LB - Libano 7
LU - Lussemburgo 7
QA - Qatar 7
Totale 147.990
Salva come PNG Salva come JPEG
Città #
Torino 20.027
Ashburn 11.503
Southend 7.433
Seattle 5.066
Turin 4.187
Singapore 4.074
Fairfield 2.863
Boardman 1.738
Woodbridge 1.457
Houston 1.403
San Jose 1.382
Chandler 1.338
Hanoi 1.317
Ho Chi Minh City 1.261
Des Moines 1.187
Wilmington 1.089
Ann Arbor 1.087
Cambridge 1.056
Princeton 1.044
Jacksonville 997
Milan 888
Beijing 838
Santa Clara 793
Dublin 641
Berlin 637
Izmir 629
Hefei 627
Herkenbosch 626
Hangzhou 618
Hong Kong 591
Dallas 554
San Ramon 544
San Francisco 530
Saint Petersburg 513
Munich 487
Helsinki 482
Bern 475
Chicago 473
Seoul 469
Buffalo 449
Lauterbourg 412
Shanghai 400
San Donato Milanese 355
Council Bluffs 351
Zhengzhou 348
Mountain View 345
Lisbon 321
Los Angeles 310
Tongling 309
Moscow 296
Istanbul 288
New York 283
Rome 273
Zaporozhye 273
Frankfurt am Main 258
La Jolla 257
Baltimore 252
San Diego 251
Mcallen 248
Pennsylvania Furnace 247
Montréal 241
Overberg 237
Da Nang 232
Monopoli 205
Lecce 197
Haiphong 195
Tokyo 191
Brussels 185
Amsterdam 180
Toronto 172
Atlanta 163
Padua 159
Kraków 157
Redwood City 154
London 153
Guangzhou 146
North Bergen 146
Waterloo 143
Frankfurt 142
Paris 136
Bologna 135
Jakarta 122
Vienna 121
Fremont 119
Austin 112
Shenzhen 112
Kwai Chung 104
São Paulo 104
Lequile 102
Nuremberg 102
Rotterdam 100
Auckland 98
Columbus 95
Dearborn 93
Fuzhou 90
The Dalles 85
Malatya 83
Ottawa 82
Las Vegas 81
Norwalk 79
Totale 95.003
Salva come PNG Salva come JPEG
Nome #
Home Energy Consumption Feedback: A User Survey 1.864
A Semantics-Rich Information Technology Architecture for Smart Buildings 1.238
Supporting Caregivers in Assisted Living Facilities for Persons with Disabilities: a User Study 1.116
Formal Verification of Device State Chart Models 1.110
Eye Tracking Impact on Quality-of-Life of ALS Patients 1.020
On-line testing of an off-the-shelf microprocessor board for safety-critical applications 1.013
dWatch: a Personal Wrist Watch for Smart Environments 1.002
DOGeye: Controlling your Home with Eye Interaction 994
Reti Logiche (Esercizi commentati e risolti) 989
GNomon: Enabling Dynamic One-Switch Games for Children with Severe Motor Disabilities 985
JEERP: Energy Aware Enterprise Resource Planning 978
Olympia Project – E-Learning environment in sports training. Final Report 974
The Smart Home Controller on Your Wrist 954
A High-Level Approach Towards End User Development in the IoT 926
SAT based Enforcement of Domotic Effects in Smart Environments 909
Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments 898
Template-based ontology population for Smart Environments configuration 871
La formazione a distanza al Politecnico di Torino: nuovi modelli e strumenti 864
PowerOnt: An Ontology-based Approach for Power Consumption Estimation in Smart Homes 862
DogOnt - Ontology Modeling for Intelligent Domotic Environments 860
A PVM tool for automatic test generation on parallel and distributed systems 851
A parallel genetic algorithm for Automatic Generation of Test Sequences for digital circuits 848
"Hey Siri, do you understand me?": Virtual Assistants and Dysarthria 843
A methodology for system-level design for verifiability 830
Exploiting competing subpopulations for automatic generation of test sequences for digital circuits 800
E-Learning at Politecnico di Torino: Moving to a Sustainable Large-Scale Multi-Channel System of Services 788
IoT Meets Caregivers: a Healthcare Support System in Assisted Living Facilities 769
Easing IoT development for novice programmers through code recipes 761
DoMAIns: Domain-based Modeling for Ambient Intelligence 759
Il ruolo delle tecniche di fault injection nell’analisi dell’affidabilità dei sistemi 754
Simulation-Based Verification of Network Protocols Performance 737
What Would You Ask to Your Home if It Were Intelligent? Exploring User Expectations about Next-Generation Homes 737
Modeling, Simulation and Emulation of Intelligent Domotic Environments 733
GATTO: A Genetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits 727
Design and Development of One-Switch Video Games for Children with Severe Motor Disabilities 724
Real-Time Monitoring of High-Level States in Smart Environments 720
Enabling Machine Understandable Exchange of Energy Consumption Information in Intelligent Domotic Environments 704
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 698
Playable One-Switch Video Games for Children with Severe Motor Disabilities Based on GNomon 691
Designing for User Confidence in Intelligent Environments 678
Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG 676
A Context and User Aware Smart Notification System 671
A User-Friendly Interface for Rules Composition in Intelligent Environments 670
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 669
Publishing LO(D)D: Linked Open (Dynamic) Data for Smart Sensing and Measuring Environments 666
Educating Internet of Things Professionals: The Ambient Intelligence Course 663
Esercizi di programmazione in C 655
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 654
Fault Behavior Observation of a Microprocessor System through a VHDL Simulation-Based Fault Injection Experiment 654
Modeling and Formal Verification of Smart Environments 650
Cellular automata for deterministic sequential test pattern generation 647
Sequential circuit diagnosis based on formal verification techniques 647
spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications 647
A new model for improving symbolic Product Machine traversal 645
Automatic Validation of Protocol Interfaces Described in VHDL 637
SmartBike: an IoT Crowd Sensing Platform for Monitoring City Air Pollution 632
Training Engineers for the Ambient Intelligence Challenge 626
SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information 625
The General Product Machine: a New Model for Symbolic FSM Traversal 624
A Healthcare Support System for Assisted Living Facilities: an IoT Solution 621
Initializability Analysis of Synchronous Sequential Circuits 619
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 618
Guaranteeing testability in re-encoding for low power 618
Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization 617
Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico 616
IoT Meets Exhibition Areas: a Modular Architecture to Improve Proximity Interactions 616
A New Functional Fault Model for System-Level Descriptions 615
A Test Pattern Generation Algorithm Exploiting Behavioral Information 614
HomeRules: A Tangible End-User Programming Interface for Smart Homes 614
ARPIA: a High-Level Evolutionary Test Signal Generator 611
RT-level ITC'99 benchmarks and first ATPG results 610
Evolutionary Techniques for Minimizing Test Signals Application Time 609
Hybrid Symbolic-Explicit Techniques for the Graph Coloring Problem 606
Prediction of Power Requirements for High-Speed Circuits 606
Exploiting symbolic techniques for partial scan flip flop selection 606
Evolving Cellular Automata for Self-Testing Hardware 605
A simulation-based approach to test pattern generation for synchronous circuits 604
Advanced Techniques for GA-based sequential ATPGs 603
Exploiting Behavioral Information in Gate-Level ATPG 602
Estimate User Meaningful Places through Low-Energy Mobile Sensing 601
Specifying Web Service Compositions on the Basis of Natural Language Requests 600
Reti Logiche (Raccolta di lucidi) 599
An Enhanced Framework for Microprocessor Test-Program Generation 599
A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits 596
Using symbolic techniques to find the maximum clique in very large sparse graphs 596
Integrating On-Line and Off-Line Testing of a Switching Memory in a Telecommunication System 595
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms 591
On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits 590
A portable ATPG tool for parallel and distributed systems 590
Finding the Maximurn Clique in a Graph Using BDDs 589
A test pattern generation methodology for low power consumption 588
System-Level Modeling and Verification: a Comprehensive Design Methodology 587
GA-Based Verification of Network Protocols Performance 587
Partial scan flip flop selection for simulation-based sequential ATPGs 586
Pain Points for Novice Programmers of Ambient Intelligence Systems: An Exploratory Study 586
GARDA: a Diagnostic ATPG for Large Synchronous Sequential Circuits 585
Integrating Online and Offline Testing of a Switching Memory 583
An efficient tool for system-level verification of behaviors and temporal properties 583
RT-level TPG Exploiting High-Level Synthesis Information 583
Improving topological ATPG with symbolic techniques 581
Totale 72.562
Salva come PNG Salva come JPEG
Categoria #
all - tutte 333.299
article - articoli 84.000
book - libri 6.885
conference - conferenze 222.324
curatela - curatele 0
other - altro 3.190
patent - brevetti 733
selected - selezionate 0
volume - volumi 16.167
Totale 666.598
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021825 0 0 0 0 0 0 0 0 0 0 474 351
2021/20224.838 237 445 81 158 226 484 409 275 250 585 739 949
2022/20237.177 545 927 194 450 654 805 1.520 335 586 102 395 664
2023/20242.428 159 224 161 124 207 233 132 149 79 177 378 405
2024/202510.837 543 1.142 631 1.184 562 862 580 1.075 1.252 531 718 1.757
2025/202621.638 1.186 967 1.348 1.463 1.761 1.368 3.191 2.150 4.917 3.174 113 0
Totale 148.775