
On the Robustness of Temporal Properties for Stochastic Models
Stochastic models such as ContinuousTime Markov Chains (CTMC) and Stoch...
read it

Model Checking Markov Population Models by Stochastic Approximations
Many complex systems can be described by population models, in which a p...
read it

Location Aggregation of Spatial Population CTMC Models
In this paper we focus on spatial Markov population models, describing t...
read it

Signal Convolution Logic
We introduce a new logic called Signal Convolution Logic (SCL) that comb...
read it

(In)Secure Configuration Practices of WPA2 Enterprise Supplicants
WPA2 Enterprise is a fundamental technology for secure communication in ...
read it

A LogicBased Learning Approach to Explore Diabetes Patient Behaviors
Type I Diabetes (T1D) is a chronic disease in which the body's ability t...
read it

RejectionBased Simulation of NonMarkovian Agents on Complex Networks
Stochastic models in which agents interact with their neighborhood accor...
read it

Fast and accurate approximations to fractional powers of operators
In this paper we consider some rational approximations to the fractional...
read it

CoInGP: Convolutional Inpainting with Genetic Programming
We investigate the use of Genetic Programming (GP) as a convolutional pr...
read it

Tip the Balance: Improving Exploration of Balanced Crossover Operators by Adaptive Bias
The use of balanced crossover operators in Genetic Algorithms (GA) ensur...
read it

Towards an evolutionarybased approach for natural language processing
Tasks related to Natural Language Processing (NLP) have recently been th...
read it

Exploring Semibent Boolean Functions Arising from Cellular Automata
Semibent Boolean functions are interesting from a cryptographic standpo...
read it

Densityembedding layers: a general framework for adaptive receptive fields
The effectiveness and performance of artificial neural networks, particu...
read it

Exponentially convergent trapezoidal rules to approximate fractional powers of operators
In this paper we are interested in the approximation of fractional power...
read it
University of Trieste
The University of Trieste is a mediumsized university in Trieste in the FriuliVenezia Giulia region in northeast Italy.