Searching...
Advanced Search
S
SYNASC
2008
2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Timisoara, Romania
September 26-September 29
ISBN: 978-0-7695-3523-4
Table of Contents
Papers
Cover Art
(PDF)
pp. C4,C1
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Copyright Page
(PDF)
pp. iv
ABSTRACT
PDF
Table of Contents
(PDF)
pp. v-xi
ABSTRACT
PDF
Preface and Conference Organization
(PDF)
pp. xii-xviii
ABSTRACT
PDF
Multi-Domain Logic and its Applications to SAT
(Abstract)
Tudor Jebelean
Gabor Kusper
pp. 3-8
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Communicating Mathematics via Pen-Based Interfaces
(Abstract)
Elena Smirnova
Stephen M. Watt
pp. 9-18
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Random Numbers for Quantum Key Distribution
(Abstract)
Hugo Zbinden
pp. 19
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Graph Rewriting in Computational Origami
(Abstract)
Tetsuo Ida
pp. 20-27
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Triangular Decomposition for Algebraic and Geometric Computing
(Abstract)
Dongming Wang
pp. 28
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Expansions and Equivalence of Queries Using Views with Parameters and Negation
(Abstract)
Victor Felea
Marian Balta
pp. 31-38
ABSTRACT
PDF
PURCHASE ARTICLE: $19
On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi
(Abstract)
Alexander Lyaletski
pp. 39-46
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus
(Abstract)
Mihaiela Lupea
pp. 47-53
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Non-Well-Founded Probabilities and Coinductive Probability Logic
(Abstract)
Andrew Schumann
pp. 54-57
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Abstract Matrix Arithmetic
(Abstract)
Alan P. Sexton
Volker Sorge
Stephen M. Watt
pp. 61-68
ABSTRACT
PDF
PURCHASE ARTICLE: $19
On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter
(Abstract)
Armin Größlinger
Stefan Schuster
pp. 69-76
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Groebner Bases and Solutions to Diophantine Equations
(Abstract)
Mihai Cipu
pp. 77-80
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Complementaries of Greek Means with Respect to the Logarithmic Mean
(Abstract)
Iulia Costin
pp. 81-84
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Rewrite Stack Machine for ROC!
(Abstract)
Georgiana Caltais
Eugen-Ioan Goriac
Dorel Lucanu
Gheorghe Grigoras
pp. 85-91
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Lexical Chains Segmentation in Summarization
(Abstract)
Doina Tatar
Andreea Diana Mihis
Gabriela Serban Czibula
pp. 95-101
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Supply Chain Risk Management by Mining Business Dependencies
(Abstract)
Lucian Hancu
pp. 102-109
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Grammar-Based Automatic Extraction of Definitions
(Abstract)
Adrian Iftene
Ionut Pistol
Diana Trandabat
pp. 110-115
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Building a Textual Entailment System for the RTE3 Competition. Application to a QA System
(Abstract)
Adrian Iftene
pp. 116-122
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Clustering Heterogeneous Web Data using Clustering by Compression. Cluster Validity
(Abstract)
Alexandra Cernian
Dorin Carstoiu
Adriana Olteanu
pp. 123-126
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Constrained Content Distribution and Communication Scheduling for Several Restricted Classes of Graphs
(Abstract)
Mugurel Ionut Andreica
Nicolae Tapus
pp. 129-136
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Optimal Scheduling of Two Communication Flows on Multiple Disjoint Packet-Type Aware Paths
(Abstract)
Mugurel Ionut Andreica
Nicolae Tapus
pp. 137-144
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Resource Competition and Synchronization in Membranes
(Abstract)
Bogdan Aman
Gabriel Ciobanu
pp. 145-151
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Data Compression on Multisets. Submultiset-Free Codes
(Abstract)
Cosmin Bonchis
Gabriel Ciobanu
Graiela Ghergu
Cornel Izbasa
pp. 152-157
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Coverability Problems for Jumping Petri Nets
(Abstract)
Cristian Vidrascu
pp. 158-163
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A (Timed) State-Transition Semantics for Reflective Petri Nets
(Abstract)
Lorenzo Capra
pp. 164-170
ABSTRACT
PDF
PURCHASE ARTICLE: $19
The Numerical Solutions for an Elliptic Control Problem
(Abstract)
Razvan Stefanescu
Viorel Arnautu
pp. 173-176
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Analytic Approximate Periodic Solutions Based on Harmonic Analysis
(Abstract)
Constantin Bota
Bogdan Caruntu
Marius Babescu
pp. 177-182
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Gauss-Lobatto-Kronrod Formulae and Adaptive Numerical Integration
(Abstract)
Radu Tiberiu Trimbitas
Maria Gabriela Trimbitas
pp. 183-186
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A CRT-Based Solution to Yao's Millionaires' Problem
(Abstract)
Sorin Iftene
Daniel Pasaila
pp. 189-192
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests
(Abstract)
Catalin V. Birjoveanu
pp. 193-196
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Some Structural and Security Properties of the Modular Secret Sharing
(Abstract)
Tatsiana Galibus
Gennadii Matveev
Nikolay Shenets
pp. 197-200
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing
(Abstract)
Raluca Lefticaru
Florentin Ipate
pp. 201-208
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Semi-Automated Wrappers Using Rule Trees
(Abstract)
Adrian Iasinschi
Mirel Cosulschi
pp. 209-215
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Combining Old-Fashioned Computer Go with Monte Carlo Go
(Abstract)
Florin Chelaru
Liviu Ciortuz
pp. 216-222
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Avoiding Segmentation in Multi-Digit Numeral String Recognition by Combining Single and Two-Digit Classifiers Trained without Negative Examples
(Abstract)
Dan Ciresan
pp. 225-230
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Dynamics of a Utility Based Distributed Video Proxy-Cache
(Abstract)
Claudiu Cobarzan
Alin Mihaila
Cristina Mihaila
pp. 231-238
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Prüfer Number Encoding for Genetic Bayesian Network Structure Learning Algorithm
(Abstract)
Beáta Reiz
Lehel Csató
Dan Dumitrescu
pp. 239-242
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Automatic Assessment of Cardiac Artery Disease by Using DCAD Module
(Abstract)
Vahid Khalilzad-Sharghi
Alireza Talebpour
Alireza Kamali-Asl
Nastaran Hendijani
pp. 243-246
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Concern-Oriented and Ontology-Based Design Approach of Software Architectures
(Abstract)
Crenguta Madalina Bogdan
pp. 249-252
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Clustering Based Automatic Refactorings Identification
(Abstract)
Istvan Gergely Czibula
Gabriela Czibula
pp. 253-256
ABSTRACT
PDF
PURCHASE ARTICLE: $19
iComponent: A Platform Independent Component Model for Dynamic Execution Environments
(Abstract)
Ioan Lazar
Bazil Parv
Simona Motogna
Istvan Gergely Czibula
Codrut-Lucian Lazar
pp. 257-264
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Verbalising R2ML Rules into SBVR
(Abstract)
Oana Nicolae
Gerd Wagner
pp. 265-272
ABSTRACT
PDF
PURCHASE ARTICLE: $19
ContractCML - A Contract Aware Component Modeling Language
(Abstract)
Vladiela Petrascu
Dan Chiorean
Dragos Petrascu
pp. 273-276
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Termination Analysis by Program Inversion
(Abstract)
Stefan Andrei
pp. 277-280
ABSTRACT
PDF
PURCHASE ARTICLE: $19
niSiDe: Interactive Tool for Understanding Distributed Software
(Abstract)
Dan C. Cosma
pp. 281-284
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Towards a Reverse Engineering Dataflow Analysis Framework for Java and C++
(Abstract)
Petru Florin Mihancea
pp. 285-288
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming
(Abstract)
Eneia Nicolae Todoran
Nicolae Gherman
pp. 289-294
ABSTRACT
PDF
PURCHASE ARTICLE: $19
From Formal Specification of Code Mobility to Design and Implementation: An UML-Based Mobile Agent Approach
(Abstract)
Amelia Badica
Costin Badica
pp. 297-304
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Considerations on Using Ontologies in Complex Systems
(Abstract)
Victoria Iordan
Alexandru Cicortas
pp. 305-309
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Solving the Countdown Problem Using Automatic Composition of Semantic Web Services
(Abstract)
Andrei-Horia Mogos
Adina Magda Florea
pp. 310-315
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Using Mobile Agents and Intelligent Data Analysis Techniques for Climate Environment Modeling and Weather Analysis and Prediction
(Abstract)
Mogos Radu Ioan
Socoll Paula Liliana
pp. 316-319
ABSTRACT
PDF
PURCHASE ARTICLE: $19
DL-AgentRecom - A Multi-Agent Based Recommendation System for Scientific Documents
(Abstract)
Horia-Emil Popa
Viorel Negru
Daniel Pop
Ionel Muscalagiu
pp. 320-324
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Theory of Adaptable Contract-Based Service Composition
(Abstract)
Giovanni Bernardi
Michele Bugliesi
Damiano Macedonio
Sabina Rossi
pp. 327-334
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Solving Storage Limitations Using a Peer-to-Peer Web File System
(Abstract)
Florian Mircea Boian
Rares Florin Boian
pp. 335-339
ABSTRACT
PDF
PURCHASE ARTICLE: $19
UML Model Refactoring as Refinement: A Coalgebraic Perspective
(Abstract)
Luis Soares Barbosa
Sun Meng
pp. 340-347
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Primal Congestion Control Algorithms for Multimedia Streams
(Abstract)
Adrian Sterca
pp. 348-353
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Time Slot Groups - A Data Structure for QoS-Constrained Advance Bandwidth Reservation and Admission Control
(Abstract)
Mugurel Ionut Andreica
Nicolae Tapus
pp. 354-357
ABSTRACT
PDF
PURCHASE ARTICLE: $19
BBUFs: A New Lookup Mechanism Based on IPV6
(Abstract)
Dan Cojocar
pp. 358-361
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Modeling Framework for Generating Security Protocol Specifications
(Abstract)
Genge Béla
Haller Piroska
pp. 362-365
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Undecidability Results for Finite Interactive Systems
(Abstract)
Alexandru Sofronia
Alexandru Popa
Gheorghe Stefanescu
pp. 366-369
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Workflow Management for Symbolic Grid Services
(Abstract)
Alexandru Carstea
Georgiana Macariu
Marc Frincu
Dana Petcu
pp. 373-379
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Distributed Algorithm for Critical Area Detection in Satellite Imagery
(Abstract)
Razvan Alecsandrescu
Florin Pop
Valentin Cristea
pp. 380-386
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Design and Performance Evaluation of a Resource Allocation System Based on Agreement Services
(Abstract)
Michel Hurfin
Jean-Pierre Le Narzul
pp. 387-393
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Designing a Grid-Based Training Platform for Earth Observation
(Abstract)
Silviu Panica
Marian Neagul
Dana Petcu
Teodor Stefanut
Dorian Gorgan
pp. 394-397
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Grid Services and Satellite Image Processing for Urban and River Bed Changes Assessment
(Abstract)
Cristina Gherghina
Eliza Isbasoiu
pp. 398-401
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Designing a Dynamic Replication Engine for Grid Shared Data Programming
(Abstract)
Georgiana Macariu
Dacian Tudor
Vladimir Cretu
pp. 402-409
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Broadcasting Clouds Masks and Snow Areas Detected in MedioGrid to Mobile Devices
(Abstract)
Ciprian Bortos
Mihaela Ordean
Gheorghe Cosmin Silaghi
pp. 410-415
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Cluster Based Modeling and Remote Visualization of Virtual Geographical Space
(Abstract)
Victor Bacu
Lucian Muresan
Dorian Gorgan
pp. 416-421
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Implementing a Brokered Notification System for Grid Middleware
(Abstract)
Andrei Mihut
Horia Ciocirlie
pp. 422-429
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Practical Issues in Implementing TRNGs in FPGAs Based on the Ring Oscillator Sampling Method
(Abstract)
Octavian Cret
Alin Suciu
Tamas Györfi
pp. 433-438
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Software Random Number Generation Based on Race Conditions
(Abstract)
Adrian Colesa
Radu Tudoran
Sebastian Banescu
pp. 439-444
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Data Flow Entropy Collector
(Abstract)
Alin Suciu
Kinga Marton
Zoltan Antal
pp. 445-448
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Bipolar Junction Effects for High Entropy Data Harvesters
(Abstract)
Gabriel Chindris
Marius Muresan
pp. 449-452
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Cryptographic Algorithm Based on a Pseudorandom Number Generator
(Abstract)
Dominic Bucerzan
pp. 453-456
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Anatomy of Differential Power Analysis for AES
(Abstract)
Jude Angelo Ambrose
Naeill Aldon
Aleksandar Ignjatovic
Sri Parameswaran
pp. 459-466
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Towards a Real-Time Scheduling Framework for Data Transfers in Tree Networks
(Abstract)
Mugurel Ionut Andreica
Eliana-Dina Tirsa
pp. 467-474
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies
(Abstract)
Stefan Andrei
Albert Mo Kim Cheng
pp. 475-479
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Timed and Hybrid Automata in SAL
(Abstract)
P. Vijay Suman
Paritosh K. Pandya
pp. 480-486
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Hardware Implementation of P Systems Using Microcontrollers. An Operating Environment for Implementing a Partially Parallel Distributed Architecture
(Abstract)
Sandra María Gómez Canaval
Abraham Gutiérrez Rodríguez
Santiago Alonso Villaverde
pp. 489-495
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Algorithm for Application of Evolution Rules Based on Linear Diofantic Equations
(Abstract)
Alberto Arteta
Luis Fernandez
Javier Gil
pp. 496-500
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Searching Ground States of Ising Spin Glasses with a Tree Bond-Based Representation
(Abstract)
Andrei Bautu
Elena Bautu
Henri Luchian
pp. 501-506
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Evolutionary Approach for Modeling Time Series
(Abstract)
Elena Bautu
Andrei Bautu
Henri Luchian
pp. 507-513
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Selective Breeding Analysed as a Communication Channel: Channel Capacity as a Fundamental Limit on Adaptive Complexity
(Abstract)
Chris Watkins
pp. 514-518
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Using Base Pairing Probabilities for MiRNA Recognition
(Abstract)
Daniel Pasaila
Irina Mohorianu
Liviu Ciortuz
pp. 519-525
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Multi-Population Agent Search: Stigmergy and Heterogeneity
(Abstract)
Camelia Chira
Camelia-M. Pintea
D. Dumitrescu
pp. 526-531
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Shaping Up Clusters with PSO
(Abstract)
Mihaela Breaban
Silvia Luchian
pp. 532-537
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Analysis of Some Mating and Collaboration Strategies in Evolutionary Algorithms
(Abstract)
Anca Gog
Camelia Chira
D. Dumitrescu
Daniela Zaharie
pp. 538-542
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Adaptive Particle Swarm Optimizer Using Balanced Explorative and Exploitative Behaviors
(Abstract)
Sayan Ghosh
Debarati Kundu
Kaushik Suresh
Swagatam Das
Ajith Abraham
pp. 543-550
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Investigating Landscape Topology for Subpopulation Differentiation in Genetic Chromodynamics
(Abstract)
Ruxandra Stoean
Catalin Stoean
D. Dumitrescu
pp. 551-554
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Decentralized Dynamic Resource Allocation for Workflows in Grid Environments
(Abstract)
Florin Pop
Ciprian Dobre
Valentin Cristea
pp. 557-563
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Towards Validating Prediction Systems for Process Understandability: Measuring Process Understandability
(Abstract)
Joachim Melcher
Detlef Seese
pp. 564-571
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Visualization and Clustering of Business Process Collections Based on Process Metric Values
(Abstract)
Joachim Melcher
Detlef Seese
pp. 572-575
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Checking Correctness and Compliance of Integrated Process Models
(Abstract)
René Wörzberger
Thomas Kurpick
Thomas Heer
pp. 576-583
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
(PDF)
pp. 584-586
ABSTRACT
PDF
Roster Page
(PDF)
pp. 588
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
