Bioinformatics is an important application area for grid computing. Bioinformatics applications exported over a grid have the potential to facilitate transparent access to high performance computing (HPC) resources to a range of stakeholders. These stakeholders include application users, application developers, system administrators as well as service providers. In this paper we describe a Web ...

Advances in high-throughput materials fabrication and characterization techniques have resulted in faster rates of data collection and rapidly growing volumes of experimental data. To convert this mass of information into actionable knowledge of material process-structure-property relationships requires high-throughput data analysis techniques. This work explores the use of the Graph-based endm...

john gardner’s grendel is a celebrated example of the ontological postmodernist fiction. along with a discovery of self with which grendel the narrator of the novel is concerned, grand narratives such as philosophy are questioned. grendel denies the external objective reality and generously allows the legitimacy of fantastic and non-realistic methods by using “life-affirming fabulous art” as it...

John Gardner’s Grendel is a celebrated example of the ontological postmodernist fiction. Along with a discovery of self with which Grendel the narrator of the novel is concerned, grand narratives such as philosophy are questioned. Grendel denies the external objective reality and generously allows the legitimacy of fantastic and non-realistic methods by using “life-affirming fabulous art” as it...

We describe a system that allows one to rapidly implement a variety of biases for inductive logic programming; this is an especially suitable area for rapid prototyping, as a number of diierent restrictions on logic programs have been proposed. Our prototyping system is an extension of the Grendel learning system, which accepts two inputs: a set of examples of the concept to be learned, and an ...

MOTIVATION Over the past decade, the prospect of inferring networks of gene regulation from high-throughput experimental data has received a great deal of attention. In contrast to the massive effort that has gone into automated deconvolution of biological networks, relatively little effort has been invested in benchmarking the proposed algorithms. The rate at which new network inference method...

Motivated by modern cryptographic use cases such as multi-party computation (MPC), homomorphic encryption (HE), and zero-knowledge (ZK) protocols, several symmetric schemes that are efficient in these scenarios have recently been proposed the literature. Some of instantiated with low-degree nonlinear functions, for example power maps (e.g., MiMC, HadesMiMC, Poseidon) or Toffoli gate Ciminion). ...

The authors describe a methodology for helping computational biologists diagnose discrepancies they encounter between experimental data and the predictions of scientific models. The authors call these discrepancies data-model conflicts. They have built a prototype system to help scientists resolve these conflicts in a more systematic, evidence-based manner. In computational biology, data-model ...