Sciweavers

1283 search results - page 204 / 257
» Science: the rules of the game
Sort
View
DIS
2006
Springer
15 years 5 months ago
Prediction of Domain-Domain Interactions Using Inductive Logic Programming from Multiple Genome Databases
Protein domains are the building blocks of proteins, and their interactions are crucial in forming stable protein-protein interactions (PPI) and take part in many cellular processe...
Thanh Phuong Nguyen, Tu Bao Ho
RTA
1991
Springer
15 years 5 months ago
Completeness of Combinations of Constructor Systems
A term rewriting system is called complete if it is both confluent and strongly norrealizing. Barendregt and Klop showed that the disjoint union of complete term rewriting systems...
Aart Middeldorp, Yoshihito Toyama
ACSC
2008
IEEE
15 years 4 months ago
An efficient hash-based algorithm for minimal k-anonymity
A number of organizations publish microdata for purposes such as public health and demographic research. Although attributes of microdata that clearly identify individuals, such a...
Xiaoxun Sun, Min Li, Hua Wang, Ashley W. Plank
ESWS
2008
Springer
15 years 3 months ago
Enhancing Workflow with a Semantic Description of Scientific Intent
Abstract. In the e-Science context, workflow technologies provide a problemsolving environment for researchers by facilitating the creation and execution of experiments from a pool...
Edoardo Pignotti, Peter Edwards, Alun D. Preece, N...
JAPLL
2006
112views more  JAPLL 2006»
15 years 1 months ago
Intuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
Torben Braüner, Valeria de Paiva