ArTS Archivio della ricerca di Trieste

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021285 0 0 0 0 0 0 0 0 0 0 0 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/202610.203 828 490 680 983 790 987 1.292 445 1.122 1.710 477 399
Totale 36.027