PORTO @ Archivio Istituzionale della Ricerca

CORNO, Fulvio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 69.847
NA - Nord America 44.905
AS - Asia 15.503
SA - Sud America 1.428
AF - Africa 386
OC - Oceania 183
Continente sconosciuto - Info sul continente non disponibili 20
Totale 132.272
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 43.974
IT - Italia 33.288
GB - Regno Unito 8.886
FR - Francia 8.511
DE - Germania 8.160
CN - Cina 5.132
SG - Singapore 5.034
RU - Federazione Russa 2.586
UA - Ucraina 2.150
NL - Olanda 1.433
TR - Turchia 1.115
BR - Brasile 1.111
KR - Corea 912
SE - Svezia 804
CA - Canada 780
PK - Pakistan 702
IE - Irlanda 692
CH - Svizzera 537
FI - Finlandia 536
HK - Hong Kong 496
VN - Vietnam 452
IN - India 451
BG - Bulgaria 347
JP - Giappone 310
PL - Polonia 288
AT - Austria 283
BE - Belgio 262
AP - ???statistics.table.value.countryCode.AP??? 174
ID - Indonesia 173
ES - Italia 167
RO - Romania 155
CO - Colombia 107
JO - Giordania 104
ZA - Sudafrica 101
NZ - Nuova Zelanda 100
MX - Messico 93
EU - Europa 88
AU - Australia 81
CZ - Repubblica Ceca 80
IL - Israele 77
DK - Danimarca 76
TW - Taiwan 73
LT - Lituania 62
AR - Argentina 58
GR - Grecia 57
PH - Filippine 57
MY - Malesia 53
AE - Emirati Arabi Uniti 49
CL - Cile 49
PT - Portogallo 46
SN - Senegal 46
BD - Bangladesh 45
IR - Iran 42
IQ - Iraq 38
PE - Perù 35
EE - Estonia 32
MD - Moldavia 31
CI - Costa d'Avorio 28
DZ - Algeria 28
MA - Marocco 28
SA - Arabia Saudita 28
GT - Guatemala 27
TH - Thailandia 27
UZ - Uzbekistan 27
EC - Ecuador 26
BY - Bielorussia 25
MU - Mauritius 25
SK - Slovacchia (Repubblica Slovacca) 25
EG - Egitto 24
GH - Ghana 23
VE - Venezuela 21
ET - Etiopia 20
HR - Croazia 20
PS - Palestinian Territory 15
KZ - Kazakistan 14
NG - Nigeria 14
AL - Albania 13
RS - Serbia 13
HU - Ungheria 12
TN - Tunisia 12
AZ - Azerbaigian 10
LV - Lettonia 10
NO - Norvegia 10
PY - Paraguay 10
SI - Slovenia 9
LY - Libia 8
UY - Uruguay 8
CR - Costa Rica 7
DO - Repubblica Dominicana 7
LU - Lussemburgo 7
MT - Malta 6
PA - Panama 6
BA - Bosnia-Erzegovina 5
KE - Kenya 5
SY - Repubblica araba siriana 5
GE - Georgia 4
QA - Qatar 4
SD - Sudan 4
TT - Trinidad e Tobago 4
AO - Angola 3
Totale 132.208
Salva come PNG Salva come JPEG
Città #
Torino 20.027
Ashburn 11.030
Southend 7.433
Seattle 5.065
Turin 3.880
Fairfield 2.863
Singapore 2.627
Boardman 1.738
Woodbridge 1.457
Houston 1.393
Chandler 1.338
Des Moines 1.186
Wilmington 1.089
Ann Arbor 1.087
Cambridge 1.056
Princeton 1.044
Jacksonville 996
Milan 863
Beijing 821
Santa Clara 690
Berlin 635
Dublin 631
Izmir 629
Herkenbosch 626
Hangzhou 614
San Ramon 544
Dallas 526
San Francisco 517
Saint Petersburg 513
Munich 482
Bern 475
Chicago 455
Helsinki 441
Buffalo 429
Shanghai 396
San Donato Milanese 355
Zhengzhou 346
Mountain View 345
Hefei 318
Tongling 309
Hong Kong 303
Council Bluffs 299
Hanoi 283
Istanbul 282
Zaporozhye 273
Rome 268
La Jolla 257
Seoul 254
Baltimore 252
San Diego 251
Mcallen 248
Pennsylvania Furnace 247
Montréal 241
Overberg 237
New York 236
Monopoli 205
San Jose 199
Lecce 197
Brussels 178
Padua 159
Toronto 159
Amsterdam 157
Kraków 157
Redwood City 154
Atlanta 153
Waterloo 143
Frankfurt 142
Bologna 135
Frankfurt am Main 135
Los Angeles 135
Guangzhou 132
Paris 131
London 122
Jakarta 121
Fremont 119
Vienna 115
Austin 112
Shenzhen 110
Moscow 108
Kwai Chung 104
Lequile 102
Rotterdam 96
Auckland 95
Dearborn 93
Tokyo 93
Fuzhou 90
Nuremberg 86
São Paulo 86
Columbus 85
Malatya 83
Las Vegas 80
Ottawa 80
Norwalk 79
Florence 77
Bremen 74
Galati 73
Maidenhead 72
Putian 70
Melun 69
Overland Park 67
Totale 86.432
Salva come PNG Salva come JPEG
Nome #
Home Energy Consumption Feedback: A User Survey 1.742
A Semantics-Rich Information Technology Architecture for Smart Buildings 1.179
Formal Verification of Device State Chart Models 1.035
Supporting Caregivers in Assisted Living Facilities for Persons with Disabilities: a User Study 1.017
On-line testing of an off-the-shelf microprocessor board for safety-critical applications 970
dWatch: a Personal Wrist Watch for Smart Environments 946
Olympia Project – E-Learning environment in sports training. Final Report 936
DOGeye: Controlling your Home with Eye Interaction 933
Reti Logiche (Esercizi commentati e risolti) 925
Eye Tracking Impact on Quality-of-Life of ALS Patients 922
GNomon: Enabling Dynamic One-Switch Games for Children with Severe Motor Disabilities 905
JEERP: Energy Aware Enterprise Resource Planning 897
A High-Level Approach Towards End User Development in the IoT 856
The Smart Home Controller on Your Wrist 855
Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments 840
SAT based Enforcement of Domotic Effects in Smart Environments 826
A PVM tool for automatic test generation on parallel and distributed systems 811
Template-based ontology population for Smart Environments configuration 798
A parallel genetic algorithm for Automatic Generation of Test Sequences for digital circuits 790
PowerOnt: An Ontology-based Approach for Power Consumption Estimation in Smart Homes 788
La formazione a distanza al Politecnico di Torino: nuovi modelli e strumenti 786
A methodology for system-level design for verifiability 785
DogOnt - Ontology Modeling for Intelligent Domotic Environments 779
Exploiting competing subpopulations for automatic generation of test sequences for digital circuits 760
"Hey Siri, do you understand me?": Virtual Assistants and Dysarthria 725
E-Learning at Politecnico di Torino: Moving to a Sustainable Large-Scale Multi-Channel System of Services 714
IoT Meets Caregivers: a Healthcare Support System in Assisted Living Facilities 704
What Would You Ask to Your Home if It Were Intelligent? Exploring User Expectations about Next-Generation Homes 691
Simulation-Based Verification of Network Protocols Performance 690
DoMAIns: Domain-based Modeling for Ambient Intelligence 683
Modeling, Simulation and Emulation of Intelligent Domotic Environments 672
Il ruolo delle tecniche di fault injection nell’analisi dell’affidabilità dei sistemi 671
GATTO: A Genetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits 670
Easing IoT Development for Novice Programmers Through Code Recipes 669
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 666
Real-Time Monitoring of High-Level States in Smart Environments 664
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 637
Design and Development of One-Switch Video Games for Children with Severe Motor Disabilities 637
Playable One-Switch Video Games for Children with Severe Motor Disabilities Based on GNomon 625
A Context and User Aware Smart Notification System 614
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 614
Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG 614
Cellular automata for deterministic sequential test pattern generation 610
Educating Internet of Things Professionals: The Ambient Intelligence Course 609
Fault Behavior Observation of a Microprocessor System through a VHDL Simulation-Based Fault Injection Experiment 607
A new model for improving symbolic Product Machine traversal 605
Sequential circuit diagnosis based on formal verification techniques 603
Enabling Machine Understandable Exchange of Energy Consumption Information in Intelligent Domotic Environments 603
Publishing LO(D)D: Linked Open (Dynamic) Data for Smart Sensing and Measuring Environments 603
Designing for User Confidence in Intelligent Environments 599
SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information 593
Automatic Validation of Protocol Interfaces Described in VHDL 590
A User-Friendly Interface for Rules Composition in Intelligent Environments 586
Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization 585
Guaranteeing Testability in Re-encoding for Low Power. 584
Initializability Analysis of Synchronous Sequential Circuits 584
The General Product Machine: a New Model for Symbolic FSM Traversal 581
Training Engineers for the Ambient Intelligence Challenge 580
Modeling and Formal Verification of Smart Environments 578
spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications 575
A New Functional Fault Model for System-Level Descriptions 574
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 573
A Test Pattern Generation Algorithm Exploiting Behavioral Information 571
Evolutionary Techniques for Minimizing Test Signals Application Time 570
Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico 570
Hybrid Symbolic-Explicit Techniques for the Graph Coloring Problem 568
Esercizi di programmazione in C 568
A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits 565
ARPIA: a High-Level Evolutionary Test Signal Generator 561
HomeRules: A Tangible End-User Programming Interface for Smart Homes 560
Exploiting symbolic techniques for partial scan flip flop selection 560
Reti Logiche (Raccolta di lucidi) 559
Using symbolic techniques to find the maximum clique in very large sparse graphs 559
Advanced Techniques for GA-based sequential ATPGs 558
Evolving Cellular Automata for Self-Testing Hardware 557
Exploiting Behavioral Information in Gate-Level ATPG 556
RT-level TPG Exploiting High-Level Synthesis Information 556
Specifying Web Service Compositions on the Basis of Natural Language Requests 556
Prediction of Power Requirements for High-Speed Circuits 555
Integrating On-Line and Off-Line Testing of a Switching Memory in a Telecommunication System 554
Partial scan flip flop selection for simulation-based sequential ATPGs 554
On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits 554
A Healthcare Support System for Assisted Living Facilities: an IoT Solution 553
A portable ATPG tool for parallel and distributed systems 551
SmartBike: an IoT Crowd Sensing Platform for Monitoring City Air Pollution 550
A test pattern generation methodology for low power consumption 549
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms 549
Integrating Online and Offline Testing of a Switching Memory 546
Finding the Maximurn Clique in a Graph Using BDDs 544
A genetic algorithm for automatic generation of test logic for digital circuits 543
System-Level Modeling and Verification: a Comprehensive Design Methodology 542
Circular self-test path for FSMs 541
Improving topological ATPG with symbolic techniques 540
Fast sequential circuit test generation using high-level and gate-level techniques 537
GARDA: a Diagnostic ATPG for Large Synchronous Sequential Circuits 537
An efficient tool for system-level verification of behaviors and temporal properties 536
IoT Meets Exhibition Areas: a Modular Architecture to Improve Proximity Interactions 536
A simulation-based approach to test pattern generation for synchronous circuits 535
GA-Based Verification of Network Protocols Performance 535
Making the circular self-test path technique effective for real circuits 534
Totale 66.832
Salva come PNG Salva come JPEG
Categoria #
all - tutte 307.769
article - articoli 77.073
book - libri 6.413
conference - conferenze 205.820
curatela - curatele 0
other - altro 2.968
patent - brevetti 664
selected - selezionate 0
volume - volumi 14.831
Totale 615.538
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20213.981 0 0 0 0 382 610 438 539 394 793 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/20265.808 1.186 967 1.348 1.463 844 0 0 0 0 0 0 0
Totale 132.945