# name
Lecture Notes in Artificial Intelligence

# publicationVenueFor[].label
Modeling cellular user mobility using a leap graph

# publicationVenueFor[].label
Time-Space-Activity Conflict Detection Using 4D Visualization in Multi-storied Construction Project

# publicationVenueFor[].label
Supporting the Creation of Scholarly Bibliographies by Communities through Online Reputation Based Social Collaboration

# publicationVenueFor[].label
On Approximation Algorithms for Two-Stage Scheduling Problems

# publicationVenueFor[].label
Computational Neuro-Modeling of Visual Memory: Multimodal Imaging and Analysis

# publicationVenueFor[].label
Minimization of sonic boom on supersonic aircraft using an evolutionary algorithm

# publicationVenueFor[].label
Graph-based topology correction for brain cortex segmentation

# publicationVenueFor[].label
Efficient and Universally Composable Committed Oblivious Transfer and Applications

# publicationVenueFor[].label
Linear Problem Kernels for Planar Graph Problems with Small Distance Property

# publicationVenueFor[].label
Creating Diverse Product Review Summaries: A Graph Approach

# publicationVenueFor[].label
Visualization of variants in textual collations to analyze the evolution of literary works in the Cervantes Project

# publicationVenueFor[].label
A lower bound on approximation algorithms for the closest substring problem

# publicationVenueFor[].label
Designing Educational Virtual Environments for Construction Safety: A Case Study in Contextualizing Incident Reports and Engaging Learners

# publicationVenueFor[].label
W-hardness under linear FPT-reductions: Structural properties and further applications

# publicationVenueFor[].label
Segmentation of medical image objects using deformable shape loci

# publicationVenueFor[].label
Ensemble: A Distributed Portal for the Distributed Community of Computing Education

# publicationVenueFor[].label
Tools for simulating and analyzing RNA folding kinetics

# publicationVenueFor[].label
KLA: A New Algorithmic Paradigm for Parallel Graph Computations

# publicationVenueFor[].label
Enhancing Digital Libraries and Portals with Canonical Structures for Complex Objects

# publicationVenueFor[].label
Traffic matrix reloaded: Impact of routing changes

# publicationVenueFor[].label
A Comparison of Children's Narrative Expressions in Enactment and Writing

# publicationVenueFor[].label
The Role of XSLT in Digital Libraries, Editions, and Cultural Exhibits

# publicationVenueFor[].label
An Innovative Employment of Virtual Humans to Explore the Chess Personalities of Garry Kasparov and Other Class-A Players

# publicationVenueFor[].label
A Comparison Between the Zero Forcing Number and the Strong Metric Dimension of Graphs

# publicationVenueFor[].label
Exponential stability of fuzzy cellular neural networks with unbounded delay

# publicationVenueFor[].label
Improved MaxSAT Algorithms for Instances of Degree 3

# publicationVenueFor[].label
Cross-Analysis of Botnet Victims: New Insights and Implications

# publicationVenueFor[].label
Identifying Long-Term High-Bandwidth Flows at a Router

# publicationVenueFor[].label
A 2k Kernel for the Cluster Editing Problem

# publicationVenueFor[].label
Robust Stability of Fuzzy Cohen-Grossberg Neural Networks with Delays

# publicationVenueFor[].label
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs

# publicationVenueFor[].label
Genus characterizes the complexity of graph problems: Some tight results

# publicationVenueFor[].label
Improving Density Based Clustering with Multi-scale Analysis

# publicationVenueFor[].label
Asynchronous Nested Parallelism for Dynamic Applications in Distributed Memory

# publicationVenueFor[].label
Multiscale interpolation, backward in time error analysis for data-driven contaminant simulation

# publicationVenueFor[].label
Exploring Performative Authoring as a Story Creation Approach for Children

# publicationVenueFor[].label
On the amount of nondeterminism and the power of verifying

# publicationVenueFor[].label
Roadmap-Based Level Clearing of Buildings

# publicationVenueFor[].label
On log-time alternating turing machines of alternation depth k (extended abstract)

# publicationVenueFor[].label
Performance measurements for privacy preserving data mining

# publicationVenueFor[].label
Bootstrapping the Blockchain, with Applications to Consensus and Fast PKI Setup

# publicationVenueFor[].label
An Improved SAT Algorithm in Terms of Formula Length

# publicationVenueFor[].label
SAS: A scalar anonymous communication system

# publicationVenueFor[].label
Towards a Third Generation of Control Systems

# publicationVenueFor[].label
Provably Secure DNS: A Case Study in Reliable Software

# publicationVenueFor[].label
SMT Solving for the Theory of Ordering Constraints

# publicationVenueFor[].label
Training Teams with Collaborative Agents

# publicationVenueFor[].label
Can Social Reference Management Systems Predict a Ranking of Scholarly Venues?

# publicationVenueFor[].label
A randomized approximation algorithm for parameterized 3-D matching counting problem

# publicationVenueFor[].label
CritSpace: A Workspace for Critical Engagement within Cultural Heritage Digital Libraries

# publicationVenueFor[].label
Insight for practical subdivision modeling with discrete Gauss-Bonnet theorem

# publicationVenueFor[].label
Successful Use of an Expert System to Teach Diagnostic Reasoning for Antibody Identification

# publicationVenueFor[].label
Unitary error bases: Constructions, equivalence, and applications

# publicationVenueFor[].label
Decomposition techniques for efficient ROBDD construction

# publicationVenueFor[].label
Virtual mobile nodes for mobile ad hoc networks

# publicationVenueFor[].label
Guiding or Exploring? Finding the Right Way to Teach Students Structural Analysis with Augmented Reality

# publicationVenueFor[].label
On reshaping of clustering coefficients in degree-based topology generators

# publicationVenueFor[].label
The nautical archaeology digital library

# publicationVenueFor[].label
An improved group setup strategy for PCB assembly

# publicationVenueFor[].label
Multi-step Predictions of Landslide Displacements Based on Echo State Network

# publicationVenueFor[].label
Towards a Better Understanding of Chess Players' Personalities: A Study Using Virtual Chess Players

# publicationVenueFor[].label
Parametric duality and kernelization: Lower bounds and upper bounds on kernel size

# publicationVenueFor[].label
Understanding the Dynamic Scholarly Research Needs and Behavior as Applied to Social Reference Management

# publicationVenueFor[].label
A Crowd Modeling Framework for Socially Plausible Animation Behaviors

# publicationVenueFor[].label
The smallest multistationary mass-preserving chemical reaction network

# publicationVenueFor[].label
Memristor Crossbar Array for Image Storing

# publicationVenueFor[].label
On the parametrization of algebraic discrete fourier transforms

# publicationVenueFor[].label
A note on data-driven contaminant simulation

# publicationVenueFor[].label
TCP-DCR: Making TCP robust to non-congestion events

# publicationVenueFor[].label
Randomized shared queues applied to distributed optimization algorithms

# publicationVenueFor[].label
Integrating sample-driven and pattern-driven approaches in motif finding

# publicationVenueFor[].label
The Disjunctive Bondage Number and the Disjunctive Total Bondage Number of Graphs

# publicationVenueFor[].label
Aggregated aggressiveness control on groups of TCP flows

# publicationVenueFor[].label
The Evolution of Scholarly Digital Library Needs in an International Environment: Social Reference Management Systems and Qatar

# publicationVenueFor[].label
"I keep collecting": College students build and utilize collections in spite of breakdowns

# publicationVenueFor[].label
A polynomial time solvable formulation of multiple sequence alignment

# publicationVenueFor[].label
GPS and 3DOF tracking for georeferenced registration of construction graphics in outdoor augmented reality

# publicationVenueFor[].label
An optimal algorithm for finding the separation of simple polygons

# publicationVenueFor[].label
Toward Simulating Realistic Pursuit-Evasion Using a Roadmap-Based Approach

# publicationVenueFor[].label
Social Navigation Support for Groups in a Community-Based Educational Portal

# publicationVenueFor[].label
Real-Time Control of a Remote Virtual Tutor Using Minimal Pen-Gestures

# publicationVenueFor[].label
Improved algorithms for the feedback vertex set problems

# publicationVenueFor[].label
An Improved Kernel for Planar Connected Dominating Set

# publicationVenueFor[].label
Parameterized Complexity of Control and Bribery for d-Approval Elections

# publicationVenueFor[].label
Evaluation of Data and Request Distribution Policies in Clustered Servers

# publicationVenueFor[].label
Semi-semantic Line-Cluster Assisted Monocular SLAM for Indoor Environments

# publicationVenueFor[].label
On the effective enumerability of NP problems

# publicationVenueFor[].label
On a class of Boussinesq equations for shallow water waves

# publicationVenueFor[].label
Scalable array SSA and array data flow analysis

# publicationVenueFor[].label
Timed fair exchange of standard signatures [extended abstract]

# publicationVenueFor[].label
IMR-Pathload: Robust available bandwidth estimation under end-host interrupt delay

# publicationVenueFor[].label
CRASH RESILIENT COMMUNICATION IN DYNAMIC NETWORKS

# publicationVenueFor[].label
Simulating a Shared Register in an Asynchronous System that Never Stops Changing

# publicationVenueFor[].label
Biomechanical Simulation of Human Eye Movement

# publicationVenueFor[].label
Exploring Scholarly Impact Metrics in Receipt of Highly Prestigious Awards

# publicationVenueFor[].label
RE2-CD: Robust and Energy Efficient Cut Detection in Wireless Sensor Networks

# publicationVenueFor[].label
Dynamic contaminant identification in water

# publicationVenueFor[].label
Fast Approximate Distance Queries in Unweighted Graphs Using Bounded Asynchrony

# publicationVenueFor[].label
Scalable Self-taught Deep-Embedded Learning Framework for Drug Abuse Spatial Behaviors Detection

# publicationVenueFor[].label
A framework for building collaboration tools by leveraging industrial components

# publicationVenueFor[].label
Artificial Intelligence (AI), the Future of Work, and the Building of a National Talent Ecosystem

# publicationVenueFor[].label
Energy Proportionality and Performance in Data Parallel Computing Clusters

# publicationVenueFor[].label
Parallel reductions: An application of adaptive algorithm selection

# publicationVenueFor[].label
Randomized disposal of unknowns and implicitly enforced bounds on parameters

# publicationVenueFor[].label
Self-Organization of Tactile Receptive Fields: Exploring Their Textural Origin and Their Representational Properties

# publicationVenueFor[].label
Getting Started with Sketch Tools A Tutorial on Sketch Recognition Tools

# publicationVenueFor[].label
Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation

# publicationVenueFor[].label
Optimal Embedding for Shape Indexing in Medical Image Databases

# publicationVenueFor[].label
Improved algorithms for weighted and unweighted set splitting problems

# publicationVenueFor[].label
An Efficient Fixed-Parameter Enumeration Algorithm for Weighted Edge Dominating Set

# publicationVenueFor[].label
Reliable Networks with Unreliable Sensors

# publicationVenueFor[].label
STAPL: An adaptive, generic parallel C++ library

# publicationVenueFor[].label
An image registration framework to estimate 3D myocardial strains from cine cardiac MRI in mice.

# publicationVenueFor[].label
Incorporating physical and digital artifacts into growing personal collections

# publicationVenueFor[].label
An exploration of space-time constraints on contextual information in image-based testing interfaces

# publicationVenueFor[].label
Probabilistic Combination of Multiple Evidence

# publicationVenueFor[].label
Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks

# publicationVenueFor[].label
Automated Reconstruction of Neurovascular Networks in Knife-Edge Scanning Microscope Rat Brain Nissl Data Set

# publicationVenueFor[].label
A Closed-Form Solution for Transcription Factor Activity Estimation Using Network Component Analysis

# publicationVenueFor[].label
Digital Library 2.0 for Educational Resources

# publicationVenueFor[].label
Deterministic Collision Free Communication Despite Continuous Motion

# publicationVenueFor[].label
Towards a Gesture-Based Story Authoring System: Design Implications from Feature Analysis of Iconic Gestures During Storytelling

# publicationVenueFor[].label
Supporting computational systems science: Genomic analysis tool federations using aspects and AOP

# publicationVenueFor[].label
Benchmarking Parallel I/O Performance for a Large Scale Scientific Application on the TeraGrid

# publicationVenueFor[].label
Organizing Documents to Support Activities

# publicationVenueFor[].label
Optimal clock synchronization under energy constraints in wireless ad-hoc networks - (Extended abstract)

# publicationVenueFor[].label
Random Methods for Parameterized Problems

# publicationVenueFor[].label
DroidMiner: Automated Mining and Characterization of Fine-grained Malicious Behaviors in Android Applications

# publicationVenueFor[].label
Extending Open Dynamics Engine for Robotics Simulation

# publicationVenueFor[].label
Brain image analysis using spherical splines

# publicationVenueFor[].label
Polynomial Time Approximation Schemes and Parameterized Complexity

# publicationVenueFor[].label
Using Simulation Based Training Methods for Improved Warfighter Decision Making

# publicationVenueFor[].label
Collaborative Authoring of Waldens Paths

# publicationVenueFor[].label
Altmetrics for country-level research assessment

# publicationVenueFor[].label
Parameterized and Approximation Algorithms for the MAF Problem in Multifurcating Trees

# publicationVenueFor[].label
Vitriol on Social Media: Curation and Investigation

# publicationVenueFor[].label
Virtual telemetry for dynamic data-driven application simulations

# publicationVenueFor[].label
Development of Integrated DAO Pattern Applying Iterator Pattern

# publicationVenueFor[].label
Global Exponential Stability of Recurrent Neural Networks with Time-Dependent Switching Dynamics

# publicationVenueFor[].label
Diagramming Aesthetics: Modernism and architecture in the 21st Century

# publicationVenueFor[].label
A Novel Approach Based on Joint Optimization of Alignment and Statistical Surface Representation with Wavelet Transform for CBCT Segmentation

# publicationVenueFor[].label
Approximation Algorithms for Maximum Agreement Forest on Multiple Trees

# publicationVenueFor[].label
Safety and liveness in intelligent intersections

# publicationVenueFor[].label
Kernels for Packing and Covering Problems

# publicationVenueFor[].label
Multiple sequence alignment based on profile alignment of intermediate sequences

# publicationVenueFor[].label
Full Reversal Routing as a Linear Dynamical System

# publicationVenueFor[].label
A Hybrid Approach to Proving Memory Reference Monotonicity

# publicationVenueFor[].label
Timed release of standard digital signatures extended abstract

# publicationVenueFor[].label
Standard Templates Adaptive Parallel Library (STAPL)

# publicationVenueFor[].label
Bioinspired Simulation of Knotting Hagfish

# publicationVenueFor[].label
Intelligent sequential mining via alignment: Optimization techniques for very large DB

# publicationVenueFor[].label
GeoQuorums: Implementing atomic memory in mobile ad hoc networks

# publicationVenueFor[].label
A general theory of codes, II: Paradigms and homomorphisms

# publicationVenueFor[].label
CRYPTOSYSTEMS BASED ON AN ANALOG OF HEAT-FLOW

# publicationVenueFor[].label
Batch scheduling algorithms for optical burst switching networks

# publicationVenueFor[].label
AWCR: Adaptive and Weighted Collaborative Representations for Face Super-Resolution with Context Residual-Learning

# publicationVenueFor[].label
On log-time alternating Turing machines of alternation depth k

# publicationVenueFor[].label
An Effective Branching Strategy for Some Parameterized Edge Modification Problems with Multiple Forbidden Induced Subgraphs

# publicationVenueFor[].label
A multipole based treecode using spherical harmonics for potentials of the form r(-lambda)

# publicationVenueFor[].label
Energy Efficient Monitoring for Intrusion Detection in Battery-Powered Wireless Mesh Networks

# publicationVenueFor[].label
DDDAS/ITR: A Data Mining and Exploration Middleware for Grid and Distributed Computing

# publicationVenueFor[].label
Performative Authoring: Nurturing Storytelling in Children through Imaginative Enactment

# publicationVenueFor[].label
PARALLEL CONVEXITY ALGORITHMS FOR DIGITIZED IMAGES ON A LINEAR-ARRAY OF PROCESSORS

# publicationVenueFor[].label
Implementation issues of loop-level speculative run-time parallelization

# publicationVenueFor[].label
Bounds on the costs of register implementations

# publicationVenueFor[].label
Representation of Complex Concepts for Semantic Routed Network

# publicationVenueFor[].label
Some Geometrical Aspects of Control Points for Toric Patches

# publicationVenueFor[].label
Cone-Beam Computed Tomography (CBCT) Segmentation by Adversarial Learning Domain Adaptation

# publicationVenueFor[].label
An Innovative Employment of the NetLogo AIDS Model in Developing a New Chain Code for Compression

# publicationVenueFor[].label
On the Interaction of SIP and Admission Control: An Inter-domain Call Authorization Model for Internet Multimedia Applications

# publicationVenueFor[].label
Skin Lesion Feature Vector Space with a Metric to Model Geometric Structures of Malignancy for Classification

# publicationVenueFor[].label
Structuring access to a dynamic collection of digital documents: The Walden's Paths virtual directories

# publicationVenueFor[].label
Neuro-Adaptive Containment Seeking of Multiple Networking Agents with Unknown Dynamics

# publicationVenueFor[].label
Component-Based Authoring of Complex, Petri net-based Digital Library Infrastructure

# publicationVenueFor[].label
Simulation Studies for Predicting Surgical Outcomes in Breast Reconstructive Surgery

# publicationVenueFor[].label
The Fractional k-truncated Metric Dimension of Graphs

# publicationVenueFor[].label
Environmental effect on egress simulation

# publicationVenueFor[].label
Automatic parallelization using the value evolution graph

# publicationVenueFor[].label
Towards Optimal Event Detection and Localization in Acyclic Flow Networks

# publicationVenueFor[].label
Thought Chart: Tracking Dynamic EEG Brain Connectivity with Unsupervised Manifold Learning

# publicationVenueFor[].label
A Directional Medium Access Control Protocol for 5G Millimeter-Wave Local Area Networks

# publicationVenueFor[].label
On-Demand Big Data Analysis in Digital Repositories: A Lightweight Approach

# publicationVenueFor[].label
On Parameterized Exponential Time Complexity

# publicationVenueFor[].label
On the Security of Application Installers and Online Software Repositories

# publicationVenueFor[].label
A linear time algorithm for isomorphism of graphs of bounded average genus

# publicationVenueFor[].label
Load balanced onion relay for prevention of traffic analysis inn ad hoc networks

# publicationVenueFor[].label
Nonbinary quantum codes from Hermitian curves

# publicationVenueFor[].label
Detecting Spam URLs in Social Media via Behavioral Analysis

# publicationVenueFor[].label
A little honesty goes a long way: The two-tier model for secure multiparty computation

# publicationVenueFor[].label
Design and use of htalib - A library for hierarchically tiled arrays

# publicationVenueFor[].label
A timed automaton-based method for accurate computation of circuit delay in the presence of cross-talk

# publicationVenueFor[].label
Simulation-Based Training of Ill-Defined Social Domains: The Complex Environment Assessment and Tutoring System (CEATS)

# publicationVenueFor[].label
Integrating diverse research in a digital library focused on a single author

# publicationVenueFor[].label
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

# publicationVenueFor[].label
Parameterized Algorithms for Maximum Agreement Forest on Multiple Trees

# publicationVenueFor[].label
Non-memory-based and real-time zerotree building for wavelet zerotree coding systems

# publicationVenueFor[].label
Link Reversal: How to Play Better to Work Less

# publicationVenueFor[].label
Mixed FEM for Second Order Elliptic Problems on Polygonal Meshes with BEM-Based Spaces

# publicationVenueFor[].label
Greedy localization and color-coding: Improved matching and packing algorithms

# publicationVenueFor[].label
Dynamic Regular Registers in Systems with Churn

# publicationVenueFor[].label
Electron Microscopy Image Segmentation with Graph Cuts Utilizing Estimated Symmetric Three-Dimensional Shape Prior

# publicationVenueFor[].label
Using adaptive timeouts to achieve at-most-once message delivery

# publicationVenueFor[].label
Stabilizing Dining with Failure Locality 1

# publicationVenueFor[].label
Inventory and facility location models with market selection

# publicationVenueFor[].label
Connecting interface metaphors to support creation of path-based collections

# publicationVenueFor[].label
Robust Solvers for Symmetric Positive Definite Operators and Weighted Poincar Inequalities

# publicationVenueFor[].label
An improved parameterized algorithm for a generalized matching problem

# publicationVenueFor[].label
Geometry and Gesture-Based Features from Saccadic Eye-Movement as a Biometric in Radiology

# publicationVenueFor[].label
Load balancing on an interactive multiplayer game server

# publicationVenueFor[].label
Dissecting Applications Uninstallers and Removers: Are They Effective?

# publicationVenueFor[].label
Error-Sensor: Mining Information from HTTP Error Traffic for Malware Intelligence

# publicationVenueFor[].label
Management of Visual Clutter in Annotated 3D CAD Models: A Comparative Study

# publicationVenueFor[].label
Wavelet image interpolation (WII): A wavelet-based approach to enhancement of digital mammography images

# publicationVenueFor[].label
On the Domain Attraction of Fuzzy Neural Networks

# publicationVenueFor[].label
SOLVING ELLIPTIC PROBLEMS BY THE DOMAIN DECOMPOSITION METHOD USING PRECONDITIONING MATRICES DERIVED BY MULTILEVEL SPLITTINGS OF THE FINITE-ELEMENT MATRIX

# publicationVenueFor[].label
Potential Tasks and Research Issues for Mobile Robots in RoboCup Rescue

# publicationVenueFor[].label
On the Attack-and-Fault Tolerance of Intrusion Detection Systems in Wireless Mesh Networks

# publicationVenueFor[].label
Parallel simulation of particulate flows

# publicationVenueFor[].label
Empirical and theoretical evaluation of active probing attacks and their countermeasures

# publicationVenueFor[].label
A practical parameterized algorithm for the individual haplotyping problem MLF

# publicationVenueFor[].label
Die Free or Live Hard? Empirical Evaluation and New Design for Fighting Evolving Twitter Spammers

# publicationVenueFor[].label
On the structure of parameterized problems in NP

# publicationVenueFor[].label
Mobility Allowance Shuttle Transit (MAST) services: MIP formulation and strengthening with logic constraints

# publicationVenueFor[].label
Network Delay Tomography from End-to-End Unicast Measurements

# publicationVenueFor[].label
Why We Need a Theory of Maliciousness: Hardware Performance Counters in Security

# publicationVenueFor[].label
Design for Interoperability in STAPL: pMatrices and Linear Algebra Algorithms

# publicationVenueFor[].label
Lower cost modular spatially innnersive visualization

# publicationVenueFor[].label
Ergodic Dynamics for Large-Scale Distributed Robot Systems

# publicationVenueFor[].label
Art 101: Learning to Draw through Sketch Recognition

# publicationVenueFor[].label
Learning of Phase-Amplitude-Type Complex-Valued Neural Networks with Application to Signal Coherence

# publicationVenueFor[].label
Take advantage of the computing power of DAN computers

# publicationVenueFor[].label
Synchronization of impulsive fuzzy cellular neural networks with parameter mismatches

# publicationVenueFor[].label
A tool for maintaining multi-variant hypertext documents

# publicationVenueFor[].label
Intrinsic near quadratic complexity bounds for real multivariate root counting

# publicationVenueFor[].label
Multiscale Modeling and Simulation of Fluid Flows in Highly Deformable Porous Media

# publicationVenueFor[].label
Fast Object Detection with Foveated Imaging and Virtual Saccades on Resource Limited Robots

# publicationVenueFor[].label
Brief Announcement: Failure Detectors Encapsulate Fairness

# publicationVenueFor[].label
Inventing Requirements with Creativity Support Tools

# publicationVenueFor[].label
Boundedness and Stability for a Class of Timescale-Type Time-Varying Systems

# publicationVenueFor[].label
Texts, illustrations, and physical objects: The case of ancient shipbuilding treatises

# publicationVenueFor[].label
On flow correlation attacks and countermeasures in mix networks

# publicationVenueFor[].label
A High-Fidelity 3D Micromechanical Model of Ventricular Myocardium.

# publicationVenueFor[].label
GoldenEye: Efficiently and Effectively Unveiling Malwares Targeted Environment

# publicationVenueFor[].label
Vector coherence mapping: A parallelizable approach to image flow computation

# publicationVenueFor[].label
Associative parallel containers in STAPL

# publicationVenueFor[].label
Gesture Recognition Based on Manifold Learning

# publicationVenueFor[].label
Enabling Instrumental Interaction Through Electronics Making: Effects on Children's Storytelling

# publicationVenueFor[].label
Genotype Sequence Segmentation: Handling Constraints and Noise

# publicationVenueFor[].label
Identifying useful passages in documents based on annotation patterns

# publicationVenueFor[].label
Autonomous acquisition of the meaning of sensory states through sensory-invariance driven action

# publicationVenueFor[].label
Improved FPT Algorithms for Rectilinear k-Links Spanning Path

# publicationVenueFor[].label
Data-Based Optimal Tracking Control of Nonaffine Nonlinear Discrete-Time Systems

# publicationVenueFor[].label
Alignment Effects and Allocentric-Headings within a Relative Heading Task

# publicationVenueFor[].label
EvolutionWorks Towards Improved Visualization of Citation Networks

# publicationVenueFor[].label
Enhanced Discriminative Generative Adversarial Network for Face Super-Resolution

# publicationVenueFor[].label
A Noise-Filtering Approach for Spatio-temporal Event Detection in Social Media

# publicationVenueFor[].label
Galerkin FEM for Fractional Order Parabolic Equations with Initial Data in H-s, 0 <= s <= 1

# publicationVenueFor[].label
Blockchains from Non-idealized Hash Functions

# publicationVenueFor[].label
Online Community Conflict Decomposition with Pseudo Spatial Permutation

# publicationVenueFor[].label
AN ITERATION PARTITION APPROACH FOR CACHE OR LOCAL MEMORY THRASHING ON PARALLEL PROCESSING

# publicationVenueFor[].label
Vertex cover: Further observations and further improvements

# publicationVenueFor[].label
A Second Order Central Scheme for Hamilton-Jacobi Equations on Triangular Grids

# publicationVenueFor[].label
Mission unaccomplished: Form and behavior but no function

# publicationVenueFor[].label
Deep Learning Based Imaging Data Completion for Improved Brain Disease Diagnosis

# publicationVenueFor[].label
Matching and P2-Packing: Weighted Versions

# publicationVenueFor[].label
Host Trait Prediction of Metagenomic Data for Topology-Based Visualization

# publicationVenueFor[].label
Speculative parallelization of partially parallel loops

# publicationVenueFor[].label
The Circuit Realization of a Neuromorphic Computing System with Memristor-Based Synapse Design

# publicationVenueFor[].label
Distributed resource allocation in ad hoc networks

# publicationVenueFor[].label
A hierarchical feature based deformation model applied to 4D cardiac SPECT data

# publicationVenueFor[].label
A Novel Computer-Aided Surgical Simulation (CASS) System to Streamline Orthognathic Surgical Planning

# publicationVenueFor[].label
Optimal algorithms for finding connected components of an unknown graph

# publicationVenueFor[].label
Simulating protein motions with rigidity analysis

# publicationVenueFor[].label
Clock Offset Estimation in Wireless Sensor Networks Using Bootstrap Bias Correction

# publicationVenueFor[].label
Deep learning based imaging data completion for improved brain disease diagnosis.

# publicationVenueFor[].label
Eyedecryptprivate interactions in plain sight

# publicationVenueFor[].label
Multi-writer consistency conditions for shared memory objects

# publicationVenueFor[].label
SmartApps: An Application Centric Approach to High Performance Computing

# publicationVenueFor[].label
PoisonAmplifier: A Guided Approach of Discovering Compromised Websites through Reversing Search Poisoning Attacks

# publicationVenueFor[].label
A Protocol for Mixed Autonomous and Human-Operated Vehicles at Intersections

# publicationVenueFor[].label
SRID: State Relation Based Intrusion Detection for False Data Injection Attacks in SCADA

# publicationVenueFor[].label
A Case Study of How Mobile Robot Competitions Promote Future Research

# publicationVenueFor[].label
Design of a Low-Cost Social Robot: Towards Personalized Human-Robot Interaction

# publicationVenueFor[].label
Finding-NEVO: Toward Radical Design in HCI

# publicationVenueFor[].label
Unsupervised CNN-Based Co-saliency Detection with Graphical Optimization

# publicationVenueFor[].label
The problem with evolutionary art is ...

# publicationVenueFor[].label
Toward Resilient Smart Grid Communications Using Distributed SDN with ML-Based Anomaly Detection

# publicationVenueFor[].label
The Design of a Low-Cost Wide Area Network Simulator

# publicationVenueFor[].label
Parallel performance of hierarchical multipole algorithms for inductance extraction

# publicationVenueFor[].label
Improving Average Performance by Relaxing Distributed Data Structures

# publicationVenueFor[].label
Multicut in Trees Viewed through the Eyes of Vertex Cover

# publicationVenueFor[].label
Enhancing Digital Libraries with Social Navigation: The Case of Ensemble

# publicationVenueFor[].label
A System Analytics Framework for Detecting Infrastructure-Related Topics in Disasters Using Social Sensing

# publicationVenueFor[].label
L(a)ying in (Test)Bed How Biased Datasets Produce Impractical Results for Actual Malware Families' Classification

# publicationVenueFor[].label
PARALLEL CONVEXITY ALGORITHMS FOR DIGITIZED IMAGES ON A LINEAR-ARRAY OF PROCESSORS

# publicationVenueFor[].label
Computational Model of a Central Pattern Generator

# publicationVenueFor[].label
Using nondeterminism to design efficient deterministic algorithms

# publicationVenueFor[].label
Labeled search trees and amortized analysis: Improved upper bounds for NP-hard problems

# publicationVenueFor[].label
An Interpretable Neural Model with Interactive Stepwise Influence

# publicationVenueFor[].label
Interaction-Aware Influence Maximization and Iterated Sandwich Method

# publicationVenueFor[].label
Circuit Design Style for Energy Efficiency: LSDL and Compound Domino

# publicationVenueFor[].label
Circuit design style for energy efficiency: LSDL and compound domino

# publicationVenueFor[].label
Memristor-Based Neuromorphic System with Content Addressable Memory Structure

# publicationVenueFor[].label
Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks

# publicationVenueFor[].label
Recommending Music Curators: A Neural Style-Aware Approach

# publicationVenueFor[].label
On a two-level parallel MIC(0) preconditioning of Crouzeix-Raviart non-conforming FEM systems

# publicationVenueFor[].label
From extraneous noise to categorizable signatures: Using multi-scale analyses to assess implicit interaction needs of older adults with visual impairments

# publicationVenueFor[].label
How influential are you: Detecting influential bloggers in a blogging community

# publicationVenueFor[].label
Modeling for Plastic and Reconstructive Breast Surgery

# publicationVenueFor[].label
An intuitive and effective new representation for interconnection network structures

# publicationVenueFor[].label
Stability of fuzzy cellular neural networks with impulses

# publicationVenueFor[].label
Optimal embedding for shape indexing in medical image databases.

# publicationVenueFor[].label
An improved parameterized algorithm for the minimum node multiway cut problem

# publicationVenueFor[].label
A framework for flexible information presentation in digital collections

# publicationVenueFor[].label
The semantic web and human inference: A lesson from cognitive science

# publicationVenueFor[].label
Self-organized Clustering of Square Objects by Multiple Robots

# publicationVenueFor[].label
Semi-normal schedulings: Improvement on Goemans' algorithm

# publicationVenueFor[].label
On Zero Forcing Number of Permutation Graphs

# publicationVenueFor[].label
An Improved Learning Algorithm with Tunable Kernels for Complex-Valued Radial Basis Function Neural Networks

# publicationVenueFor[].label
Relaxed Data Types as Consistency Conditions

# publicationVenueFor[].label
Diagramming aesthetics: Modernism and architecture in the 21st century

# publicationVenueFor[].label
Video Face Recognition with Audio-Visual Aggregation Network

# publicationVenueFor[].label
Single-Cell Gene Regulatory Network Analysis Reveals Potential Mechanisms of Action of Antimalarials Against SARS-CoV-2

# publicationVenueFor[].label
The Fractional Strong Metric Dimension of Graphs

# publicationVenueFor[].label
The Convergence of Control, Communication, and Computation

# publicationVenueFor[].label
Swarming behavior using probabilistic roadmap techniques

# publicationVenueFor[].label
Field-Aware Parameterization for 3D Painting

# publicationVenueFor[].label
A treecode for accurate force calculations

# publicationVenueFor[].label
Research on multi-valued and multi-labeled decision trees

# publicationVenueFor[].label
PRIDE: Practical Intrusion Detection in Resource Constrained Wireless Mesh Networks

# publicationVenueFor[].label
Discontinuous Galerkin Subgrid Finite Element Method for Heterogeneous Brinkman's Equations

# publicationVenueFor[].label
Precisely and Scalably Vetting JavaScript Bridge in Android Hybrid Apps

# publicationVenueFor[].label
On Feedback Vertex Set New Measure and New Structures

# publicationVenueFor[].label
Learning Spatial Transformations and their Math Representations through Embodied Learning in Augmented Reality

# publicationVenueFor[].label
Simultaneous Tracking, 3D Reconstruction and Deforming Point Detection for Stereoscope Guided Surgery

# publicationVenueFor[].label
Improved parameterized upper bounds for vertex cover

# publicationVenueFor[].label
Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers

# publicationVenueFor[].label
Techniques for reducing the overhead of run-time parallelization

# publicationVenueFor[].label
Comparative Study of Synthetic Bulk RNA-Seq Generators

# publicationVenueFor[].label
Cluster Editing: Kernelization Based on Edge Cuts

# publicationVenueFor[].label
A Hypothetical Agent-Based Model Inspired by the Abstraction of Solitary Behavior in Tigers and Its Employment as a Chain Code for Compression

# publicationVenueFor[].label
Modeling dynamic load balancing in molecular dynamics to achieve scalable parallel execution

# publicationVenueFor[].label
A Two-Stage Constrained Submodular Maximization

# publicationVenueFor[].label
Efficient deterministic algorithms for embedding graphs on books

# publicationVenueFor[].label
Mobile Sensor Network Localization in Harsh Environments

# publicationVenueFor[].label
Graph ear decompositions and graph embeddings

# publicationVenueFor[].label
Ontological Substance and Meaning in Live Electroacoustic Music

# publicationVenueFor[].label
Interactive face-replacements for modeling detailed shapes

# publicationVenueFor[].label
Expanding a humanities digital library: Musical references in Cervantes' works

# publicationVenueFor[].label
Hardware-Based Sequential Consistency Violation Detection Made Simpler

# publicationVenueFor[].label
Postprocessing and improved accuracy of the lowest-order mixed finite element approximation for biharmonic eigenvalues

# publicationVenueFor[].label
Minimal complete primitives for secure multi-party computation

# publicationVenueFor[].label
Improved pattern-driven algorithms for motif finding in DNA sequences

# publicationVenueFor[].label
Process mining by measuring process block similarity

# publicationVenueFor[].label
Checking Out: Download and Digital Library Exchange for Complex Objects

# publicationVenueFor[].label
On Optimal Connectivity Restoration in Segmented Sensor Networks

# publicationVenueFor[].label
A Novel Agent-Based Modeling Approach for Image Coding and Lossless Compression Based on the Wolf-Sheep Predation Model

# publicationVenueFor[].label
Hybridization of blind source separation and rough sets for proteomic biomarker identification

# publicationVenueFor[].label
The transfusion medicine tutor: Using expert systems technology to teach domain-specific problem-solving skills

# publicationVenueFor[].label
Evolution of Filter Bubbles and Polarization in News Recommendation

# publicationVenueFor[].label
The Effects of Finger-Walking in Place (FWIP) for Spatial Knowledge Acquisition in Virtual Environments

# publicationVenueFor[].label
Investigating the Role of Biofeedback and Haptic Stimulation in Mobile Paced Breathing Tools

# publicationVenueFor[].label
On product covering in supply chain models: Natural complete problems for W[3] and W [4]

# publicationVenueFor[].label
Fault tolerant routing algorithm in hypercube networks with load balancing support

# publicationVenueFor[].label
Anomalies and Similarities Among Consensus Numbers of Variously-Relaxed Queues

# publicationVenueFor[].label
A surface-based DNA algorithm for the expansion of symbolic determinants

# publicationVenueFor[].label
The Problem with Evolutionary Art Is ...

# publicationVenueFor[].label
On approximating minimum vertex cover for graphs with perfect matching

# publicationVenueFor[].label
On constrained minimum vertex covers of bipartite graphs: Improved algorithms

# publicationVenueFor[].label
Cograph Editing: Complexity and Parameterized Algorithms

# publicationVenueFor[].label
Workspace Narrative Exploration: Overcoming Interruption-Caused Context Loss in Information Seeking Tasks

# publicationVenueFor[].label
Project iMARECULTURE: Advanced VR, iMmersive Serious Games and Augmented REality as Tools to Raise Awareness and Access to European Underwater CULTURal heritagE

# publicationVenueFor[].label
Global Stabilization for Delayed Fuzzy Inertial Neural Networks

# publicationVenueFor[].label
Additive complexity and roots of polynomials over number fields and p-adic fields

# publicationVenueFor[].label
Detecting traffic anomalies using discrete wavelet transform

# publicationVenueFor[].label
Theory and algorithms for parallel computation

# publicationVenueFor[].label
WPv4: A Re-imagined Waldens Paths to Support Diverse User Communities

# publicationVenueFor[].label
Wavelet-based 3-D multifractal spectrum with applications in breast MRI images

# publicationVenueFor[].label
EAGL: An Elliptic Curve Arithmetic GPU-Based Library for Bilinear Pairing

# publicationVenueFor[].label
Hierarchical Organization of Functional Modules in Weighted Protein Interaction Networks Using Clustering Coefficient

# publicationVenueFor[].label
An Interactive Diagnostic Application for Food Crop Irrigation

# publicationVenueFor[].label
Stability of periodic solution in fuzzy BAM neural networks with finite distributed delays

# publicationVenueFor[].label
Hopf-Pitchfork Bifurcation Analysis of a Coupled Neural Oscillator System with Excitatory-to-Inhibitory Connection and Time Delay

# publicationVenueFor[].label
RAFNI: Robust Analysis of Functional NeuroImages with Non-normal -Stable Error

# publicationVenueFor[].label
On the approximability of multiprocessor task scheduling problems

# publicationVenueFor[].label
Visual Expression for Organizing and Accessing Music Collections in Music Wiz

# publicationVenueFor[].label
Detecting traffic anomalies through aggregate analysis of packet header data

# publicationVenueFor[].label
GeoQuorums: Implementing atomic memory in mobile ad hoc networks: (Extended abstract)

# publicationVenueFor[].label
Implementation of Sensitivity Analysis for Automatic Parallelization

# publicationVenueFor[].label
Maintaining Information About Nearby Processors in a Mobile Environment

# publicationVenueFor[].label
Robust Deep Learning for Improved Classification of AD/MCI Patients

# publicationVenueFor[].label
Information Holodeck: Thinking in Technology Ecologies

# publicationVenueFor[].label
Control Plane Reflection Attacks in SDNs: New Attacks and Countermeasures

# publicationVenueFor[].label
A Second Order Central Scheme for Hamilton-Jacobi Equations on Triangular Grids

# publicationVenueFor[].label
Deeper Local Search for Better Approximation on Maximum Internal Spanning Trees

# publicationVenueFor[].label
A security architecture for Tenet Scheme 2

# publicationVenueFor[].label
Examining the Information Requirements for Flocking Motion

# publicationVenueFor[].label
The cervantes project: Steps to a customizable and interlinked on-line electronic variorum edition supporting scholarship

# publicationVenueFor[].label
A simple linear-time approximation algorithm for multi-processor job scheduling on four processors

# publicationVenueFor[].label
On strong menger-connectivity of star graphs

# publicationVenueFor[].label
Effects of display configurations on document triage

# publicationVenueFor[].label
InvisiShapes: A Recognition System for Sketched 3D Primitives in Continuous Interaction Spaces

# publicationVenueFor[].label
RESQUE: Network Reduction Using Semi-Markov Random Walk Scores for Efficient Querying of Biological Networks (Extended Abstract)

# publicationVenueFor[].label
Polaris: Improving the effectiveness of parallelizing compilers