PORTO @ Archivio Istituzionale della Ricerca

CORNO, Fulvio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 74.948
NA - Nord America 50.623
AS - Asia 24.834
SA - Sud America 1.746
Continente sconosciuto - Info sul continente non disponibili 693
AF - Africa 494
OC - Oceania 201
Totale 153.539
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 49.379
IT - Italia 35.442
FR - Francia 8.996
GB - Regno Unito 8.984
DE - Germania 8.364
SG - Singapore 7.111
CN - Cina 5.759
VN - Vietnam 5.003
RU - Federazione Russa 4.054
UA - Ucraina 2.171
NL - Olanda 1.527
BR - Brasile 1.312
KR - Corea 1.217
TR - Turchia 1.128
CA - Canada 909
HK - Hong Kong 903
SE - Svezia 844
IN - India 811
PK - Pakistan 734
IE - Irlanda 704
FI - Finlandia 583
CH - Svizzera 551
JP - Giappone 453
PT - Portogallo 357
BG - Bulgaria 350
AT - Austria 304
PL - Polonia 302
BD - Bangladesh 283
BE - Belgio 271
ID - Indonesia 195
ES - Italia 189
AP - ???statistics.table.value.countryCode.AP??? 174
TW - Taiwan 167
PH - Filippine 163
TH - Thailandia 161
RO - Romania 160
MX - Messico 137
CO - Colombia 133
ZA - Sudafrica 124
JO - Giordania 119
IQ - Iraq 106
NZ - Nuova Zelanda 103
AU - Australia 96
CZ - Repubblica Ceca 94
AR - Argentina 90
DK - Danimarca 90
EU - Europa 88
IL - Israele 79
MY - Malesia 71
LT - Lituania 67
CL - Cile 64
GR - Grecia 62
AE - Emirati Arabi Uniti 53
SA - Arabia Saudita 49
SN - Senegal 49
EC - Ecuador 45
IR - Iran 43
MA - Marocco 42
UZ - Uzbekistan 39
MD - Moldavia 37
PE - Perù 36
CR - Costa Rica 35
DZ - Algeria 35
EG - Egitto 35
GT - Guatemala 34
VE - Venezuela 33
EE - Estonia 32
CI - Costa d'Avorio 28
BY - Bielorussia 27
MU - Mauritius 27
JM - Giamaica 26
SK - Slovacchia (Repubblica Slovacca) 25
ET - Etiopia 24
GH - Ghana 24
HR - Croazia 23
TN - Tunisia 22
HN - Honduras 18
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
NI - Nicaragua 15
LV - Lettonia 14
NP - Nepal 14
KE - Kenya 13
OM - Oman 12
DO - Repubblica Dominicana 11
NO - Norvegia 11
TT - Trinidad e Tobago 11
TZ - Tanzania 10
UY - Uruguay 10
YE - Yemen 10
LY - Libia 9
MT - Malta 9
SY - Repubblica araba siriana 9
Totale 152.690
Salva come PNG Salva come JPEG
Città #
Torino 20.027
Ashburn 11.652
Southend 7.433
Seattle 5.070
Turin 4.283
Singapore 4.093
Fairfield 2.864
San Jose 2.020
Boardman 1.746
Woodbridge 1.460
Milan 1.425
Houston 1.411
Chandler 1.338
Hanoi 1.319
Ho Chi Minh City 1.263
Des Moines 1.190
Wilmington 1.091
Ann Arbor 1.087
Cambridge 1.057
Princeton 1.044
Jacksonville 1.002
Santa Clara 891
Beijing 841
Dublin 641
Berlin 637
Izmir 629
Hefei 627
Herkenbosch 626
Hangzhou 620
Hong Kong 600
Dallas 577
Council Bluffs 552
San Ramon 544
San Francisco 534
Saint Petersburg 513
Chicago 495
Munich 488
Helsinki 482
Bern 475
Seoul 470
Buffalo 463
Rome 450
Lauterbourg 412
Shanghai 400
San Donato Milanese 355
New York 348
Zhengzhou 348
Mountain View 345
Los Angeles 333
Lisbon 321
Tongling 309
Moscow 296
Istanbul 288
Zaporozhye 273
Frankfurt am Main 260
Baltimore 259
La Jolla 257
San Diego 256
Mcallen 248
Pennsylvania Furnace 247
Montréal 241
Overberg 237
Da Nang 232
Monopoli 205
Lecce 198
Haiphong 195
Tokyo 193
Brussels 185
Toronto 183
Amsterdam 180
Figino 180
Atlanta 171
Padua 171
Bologna 164
Kraków 157
Redwood City 154
London 153
Guangzhou 146
North Bergen 146
Waterloo 144
Frankfurt 142
Paris 137
Vienna 129
Jakarta 122
Fremont 119
Austin 117
Shenzhen 112
The Dalles 110
Naples 107
São Paulo 106
Columbus 105
Kwai Chung 104
Lequile 102
Nuremberg 102
Rotterdam 100
Auckland 98
Memphis 97
Phoenix 95
Florence 94
Dearborn 93
Totale 97.411
Salva come PNG Salva come JPEG
Nome #
Home Energy Consumption Feedback: A User Survey 1.885
A Semantics-Rich Information Technology Architecture for Smart Buildings 1.251
Formal Verification of Device State Chart Models 1.139
Supporting Caregivers in Assisted Living Facilities for Persons with Disabilities: a User Study 1.134
Reti Logiche (Esercizi commentati e risolti) 1.048
Eye Tracking Impact on Quality-of-Life of ALS Patients 1.046
dWatch: a Personal Wrist Watch for Smart Environments 1.020
On-line testing of an off-the-shelf microprocessor board for safety-critical applications 1.018
GNomon: Enabling Dynamic One-Switch Games for Children with Severe Motor Disabilities 1.018
DOGeye: Controlling your Home with Eye Interaction 1.015
JEERP: Energy Aware Enterprise Resource Planning 1.008
Olympia Project – E-Learning environment in sports training. Final Report 982
"Hey Siri, do you understand me?": Virtual Assistants and Dysarthria 978
The Smart Home Controller on Your Wrist 977
A High-Level Approach Towards End User Development in the IoT 965
SAT based Enforcement of Domotic Effects in Smart Environments 919
Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments 917
Template-based ontology population for Smart Environments configuration 902
La formazione a distanza al Politecnico di Torino: nuovi modelli e strumenti 889
DogOnt - Ontology Modeling for Intelligent Domotic Environments 883
PowerOnt: An Ontology-based Approach for Power Consumption Estimation in Smart Homes 876
A methodology for system-level design for verifiability 875
A PVM tool for automatic test generation on parallel and distributed systems 865
A parallel genetic algorithm for Automatic Generation of Test Sequences for digital circuits 859
Exploiting competing subpopulations for automatic generation of test sequences for digital circuits 812
E-Learning at Politecnico di Torino: Moving to a Sustainable Large-Scale Multi-Channel System of Services 810
IoT Meets Caregivers: a Healthcare Support System in Assisted Living Facilities 795
Easing IoT development for novice programmers through code recipes 794
DoMAIns: Domain-based Modeling for Ambient Intelligence 779
Il ruolo delle tecniche di fault injection nell’analisi dell’affidabilità dei sistemi 775
Design and Development of One-Switch Video Games for Children with Severe Motor Disabilities 760
Modeling, Simulation and Emulation of Intelligent Domotic Environments 754
What Would You Ask to Your Home if It Were Intelligent? Exploring User Expectations about Next-Generation Homes 749
GATTO: A Genetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits 745
Simulation-Based Verification of Network Protocols Performance 743
Real-Time Monitoring of High-Level States in Smart Environments 737
Designing for User Confidence in Intelligent Environments 718
Enabling Machine Understandable Exchange of Energy Consumption Information in Intelligent Domotic Environments 717
Playable One-Switch Video Games for Children with Severe Motor Disabilities Based on GNomon 713
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 709
Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG 696
A Context and User Aware Smart Notification System 693
A User-Friendly Interface for Rules Composition in Intelligent Environments 691
Educating Internet of Things Professionals: The Ambient Intelligence Course 684
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 678
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 675
Publishing LO(D)D: Linked Open (Dynamic) Data for Smart Sensing and Measuring Environments 675
Modeling and Formal Verification of Smart Environments 673
A new model for improving symbolic Product Machine traversal 672
Esercizi di programmazione in C 672
Sequential circuit diagnosis based on formal verification techniques 667
Fault Behavior Observation of a Microprocessor System through a VHDL Simulation-Based Fault Injection Experiment 664
Automatic Validation of Protocol Interfaces Described in VHDL 659
spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications 658
Cellular automata for deterministic sequential test pattern generation 656
SmartBike: an IoT Crowd Sensing Platform for Monitoring City Air Pollution 649
RT-level ITC'99 benchmarks and first ATPG results 649
Training Engineers for the Ambient Intelligence Challenge 649
IoT Meets Exhibition Areas: a Modular Architecture to Improve Proximity Interactions 649
A Healthcare Support System for Assisted Living Facilities: an IoT Solution 641
Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization 637
Guaranteeing testability in re-encoding for low power 636
The General Product Machine: a New Model for Symbolic FSM Traversal 635
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 634
SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information 633
Evolutionary Techniques for Minimizing Test Signals Application Time 631
Initializability Analysis of Synchronous Sequential Circuits 631
Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico 630
A New Functional Fault Model for System-Level Descriptions 630
Prediction of Power Requirements for High-Speed Circuits 629
HomeRules: A Tangible End-User Programming Interface for Smart Homes 628
ARPIA: a High-Level Evolutionary Test Signal Generator 627
A Test Pattern Generation Algorithm Exploiting Behavioral Information 623
Evolving Cellular Automata for Self-Testing Hardware 621
Hybrid Symbolic-Explicit Techniques for the Graph Coloring Problem 618
A simulation-based approach to test pattern generation for synchronous circuits 616
Estimate User Meaningful Places through Low-Energy Mobile Sensing 615
Exploiting symbolic techniques for partial scan flip flop selection 615
Pain Points for Novice Programmers of Ambient Intelligence Systems: An Exploratory Study 613
Reti Logiche (Raccolta di lucidi) 610
Finding the Maximurn Clique in a Graph Using BDDs 610
Advanced Techniques for GA-based sequential ATPGs 610
An Enhanced Framework for Microprocessor Test-Program Generation 610
Exploiting Behavioral Information in Gate-Level ATPG 609
Specifying Web Service Compositions on the Basis of Natural Language Requests 608
Using symbolic techniques to find the maximum clique in very large sparse graphs 608
A portable ATPG tool for parallel and distributed systems 605
GA-Based Verification of Network Protocols Performance 604
Integrating On-Line and Off-Line Testing of a Switching Memory in a Telecommunication System 602
On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits 602
A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits 602
RT-level TPG Exploiting High-Level Synthesis Information 600
A test pattern generation methodology for low power consumption 598
A genetic algorithm for automatic generation of test logic for digital circuits 597
An efficient tool for system-level verification of behaviors and temporal properties 596
Partial scan flip flop selection for simulation-based sequential ATPGs 596
GARDA: a Diagnostic ATPG for Large Synchronous Sequential Circuits 596
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms 595
Integrating Online and Offline Testing of a Switching Memory 594
System-Level Modeling and Verification: a Comprehensive Design Methodology 594
Totale 74.477
Salva come PNG Salva come JPEG
Categoria #
all - tutte 349.623
article - articoli 88.445
book - libri 7.221
conference - conferenze 232.866
curatela - curatele 0
other - altro 3.347
patent - brevetti 771
selected - selezionate 0
volume - volumi 16.973
Totale 699.246
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20224.601 0 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/202625.063 1.186 967 1.348 1.463 1.761 1.368 3.191 2.150 4.917 3.174 908 2.630
2026/20271.339 816 523 0 0 0 0 0 0 0 0 0 0
Totale 153.539