Information & computer science publications
-
Tailoring Consistency in Group Membership for Mobile Networks
In this paper, we present a group membership service based on partial member connectivity that allows members to agree on a shared approximation of the group membership based on local…
-
Software-Defined Cyber-Physical Multinetworks
We discuss challenges in leveraging heterogeneous networking technologies to create resilient and flexible infrastructure for information collection and information dissemination in cyber-physical environments.
-
The EcoCyc Database
The long-term goal of the project is to describe the complete molecular catalog of the E. coli cell, as well as the functions of each of its molecular parts, to…
-
Synthesis for Polynomial Lasso Programs
We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form…
-
The Metacyc Database of Metabolic Pathways and Enzymes and the Biocyc Collection of Pathway/Genome Databases
MetaCyc (MetaCyc.org) is a universal database of metabolic pathways and enzymes from all domains of life. The pathways in MetaCyc are curated from the primary scientific literature, and are experimentally…
-
Dynamic Pooling for Complex Event Recognition
Complex events are defined as events composed of several characteristic behaviors, whose temporal configuration can change from sequence to sequence.
-
Intelligent Learning Technologies Part 2: Applications of Artificial Intelligence to Contemporary and Emerging Educational Challenges
The issue concludes with an article summarizing the contemporary and emerging challenges at the intersection of AI and education.
-
Accountable Clouds
To address current limitations, we propose a suite of mechanisms that enhances cloud computing technologies with more assurance capabilities. Assurance becomes a measurable property, quantified by the volume of evidence…
-
AVANT-GUARD: Scalable and Vigilant Switch Flow Management in Software-Defined Networks
We present Avant-Guard, an implementation of our two data plane extensions, evaluate the performance impact, and examine its use for developing more scalable and resilient SDN security services.
-
Example of a Complementary Use of Model Checking and Agent-Based Simulation
In this work, agent-based, hybrid time simulation and model checking are combined and their respective advantages leveraged in an original manner to find problematic human-automation interaction (HAI) early in the…
-
Semantic Pooling for Complex Event Detection
We propose a semantic pooling approach to tackle this issue. Unlike the conventional pooling over the entire video or specific spatial regions of a video, we employ a discriminative approach…
-
Modular Compilation of Guarded Atomic Actions
In this paper we propose a new modular compilation scheme which supports compilation of modules with interface methods as parameters and preserves Bluespec's one-rule-at-a-time semantic model.