PORTO @ Archivio Istituzionale della Ricerca

CORNO, Fulvio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 68.292
NA - Nord America 42.769
AS - Asia 8.235
AF - Africa 304
SA - Sud America 296
OC - Oceania 171
Continente sconosciuto - Info sul continente non disponibili 18
Totale 120.085
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 42.015
IT - Italia 33.046
GB - Regno Unito 8.769
FR - Francia 8.308
DE - Germania 7.776
CN - Cina 2.867
RU - Federazione Russa 2.523
UA - Ucraina 2.137
NL - Olanda 1.399
SG - Singapore 1.154
TR - Turchia 1.096
SE - Svezia 791
PK - Pakistan 689
IE - Irlanda 686
CA - Canada 650
KR - Corea 610
CH - Svizzera 532
IN - India 415
FI - Finlandia 414
BG - Bulgaria 347
PL - Polonia 269
VN - Vietnam 262
JP - Giappone 258
HK - Hong Kong 213
BE - Belgio 211
AP - ???statistics.table.value.countryCode.AP??? 174
RO - Romania 154
ES - Italia 146
ID - Indonesia 146
AT - Austria 117
BR - Brasile 116
JO - Giordania 101
NZ - Nuova Zelanda 99
EU - Europa 88
CO - Colombia 87
CZ - Repubblica Ceca 76
ZA - Sudafrica 74
DK - Danimarca 73
AU - Australia 72
TW - Taiwan 70
MX - Messico 67
GR - Grecia 54
PH - Filippine 54
MY - Malesia 51
AE - Emirati Arabi Uniti 45
PT - Portogallo 44
SN - Senegal 41
CL - Cile 40
IR - Iran 38
IL - Israele 32
MD - Moldavia 31
EE - Estonia 30
PE - Perù 29
CI - Costa d'Avorio 26
TH - Thailandia 26
GT - Guatemala 25
MU - Mauritius 24
SK - Slovacchia (Repubblica Slovacca) 24
BY - Bielorussia 22
GH - Ghana 22
HR - Croazia 20
ET - Etiopia 19
MA - Marocco 19
EG - Egitto 18
DZ - Algeria 17
NG - Nigeria 14
PS - Palestinian Territory 14
SA - Arabia Saudita 13
LT - Lituania 12
KZ - Kazakistan 9
NO - Norvegia 9
SI - Slovenia 9
AL - Albania 8
HU - Ungheria 8
LY - Libia 8
UZ - Uzbekistan 8
VE - Venezuela 8
EC - Ecuador 7
IQ - Iraq 7
LU - Lussemburgo 7
MT - Malta 6
TN - Tunisia 6
AZ - Azerbaigian 5
BA - Bosnia-Erzegovina 5
LV - Lettonia 5
UY - Uruguay 5
AR - Argentina 4
DO - Repubblica Dominicana 4
SD - Sudan 4
SY - Repubblica araba siriana 4
CR - Costa Rica 3
ME - Montenegro 3
QA - Qatar 3
SC - Seychelles 3
A1 - Anonimo 2
AO - Angola 2
BH - Bahrain 2
CY - Cipro 2
GE - Georgia 2
MK - Macedonia 2
Totale 120.061
Salva come PNG Salva come JPEG
Città #
Torino 20.027
Ashburn 10.716
Southend 7.433
Seattle 5.060
Turin 3.819
Fairfield 2.863
Boardman 1.715
Woodbridge 1.457
Houston 1.388
Chandler 1.338
Des Moines 1.185
Wilmington 1.089
Ann Arbor 1.086
Cambridge 1.055
Princeton 1.044
Jacksonville 995
Singapore 862
Milan 840
Santa Clara 675
Berlin 631
Izmir 629
Dublin 626
Herkenbosch 626
Hangzhou 609
San Ramon 544
Saint Petersburg 513
San Francisco 502
Bern 474
Beijing 459
Chicago 448
Shanghai 371
San Donato Milanese 355
Helsinki 352
Mountain View 345
Buffalo 335
Zhengzhou 333
Munich 280
Istanbul 278
Zaporozhye 273
Rome 261
La Jolla 257
Baltimore 252
San Diego 249
Mcallen 248
Pennsylvania Furnace 247
Montréal 241
Hanoi 238
Overberg 237
New York 214
Monopoli 205
Lecce 193
San Jose 190
Council Bluffs 170
Kraków 157
Padua 156
Redwood City 154
Amsterdam 147
Atlanta 144
Waterloo 143
Frankfurt 142
Bologna 131
Paris 129
Brussels 128
Seoul 123
Fremont 119
Jakarta 118
Austin 112
Guangzhou 112
Kwai Chung 104
Moscow 104
Shenzhen 104
Lequile 102
Rotterdam 95
Auckland 94
Dearborn 93
Vienna 89
Fuzhou 88
London 86
Malatya 83
Toronto 82
Las Vegas 79
Norwalk 79
Florence 76
Dallas 75
Bremen 74
Galati 73
Maidenhead 72
Putian 70
Melun 69
Overland Park 67
Frankfurt am Main 66
Menlo Park 66
Mumbai 62
Falls Church 59
Ivrea 59
Cedar Rapids 56
Piossasco 55
Columbus 54
Kornik 54
Brno 53
Totale 81.289
Salva come PNG Salva come JPEG
Nome #
Home Energy Consumption Feedback: A User Survey 1.568
A Semantics-Rich Information Technology Architecture for Smart Buildings 1.133
Formal Verification of Device State Chart Models 981
Supporting Caregivers in Assisted Living Facilities for Persons with Disabilities: a User Study 964
On-line testing of an off-the-shelf microprocessor board for safety-critical applications 933
Olympia Project – E-Learning environment in sports training. Final Report 909
dWatch: a Personal Wrist Watch for Smart Environments 900
Reti Logiche (Esercizi commentati e risolti) 887
DOGeye: Controlling your Home with Eye Interaction 853
GNomon: Enabling Dynamic One-Switch Games for Children with Severe Motor Disabilities 851
Eye Tracking Impact on Quality-of-Life of ALS Patients 849
JEERP: Energy Aware Enterprise Resource Planning 835
A High-Level Approach Towards End User Development in the IoT 813
The Smart Home Controller on Your Wrist 798
Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments 789
A PVM tool for automatic test generation on parallel and distributed systems 784
A parallel genetic algorithm for Automatic Generation of Test Sequences for digital circuits 762
A methodology for system-level design for verifiability 747
PowerOnt: An Ontology-based Approach for Power Consumption Estimation in Smart Homes 738
Template-based ontology population for Smart Environments configuration 735
Exploiting competing subpopulations for automatic generation of test sequences for digital circuits 727
La formazione a distanza al Politecnico di Torino: nuovi modelli e strumenti 723
DogOnt - Ontology Modeling for Intelligent Domotic Environments 720
E-Learning at Politecnico di Torino: Moving to a Sustainable Large-Scale Multi-Channel System of Services 663
IoT Meets Caregivers: a Healthcare Support System in Assisted Living Facilities 658
Simulation-Based Verification of Network Protocols Performance 651
What Would You Ask to Your Home if It Were Intelligent? Exploring User Expectations about Next-Generation Homes 650
SAT based Enforcement of Domotic Effects in Smart Environments 646
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 634
DoMAIns: Domain-based Modeling for Ambient Intelligence 629
Modeling, Simulation and Emulation of Intelligent Domotic Environments 624
GATTO: A Genetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits 620
Il ruolo delle tecniche di fault injection nell’analisi dell’affidabilità dei sistemi 617
Easing IoT Development for Novice Programmers Through Code Recipes 605
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits 603
Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG 583
Cellular automata for deterministic sequential test pattern generation 581
Playable One-Switch Video Games for Children with Severe Motor Disabilities Based on GNomon 581
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 580
Fault Behavior Observation of a Microprocessor System through a VHDL Simulation-Based Fault Injection Experiment 580
Design and Development of One-Switch Video Games for Children with Severe Motor Disabilities 579
A Context and User Aware Smart Notification System 568
SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information 567
Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization 564
A new model for improving symbolic Product Machine traversal 561
Guaranteeing Testability in Re-encoding for Low Power. 561
Publishing LO(D)D: Linked Open (Dynamic) Data for Smart Sensing and Measuring Environments 560
Sequential circuit diagnosis based on formal verification techniques 554
Designing for User Confidence in Intelligent Environments 554
A New Functional Fault Model for System-Level Descriptions 551
Initializability Analysis of Synchronous Sequential Circuits 550
Educating Internet of Things Professionals: The Ambient Intelligence Course 549
Automatic Validation of Protocol Interfaces Described in VHDL 547
The General Product Machine: a New Model for Symbolic FSM Traversal 546
Hybrid Symbolic-Explicit Techniques for the Graph Coloring Problem 545
Enabling Machine Understandable Exchange of Energy Consumption Information in Intelligent Domotic Environments 545
A Test Pattern Generation Algorithm Exploiting Behavioral Information 543
Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico 541
Training Engineers for the Ambient Intelligence Challenge 539
A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits 539
Evolutionary Techniques for Minimizing Test Signals Application Time 538
Using symbolic techniques to find the maximum clique in very large sparse graphs 537
Reti Logiche (Raccolta di lucidi) 534
"Hey Siri, do you understand me?": Virtual Assistants and Dysarthria 534
Exploiting symbolic techniques for partial scan flip flop selection 534
RT-level TPG Exploiting High-Level Synthesis Information 533
A User-Friendly Interface for Rules Composition in Intelligent Environments 532
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 530
Partial scan flip flop selection for simulation-based sequential ATPGs 529
A portable ATPG tool for parallel and distributed systems 529
On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits 527
Specifying Web Service Compositions on the Basis of Natural Language Requests 526
spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications 526
Evolving Cellular Automata for Self-Testing Hardware 524
Integrating On-Line and Off-Line Testing of a Switching Memory in a Telecommunication System 522
A test pattern generation methodology for low power consumption 521
Modeling and Formal Verification of Smart Environments 521
HomeRules: A Tangible End-User Programming Interface for Smart Homes 521
A genetic algorithm for automatic generation of test logic for digital circuits 521
Finding the Maximurn Clique in a Graph Using BDDs 520
Exploiting Behavioral Information in Gate-Level ATPG 519
Integrating Online and Offline Testing of a Switching Memory 519
Circular self-test path for FSMs 519
ARPIA: a High-Level Evolutionary Test Signal Generator 518
Prediction of Power Requirements for High-Speed Circuits 517
GARDA: a Diagnostic ATPG for Large Synchronous Sequential Circuits 514
Making the circular self-test path technique effective for real circuits 513
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms 513
A Healthcare Support System for Assisted Living Facilities: an IoT Solution 512
New Static Compaction Techniques of Test Sequences for Sequential Circuits 507
Self-checking and Fault Tolerant approaches can help BIST fault coverage: a case study 506
Fast sequential circuit test generation using high-level and gate-level techniques 506
Role of fault injection techniques in system dependability analysis 506
Improving topological ATPG with symbolic techniques 505
Test Pattern Generation under Low Power Constraints 505
Testable Synthesis of Control Units via Circular Self-Test Path: Problems and Solutions 504
Optimizing area loss in flat glass cutting 503
An efficient tool for system-level verification of behaviors and temporal properties 503
Esercizi di programmazione in C 502
System-Level Modeling and Verification: a Comprehensive Design Methodology 502
Totale 62.319
Salva come PNG Salva come JPEG
Categoria #
all - tutte 265.168
article - articoli 64.944
book - libri 5.644
conference - conferenze 178.543
curatela - curatele 0
other - altro 2.618
patent - brevetti 585
selected - selezionate 0
volume - volumi 12.834
Totale 530.336
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20205.680 0 0 0 0 0 1.187 1.003 1.187 1.147 450 424 282
2020/20216.889 815 934 273 886 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/20254.455 543 1.142 631 1.184 562 393 0 0 0 0 0 0
Totale 120.755