PORTO @ Archivio Istituzionale della Ricerca

CORNO, Fulvio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 73.219
NA - Nord America 48.892
AS - Asia 24.556
SA - Sud America 1.691
AF - Africa 483
OC - Oceania 193
Continente sconosciuto - Info sul continente non disponibili 20
Totale 149.054
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 47.821
IT - Italia 33.823
FR - Francia 8.979
GB - Regno Unito 8.975
DE - Germania 8.359
SG - Singapore 7.065
CN - Cina 5.748
VN - Vietnam 4.997
RU - Federazione Russa 4.054
UA - Ucraina 2.169
NL - Olanda 1.524
BR - Brasile 1.291
KR - Corea 1.216
TR - Turchia 1.127
HK - Hong Kong 895
CA - Canada 858
SE - Svezia 815
IN - India 808
PK - Pakistan 725
IE - Irlanda 702
FI - Finlandia 583
CH - Svizzera 549
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
RO - Romania 160
TH - Thailandia 159
ZA - Sudafrica 124
MX - Messico 122
JO - Giordania 119
CO - Colombia 114
BD - Bangladesh 113
IQ - Iraq 105
NZ - Nuova Zelanda 103
AU - Australia 88
EU - Europa 88
AR - Argentina 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
CR - Costa Rica 14
LV - Lettonia 14
NP - Nepal 14
KE - Kenya 13
OM - Oman 12
DO - Repubblica Dominicana 10
NO - Norvegia 10
UY - Uruguay 10
JM - Giamaica 9
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
Totale 148.934
Salva come PNG Salva come JPEG
Città #
Torino 20.027
Ashburn 11.531
Southend 7.433
Seattle 5.067
Turin 4.201
Singapore 4.080
Fairfield 2.864
Boardman 1.745
San Jose 1.741
Woodbridge 1.458
Houston 1.405
Chandler 1.338
Hanoi 1.317
Ho Chi Minh City 1.261
Des Moines 1.189
Wilmington 1.089
Ann Arbor 1.087
Cambridge 1.056
Princeton 1.044
Jacksonville 998
Milan 892
Beijing 839
Santa Clara 803
Dublin 641
Berlin 637
Izmir 629
Hefei 627
Herkenbosch 626
Hangzhou 620
Hong Kong 593
Dallas 558
San Ramon 544
San Francisco 530
Saint Petersburg 513
Munich 487
Helsinki 482
Bern 475
Chicago 475
Seoul 469
Buffalo 455
Lauterbourg 412
Shanghai 400
Council Bluffs 393
San Donato Milanese 355
Zhengzhou 348
Mountain View 345
Lisbon 321
Los Angeles 318
Tongling 309
New York 301
Moscow 296
Istanbul 288
Rome 276
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 175
Atlanta 165
Padua 159
Kraków 157
Redwood City 154
London 153
Guangzhou 146
North Bergen 146
Waterloo 143
Frankfurt 142
Bologna 137
Paris 136
Jakarta 122
Vienna 121
Fremont 119
Austin 112
Shenzhen 112
The Dalles 107
Kwai Chung 104
São Paulo 104
Columbus 102
Lequile 102
Nuremberg 102
Rotterdam 100
Auckland 98
Dearborn 93
Memphis 93
Fuzhou 90
Malatya 83
Ottawa 83
Las Vegas 81
Totale 95.578
Salva come PNG Salva come JPEG
Nome #
Home Energy Consumption Feedback: A User Survey 1.872
A Semantics-Rich Information Technology Architecture for Smart Buildings 1.241
Supporting Caregivers in Assisted Living Facilities for Persons with Disabilities: a User Study 1.123
Formal Verification of Device State Chart Models 1.120
Eye Tracking Impact on Quality-of-Life of ALS Patients 1.028
On-line testing of an off-the-shelf microprocessor board for safety-critical applications 1.015
dWatch: a Personal Wrist Watch for Smart Environments 1.006
Reti Logiche (Esercizi commentati e risolti) 1.005
DOGeye: Controlling your Home with Eye Interaction 1.000
GNomon: Enabling Dynamic One-Switch Games for Children with Severe Motor Disabilities 994
JEERP: Energy Aware Enterprise Resource Planning 979
Olympia Project – E-Learning environment in sports training. Final Report 976
The Smart Home Controller on Your Wrist 955
A High-Level Approach Towards End User Development in the IoT 937
SAT based Enforcement of Domotic Effects in Smart Environments 911
Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments 901
"Hey Siri, do you understand me?": Virtual Assistants and Dysarthria 896
Template-based ontology population for Smart Environments configuration 877
La formazione a distanza al Politecnico di Torino: nuovi modelli e strumenti 866
PowerOnt: An Ontology-based Approach for Power Consumption Estimation in Smart Homes 865
DogOnt - Ontology Modeling for Intelligent Domotic Environments 865
A PVM tool for automatic test generation on parallel and distributed systems 853
A parallel genetic algorithm for Automatic Generation of Test Sequences for digital circuits 853
A methodology for system-level design for verifiability 833
Exploiting competing subpopulations for automatic generation of test sequences for digital circuits 801
E-Learning at Politecnico di Torino: Moving to a Sustainable Large-Scale Multi-Channel System of Services 789
IoT Meets Caregivers: a Healthcare Support System in Assisted Living Facilities 785
Easing IoT development for novice programmers through code recipes 764
DoMAIns: Domain-based Modeling for Ambient Intelligence 762
Il ruolo delle tecniche di fault injection nell’analisi dell’affidabilità dei sistemi 760
What Would You Ask to Your Home if It Were Intelligent? Exploring User Expectations about Next-Generation Homes 739
Simulation-Based Verification of Network Protocols Performance 738
Modeling, Simulation and Emulation of Intelligent Domotic Environments 736
GATTO: A Genetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits 731
Design and Development of One-Switch Video Games for Children with Severe Motor Disabilities 731
Real-Time Monitoring of High-Level States in Smart Environments 723
Enabling Machine Understandable Exchange of Energy Consumption Information in Intelligent Domotic Environments 711
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 700
Playable One-Switch Video Games for Children with Severe Motor Disabilities Based on GNomon 697
Designing for User Confidence in Intelligent Environments 688
A User-Friendly Interface for Rules Composition in Intelligent Environments 679
Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG 678
A Context and User Aware Smart Notification System 676
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 669
Educating Internet of Things Professionals: The Ambient Intelligence Course 667
Publishing LO(D)D: Linked Open (Dynamic) Data for Smart Sensing and Measuring Environments 666
Esercizi di programmazione in C 664
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 656
Fault Behavior Observation of a Microprocessor System through a VHDL Simulation-Based Fault Injection Experiment 654
Modeling and Formal Verification of Smart Environments 653
Cellular automata for deterministic sequential test pattern generation 651
spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications 650
Sequential circuit diagnosis based on formal verification techniques 649
A new model for improving symbolic Product Machine traversal 647
Automatic Validation of Protocol Interfaces Described in VHDL 639
SmartBike: an IoT Crowd Sensing Platform for Monitoring City Air Pollution 637
IoT Meets Exhibition Areas: a Modular Architecture to Improve Proximity Interactions 629
Training Engineers for the Ambient Intelligence Challenge 628
SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information 627
The General Product Machine: a New Model for Symbolic FSM Traversal 626
Initializability Analysis of Synchronous Sequential Circuits 626
A Healthcare Support System for Assisted Living Facilities: an IoT Solution 625
Guaranteeing testability in re-encoding for low power 622
Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization 621
ARPIA: a High-Level Evolutionary Test Signal Generator 620
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 619
A Test Pattern Generation Algorithm Exploiting Behavioral Information 618
Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico 617
HomeRules: A Tangible End-User Programming Interface for Smart Homes 616
A New Functional Fault Model for System-Level Descriptions 616
RT-level ITC'99 benchmarks and first ATPG results 614
Evolutionary Techniques for Minimizing Test Signals Application Time 613
Evolving Cellular Automata for Self-Testing Hardware 608
Prediction of Power Requirements for High-Speed Circuits 608
Exploiting symbolic techniques for partial scan flip flop selection 608
Hybrid Symbolic-Explicit Techniques for the Graph Coloring Problem 607
Advanced Techniques for GA-based sequential ATPGs 607
A simulation-based approach to test pattern generation for synchronous circuits 606
Exploiting Behavioral Information in Gate-Level ATPG 604
Specifying Web Service Compositions on the Basis of Natural Language Requests 604
Reti Logiche (Raccolta di lucidi) 603
Estimate User Meaningful Places through Low-Energy Mobile Sensing 603
An Enhanced Framework for Microprocessor Test-Program Generation 600
A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits 599
Integrating On-Line and Off-Line Testing of a Switching Memory in a Telecommunication System 598
Using symbolic techniques to find the maximum clique in very large sparse graphs 597
Finding the Maximurn Clique in a Graph Using BDDs 593
On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits 593
A test pattern generation methodology for low power consumption 592
A portable ATPG tool for parallel and distributed systems 592
RT-level TPG Exploiting High-Level Synthesis Information 591
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms 591
GA-Based Verification of Network Protocols Performance 589
Partial scan flip flop selection for simulation-based sequential ATPGs 588
System-Level Modeling and Verification: a Comprehensive Design Methodology 588
Pain Points for Novice Programmers of Ambient Intelligence Systems: An Exploratory Study 588
GARDA: a Diagnostic ATPG for Large Synchronous Sequential Circuits 587
Integrating Online and Offline Testing of a Switching Memory 585
An efficient tool for system-level verification of behaviors and temporal properties 584
A genetic algorithm for automatic generation of test logic for digital circuits 584
Totale 72.995
Salva come PNG Salva come JPEG
Categoria #
all - tutte 337.961
article - articoli 85.207
book - libri 6.988
conference - conferenze 225.402
curatela - curatele 0
other - altro 3.236
patent - brevetti 744
selected - selezionate 0
volume - volumi 16.384
Totale 675.922
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021351 0 0 0 0 0 0 0 0 0 0 0 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/202622.590 1.186 967 1.348 1.463 1.761 1.368 3.191 2.150 4.917 3.174 908 157
Totale 149.727