Filters








14 Hits in 10.5 sec

Parameter synthesis for probabilistic timed automata using stochastic game abstractions

Aleksandra Jovanović, Marta Kwiatkowska
2018 Theoretical Computer Science  
In the parametric setting, our method is able to determine all the possible maximum (or minimum) reachability probabilities that arise for different values of timing parameters, and yields optimal valuations  ...  We propose a method to synthesise optimal values of timing parameters for probabilistic timed automata, in the sense that the probability of reaching some set of states is either maximised or minimised  ...  We are currently implementing the algorithm in Prism. Acknowledgments This research is supported by ERC AdG VERIWARE.  ... 
doi:10.1016/j.tcs.2017.05.005 fatcat:a6wbugvjxnaupijcndpsipr644

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions [chapter]

Aleksandra Jovanović, Marta Kwiatkowska
2014 Lecture Notes in Computer Science  
In the parametric setting, our method is able to determine all the possible maximum (or minimum) reachability probabilities that arise for different values of timing parameters, and yields optimal valuations  ...  We propose a method to synthesise optimal values of timing parameters for probabilistic timed automata, in the sense that the probability of reaching some set of states is either maximised or minimised  ...  We are currently implementing the algorithm in Prism. Acknowledgments This research is supported by ERC AdG VERIWARE.  ... 
doi:10.1007/978-3-319-11439-2_14 fatcat:jgffahmybjaxpognc2j2fzqgiu

Partial least squares: a versatile tool for the analysis of high-dimensional genomic data

A.-L. Boulesteix, K. Strimmer
2006 Briefings in Bioinformatics  
Partial Least Squares (PLS) is a highly efficient statistical regression technique that is well suited for the analysis of high-dimensional genomic data.  ...  Focusing on microarray expression data we provide a systematic comparison of the PLS approaches currently employed, and discuss problems as different as tumor classification, identification of relevant  ...  For example, Milidiu and Renteria [21] suggest two fast PLS procedures for very large data sets denoted as DPLS and PPLS, whereas Durand [22] proposes to perform PLS regression using splines transformations  ... 
doi:10.1093/bib/bbl016 pmid:16772269 fatcat:nnjyr7s7xvaazfndg6wziieftq

Abstraction-driven Concolic Testing [article]

Przemysław Daca, Ashutosh Gupta, Thomas A. Henzinger
2015 arXiv   pre-print
Concolic testing is a promising method for generating test suites for large programs.  ...  In this paper, we present a novel method that iteratively combines concolic testing and model checking to find a test suite for a given coverage criterion.  ...  Acknowledgments We thank Andrey Kupriyanov for feedback on the manuscript, and Michael Tautschnig for help with preparing the experiments.  ... 
arXiv:1511.02615v2 fatcat:fc3ng5lke5fexcdvqgo3fclyd4

Private Non-Convex Federated Learning Without a Trusted Server [article]

Andrew Lowy, Ali Ghafelebashi, Meisam Razaviyayn
2022 arXiv   pre-print
consider losses satisfying the Proximal Polyak-Lojasiewicz (PL) inequality, which is an extension of the classical PL condition to the constrained setting.  ...  We propose LDP and SDP algorithms that nearly attain the optimal strongly convex, homogeneous (i.i.d.) rates. Second, we provide the first DP algorithms for non-convex/non-smooth loss functions.  ...  to find the (approximately) optimal stepsize and clipping threshold for each algorithm and setting.  ... 
arXiv:2203.06735v1 fatcat:5ouauuw7bbf6doobre7ynuj544

Detecting Load Redistribution Attacks via Support Vector Models

Zhigang Chu, Oliver Kosut, Lalitha Sankar
2020 IET Smart Grid  
Historical load data for training the SVR are obtained from the publicly available PJM zonal loads and are mapped to the IEEE 30-bus system.  ...  The SVM attack detector is trained using normal data and randomly created LR attacks so that it can maximally explore the attack space. An algorithm to create random LR attacks is introduced.  ...  Acknowledgment This work was supported by the National Science Foundation (NSF) under grant number CNS-1449080, and two grants from the Power System Engineering Research Center (PSERC) S-72 and S-74.  ... 
doi:10.1049/iet-stg.2020.0030 fatcat:gszd6amzrzf3fgy54wvvmdtu6i

Pragmatics and philosophy: In search of a paradigm

Kasia M. Jaszczolt
2018 Intercultural Pragmatics  
and, relatedly,What are the future prospects for pragmaticsPPL in theories of natural language meaning?  ...  There is no doubt that pragmatic theory and philosophy of language are mutually relevant and intrinsically connected.  ...  Cappelen and Lepore's (2005) 'basic set').  ... 
doi:10.1515/ip-2018-0002 fatcat:jkfhtfwa3vbb3d6m2hkv6m5nnu

Logic Tensor Networks [article]

Samy Badreddine and Artur d'Avila Garcez and Luciano Serafini and Michael Spranger
2021 arXiv   pre-print
We show that LTN provides a uniform language for the specification and the computation of several AI tasks such as data clustering, multi-label classification, relational learning, query answering, semi-supervised  ...  for knowledge representation.  ...  Acknowledgement We would like to thank Benedikt Wagner for his comments and a number of productive discussions on continual learning, knowledge extraction and reasoning in LTNs.  ... 
arXiv:2012.13635v3 fatcat:rrq3n27ywvguxcl6c6crvp7xne

Abstracts OAS

2019 Allergy. European Journal of Allergy and Clinical Immunology  
In this observational study, we compared two strategies: only skin tests assessment, and both skin tests and intravenous challenge with negative tested ICM.  ...  : Frequency of immediate hypersensitivity reaction (IHR) is reported to be 0.7 to 3% in patients receiving Iodinated contrast media (ICM) and up to 0.02 to 0.04% for severe reactions.  ...  Data were analyzed using a two-tailed Wilcoxon signed-rank test for paired samples and a Wilcoxon rank-sum test for independent samples.  ... 
doi:10.1111/all.13957 pmid:31396968 fatcat:u2sqfatubbgqpeg2ph4klfhqiq

Robust Latent Variable Modeling Using Probabilistic Slow Feature Analysis

Lei Fan
2020
Data-driven modeling approaches have been widely studied and applied to the process industries for inferential sensor development, process monitoring and fault detection and early warnings, etc.  ...  Essential information of process, like dynamic and relationships between process variables are buried in the massive archived historical data.  ...  However, comparing with PLS and PPLS, PSFA can only extract latent features from input variables.  ... 
doi:10.7939/r3-h7a2-z709 fatcat:3of7row6avamna7ptsqwgj4yxy

Proceedings of Réanimation 2018, the French Intensive Care Society International Congress

2018 Annals of Intensive Care  
, and indicate if changes were made.  ...  which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license  ...  Two groups were compared-RRT and non RRT patients. Demographic and obstetrical data as well as data during ICU stay and patients' outcome were collected.  ... 
doi:10.1186/s13613-017-0345-7 pmid:29404789 pmcid:PMC5799093 fatcat:h3ovufvuszcr5kofw4vdjj33ai

ESICM LIVES 2021: Part 1

2021 Intensive Care Medicine Experimental  
We randomized mechanically ventilated patients expected to stay in the intensive care unit (ICU) for at least 4 days.  ...  Protein intakes were 2.0 g/ kg/day and 1.4 g/kg/day respectively; while the former was submitted to two daily sessions of cycle ergometry exercise, the latter received routine physiotherapy.  ...  Data for this study came from two large prospective observational studies of very old intensive care patients (VIP-1 and -2).  ... 
doi:10.1186/s40635-021-00413-8 pmid:34633565 fatcat:ky75zcwr45btlchccmwuwn77nm

A Knowledge Representation Framework for Handling Elementary (Patent) Pragmatics [article]

Shashishekar Ramakrishna, Universitätsbibliothek Der FU Berlin, Universitätsbibliothek Der FU Berlin
2017
This allows disaggregation of concerns embedded within a legal language and thereby simplifying it. A proof-of-concept system with evaluation is also presented.  ...  For knowledge engineering, minimizing ambiguity in legal language requires representation of sufficient information in an elementary form, thus simplifying the legal language.  ...  In a sense, C ¡ complete problems are the hardest in C. 6 A magical algorithm that always makes a right guess among the given set of choices [194] Theorem 1: Datalog is data complete for P and program  ... 
doi:10.17169/refubium-9529 fatcat:xij5nnih4nc2ldmkh5rnh46tou

Genomics and New Approaches to Study Complex Traits in Pigs and Other Livestock Species. A Focus on the Investigation of Gene Networks Related to Fat Quality and Deposition in Pigs and Preliminary Research to Study Factors Related to Performances in Piglets and Poultry

Martina Zappaterra
2017
Maurizio Gallo from Associazione Nazionale Allevatori Suini (ANAS) and Dr. Luca Buttazzoni (CREA-PCM) for providing the porcine backfat tissue samples, BMR genomics for performing the RNA-Seq.  ...  This work was supported by AGER -Hepiget project (Grant N. 2011-0279) and by PRIN 2015 funds. Moreover, we want to thank Professor Paolo Trevisi for his help during Western blot analysis.  ...  Browning BL & Browning SR (2009) A unified approach to genotype imputation and haplotype-phase inference for large data sets of trios and unrelated individuals. Am J Hum Genet 84:210-223.  ... 
doi:10.6092/unibo/amsdottorato/8156 fatcat:fhnczv74xraxlmob2ylhqbwzqu