IRIS
Priami, Corrado
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 22.141
AS - Asia 6.545
EU - Europa 4.710
SA - Sud America 1.028
Continente sconosciuto - Info sul continente non disponibili 372
AF - Africa 135
OC - Oceania 16
Totale 34.947
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 21.719
SG - Singapore 2.842
CN - Cina 1.319
VN - Vietnam 1.187
RU - Federazione Russa 884
BR - Brasile 826
UA - Ucraina 675
IT - Italia 653
SE - Svezia 470
FI - Finlandia 362
GB - Regno Unito 347
DE - Germania 320
FR - Francia 311
KR - Corea 306
LV - Lettonia 283
CA - Canada 219
IN - India 163
ID - Indonesia 117
BG - Bulgaria 111
HK - Hong Kong 90
BD - Bangladesh 83
IQ - Iraq 75
JO - Giordania 64
AR - Argentina 54
MX - Messico 54
JP - Giappone 47
TR - Turchia 47
LT - Lituania 45
PL - Polonia 44
NL - Olanda 41
CO - Colombia 39
ES - Italia 36
EC - Ecuador 35
IL - Israele 32
PK - Pakistan 31
ZA - Sudafrica 28
CR - Costa Rica 27
PH - Filippine 22
CL - Cile 21
CZ - Repubblica Ceca 20
VE - Venezuela 20
IE - Irlanda 19
SC - Seychelles 19
HN - Honduras 18
SV - El Salvador 18
AT - Austria 17
KE - Kenya 17
TH - Thailandia 17
TT - Trinidad e Tobago 17
JM - Giamaica 14
MA - Marocco 14
MY - Malesia 13
NI - Nicaragua 13
AU - Australia 12
DZ - Algeria 12
PY - Paraguay 12
UZ - Uzbekistan 12
GT - Guatemala 11
SA - Arabia Saudita 11
AE - Emirati Arabi Uniti 9
BE - Belgio 9
EG - Egitto 9
ET - Etiopia 9
DO - Repubblica Dominicana 8
PE - Perù 8
AL - Albania 7
BO - Bolivia 7
CW - ???statistics.table.value.countryCode.CW??? 7
DK - Danimarca 7
NP - Nepal 7
TN - Tunisia 7
CH - Svizzera 6
HU - Ungheria 6
PR - Porto Rico 6
SY - Repubblica araba siriana 6
AZ - Azerbaigian 5
BY - Bielorussia 5
CI - Costa d'Avorio 5
EE - Estonia 5
OM - Oman 5
PS - Palestinian Territory 5
RO - Romania 5
TW - Taiwan 5
AM - Armenia 4
EU - Europa 4
GE - Georgia 4
KZ - Kazakistan 4
MK - Macedonia 4
NZ - Nuova Zelanda 4
PA - Panama 4
RS - Serbia 4
BB - Barbados 3
GP - Guadalupe 3
GY - Guiana 3
MU - Mauritius 3
NG - Nigeria 3
PT - Portogallo 3
QA - Qatar 3
SN - Senegal 3
UY - Uruguay 3
Totale 34.552
Salva come PNG Salva come JPEG
Città #
Ashburn 2.080
Fairfield 1.904
Singapore 1.781
Chandler 1.448
Jacksonville 1.379
San Jose 1.171
Woodbridge 945
Seattle 861
Columbus 752
Wilmington 740
Dallas 700
Cambridge 681
Council Bluffs 680
Houston 680
Santa Clara 614
Ann Arbor 443
Moscow 413
San Mateo 411
Princeton 388
Ho Chi Minh City 367
Seoul 298
New York 291
Riga 283
The Dalles 274
Los Angeles 265
Hanoi 255
Lauterbourg 235
Beijing 218
Phoenix 217
Dearborn 185
Buffalo 133
Trento 132
Hefei 126
Munich 122
Boardman 116
Sofia 111
Helsinki 110
San Diego 98
Lawrence 89
Chicago 88
Jakarta 85
Hong Kong 75
São Paulo 73
London 72
Da Nang 70
Orem 62
Milan 61
Haiphong 54
Atlanta 53
Redondo Beach 52
Toronto 52
Brooklyn 47
North Bergen 43
Frankfurt am Main 42
Tokyo 42
Montreal 40
Staranzano 39
Dong Ket 35
Rome 35
Turku 34
Chennai 32
Denver 31
San Francisco 31
Vilnius 31
Falls Church 30
Warsaw 30
Manchester 29
Nanjing 28
Rio de Janeiro 28
Düsseldorf 27
Newark 27
Norwalk 26
Como 25
Verona 25
Amsterdam 24
Belo Horizonte 24
Guangzhou 24
San Paolo di Civitate 23
Washington 23
Des Moines 22
Stockholm 22
Johannesburg 21
Philadelphia 21
Salt Lake City 21
Izmir 20
Kunming 20
Mumbai 20
Baghdad 19
Falkenstein 19
San José 19
Dhaka 18
San Salvador 18
Thái Bình 18
Dublin 17
Mexico City 17
Altamura 16
Elk Grove Village 16
Nairobi 16
Ottawa 16
St Louis 16
Totale 24.060
Salva come PNG Salva come JPEG
Nome #
Simulation of biochemical reactions with time-dependent rates by the rejection-based algorithm 282
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks 244
Communicating by compatibility 240
Combined use of protein biomarkers and network analysis unveils deregulated regulatory circuits in Duchenne muscular dystrophy 233
Network Inference from Time-Dependent Omics Data 231
A network-based approach to identify deregulated pathways and drug effects in metabolic syndrome 226
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks 223
A Model Predicting Rolling Cells Percentage in Inflamed Brain Venules 215
Mechanistic interplay between ceramide and insulin resistance 213
A Community Challenge for Inferring Genetic Predictors of Gene Essentialities through Analysis of a Functional Screen of Cancer Cell Lines 207
Integrated quantitative systems pharmacology (QSP) model of lysosomal diseases provides an innovative computational platform to support research and therapeutic development for the sphingolipidoses 204
Cross-disease analysis of Alzheimer’s disease and type-2 Diabetes highlights the role of autophagy in the pathophysiology of two highly comorbid diseases 200
A logical approach to security in the context of ambient calculus 199
Calibration of dynamic models of biological systems with KInfer 196
Modelling the dynamics of biosystems 195
Beta-binders for Biological Quantitative Experiments 194
A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules 194
Programming Biology in BlenX 193
Incorporating extrinsic noise into the stochastic simulation of biochemical reactions: A comparison of approaches 193
Modelling self-assembly in BlenX 190
An Automatic Translation of SBML into Beta-Binders 189
The Decidability of the Structural Congruence for Beta-binders 189
An Automatic Translation of SBML into Beta-Binders 189
A Formal Language for Computational Systems Biology 189
Model-based clustering reveals vitamin D dependent multi-centrality hubs in a network of vitamin-related proteins. 189
Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations 189
Beta-binders for biological quantitative experiments 188
Novel drug target identification for the treatment of dementia using multi-relational association mining 187
A Novel Insulin/Glucose Model after a Mixed-Meal Test in Patients with Type 1 Diabetes on Insulin Pump Therapy 187
Regulatory Crosstalk of Doxorubicin, Estradiol and TNFα Combined Treatment in Breast Cancer-derived Cell Lines 187
A Formal Language for Computational Systems Biology 184
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches 184
Analysis of biological systems 183
Model Checking Biological Systems Described Using Ambient Calculus 183
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 182
An imperative language of self-modifying graphs for biological systems 181
A new probabilistic generative model of parameter inference in biochemical networks 179
Modelling and simulation of biological processes in BlenX 179
Composability: Perspectives in Ecological Modeling 178
The Beta Workbench: a computational tool to study the dynamics of biological systems 177
Shape Spaces in Formal Interactions 177
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 176
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways 175
Crowdsourced estimation of cognitive decline and resilience in Alzheimer's disease 173
Consensus Clustering of temporal profiles for the identification of metabolic markers of pre-diabetes in childhood (EarlyBird 73) 171
Biological network inference for drug discovery 170
Shape spaces in formal interactions 168
Modeling Kohn Interaction Maps with Beta-Binders: An Example 168
Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy 168
Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy 167
A rule-based and imperative language for biochemical modeling and simulation 167
Process Calculi Abstractions for Biology 165
Developing An Hierarchical Simulator for Beta-binders 165
Process Calculi Abstractions for Biology 164
Methylation Potential Associated with Diet, Genotype, Protein, and Metabolite Levels in the Delta Obesity Vitamin Study 164
A Bounded-Optimistic, Parallel Beta-Binders Simulator 164
Network Analysis of Neurodegenerative Disease Highlights a Role of Toll-Like Receptor Signaling 162
Genetic associations with micronutrient levels identified in immune and gastrointestinal networks 162
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra 161
Exploiting non-Markovian Bio-Processes 161
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 161
Optimization Algorithms for Computational Systems Biology 161
Developing An Hierarchical Simulator for Beta-binders 161
Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics. 160
Comparison of Syntactic error handling in LR parsers 159
Communicating by Compatibility 158
An efficient verifier of truly concurrent properties 157
A closed-loop multi-level model of glucose homeostasis 157
Snazer: the simulations and networks analyzer 156
Algorithmic Systems Biology 155
Concurrency in leukocyte vascular recognition: developing the tools for a predictive computer model 153
Biological Transactions for Quantitative Models 153
Modeling Static Biological Compartments with Beta-binders 153
Exploring the limitations of peripheral blood transcriptional biomarkers in predicting influenza vaccine responsiveness 153
A robust computational pipeline for model-based and data-driven phenotype clustering 153
Systems view of adipogenesis via novel omics-driven and tissue-specific activity scoring of network functional modules 153
BlenX Static and Dynamic Semantics 153
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways 152
Quantitative analysis reveals how EGFR activation and downregulation are coupled in normal but not in cancer cells 152
Beta Binders for Biological Interactions 152
A comparison of deterministic and stochastic approaches for sensitivity analysis in computational systems biology 152
Formal executable descriptions of biological systems 151
BlenX4Bio – BlenX for Biologists 151
Mobile processes with local clocks 150
Enhanced operational semantics in systems biology 150
Performance analysis of a UML micro business case study 150
Beta binders for biological interactions 150
Inference of autism-related genes by integrating protein-protein interactions and miRNA-target interactions 150
Automatic verification of distributed concurrent systems: the process algebra approach 148
Systems biology approaches to study the molecular effects of caloric restriction and polyphenols on aging processes 148
Effective Index: A Formal Measure of Drug Effects 146
Evolving BlenX programs to simulate the evolution of biological networks 146
Modelling the dynamics of biosystems 146
Efficient stochastic simulation of biochemical reactions with noise and delays 146
Stochastic simulation algorithms for computational systems biology: Exact, approximate, and hybrid methods 144
Cell cycle control in Eukaryotes: a BioSpi model 143
A Quantitative Study of Two Attacks 142
Model Checking Biological Systems Described Using Ambient Calculus 142
Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration 142
From ODEs to language-based, executable models of biological systems 141
Totale 17.363
Salva come PNG Salva come JPEG
Categoria #
all - tutte 140.330
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 9.073
Totale 149.403
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.765 0 0 0 0 70 111 121 489 97 193 203 481
2022/20232.839 455 305 45 395 353 426 12 211 399 32 155 51
2023/20241.276 84 99 92 60 143 368 103 64 8 65 29 161
2024/20254.899 42 25 192 1.091 354 635 63 235 416 885 380 581
2025/20269.731 643 243 1.391 1.411 942 749 1.830 199 841 967 356 159
2026/20274.091 164 559 1.387 1.675 306 0 0 0 0 0 0 0
Totale 34.947