E-LIB Suche - Ergebnisse für: Tronci, Enrico

1

Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deploym..:

Esposito, Marco ; Mancini, Toni ; Tronci, Enrico
IEEE Transactions on Systems, Man, and Cybernetics: Systems. 54 (2024) 3 - p. 1515-1526 , 2024

Link: https://doi.org/10.1109/..

2

The androgen system across the menstrual cycle: Hormonal, (..:

Krüger, Tillmann H.C. ; Leeners, Brigitte ; Tronci, Enrico...
Physiology & Behavior. 259 (2023) - p. 114034 , 2023

Link: https://doi.org/10.1016/..

3

STARGATE-X: a Python package for statistical analysis on th..:

Marino, Andrea ; Sinaimeri, Blerina ; Tronci, Enrico.
Journal of Integrative Bioinformatics. 20 (2023) 3 - p. , 2023

Link: https://doi.org/10.1515/..

4

Sexual attraction to visual sexual stimuli in association w..:

Schön, Viola ; Hengartner, Michael P. ; Tronci, Enrico...
Psychoneuroendocrinology. 151 (2023) - p. 106060 , 2023

Link: https://doi.org/10.1016/..

5

Optimizing Highly-Parallel Simulation-Based Verification of..:

Mancini, Toni ; Melatti, Igor ; Tronci, Enrico
IEEE Transactions on Software Engineering. 49 (2023) 9 - p. 4443-4455 , 2023

Link: https://doi.org/10.1109/..

6

Food preferences throughout the menstrual cycle – A compute..:

Lefebvre, Marie ; Hengartner, Michael P. ; Tronci, Enrico...
Physiology & Behavior. 255 (2022) - p. 113943 , 2022

Link: https://doi.org/10.1016/..

7

Any-Horizon Uniform Random Sampling and Enumeration of Cons..:

Mancini, Toni ; Melatti, Igor ; Tronci, Enrico
IEEE Transactions on Software Engineering. 48 (2022) 10 - p. 4002-4013 , 2022

Link: https://doi.org/10.1109/..

8

Mathematical Modeling and Simulation Provides Evidence for ..:

Fischer, Sophie ; Ehrig, Rainald ; Schäfer, Stefan...
Frontiers in Endocrinology. 12 (2021) - p. , 2021

Link: https://doi.org/10.3389/..

9

Reconciling interoperability with efficient Verification an..:

Sinisi, Stefano ; Alimguzhin, Vadim ; Mancini, Toni.
Simulation Modelling Practice and Theory. 109 (2021) - p. 102277 , 2021

Link: https://doi.org/10.1016/..

10

A Constraint Optimization–Based Sense and Response System f..:

Mari, Federico ; Massini, Annalisa ; Melatti, Igor.
Applied Artificial Intelligence. 35 (2021) 5 - p. 353-372 , 2021

Link: https://doi.org/10.1080/..

11

Visualisation of Control Software for Cyber-Physical System:

Melatti, Igor ; Mari, Federico ; Salvo, Ivano.
Information. 12 (2021) 5 - p. 178 , 2021

Link: https://doi.org/10.3390/..

12

On checking equivalence of simulation scripts:

Mancini, Toni ; Mari, Federico ; Massini, Annalisa..
Journal of Logical and Algebraic Methods in Programming. 120 (2021) - p. 100640 , 2021

Link: https://doi.org/10.1016/..

13

Cognitive function in association with high estradiol level..:

Leeners, Brigitte ; Krüger, Tillmann ; Geraedts, Kirsten...
Hormones and Behavior. 130 (2021) - p. 104951 , 2021

Link: https://doi.org/10.1016/..

14

Neuroprediction and A.I. in Forensic Psychiatry and Crimina..:

Tortora, Leda ; Meynen, Gerben ; Bijlsma, Johannes..
Frontiers in Psychology. 11 (2020) - p. , 2020

Link: https://doi.org/10.3389/..

15

Monte Carlo Based Statistical Model Checking of Cyber-Physi..:

Pappagallo, Angela ; Massini, Annalisa ; Tronci, Enrico
Information. 11 (2020) 12 - p. 588 , 2020

Link: https://doi.org/10.3390/..