We introduce a deep generative model for representation learning of biological sequences that, unlike existing models, explicitly represents the evolutionary process. The model makes use of a tree-structured Ornstein-...
详细信息
We illustrate the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS. We define both early and late input in a general framework exte...
详细信息
We present novel concepts, technologies and potentials of optical data communication, especially for future computer architectures. The WDM (wavelength division multiplexing) and the optical wiring technologies are ex...
详细信息
We introduce a definitional extension of logic programming by means of an inference schema (Ph), which, in acertain sense, is dual to the (1-P) schema of rule application discussed in Part I. In the operational semant...
Logistic Regression (LR) is a widely used statistical model for classification problems. However, its training and evaluation in a shared environment increase the possibility of information leaking. A federated LR red...
详细信息
This book constitutes the refereed proceedings of the 8th International Conference on Flexible Query Answering Systems, FQAS 2009, held in Roskilde, Denmark, in October 2009. The 57 papers included in this volume were...
详细信息
ISBN:
(数字)9783642049576
ISBN:
(纸本)9783642049569
This book constitutes the refereed proceedings of the 8th International Conference on Flexible Query Answering Systems, FQAS 2009, held in Roskilde, Denmark, in October 2009. The 57 papers included in this volume were carefully reviewed and selected from 90 submissions. They are structured in topical sections on database management, information retrieval, extraction and mining, ontologies and semantic web, intelligent information extraction from texts, advances in fuzzy querying, personalization, preferences, context and recommendation, and Web as a stream.
The real time process algebra of Baeten and Bergstra [Formal Aspects of Computing, 3, 142-188 (1991)] is extended to real space by requiring the presence of spatial coordinates for each atomic action, in addition to t...
详细信息
We discuss a sequent style clause-based proof system that supports several important strategies in automatic theorem proving. The system has a goal-subgoal structure and supports back chaining with caching;it permits ...
详细信息
This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is ...
详细信息
In this study, a new generalized model of thermo-viscoelasticity with three phase-lag (TPL) theory concerning memory-dependent derivative (MDD) theory is emphasized. The governing combined equations of the novel model...
详细信息
暂无评论