Aditya Chopra, Heng Lian: Total Variation, Adaptive Total Variation and Nonconvex Smoothly Clipped Absolute Deviation Penalty for Denoising Blocky Images.
Brijesh Kumar Rai, Bikash Kumar Dey: Sum-networks: System of polynomial equations, unachievability of coding capacity, reversibility, insufficiency of linear network coding.
Tiberiu Marius Karnyanszky, Mihai Titu: Upon the Modeling and the Optimization of the Debiting Process through Computer Aided Non-Conventional Technologies.
Boris Yangel: Fast Weak Learner Based on Genetic Algorithm.
Sayee C. Kompalli, Ravi R. Mazumdar: On a Generalized Foster-Lyapunov Type Criterion for the Stability of Multidimensional Markov chains with Applications to the Slotted-Aloha Protocol with Finite Number of Queues.
Muhammad Fainan Hanif, Peter J. Smith: On the Statistics of Cognitive Radio Capacity in Shadowing and Fast Fading Environments (Journal Version).
Dorel Micle, Marcel Torok-Oance, Liviu Maruia: The morpho-topographic and cartographic analysis of the archaeological site Cornesti "Iarcuri", Timis County, Romania, using computer sciences methods (GIS and Remote Sensing techniques).
Serguei A. Mokhov: Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics.
Carl Hewitt: Norms and Commitment for ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking.
Ophir Setter: Constructing Two-Dimensional Voronoi Diagrams via Divide-and-Conquer of Envelopes in Space.
Jacques-Olivier Lachaud: Coding cells of digital spaces: a framework to write generic digital topology algorithms.
Miao Song: Feynman Algorithm Implementation for Comparison with Euler in a Uniform Elastic Two-Layer 2D and 3D Object Dynamic Deformation Framework in OpenGL with GUI.
Fred Lunnon: The Pagoda Sequence: a Ramble through Linear Complexity, Number Walls, D0L Sequences, Finite State Automata, and Aperiodic Tilings.
130-148
Serguei A. Mokhov, Joey Paquet: Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions.
Fabio Patrizi: An Introduction to Simulation-Based Techniques for Automated Service Composition.
37-49
Serguei A. Mokhov, Joey Paquet: A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY.
Siddhivinayak Kulkarni, Imad Haidar: Forecasting Model for Crude Oil Price Using Artificial Neural Networks and Commodity Futures Prices.
Lorentz Jäntschi: A genetic algorithm for structure-activity relationships: software implementation.
Maurice H. ter Beek (Ed.):
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, (YR-SOC 2009), Pisa, Italy, 17-19th June 2009.
EPTCS 2 2009 Contents
Chen Jing-wei, Feng Yong, Qin Xiao-lin: Detecting Simultaneous Integer Relation for Real Vectors and Finding the Minimal Polynomial of an Algebraic Number.
