ArTS Archivio della ricerca di Trieste

BORTOLUSSI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 18.231
EU - Europa 9.791
AS - Asia 7.803
SA - Sud America 1.109
Continente sconosciuto - Info sul continente non disponibili 769
AF - Africa 163
OC - Oceania 13
Totale 37.879
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 17.926
PL - Polonia 3.018
SG - Singapore 2.750
IT - Italia 2.217
CN - Cina 1.840
SE - Svezia 967
BR - Brasile 873
UA - Ucraina 790
HK - Hong Kong 782
VN - Vietnam 744
KR - Corea 587
DE - Germania 558
FR - Francia 429
FI - Finlandia 374
GB - Regno Unito 360
TR - Turchia 318
BD - Bangladesh 249
RU - Federazione Russa 245
BG - Bulgaria 210
IE - Irlanda 205
CA - Canada 160
NL - Olanda 129
IN - India 108
AR - Argentina 85
AT - Austria 53
JP - Giappone 52
MX - Messico 52
EC - Ecuador 45
ID - Indonesia 44
IQ - Iraq 41
CH - Svizzera 40
SA - Arabia Saudita 38
BE - Belgio 37
MA - Marocco 37
PK - Pakistan 33
ZA - Sudafrica 30
CO - Colombia 27
EU - Europa 27
PH - Filippine 27
ES - Italia 26
EG - Egitto 22
PY - Paraguay 22
JM - Giamaica 20
UZ - Uzbekistan 20
IL - Israele 18
SI - Slovenia 18
CL - Cile 17
CR - Costa Rica 17
VE - Venezuela 17
TH - Thailandia 16
MY - Malesia 15
NP - Nepal 15
AE - Emirati Arabi Uniti 13
CZ - Repubblica Ceca 13
DO - Repubblica Dominicana 13
LT - Lituania 13
NO - Norvegia 13
PE - Perù 13
AZ - Azerbaigian 12
SN - Senegal 12
TW - Taiwan 12
RO - Romania 11
AU - Australia 10
DK - Danimarca 10
DZ - Algeria 10
JO - Giordania 10
TN - Tunisia 10
KE - Kenya 9
MD - Moldavia 9
SK - Slovacchia (Repubblica Slovacca) 9
TT - Trinidad e Tobago 9
HR - Croazia 8
KZ - Kazakistan 8
OM - Oman 8
PA - Panama 8
GR - Grecia 7
HN - Honduras 7
HU - Ungheria 7
IR - Iran 6
BO - Bolivia 5
ET - Etiopia 5
GE - Georgia 5
AL - Albania 4
BH - Bahrain 4
KG - Kirghizistan 4
NG - Nigeria 4
PS - Palestinian Territory 4
UY - Uruguay 4
AM - Armenia 3
BS - Bahamas 3
BW - Botswana 3
CG - Congo 3
GT - Guatemala 3
LB - Libano 3
MN - Mongolia 3
NI - Nicaragua 3
PT - Portogallo 3
AD - Andorra 2
AO - Angola 2
BB - Barbados 2
Totale 37.092
Salva come PNG Salva come JPEG
Città #
Warsaw 2.837
Fairfield 1.796
Ashburn 1.783
Singapore 1.735
Woodbridge 1.653
Ann Arbor 1.382
Houston 1.239
San Jose 902
Wilmington 823
Hong Kong 766
Chandler 751
Seattle 727
Jacksonville 726
Trieste 707
Cambridge 607
Seoul 573
Hefei 525
Beijing 436
Council Bluffs 407
Princeton 344
Boardman 310
Chicago 283
Columbus 269
Izmir 268
Ho Chi Minh City 221
Los Angeles 213
Sofia 206
Santa Clara 197
Dublin 187
Lauterbourg 180
Staranzano 178
Milan 172
Zgierz 170
Hanoi 166
Munich 144
Dearborn 134
The Dalles 132
Moscow 122
Buffalo 117
New York 112
Helsinki 109
Dallas 106
Bremen 101
São Paulo 92
San Diego 75
Rome 70
Düsseldorf 65
Frankfurt am Main 61
London 61
Phoenix 61
Falls Church 54
Guangzhou 39
Rio de Janeiro 39
Verona 39
Ottawa 38
Orem 34
Tokyo 33
Da Nang 32
Saarbrücken 32
Udine 32
Des Moines 30
Toronto 30
Vienna 30
Atlanta 29
Haiphong 29
Bern 28
Casablanca 28
Norwalk 27
Dong Ket 26
Kunming 26
Mestre 26
Nuremberg 26
Redwood City 26
Washington 26
Nanjing 25
Redondo Beach 25
Sacile 25
Venice 25
Brussels 24
Denver 24
Miano 24
Redmond 24
Amsterdam 23
Brooklyn 23
Naples 23
Montreal 22
Paris 22
Brasília 21
Johannesburg 20
Tashkent 19
Baghdad 18
Lappeenranta 18
Belo Horizonte 17
Salt Lake City 17
Stockholm 17
Hải Dương 16
Quito 16
Shanghai 16
Boston 15
Cairo 15
Totale 26.594
Salva come PNG Salva come JPEG
Nome #
U-Check: Model Checking and Parameter Synthesis Under Uncertainty 539
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic 484
Qualitative and quantitative monitoring of spatio-temporal properties 483
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity 439
Machine Learning Methods in Statistical Model Checking and System Design – Tutorial 413
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models 408
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic 402
Fluid Performability Analysis of Nested Automata Models 377
CARMA: Collective Adaptive Resource-sharing Markovian Agents 372
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 370
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction 368
Efficient Checking of Individual Rewards Properties in Markov Population Models 366
Fluid model checking of timed properties 360
Deep Abstractions of Chemical Reaction Networks 357
Learning and designing stochastic processes from logical constraints 352
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent 332
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits 305
A robust genetic algorithm for learning temporal specifications from data 283
BuST-Bundled Suffix Trees 279
Bayesian Abstraction of Markov Population Models 275
Signal Convolution Logic 273
Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents 258
Matching models across abstraction levels with Gaussian processes 253
Coding theory: A general framework and two inverse problems 251
Stochastic Approximation of Global Reachability Probabilities of Markov Population Models 249
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients 248
A temporal logic approach to modular design of synthetic biological circuits 247
Hybrid Dynamics of Stochastic Programs 246
Generative abstraction of Markov population processes 246
Stochastic Process Algebra and Stability Analysis of Collective Systems 238
Policy learning in continuous-time Markov decision processes using Gaussian Processes 237
System design of stochastic models using robustness of temporal properties 236
Central Limit Model Checking 235
Conformal predictions for hybrid system state classification 232
Lumping the approximate master equation for multistate processes on complex networks 230
Size expansions of mean field approximation: Transient and steady-state analysis 228
Computational Methods in Systems Biology. 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings 227
How Many Possible Languages Are There? 224
Velocity analysis on common offset GPR data: A deep learning approach 221
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation 219
Neural Predictive Monitoring 219
Bayesian statistical parametric verification and synthesis by machine learning 217
Efficient extraction of seismic reflection with Deep Learning 216
Fuzzy Possibilities as Upper Previsions 215
At the boundaries of syntactic prehistory 212
A Criterion for the Stochasticity of Matrices with Specified Order Relations 211
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision 210
Size expansions of mean field approximation: Transient and steady-state analysis 210
Monitoring Spatio-Temporal Properties (Invited Tutorial) 210
Agent-based Protein Folding Simulation 209
A Distributed and Probabilistic Concurrent Constraint Programming Language 209
Fuzzy Possibilities as Upper Previsions 209
Continuous approximation of collective system behaviour: A tutorial 206
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical SystemsQuantitative Evaluation of Systems 206
Discontinuation of antidepressants in suicides findings from the Friuli Venezia Giulia Region, Italy, 2005-2014 205
(Hybrid) Automata and (Stochastic) Programs. The hybrid automata lattice of a stochastic program 204
Codeword Distinguishability in Minimum Diversity Decoding 203
Lumping of degree-based mean-field and pair-approximation equations for multistate contact processes 203
Polarity assessment of reflection seismic data: a Deep Learning approach 201
Bundled Suffix Trees 201
Bounds on the deviation of discrete-time Markov chains from their mean-field model 201
jSSTL - A tool to monitor spatio-temporal properties 199
HYPE: Hybrid modelling by composition of flows 198
Synthetic seismic data generation with deep learning 198
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation 195
An active learning approach to the falsification of black box cyber-physical systems 194
Hybrid Systems and Biology 193
Model checking Markov population models by stochastic approximations 193
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration. 192
Studying cancer-cell populations by programmable models of networks 192
Learning and Designing Stochastic Processes from Logical Constraints 190
Dynamical Systems and Stochastic Programming - From Ordinary Differential Equations and Back. 189
Tales of Spatiality in stochastic Concurrent Constraint Programming 186
Scoring predictive models using a reduced representation of proteins: model and energy definition 184
Possibilistic channels for DNA word design 183
Data-Driven Statistical Learning of Temporal Logic Properties 183
Distribution Approximations for the Chemical Master Equation: Comparison of the Method of Moments and the System Size Expansion 182
Comparison of discrimination and calibration performance of ECG-based machine learning models for prediction of new-onset atrial fibrillation 180
Mean-field limits beyond ordinary differential equations 180
Monitoring mobile and spatially distributed cyber-physical systems 180
Constraint-based simulation of biologicalsystems described by Molecular Interaction Maps 179
A Rough guide to Hybrid Limits of Continuous Time Markov Chains 179
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems 177
Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion 177
Limit behavior of the hybrid approximation of Stochastic Process Algebras 176
Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium 176
Concurrent Methodologies for Global Optimization 175
CoBiC: Context-dependent BioambientCalculus. 175
Hybrid approximation of stochastic process algebras for systems biology 175
The importance of being (a little bit) discrete 174
Fluid limits of queueing networks with batches 174
Constraint-based simulation of biological systems described by Molecular Interaction Maps 173
HYPE Applied to the Modelling of Hybrid Biological Systems 173
Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models 171
Fluid analysis of spatio-temporal properties of agents in a population model 171
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 170
Perspectives on Constraints, Process Algebras, and Hybrid Systems. 170
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks 170
Statistics and histopathology: a mixed-effects model approach to digital image analysis 169
Fluid Model Checking 169
Totale 23.803
Salva come PNG Salva come JPEG
Categoria #
all - tutte 105.357
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 105.357
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.910 0 0 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.268 828 490 680 983 790 987 1.292 445 1.122 1.710 477 464
2026/20271.787 502 663 622 0 0 0 0 0 0 0 0 0
Totale 37.879