7 papers · ranked by Valyu relevance
Leixian Shen, Enya Shen, Zhiwei Tai, Yihao Xu + 2 more
'Jianmin Wang'] General visualization recommendation systems typically make design decisions for the dataset automatically. However, most of them can only prune meaningless visualizations but fail to recommend targeted results. This paper contributes TaskVis, a task-oriented visualization recommendation system that…
Zhongtao Xie, Yisong Wang, Lei Yang, Renyan Feng
Circumscription is an important logic framework for representing and reasoning common-sense knowledge. With efficient implementations for circumscription, including circ2dlp and aspino, it has been widely used in model-based diagnosis and other domains. We propose a notion of minimal reduct for propositional…
Jing Xie, Qi Duan
Biological pathway analysis often requires identifying interventions that block reachability to an undesirable state, such as a disease-associated module, toxic byproduct, or adverse phenotype, while preserving reachability among essential biological functions. Motivated by this setting, we study the Reachability…
Bryan Glazer, Jonathan Lifferth, Carlos F. Lopez
Many important processes in biology, such as signaling and gene regulation, can be described using logic models. These logic models are typically built to behaviorally emulate experimentally observed phenotypes, which are assumed to be steady states of a biological system. Most models are built by hand and therefore…
Wojciech Wieczorek, Jan Kozak, Łukasz Strąk, Arkadiusz Nowakowski + 1 more
A new two-stage method for the construction of a decision tree is developed. The first stage is based on the definition of a minimum query set, which is the smallest set of attribute-value pairs for which any two objects can be distinguished. To obtain this set, an appropriate linear programming model is proposed. The…
Parisa Kordjamshidi, Dan Roth, Kristian Kersting
Data-driven approaches are becoming increasingly common as problem-solving tools in many areas of science and technology. In most cases, machine learning models are the key component of these solutions. Often, a solution involves multiple learning models, along with significant levels of reasoning with the models'…
Tristan Stérin, Abeer Eshra, Janet Adio, Constantine Glen Evans + 1 more
Like life, computers are out-of-equilibrium.^1,2^ Thermodynamically favoured error states are thwarted by energetically-costly processes such as kinetic proofreading of biological polymers, error-correcting codes in computer data storage, and redundancy in molecular programming. Decades of theoretical work shows that…