An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-9494-0
Abstract: Data-parameterized systems model systems with finite control over an infinite data domain. VLTL is an extension of LTL that uses variables in order to specify properties of computations over infinite data, and as such, VLTL is… read more here.
Keywords: data domains; theoretic approach; model; model checking ... See more keywords
Multiple Domain and Multiple Kernel Outcome-Weighted Learning for Estimating Individualized Treatment Regimes
Sign Up to like & getrecommendations! Published in 2022 at "Journal of Computational and Graphical Statistics"
DOI: 10.1080/10618600.2022.2067552
Abstract: Abstract Individualized treatment rules (ITRs) recommend treatments that are tailored specifically according to each patient’s own characteristics. It can be challenging to estimate optimal ITRs when there are many features, especially when these features have… read more here.
Keywords: individualized treatment; outcome weighted; optimal itrs; weighted learning ... See more keywords
Domain Adaptation: Challenges, Methods, Datasets, and Applications
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Access"
DOI: 10.1109/access.2023.3237025
Abstract: Deep Neural Networks (DNNs) trained on one dataset (source domain) do not perform well on another set of data (target domain), which is different but has similar properties as the source domain. Domain Adaptation (DA)… read more here.
Keywords: domain adaptation; domain; methods datasets; adaptation challenges ... See more keywords