Segmented Linear Regression Modelling of Time-Series of Binary Variables in Healthcare
Sign Up to like & getrecommendations! Published in 2019 at "Computational and Mathematical Methods in Medicine"
DOI: 10.1155/2019/3478598
Abstract: Introduction In healthcare, change is usually detected by statistical techniques comparing outcomes before and after an intervention. A common problem faced by researchers is distinguishing change due to secular trends from change due to an… read more here.
Keywords: binary variables; time series; change; series binary ... See more keywords
SiGMoiD: A super-statistical generative model for binary data
Sign Up to like & getrecommendations! Published in 2021 at "PLoS Computational Biology"
DOI: 10.1371/journal.pcbi.1009275
Abstract: In modern computational biology, there is great interest in building probabilistic models to describe collections of a large number of co-varying binary variables. However, current approaches to build generative models rely on modelers’ identification of… read more here.
Keywords: statistical generative; binary variables; super statistical; biology ... See more keywords
Converting of Boolean Expression to Linear Equations, Inequalities and QUBO Penalties for Cryptanalysis
Sign Up to like & getrecommendations! Published in 2022 at "Algorithms"
DOI: 10.3390/a15020033
Abstract: There exists a wide range of constraint programming (CP) problems defined on Boolean functions depending on binary variables. One of the approaches to solving CP problems is using specific appropriate solvers, e.g., SAT solvers. An… read more here.
Keywords: boolean function; function; converting boolean; equations inequalities ... See more keywords
Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Control Systems Letters"
DOI: 10.48550/arxiv.2204.06367
Abstract: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is based on Mixed-Integer Convex Programming (MICP). The MICP approach… read more here.
Keywords: signal temporal; binary variables; mixed integer; integer programming ... See more keywords