IRIS
ANGIUS, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 702
AS - Asia 479
NA - Nord America 438
SA - Sud America 147
Continente sconosciuto - Info sul continente non disponibili 75
AF - Africa 15
OC - Oceania 1
Totale 1.857
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 476
US - Stati Uniti d'America 415
SG - Singapore 257
BR - Brasile 119
IE - Irlanda 105
CN - Cina 68
HK - Hong Kong 68
IT - Italia 46
SE - Svezia 31
VN - Vietnam 27
CA - Canada 16
GB - Regno Unito 10
IN - India 10
AR - Argentina 8
TR - Turchia 8
BD - Bangladesh 7
FR - Francia 7
ZA - Sudafrica 6
EC - Ecuador 5
JO - Giordania 5
CO - Colombia 4
ES - Italia 4
FI - Finlandia 4
DE - Germania 3
HN - Honduras 3
MA - Marocco 3
MX - Messico 3
NL - Olanda 3
PL - Polonia 3
TN - Tunisia 3
UY - Uruguay 3
ID - Indonesia 2
IL - Israele 2
JP - Giappone 2
KR - Corea 2
KZ - Kazakistan 2
LK - Sri Lanka 2
OM - Oman 2
PK - Pakistan 2
PY - Paraguay 2
SA - Arabia Saudita 2
UZ - Uzbekistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AT - Austria 1
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
BY - Bielorussia 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CL - Cile 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
EG - Egitto 1
GY - Guiana 1
HU - Ungheria 1
IQ - Iraq 1
IR - Iran 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
LU - Lussemburgo 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PS - Palestinian Territory 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 1.783
Salva come PNG Salva come JPEG
Città #
Moscow 141
Singapore 130
Dublin 106
Ashburn 83
Hong Kong 67
San Jose 62
Council Bluffs 36
Los Angeles 36
Dallas 34
Nyköping 29
Buffalo 17
Beijing 15
Catania 12
Ho Chi Minh City 11
Redondo Beach 11
São Paulo 9
Hanoi 8
New York 6
Rio de Janeiro 6
Santa Clara 6
Tianjin 6
Amman 5
Montreal 5
Campinas 4
Columbus 4
Cottage Grove 4
Istanbul 4
Johannesburg 4
Lauterbourg 4
Medford 4
Orem 4
Princeton 4
Rome 4
Taranto 4
Brasília 3
Chicago 3
Curitiba 3
Denver 3
London 3
Manchester 3
Messina 3
Montevideo 3
Paterna 3
Pelotas 3
Poplar 3
Pune 3
Santa Luzia 3
Warsaw 3
Amsterdam 2
Ankara 2
Belo Horizonte 2
Bogotá 2
Buenos Aires 2
Bảo Lộc 2
Caxias do Sul 2
Chennai 2
Colombo 2
Feira de Santana 2
Helsinki 2
Jaboatão dos Guararapes 2
Meknes 2
Muscat 2
Palagonia 2
Portland 2
Quito 2
Shanghai 2
Stockholm 2
Sumaré 2
Tashkent 2
Tauá 2
The Dalles 2
Tokyo 2
Trento 2
Tunis 2
Vacaria 2
Yongin-si 2
Abidjan 1
Adrogué 1
Ahmedabad 1
Alhambra 1
Almenara 1
Almirante Tamandaré 1
Americana 1
Anaheim 1
Ananindeua 1
Arapiraca 1
Araruama 1
Asunción 1
Auckland 1
Bandung 1
Banja Luka 1
Barra da Estiva 1
Barrie 1
Baturité 1
Bayonne 1
Belmont 1
Belém 1
Birmingham 1
Bishkek 1
Boksburg 1
Totale 1.007
Salva come PNG Salva come JPEG
Nome #
Co-Simulations of Brain Language Processing using Neural Language Models. 126
Copying Safety and Liveness Properties of Computational Artefacts. 124
The Simulative Role of Neural Language Models in Brain Language Processing 96
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning. 94
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions 86
Making sense of transformer success 84
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification 83
THE LOGICAL STRUCTURE OF MODULAR SEMANTIC THEORIES OF SOFTWARE SYSTEMS 75
Central Themes and Open Questions in the Philosophy of Computer Science 65
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization 65
On the Experimental Foundation of Computing 62
Building and Integrating Semantic Theories over Institutions. 60
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper 57
Computer simulations without simulative programs in executable cell biology: hypothesis discovery and justification 56
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 55
Abstraction and idealization in the formal verification of software systems 54
Can Computer Programs be Formally Verified? 53
Epistemologia dell’artificiale e informatica teorica 52
Model-based abductive reasoning in automated software testing 52
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 52
The Philosophy of Computer Science 44
A Meta-Logical Framework for the Equivalence of Syntactic and Semantic Theories 43
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation 43
Meaning and Reference in Programming Languages 42
Co-simulations of brain language processing using neural language models 34
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 34
Scientific theories of computational systems in model checking 32
The logic of identity and copy for computational artefacts 29
The Philosophy of Computer Science 28
What is (the philosophy of) computer science? 20
The problem of justification of empirical hypotheses in software testing 20
The Epistemology of DT Simulations 19
The Philosophy of Computer Science (Spring 2025 Edition) 18
Totale 1.857
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.562
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.562
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202213 0 0 0 0 0 0 0 0 4 0 0 9
2022/2023140 4 1 1 0 0 15 0 2 117 0 0 0
2023/202454 0 0 1 2 5 22 14 5 0 0 4 1
2024/2025440 25 0 18 9 42 26 14 26 109 35 44 92
2025/20261.147 62 79 68 69 124 215 121 165 116 68 30 30
2026/202763 12 51 0 0 0 0 0 0 0 0 0 0
Totale 1.857