ArTS Archivio della ricerca di Trieste

BORTOLUSSI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.353
EU - Europa 7.152
AS - Asia 1.859
Continente sconosciuto - Info sul continente non disponibili 27
AF - Africa 19
SA - Sud America 8
OC - Oceania 4
Totale 22.422
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.291
PL - Polonia 2.799
IT - Italia 1.166
SE - Svezia 948
UA - Ucraina 771
CN - Cina 614
SG - Singapore 491
HK - Hong Kong 339
DE - Germania 299
TR - Turchia 283
FI - Finlandia 253
GB - Regno Unito 221
BG - Bulgaria 205
IE - Irlanda 178
FR - Francia 133
CA - Canada 56
CH - Svizzera 35
BE - Belgio 31
EU - Europa 27
VN - Vietnam 27
IN - India 25
KR - Corea 22
AT - Austria 21
NL - Olanda 20
JP - Giappone 17
RU - Federazione Russa 17
RO - Romania 11
SN - Senegal 11
SI - Slovenia 9
NO - Norvegia 8
IL - Israele 7
SA - Arabia Saudita 7
EG - Egitto 6
LT - Lituania 6
MX - Messico 6
IQ - Iraq 5
IR - Iran 5
SK - Slovacchia (Repubblica Slovacca) 5
BD - Bangladesh 4
BR - Brasile 4
CZ - Repubblica Ceca 4
PK - Pakistan 4
AU - Australia 3
AD - Andorra 2
CL - Cile 2
DK - Danimarca 2
HU - Ungheria 2
ID - Indonesia 2
MY - Malesia 2
BT - Bhutan 1
CI - Costa d'Avorio 1
CO - Colombia 1
ES - Italia 1
GR - Grecia 1
HR - Croazia 1
IM - Isola di Man 1
KG - Kirghizistan 1
LB - Libano 1
LI - Liechtenstein 1
MD - Moldavia 1
MO - Macao, regione amministrativa speciale della Cina 1
NZ - Nuova Zelanda 1
PE - Perù 1
SC - Seychelles 1
TW - Taiwan 1
Totale 22.422
Salva come PNG Salva come JPEG
Città #
Warsaw 2.798
Fairfield 1.796
Woodbridge 1.653
Ann Arbor 1.382
Houston 1.225
Ashburn 931
Wilmington 819
Chandler 750
Jacksonville 721
Seattle 712
Cambridge 606
Trieste 466
Singapore 421
Princeton 342
Hong Kong 336
Boardman 303
Izmir 267
Beijing 209
Sofia 205
Columbus 173
Dublin 167
Dearborn 134
Bremen 101
Santa Clara 80
San Diego 75
Falls Church 54
Milan 43
Düsseldorf 41
Ottawa 36
Hefei 35
Saarbrücken 32
Verona 29
Bern 28
Des Moines 27
Dong Ket 26
Kunming 26
Mestre 26
Norwalk 26
Phoenix 26
Redwood City 26
Sacile 25
Nanjing 24
Redmond 24
Rome 24
Guangzhou 23
Brussels 21
Chicago 21
Udine 21
Seoul 20
Buffalo 19
Dallas 19
Helsinki 19
London 19
Washington 19
Los Angeles 18
Nanchang 15
Kocaeli 14
Paris 13
Toronto 13
Fremont 12
Karlsruhe 12
Dakar 11
Munich 11
Pune 11
Edinburgh 10
North Bergen 10
Scafati 10
Southend 10
Auburn Hills 9
Council Bluffs 9
Shenyang 9
Tokyo 9
Fuzhou 8
Jinan 8
Venice 8
Atlanta 7
Dongguan 7
Indiana 7
New York 7
Palmanova 7
Pignone 7
San Antonio 7
Shanghai 7
St Louis 7
Turin 7
Vienna 7
Antwerpen 6
Cairo 6
Camerino 6
Empoli 6
Oxford 6
Timisoara 6
Vicenza 6
Bratislava 5
Chengdu 5
Erbil 5
Frankfurt am Main 5
Lappeenranta 5
Leawood 5
Tappahannock 5
Totale 17.835
Salva come PNG Salva come JPEG
Nome #
U-Check: Model Checking and Parameter Synthesis Under Uncertainty 421
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic 399
Qualitative and quantitative monitoring of spatio-temporal properties 383
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity 368
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic 332
Machine Learning Methods in Statistical Model Checking and System Design – Tutorial 330
Fluid Performability Analysis of Nested Automata Models 320
CARMA: Collective Adaptive Resource-sharing Markovian Agents 318
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models 309
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction 308
Efficient Checking of Individual Rewards Properties in Markov Population Models 308
Learning and designing stochastic processes from logical constraints 302
Fluid model checking of timed properties 299
Deep Abstractions of Chemical Reaction Networks 280
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent 271
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 207
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits 202
Stochastic Process Algebra and Stability Analysis of Collective Systems 199
Matching models across abstraction levels with Gaussian processes 198
Stochastic Approximation of Global Reachability Probabilities of Markov Population Models 194
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients 192
Hybrid Dynamics of Stochastic Programs 182
System design of stochastic models using robustness of temporal properties 177
Policy learning in continuous-time Markov decision processes using Gaussian Processes 176
Coding theory: A general framework and two inverse problems 175
Central Limit Model Checking 174
BuST-Bundled Suffix Trees 173
Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents 171
Monitoring Spatio-Temporal Properties (Invited Tutorial) 171
A robust genetic algorithm for learning temporal specifications from data 169
Size expansions of mean field approximation: Transient and steady-state analysis 168
Signal Convolution Logic 163
Fuzzy Possibilities as Upper Previsions 162
Fuzzy Possibilities as Upper Previsions 162
Lumping the approximate master equation for multistate processes on complex networks 160
Continuous approximation of collective system behaviour: A tutorial 158
null 158
Bounds on the deviation of discrete-time Markov chains from their mean-field model 155
Bayesian Abstraction of Markov Population Models 152
Studying cancer-cell populations by programmable models of networks 148
A temporal logic approach to modular design of synthetic biological circuits 148
Velocity analysis on common offset GPR data: A deep learning approach 146
How Many Possible Languages Are There? 145
Bayesian statistical parametric verification and synthesis by machine learning 144
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation 141
HYPE: Hybrid modelling by composition of flows 141
Monitoring mobile and spatially distributed cyber-physical systems 139
Hybrid Systems and Biology 138
Computational Methods in Systems Biology. 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings 138
Model checking Markov population models by stochastic approximations 136
Scoring predictive models using a reduced representation of proteins: model and energy definition 134
Perspectives on Constraints, Process Algebras, and Hybrid Systems. 134
jSSTL - A tool to monitor spatio-temporal properties 134
Data-Driven Statistical Learning of Temporal Logic Properties 133
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical SystemsQuantitative Evaluation of Systems 133
Learning and Designing Stochastic Processes from Logical Constraints 133
Lumping of degree-based mean-field and pair-approximation equations for multistate contact processes 133
Neural Predictive Monitoring 133
A Distributed and Probabilistic Concurrent Constraint Programming Language 131
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation 131
Possibilistic channels for DNA word design 130
Programmable models of growth and mutation of cancer-cell populations 130
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration. 129
Dynamical Systems and Stochastic Programming - From Ordinary Differential Equations and Back. 128
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 126
Bundled Suffix Trees 126
Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium 126
Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion 126
The importance of being (a little bit) discrete 125
Agent-based Protein Folding Simulation 124
Codeword Distinguishability in Minimum Diversity Decoding 124
Spearman Permutation Distances and Shannon's Distinguishability 124
Conformal predictions for hybrid system state classification 124
Model checking single agent behaviours by fluid approximation 124
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems 123
Constraint-based simulation of biological systems described by Molecular Interaction Maps 122
HYPE Applied to the Modelling of Hybrid Biological Systems 122
(Hybrid) Automata and (Stochastic) Programs. The hybrid automata lattice of a stochastic program 122
Protein Folding Simulation in CCP 121
Mean-field limits beyond ordinary differential equations 121
Statistics and histopathology: a mixed-effects model approach to digital image analysis 120
Discontinuation of antidepressants in suicides findings from the Friuli Venezia Giulia Region, Italy, 2005-2014 120
Stochastic Concurrent Constraint Programming and Differential Equations 119
An active learning approach to the falsification of black box cyber-physical systems 119
Fluid Model Checking 118
Synthetic seismic data generation with deep learning 118
Constraint-based simulation of biologicalsystems described by Molecular Interaction Maps 117
Proceedings Third International Workshop on Hybrid Autonomous Systems 117
Tales of Spatiality in stochastic Concurrent Constraint Programming 116
Concurrent Methodologies for Global Optimization 116
CoBiC: Context-dependent BioambientCalculus. 116
Distribution Approximations for the Chemical Master Equation: Comparison of the Method of Moments and the System Size Expansion 116
Fluid limits of queueing networks with batches 116
Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation 115
Fluid analysis of spatio-temporal properties of agents in a population model 115
At the boundaries of syntactic prehistory 115
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks 115
A Criterion for the Stochasticity of Matrices with Specified Order Relations 114
Model Checking Markov Population Models by Central Limit Approximation 114
Hybrid approximation of stochastic process algebras for systems biology 111
Totale 16.863
Salva come PNG Salva come JPEG
Categoria #
all - tutte 59.003
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 59.003
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.513 0 0 0 0 380 688 594 549 489 273 351 189
2020/20213.565 320 302 376 378 321 353 296 294 192 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/20251.203 55 218 415 237 278 0 0 0 0 0 0 0
Totale 23.036