PORTO @ Archivio Istituzionale della Ricerca

CORNO, Fulvio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 74.597
NA - Nord America 49.576
AS - Asia 24.637
SA - Sud America 1.691
AF - Africa 493
OC - Oceania 201
Continente sconosciuto - Info sul continente non disponibili 20
Totale 151.215
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 48.467
IT - Italia 35.171
FR - Francia 8.980
GB - Regno Unito 8.976
DE - Germania 8.360
SG - Singapore 7.071
CN - Cina 5.753
VN - Vietnam 4.997
RU - Federazione Russa 4.054
UA - Ucraina 2.169
NL - Olanda 1.525
BR - Brasile 1.291
KR - Corea 1.216
TR - Turchia 1.127
HK - Hong Kong 895
CA - Canada 873
SE - Svezia 816
IN - India 809
PK - Pakistan 733
IE - Irlanda 702
FI - Finlandia 583
CH - Svizzera 549
JP - Giappone 451
PT - Portogallo 356
BG - Bulgaria 350
AT - Austria 304
PL - Polonia 300
BE - Belgio 270
ID - Indonesia 192
ES - Italia 183
AP - ???statistics.table.value.countryCode.AP??? 174
TW - Taiwan 167
BD - Bangladesh 163
PH - Filippine 162
RO - Romania 160
TH - Thailandia 159
ZA - Sudafrica 124
MX - Messico 123
JO - Giordania 119
CO - Colombia 114
IQ - Iraq 105
NZ - Nuova Zelanda 103
AU - Australia 96
CZ - Repubblica Ceca 94
DK - Danimarca 90
EU - Europa 88
AR - Argentina 87
IL - Israele 79
MY - Malesia 69
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 42
EC - Ecuador 39
UZ - Uzbekistan 39
MD - Moldavia 37
PE - Perù 36
DZ - Algeria 35
EG - Egitto 35
EE - Estonia 32
GT - Guatemala 30
VE - Venezuela 29
CI - Costa d'Avorio 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
CR - Costa Rica 16
HU - Ungheria 16
PY - Paraguay 16
RS - Serbia 16
LV - Lettonia 14
NP - Nepal 14
KE - Kenya 13
OM - Oman 12
JM - Giamaica 11
DO - Repubblica Dominicana 10
NO - Norvegia 10
TZ - Tanzania 10
UY - Uruguay 10
YE - Yemen 10
LY - Libia 9
MT - Malta 9
SY - Repubblica araba siriana 9
TC - Turks e Caicos 9
GE - Georgia 8
PA - Panama 8
Totale 151.068
Salva come PNG Salva come JPEG
Città #
Torino 20.027
Ashburn 11.560
Southend 7.433
Seattle 5.067
Turin 4.269
Singapore 4.085
Fairfield 2.864
San Jose 1.990
Boardman 1.746
Woodbridge 1.458
Houston 1.407
Chandler 1.338
Hanoi 1.317
Milan 1.314
Ho Chi Minh City 1.261
Des Moines 1.190
Wilmington 1.089
Ann Arbor 1.087
Cambridge 1.056
Princeton 1.044
Jacksonville 999
Beijing 840
Santa Clara 831
Dublin 641
Berlin 637
Izmir 629
Hefei 627
Herkenbosch 626
Hangzhou 620
Hong Kong 593
Dallas 566
San Ramon 544
San Francisco 533
Saint Petersburg 513
Munich 487
Chicago 482
Helsinki 482
Bern 475
Seoul 469
Buffalo 458
Lauterbourg 412
Shanghai 400
Rome 398
Council Bluffs 393
San Donato Milanese 355
Zhengzhou 348
Mountain View 345
Los Angeles 325
Lisbon 321
New York 314
Tongling 309
Moscow 296
Istanbul 288
Zaporozhye 273
Baltimore 258
Frankfurt am Main 258
La Jolla 257
San Diego 252
Mcallen 248
Pennsylvania Furnace 247
Montréal 241
Overberg 237
Da Nang 232
Monopoli 205
Lecce 198
Haiphong 195
Tokyo 191
Brussels 185
Amsterdam 180
Toronto 178
Figino 173
Padua 169
Atlanta 168
Bologna 164
Kraków 157
Redwood City 154
London 153
Guangzhou 146
North Bergen 146
Waterloo 143
Frankfurt 142
Paris 136
Vienna 128
Jakarta 122
Fremont 119
Austin 116
Shenzhen 112
The Dalles 107
Columbus 104
Kwai Chung 104
Naples 104
São Paulo 104
Lequile 102
Nuremberg 102
Rotterdam 100
Auckland 98
Memphis 95
Dearborn 93
Florence 92
Fuzhou 90
Totale 96.736
Salva come PNG Salva come JPEG
Nome #
Home Energy Consumption Feedback: A User Survey 1.874
A Semantics-Rich Information Technology Architecture for Smart Buildings 1.244
Formal Verification of Device State Chart Models 1.130
Supporting Caregivers in Assisted Living Facilities for Persons with Disabilities: a User Study 1.129
Reti Logiche (Esercizi commentati e risolti) 1.035
Eye Tracking Impact on Quality-of-Life of ALS Patients 1.034
On-line testing of an off-the-shelf microprocessor board for safety-critical applications 1.018
dWatch: a Personal Wrist Watch for Smart Environments 1.013
GNomon: Enabling Dynamic One-Switch Games for Children with Severe Motor Disabilities 1.006
DOGeye: Controlling your Home with Eye Interaction 1.003
JEERP: Energy Aware Enterprise Resource Planning 997
Olympia Project – E-Learning environment in sports training. Final Report 980
The Smart Home Controller on Your Wrist 962
A High-Level Approach Towards End User Development in the IoT 943
"Hey Siri, do you understand me?": Virtual Assistants and Dysarthria 920
SAT based Enforcement of Domotic Effects in Smart Environments 915
Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments 906
La formazione a distanza al Politecnico di Torino: nuovi modelli e strumenti 885
Template-based ontology population for Smart Environments configuration 884
DogOnt - Ontology Modeling for Intelligent Domotic Environments 871
PowerOnt: An Ontology-based Approach for Power Consumption Estimation in Smart Homes 870
A PVM tool for automatic test generation on parallel and distributed systems 859
A parallel genetic algorithm for Automatic Generation of Test Sequences for digital circuits 855
A methodology for system-level design for verifiability 849
Exploiting competing subpopulations for automatic generation of test sequences for digital circuits 811
E-Learning at Politecnico di Torino: Moving to a Sustainable Large-Scale Multi-Channel System of Services 806
IoT Meets Caregivers: a Healthcare Support System in Assisted Living Facilities 789
Easing IoT development for novice programmers through code recipes 780
DoMAIns: Domain-based Modeling for Ambient Intelligence 765
Il ruolo delle tecniche di fault injection nell’analisi dell’affidabilità dei sistemi 762
Modeling, Simulation and Emulation of Intelligent Domotic Environments 746
What Would You Ask to Your Home if It Were Intelligent? Exploring User Expectations about Next-Generation Homes 744
Design and Development of One-Switch Video Games for Children with Severe Motor Disabilities 744
GATTO: A Genetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits 742
Simulation-Based Verification of Network Protocols Performance 742
Real-Time Monitoring of High-Level States in Smart Environments 731
Enabling Machine Understandable Exchange of Energy Consumption Information in Intelligent Domotic Environments 715
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 709
Playable One-Switch Video Games for Children with Severe Motor Disabilities Based on GNomon 705
Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG 696
Designing for User Confidence in Intelligent Environments 693
A Context and User Aware Smart Notification System 687
A User-Friendly Interface for Rules Composition in Intelligent Environments 682
Educating Internet of Things Professionals: The Ambient Intelligence Course 678
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 677
Publishing LO(D)D: Linked Open (Dynamic) Data for Smart Sensing and Measuring Environments 669
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 667
Sequential circuit diagnosis based on formal verification techniques 666
Esercizi di programmazione in C 666
Modeling and Formal Verification of Smart Environments 663
A new model for improving symbolic Product Machine traversal 661
Fault Behavior Observation of a Microprocessor System through a VHDL Simulation-Based Fault Injection Experiment 659
Cellular automata for deterministic sequential test pattern generation 653
spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications 652
Automatic Validation of Protocol Interfaces Described in VHDL 650
Training Engineers for the Ambient Intelligence Challenge 646
SmartBike: an IoT Crowd Sensing Platform for Monitoring City Air Pollution 641
IoT Meets Exhibition Areas: a Modular Architecture to Improve Proximity Interactions 640
RT-level ITC'99 benchmarks and first ATPG results 636
Guaranteeing testability in re-encoding for low power 632
The General Product Machine: a New Model for Symbolic FSM Traversal 631
SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information 630
Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization 630
A Healthcare Support System for Assisted Living Facilities: an IoT Solution 630
Initializability Analysis of Synchronous Sequential Circuits 630
Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico 628
A New Functional Fault Model for System-Level Descriptions 628
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 624
ARPIA: a High-Level Evolutionary Test Signal Generator 622
A Test Pattern Generation Algorithm Exploiting Behavioral Information 620
Evolutionary Techniques for Minimizing Test Signals Application Time 620
HomeRules: A Tangible End-User Programming Interface for Smart Homes 618
Evolving Cellular Automata for Self-Testing Hardware 617
Prediction of Power Requirements for High-Speed Circuits 616
Hybrid Symbolic-Explicit Techniques for the Graph Coloring Problem 615
A simulation-based approach to test pattern generation for synchronous circuits 614
Exploiting symbolic techniques for partial scan flip flop selection 612
Estimate User Meaningful Places through Low-Energy Mobile Sensing 610
Advanced Techniques for GA-based sequential ATPGs 609
Exploiting Behavioral Information in Gate-Level ATPG 607
An Enhanced Framework for Microprocessor Test-Program Generation 607
Reti Logiche (Raccolta di lucidi) 606
Specifying Web Service Compositions on the Basis of Natural Language Requests 606
Using symbolic techniques to find the maximum clique in very large sparse graphs 605
Finding the Maximurn Clique in a Graph Using BDDs 604
Pain Points for Novice Programmers of Ambient Intelligence Systems: An Exploratory Study 603
A portable ATPG tool for parallel and distributed systems 602
On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits 601
A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits 601
Integrating On-Line and Off-Line Testing of a Switching Memory in a Telecommunication System 600
GA-Based Verification of Network Protocols Performance 596
A test pattern generation methodology for low power consumption 595
Partial scan flip flop selection for simulation-based sequential ATPGs 595
RT-level TPG Exploiting High-Level Synthesis Information 594
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms 594
An efficient tool for system-level verification of behaviors and temporal properties 593
A genetic algorithm for automatic generation of test logic for digital circuits 593
System-Level Modeling and Verification: a Comprehensive Design Methodology 592
Improving topological ATPG with symbolic techniques 590
GARDA: a Diagnostic ATPG for Large Synchronous Sequential Circuits 590
Totale 73.765
Salva come PNG Salva come JPEG
Categoria #
all - tutte 341.756
article - articoli 86.240
book - libri 7.073
conference - conferenze 227.833
curatela - curatele 0
other - altro 3.270
patent - brevetti 750
selected - selezionate 0
volume - volumi 16.590
Totale 683.512
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/202624.751 1.186 967 1.348 1.463 1.761 1.368 3.191 2.150 4.917 3.174 908 2.318
Totale 151.888