ArTS Archivio della ricerca di Trieste

BORTOLUSSI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.287
EU - Europa 9.163
AS - Asia 7.471
SA - Sud America 1.083
AF - Africa 162
Continente sconosciuto - Info sul continente non disponibili 29
OC - Oceania 13
Totale 34.208
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.082
PL - Polonia 3.018
SG - Singapore 2.716
CN - Cina 1.785
IT - Italia 1.619
SE - Svezia 965
BR - Brasile 860
UA - Ucraina 790
HK - Hong Kong 763
VN - Vietnam 737
KR - Corea 583
DE - Germania 553
FR - Francia 428
FI - Finlandia 374
GB - Regno Unito 356
TR - Turchia 318
RU - Federazione Russa 243
BG - Bulgaria 210
IE - Irlanda 205
NL - Olanda 127
CA - Canada 115
IN - India 105
AR - Argentina 82
BD - Bangladesh 58
AT - Austria 53
JP - Giappone 49
MX - Messico 48
EC - Ecuador 43
ID - Indonesia 41
IQ - Iraq 41
CH - Svizzera 39
MA - Marocco 37
BE - Belgio 36
SA - Arabia Saudita 36
PK - Pakistan 32
ZA - Sudafrica 30
EU - Europa 27
PH - Filippine 24
CO - Colombia 23
ES - Italia 23
EG - Egitto 22
PY - Paraguay 22
UZ - Uzbekistan 20
IL - Israele 18
SI - Slovenia 18
CL - Cile 17
TH - Thailandia 15
VE - Venezuela 15
NP - Nepal 14
CZ - Repubblica Ceca 13
DO - Repubblica Dominicana 13
LT - Lituania 13
MY - Malesia 13
NO - Norvegia 13
AE - Emirati Arabi Uniti 12
SN - Senegal 12
TW - Taiwan 12
AZ - Azerbaigian 11
PE - Perù 11
RO - Romania 11
AU - Australia 10
DK - Danimarca 10
DZ - Algeria 10
JO - Giordania 10
TN - Tunisia 10
KE - Kenya 9
KZ - Kazakistan 8
OM - Oman 8
PA - Panama 8
SK - Slovacchia (Repubblica Slovacca) 8
GR - Grecia 7
HU - Ungheria 7
IR - Iran 6
MD - Moldavia 6
BO - Bolivia 5
ET - Etiopia 5
GE - Georgia 5
JM - Giamaica 5
AL - Albania 4
BH - Bahrain 4
HR - Croazia 4
KG - Kirghizistan 4
NG - Nigeria 4
PS - Palestinian Territory 4
UY - Uruguay 4
AM - Armenia 3
BW - Botswana 3
CG - Congo 3
CR - Costa Rica 3
LB - Libano 3
MN - Mongolia 3
TT - Trinidad e Tobago 3
AD - Andorra 2
AO - Angola 2
BB - Barbados 2
BS - Bahamas 2
CI - Costa d'Avorio 2
GA - Gabon 2
HN - Honduras 2
LK - Sri Lanka 2
Totale 34.171
Salva come PNG Salva come JPEG
Città #
Warsaw 2.836
Fairfield 1.796
Singapore 1.714
Woodbridge 1.653
Ashburn 1.410
Ann Arbor 1.382
Houston 1.232
Wilmington 822
Chandler 751
San Jose 748
Hong Kong 747
Seattle 722
Jacksonville 721
Trieste 669
Cambridge 607
Seoul 572
Hefei 525
Beijing 419
Princeton 342
Boardman 310
Izmir 268
Chicago 266
Ho Chi Minh City 220
Sofia 206
Dublin 187
Los Angeles 184
Lauterbourg 180
Columbus 173
Zgierz 170
Hanoi 165
Munich 144
Dearborn 134
The Dalles 131
Santa Clara 128
Moscow 122
Helsinki 109
Buffalo 102
Bremen 101
São Paulo 90
Dallas 80
Council Bluffs 77
San Diego 75
Milan 66
Düsseldorf 65
London 61
Frankfurt am Main 59
Falls Church 54
New York 54
Phoenix 42
Guangzhou 39
Rio de Janeiro 39
Ottawa 38
Rome 35
Verona 35
Orem 33
Tokyo 33
Da Nang 32
Saarbrücken 32
Udine 32
Des Moines 30
Vienna 30
Haiphong 29
Bern 28
Casablanca 28
Dong Ket 26
Kunming 26
Mestre 26
Norwalk 26
Nuremberg 26
Redwood City 26
Nanjing 25
Redondo Beach 25
Sacile 25
Brussels 24
Redmond 24
Amsterdam 23
Paris 22
Denver 21
Toronto 21
Washington 21
Johannesburg 20
Venice 20
Atlanta 19
Tashkent 19
Baghdad 18
Lappeenranta 18
Montreal 18
Belo Horizonte 17
Brasília 17
Stockholm 17
Brooklyn 16
Hải Dương 16
Salt Lake City 16
Cairo 15
Nanchang 15
Quito 15
Kocaeli 14
Manchester 14
Shanghai 14
Chennai 13
Totale 24.902
Salva come PNG Salva come JPEG
Nome #
U-Check: Model Checking and Parameter Synthesis Under Uncertainty 528
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic 467
Qualitative and quantitative monitoring of spatio-temporal properties 459
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity 426
Machine Learning Methods in Statistical Model Checking and System Design – Tutorial 396
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models 386
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic 382
Fluid Performability Analysis of Nested Automata Models 362
CARMA: Collective Adaptive Resource-sharing Markovian Agents 358
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 352
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction 351
Fluid model checking of timed properties 349
Efficient Checking of Individual Rewards Properties in Markov Population Models 348
Learning and designing stochastic processes from logical constraints 341
Deep Abstractions of Chemical Reaction Networks 339
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent 320
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits 290
A robust genetic algorithm for learning temporal specifications from data 262
Signal Convolution Logic 258
Bayesian Abstraction of Markov Population Models 258
BuST-Bundled Suffix Trees 257
Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents 252
Matching models across abstraction levels with Gaussian processes 247
Coding theory: A general framework and two inverse problems 244
Stochastic Approximation of Global Reachability Probabilities of Markov Population Models 239
Generative abstraction of Markov population processes 237
Hybrid Dynamics of Stochastic Programs 236
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients 235
A temporal logic approach to modular design of synthetic biological circuits 234
Stochastic Process Algebra and Stability Analysis of Collective Systems 230
Central Limit Model Checking 228
Policy learning in continuous-time Markov decision processes using Gaussian Processes 224
System design of stochastic models using robustness of temporal properties 222
Lumping the approximate master equation for multistate processes on complex networks 218
How Many Possible Languages Are There? 216
Computational Methods in Systems Biology. 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings 214
Conformal predictions for hybrid system state classification 214
Velocity analysis on common offset GPR data: A deep learning approach 214
Bayesian statistical parametric verification and synthesis by machine learning 213
Size expansions of mean field approximation: Transient and steady-state analysis 212
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation 210
Fuzzy Possibilities as Upper Previsions 208
Fuzzy Possibilities as Upper Previsions 206
Neural Predictive Monitoring 203
Monitoring Spatio-Temporal Properties (Invited Tutorial) 202
A Distributed and Probabilistic Concurrent Constraint Programming Language 200
A Criterion for the Stochasticity of Matrices with Specified Order Relations 199
Continuous approximation of collective system behaviour: A tutorial 198
Agent-based Protein Folding Simulation 197
Codeword Distinguishability in Minimum Diversity Decoding 197
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical SystemsQuantitative Evaluation of Systems 197
jSSTL - A tool to monitor spatio-temporal properties 195
Bounds on the deviation of discrete-time Markov chains from their mean-field model 194
At the boundaries of syntactic prehistory 193
Efficient extraction of seismic reflection with Deep Learning 192
Discontinuation of antidepressants in suicides findings from the Friuli Venezia Giulia Region, Italy, 2005-2014 192
(Hybrid) Automata and (Stochastic) Programs. The hybrid automata lattice of a stochastic program 190
Bundled Suffix Trees 187
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation 187
HYPE: Hybrid modelling by composition of flows 187
Model checking Markov population models by stochastic approximations 186
Hybrid Systems and Biology 185
Studying cancer-cell populations by programmable models of networks 184
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision 184
Lumping of degree-based mean-field and pair-approximation equations for multistate contact processes 184
Synthetic seismic data generation with deep learning 183
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration. 182
An active learning approach to the falsification of black box cyber-physical systems 182
Learning and Designing Stochastic Processes from Logical Constraints 179
Tales of Spatiality in stochastic Concurrent Constraint Programming 178
Possibilistic channels for DNA word design 178
Polarity assessment of reflection seismic data: a Deep Learning approach 177
Dynamical Systems and Stochastic Programming - From Ordinary Differential Equations and Back. 175
Scoring predictive models using a reduced representation of proteins: model and energy definition 174
Data-Driven Statistical Learning of Temporal Logic Properties 173
Monitoring mobile and spatially distributed cyber-physical systems 171
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems 171
Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion 170
Constraint-based simulation of biologicalsystems described by Molecular Interaction Maps 168
Distribution Approximations for the Chemical Master Equation: Comparison of the Method of Moments and the System Size Expansion 168
Constraint-based simulation of biological systems described by Molecular Interaction Maps 166
Limit behavior of the hybrid approximation of Stochastic Process Algebras 166
Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium 166
Mean-field limits beyond ordinary differential equations 165
The importance of being (a little bit) discrete 164
CoBiC: Context-dependent BioambientCalculus. 164
Comparison of discrimination and calibration performance of ECG-based machine learning models for prediction of new-onset atrial fibrillation 163
Concurrent Methodologies for Global Optimization 163
Perspectives on Constraints, Process Algebras, and Hybrid Systems. 163
Hybrid approximation of stochastic process algebras for systems biology 163
Programmable models of growth and mutation of cancer-cell populations 162
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 161
Constraint Satisfaction Problems on DNA Strings 161
HYPE Applied to the Modelling of Hybrid Biological Systems 161
A Rough guide to Hybrid Limits of Continuous Time Markov Chains 161
Stochastic Concurrent Constraint Programming and Differential Equations 160
Protein Folding Simulation in CCP 159
Proceedings Third International Workshop on Hybrid Autonomous Systems 159
Fluid limits of queueing networks with batches 159
null 158
Totale 22.548
Salva come PNG Salva come JPEG
Categoria #
all - tutte 91.703
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 91.703
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021733 0 0 0 0 0 0 0 0 0 296 152 285
2021/20222.166 128 128 114 194 85 308 98 74 283 216 138 400
2022/20232.439 250 224 182 305 323 478 39 205 243 28 118 44
2023/20241.479 102 102 91 90 152 149 169 338 34 55 109 88
2024/20253.991 55 218 415 237 399 369 317 324 455 488 316 398
2025/20269.070 828 490 680 983 790 987 1.292 445 1.122 1.453 0 0
Totale 34.894