, Maciej Koutny
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010.
M. Emre Celebi
: Fast Color Quantization Using Weighted Sort-Means Clustering.
: Query Efficient PTAS for Minimum Feedback Arc-Set in Tournaments.
L. F. Johnson
: Golden and Alternating, fast simple O(lg n) algorithms for Fibonacci.
: IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata.
: From UML Specification into Implementation using Object Mapping.
: Developing courses with HoloRena, a framework for scenario- and game based e-learning environments.
: Stabilizing knowledge through standards - A perspective for the humanities.
, K. Kuppusamy
: Ciphertext Policy Attribute based Encryption with anonymous access policy.
, Bichitra Kalita
: Heuristic Approach of Automated Test Data Generation for Program having Array of Different Dimensions and Loops with Variable Number of Iteration.
Tim A. Majchrzak
: Improving the Technical Aspects of Software Testing in Enterprises.
: On reversible cascades in scale-free and Erdős-Rényi random graphs.
: Probabilistic Inferences in Bayesian Networks.
: A recombination algorithm for the decomposition of multivariate rational functions.
Dai Tri Man Le
: On Three Alternative Characterizations of Combined Traces.
: Santa Claus Schedules Jobs on Unrelated Machines.
: Probabilistic Model Checking for Propositional Projection Temporal Logic.
: A short proof that adding some permutation rules to β preserves SN.
: Optimal Binary Search Trees with Near Minimal Height.
A. A. Krizhanovsky
: Transformation of Wiktionary entry structure into tables and relations in a relational database schema.
: A Survey on Wireless Sensor Network Security.
: An Agent-Based Intrusion Detection System for Local Area Networks.
: Multivariate vector sampling expansions in shift invariant subspaces.
: The $z$-Transform and Automata-Recognizable Systems of Nonhomogeneous Linear Recurrence Equations over Semirings.
: A Stable Explicit Scheme for Solving Non-Homogeneous Constant Coefficients Equation using Green's Function.
, José M. F. Moura
: Convergence Rate Analysis of Distributed Gossip (Linear Parameter) Estimation: Fundamental Limits and Tradeoffs.
: An Impossibility Result for Truthful Combinatorial Auctions with Submodular Valuations.
: Mobility and Handoff Management in Wireless Networks.
: Ubiquitous Computing: Potentials and Challenges.
: Understanding the Cycle of Knowledge: Its rise, preservation and decay.
: Evaluation of Lifetime Bounds of Wireless Sensor Networks.
, Zhengdao Wang
: Degrees of Freedom Regions of Two-User MIMO Z and Full Interference Channels: The Benefit of Reconfigurable Antennas.
: Static and dynamic characteristics of protein contact networks.
: A Distributed Method for Trust-Aware Recommendation in Social Networks.
A. A. Karawia
: A New Algorithm for Inverting General Cyclic Heptadiagonal Matrices Recursively.
: What is a categorical model of the differential and the resource lambda-calculi?
: Usability Meets Instant Gratification on the Semantic Web.
Michael T. Goodrich
: Spin-the-bottle Sort and Annealing Sort: Oblivious Sorting via Round-robin Random Comparisons.
: Individual Privacy vs Population Privacy: Learning to Attack Anonymization.
: A Stable Explicit Scheme for Solving Inhomogeneous Constant Coefficients Differential Equation using Green's Function.
: On the Problem of Local Randomness in Privacy Amplification with an Active Adversary.
: A Formal Model for Dynamically Adaptable Services.
Nam Yul Yu
: Deterministic Compressed Sensing Matrices from Multiplicative Character Sequences.
: Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach.
: New Set of Codes for the Maximum-Likelihood Decoding Problem.
: System Virtualization and Efficient ID Transmission Method for RFID Tag Infrastructure Network.
: Web Conferencing Traffic - An Analysis using DimDim as Example.
: Reducing Higher Order Pi-Calculus to Spatial Logics.
: A Survey of System Security in Contactless Electronic Passports.
: Tensor-SIFT based Earth Mover's Distance for Contour Tracking.
, Saman Majeed
: Towards Increase in Quality by Preprocessed Source Code and Measurement Analysis of Software Applications.
: The Inverse Task of the Reflexive Game Theory: Theoretical Matters, Practical Applications and Relationship with Other Issues.
: The emergence of the physical world from information processing.
: Worst case efficient single and multiple string matching in the Word-RAM model.
: Distributed Interference Cancellation in Multiple Access Channels.
: Linear lambda calculus with explicit substitutions as proof-search in Deep Inference.
: Commutative-like Encryption: A New Characterization of ElGamal.
A. A. Karawia
: On the Inverse Of General Cyclic Heptadiagonal and Anti-Heptadiagonal Matrices.
: Comments on Degrees of freedom region for $K$-user interference channel with $M$ antennas.
: Dynamics in parallel of double Boolean automata circuits.
V. F. Romanov
: Non-orthodox combinatorial models based on discordant structures.
: Clustering and Latent Semantic Indexing Aspects of the Singular Value Decomposition.
Melanie E. Moses
, Soumya Banerjee
: Biologically Inspired Design Principles for Scalable, Robust, Adaptive, Decentralized Search and Automated Response (RADAR).
: Variational and symplectic approach of the model-free control.
: Should one compute the Temporal Difference fix point or minimize the Bellman Residual? The unified oblique projection view.
: QoS-enabled ANFIS Dead Reckoning Algorithm for Distributed Interactive Simulation.
: Combinatorial Geometry of Graph Partitioning - I.
Yun Bao Huang
: Smooth infinite words over $n$-letter alphabets having same remainder when divided by $n$.
A. A. Karawia
: A New Algorithm for General Cyclic Heptadiagonal Linear Systems Using Sherman-Morrison-Woodbury formula.