Closure properties of linear context-free tree languages with an application to optimality theory Fulltext Access 16 Pages 2006
Eigenvariables, bracketing and the decidability of positive minimal predicate logic Fulltext Access 16 Pages 2006
MAWS: A platform-independent framework for mobile agents using Web services Fulltext Access 16 Pages 2006
A robust framework for real-time distributed processing of satellite data Fulltext Access 16 Pages 2006
BlueCube: Constructing a hypercube parallel computing and communication environment over Bluetooth radio systems Fulltext Access 16 Pages 2006
Refinement calculus: A basis for translation validation, debugging and certification Fulltext Access 16 Pages 2006
Countering security threats in service-oriented on-demand grid computing using sandboxing and trusted computing techniques Fulltext Access 16 Pages 2006
Collapsar: A VM-based honeyfarm and reverse honeyfarm architecture for network attack capture and detention Fulltext Access 16 Pages 2006
Scheduling of a meta-task with QoS requirements in heterogeneous computing systems Fulltext Access 16 Pages 2006
Simple approximation algorithms and PTASs for various problems in wireless ad hoc networks Fulltext Access 16 Pages 2006
DistDLB: Improving cosmology SAMR simulations on distributed computing systems through hierarchical load balancing Fulltext Access 16 Pages 2006
Data redistribution and remote method invocation for coupled components Fulltext Access 16 Pages 2006
Linear time isotonic and unimodal regression in the L1L1 and L∞L∞ norms Fulltext Access 16 Pages 2006
On the relationship between combinatorial and LP-based lower bounds for NP-hard scheduling problems Fulltext Access 16 Pages 2006
A PTAS for the minimization of polynomials of fixed degree over the simplex Fulltext Access 16 Pages 2006
Synchronization of a bounded degree graph of cellular automata with nonuniform delays in time Fulltext Access 16 Pages 2006
Chosen ciphertext attacks on lattice-based public key encryption and modern (non-quantum) cryptography in a quantum environment Fulltext Access 16 Pages 2006
Local heuristics and the emergence of spanning subgraphs in complex networks Fulltext Access 16 Pages 2006
Fully asynchronous behavior of double-quiescent elementary cellular automata Fulltext Access 16 Pages 2006
Component composition preserving behavioral contracts based on communication traces Fulltext Access 16 Pages 2006
Efficient algorithms for robustness in resource allocation and scheduling problems Fulltext Access 16 Pages 2006
Characterizations of context-sensitive languages and other language classes in terms of symport/antiport P systems Fulltext Access 16 Pages 2006
A Lagrangian heuristic algorithm for a real-world train timetabling problem Fulltext Access 16 Pages 2006
An improved collapsed Gibbs sampler for Dirichlet process mixing models Fulltext Access 16 Pages 2006
Data analysis using regression models with missing observations and long-memory: an application study Fulltext Access 16 Pages 2006
Combinatorial individual differences scaling within the city-block metric Fulltext Access 16 Pages 2006
Mixed model-based inference in geoadditive hazard regression for interval-censored survival times Fulltext Access 16 Pages 2006
Computation of Huber's M-estimates for a block-angular regression problem Fulltext Access 16 Pages 2006
A recursive approach to detect multivariable conditional variance components and conditional random effects Fulltext Access 16 Pages 2006
Faster core-set constructions and data-stream algorithms in fixed dimensions Fulltext Access 16 Pages 2006
A linear time approximation scheme for the single machine scheduling problem with controllable processing times Fulltext Access 16 Pages 2006
A simpler and faster 1.5-approximation algorithm for sorting by transpositions Fulltext Access 16 Pages 2006
On a solvability of contact problems with visco-plastic friction in the thermo-visco-plastic Bingham rheology Fulltext Access 16 Pages 2006
GPU-accelerated DXT and JPEG compression schemes for low-latency network transmissions of HD, 2K, and 4K video Fulltext Access 16 Pages 2006
Application of an optimization problem in Max-Plus algebra to scheduling problems Fulltext Access 16 Pages 2006
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method ⋆ Fulltext Access 16 Pages 2006
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools Fulltext Access 16 Pages 2006
Robust Box–Cox transformations based on minimum residual autocorrelation Fulltext Access 17 Pages 2006
Comparison of methodologies to assess the convergence of Markov chain Monte Carlo methods Fulltext Access 17 Pages 2006
Testing the martingale difference hypothesis using integrated regression functions Fulltext Access 17 Pages 2006