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…
-
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.
-
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.
-
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.
-
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…
-
Augmented Reality Binoculars
In this paper we present an augmented reality binocular system to allow long range high precision augmentation of live telescopic imagery with aerial and terrain based synthetic objects, vehicles, people…
-
Detecting Anomalies in Cellular Networks Using an Ensemble Method
This paper focuses on the problem of cell anomaly detection, addressing partial and complete degradations in cell-service performance, and it proposes an adaptive ensemble method framework for modeling cell behavior.
-
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…