10. SYNASC 2008: Timisoara, Romania

Invited Talks

• Tudor Jebelean, Gábor Kusper:
  Multi-Domain Logic and its Applications to SAT. 3-8
  
• Elena S. Smirnova, Stephen M. Watt:
  Communicating Mathematics via Pen-Based Interfaces. 9-18
  
• Hugo Zbinden:
  Random Numbers for Quantum Key Distribution. 19
  
• Tetsuo Ida:
  Graph Rewriting in Computational Origami. 20-27
  
• Dongming Wang:
  Triangular Decomposition for Algebraic and Geometric Computing. 28
  

Automated Reasoning

• Victor Felea, Marian Razvan Balta:
  Expansions and Equivalence of Queries Using Views with Parameters and Negation. 31-38
  
• Alexander V. Lyaletski:
  On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi. 39-46
  
• Mihaiela Lupea:
  Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus. 47-53
  
• Andrew Schumann:
  Non-Well-Founded Probabilities and Coinductive Probability Logic. 54-57
  

Computer Algebra

• Alan P. Sexton, Volker Sorge, Stephen M. Watt:
  Abstract Matrix Arithmetic. 61-68
  
• Armin Größlinger, Stefan Schuster:
  On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter. 69-76
  
• Mihai Cipu:
  Groebner Bases and Solutions to Diophantine Equations. 77-80
  
• Iulia Costin:
  Complementaries of Greek Means with Respect to the Logarithmic Mean. 81-84
  
• Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras:
  A Rewrite Stack Machine for ROC!. 85-91
  

Data Mining and Natural Language Processing

• Doina Tatar, Andreea Diana Mihis, Gabriela Serban Czibula:
  Lexical Chains Segmentation in Summarization. 95-101
  
• Lucian Hancu:
  Supply Chain Risk Management by Mining Business Dependencies. 102-109
  
• Adrian Iftene, Ionut Pistol, Diana Trandabat:
  Grammar-Based Automatic Extraction of Definitions. 110-115
  
• Adrian Iftene:
  Building a Textual Entailment System for the RTE3 Competition. Application to a QA System. 116-122
  
• Alexandra Cernian, Dorin Carstoiu, Adriana Olteanu:
  Clustering Heterogeneous Web Data using Clustering by Compression. Cluster Validity. 123-126
  

Distributed Systems

• Mugurel Ionut Andreica, Nicolae Tapus:
  Constrained Content Distribution and Communication Scheduling for Several Restricted Classes of Graphs. 129-136
  
• Mugurel Ionut Andreica, Nicolae Tapus:
  Optimal Scheduling of Two Communication Flows on Multiple Disjoint Packet-Type Aware Paths. 137-144
  
• Bogdan Aman, Gabriel Ciobanu:
  Resource Competition and Synchronization in Membranes. 145-151
  
• Cosmin Bonchis, Gabriel Ciobanu, Graiela Ghergu, Cornel Izbasa:
  Data Compression on Multisets. Submultiset-Free Codes. 152-157
  
• Cristian Vidrascu:
  Coverability Problems for Jumping Petri Nets. 158-163
  
• Lorenzo Capra:
  A (Timed) State-Transition Semantics for Reflective Petri Nets. 164-170
  

Numerical Algorithms and Mathematical Programming

• Razvan Stefanescu, Viorel Arnautu:
  The Numerical Solutions for an Elliptic Control Problem. 173-176
  
• Constantin Bota, Bogdan Caruntu, Marius Babescu:
  Analytic Approximate Periodic Solutions Based on Harmonic Analysis. 177-182
  
• Radu Tiberiu Trimbitas, Maria Gabriela Trimbitas:
  Gauss-Lobatto-Kronrod Formulae and Adaptive Numerical Integration. 183-186
  

Security and Search Based Algorithms

• Sorin Iftene, Daniel Pasaila:
  A CRT-Based Solution to Yao's Millionaires' Problem. 189-192
  
• Catalin V. Birjoveanu:
  Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests. 193-196
  
• Tatsiana Galibus, Gennadii Matveev, Nikolay Shenets:
  Some Structural and Security Properties of the Modular Secret Sharing. 197-200
  
• Raluca Lefticaru, Florentin Ipate:
  A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. 201-208
  
• Adrian Iasinschi, Mirel Cosulschi:
  Semi-Automated Wrappers Using Rule Trees. 209-215
  
• Florin Chelaru, Liviu Ciortuz:
  Combining Old-Fashioned Computer Go with Monte Carlo Go. 216-222
  

Soft Computing and Signal Processing

• Dan Ciresan:
  Avoiding Segmentation in Multi-Digit Numeral String Recognition by Combining Single and Two-Digit Classifiers Trained without Negative Examples. 225-230
  
• Claudiu Cobârzan, Alin Mihaila, Cristina Mihaila:
  Dynamics of a Utility Based Distributed Video Proxy-Cache. 231-238
  
• Beata Reiz, Lehel Csató, Dan Dumitrescu:
  Prufer Number Encoding for Genetic Bayesian Network Structure Learning Algorithm. 239-242
  
• Vahid Khalilzad-Sharghi, Alireza Talebpour, Alireza Kamali-Asl, Nastaran Hendijani:
  Automatic Assessment of Cardiac Artery Disease by Using DCAD Module. 243-246
  

Software Engineering

• Crenguta Madalina Bogdan:
  Concern-Oriented and Ontology-Based Design Approach of Software Architectures. 249-252
  
• István Gergely Czibula, Gabriela Czibula:
  Clustering Based Automatic Refactorings Identification. 253-256
  
• Ioan Lazar, Bazil Pârv, Simona Motogna, István Gergely Czibula, Codrut-Lucian Lazar:
  iComponent: A Platform Independent Component Model for Dynamic Execution Environments. 257-264
  
• Oana Nicolae, Gerd Wagner:
  Verbalising R2ML Rules into SBVR. 265-272
  
• Vladiela Petrascu, Dan Ioan Chiorean, Dragos Petrascu:
  ContractCML - A Contract Aware Component Modeling Language. 273-276
  
• Stefan Andrei:
  Termination Analysis by Program Inversion. 277-280
  
• Dan C. Cosma:
  niSiDe: Interactive Tool for Understanding Distributed Software. 281-284
  
• Petru Florin Mihancea:
  Towards a Reverse Engineering Dataflow Analysis Framework for Java and C++. 285-288
  
• Eneia Nicolae Todoran, Nicolae Gherman:
  Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming. 289-294
  

Agents for Complex Systems

• Amelia Badica, Costin Badica:
  From Formal Specification of Code Mobility to Design and Implementation: An UML-Based Mobile Agent Approach. 297-304
  
• Victoria Iordan, Alexandru Cicortas:
  Considerations on Using Ontologies in Complex Systems. 305-309
  
• Andrei-Horia Mogos, Adina Magda Florea:
  Solving the Countdown Problem Using Automatic Composition of Semantic Web Services. 310-315
  
• Mogos Radu Ioan, Socoll Paula Liliana:
  Using Mobile Agents and Intelligent Data Analysis Techniques for Climate Environment Modeling and Weather Analysis and Prediction. 316-319
  
• Horia Emil Popa, Viorel Negru, Daniel Pop, Ionel Muscalagiu:
  DL-AgentRecom - A Multi-Agent Based Recommendation System for Scientific Documents. 320-324
  

Global Computing

• Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi:
  A Theory of Adaptable Contract-Based Service Composition. 327-334
  
• Florian Mircea Boian, Rares Florin Boian:
  Solving Storage Limitations Using a Peer-to-Peer Web File System. 335-339
  
• Luís Soares Barbosa, Sun Meng:
  UML Model Refactoring as Refinement: A Coalgebraic Perspective. 340-347
  
• Adrian Sterca:
  Primal Congestion Control Algorithms for Multimedia Streams. 348-353
  
• Mugurel Ionut Andreica, Nicolae Tapus:
  Time Slot Groups - A Data Structure for QoS-Constrained Advance Bandwidth Reservation and Admission Control. 354-357
  
• Dan Cojocar:
  BBUFs: A New Lookup Mechanism Based on IPV6. 358-361
  
• Béla Genge, Piroska Haller:
  A Modeling Framework for Generating Security Protocol Specifications. 362-365
  
• Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu:
  Undecidability Results for Finite Interactive Systems. 366-369
  

Grid Computing Applications Development

• Alexandru Cârstea, Georgiana Macariu, Marc Frîncu, Dana Petcu:
  Workflow Management for Symbolic Grid Services. 373-379
  
• Razvan Alecsandrescu, Florin Pop, Valentin Cristea:
  A Distributed Algorithm for Critical Area Detection in Satellite Imagery. 380-386
  
• Michel Hurfin, Jean-Pierre Le Narzul:
  Design and Performance Evaluation of a Resource Allocation System Based on Agreement Services. 387-393
  
• Silviu Panica, Marian Neagul, Dana Petcu, Teodor Stefanut, Dorian Gorgan:
  Designing a Grid-Based Training Platform for Earth Observation. 394-397
  
• Cristina Gherghina, Eliza Isbasoiu:
  Grid Services and Satellite Image Processing for Urban and River Bed Changes Assessment. 398-401
  
• Georgiana Macariu, Dacian Tudor, Vladimir Cretu:
  Designing a Dynamic Replication Engine for Grid Shared Data Programming. 402-409
  
• Ciprian Bortos, Mihaela Ordean, Gheorghe Cosmin Silaghi:
  Broadcasting Clouds Masks and Snow Areas Detected in MedioGrid to Mobile Devices. 410-415
  
• Victor Bacu, Lucian Muresan, Dorian Gorgan:
  Cluster Based Modeling and Remote Visualization of Virtual Geographical Space. 416-421
  
• Andrei Mihut, Horia Ciocirlie:
  Implementing a Brokered Notification System for Grid Middleware. 422-429
  

Generation, Testing and Applications of Random Number Sequences

• Octavian Cret, Alin Suciu, Tamas Györfi:
  Practical Issues in Implementing TRNGs in FPGAs Based on the Ring Oscillator Sampling Method. 433-438
  
• Adrian Colesa, Radu Tudoran, Sebastian Banescu:
  Software Random Number Generation Based on Race Conditions. 439-444
  
• Alin Suciu, Kinga Marton, Zoltan Antal:
  Data Flow Entropy Collector. 445-448
  
• Gabriel Chindris, Marius Muresan:
  Bipolar Junction Effects for High Entropy Data Harvesters. 449-452
  
• Dominic Bucerzan:
  A Cryptographic Algorithm Based on a Pseudorandom Number Generator. 453-456
  

Real Time and Embedded Systems

• Jude Angelo Ambrose, Naeill Aldon, Aleksandar Ignjatovic, Sri Parameswaran:
  Anatomy of Differential Power Analysis for AES. 459-466
  
• Mugurel Ionut Andreica, Eliana-Dina Tirsa:
  Towards a Real-Time Scheduling Framework for Data Transfers in Tree Networks. 467-474
  
• Stefan Andrei, Albert Mo Kim Cheng:
  Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. 475-479
  
• P. Vijay Suman, Paritosh K. Pandya:
  Timed and Hybrid Automata in SAL. 480-486
  

Natural Computing and Applications

• Sandra Maria Gomez Canaval, Abraham Gutierrez Rodriguez, Santiago Alonso Villaverde:
  Hardware Implementation of P Systems Using Microcontrollers. An Operating Environment for Implementing a Partially Parallel Distributed Architecture. 489-495
  
• Alberto Arteta, Luis Fernandez, Javier Gil:
  Algorithm for Application of Evolution Rules Based on Linear Diofantic Equations. 496-500
  
• Andrei Bautu, Elena Bautu, Henri Luchian:
  Searching Ground States of Ising Spin Glasses with a Tree Bond-Based Representation. 501-506
  
• Elena Bautu, Andrei Bautu, Henri Luchian:
  An Evolutionary Approach for Modeling Time Series. 507-513
  
• Chris Watkins:
  Selective Breeding Analysed as a Communication Channel: Channel Capacity as a Fundamental Limit on Adaptive Complexity. 514-518
  
• Daniel Pasaila, Irina Mohorianu, Liviu Ciortuz:
  Using Base Pairing Probabilities for MiRNA Recognition. 519-525
  
• Camelia Chira, Camelia-Mihaela Pintea, Dumitru Dumitrescu:
  Multi-Population Agent Search: Stigmergy and Heterogeneity. 526-531
  
• Mihaela Breaban, Silvia Luchian:
  Shaping Up Clusters with PSO. 532-537
  
• Anca Gog, Camelia Chira, D. Dumitrescu, Daniela Zaharie:
  Analysis of Some Mating and Collaboration Strategies in Evolutionary Algorithms. 538-542
  
• Sayan Ghosh, Debarati Kundu, Kaushik Suresh, Swagatam Das, Ajith Abraham:
  An Adaptive Particle Swarm Optimizer Using Balanced Explorative and Exploitative Behaviors. 543-550
  
• Ruxandra Stoean, Catalin Stoean, D. Dumitrescu:
  Investigating Landscape Topology for Subpopulation Differentiation in Genetic Chromodynamics. 551-554
  

Workflows and Process Management

• Florin Pop, Ciprian Dobre, Valentin Cristea:
  Decentralized Dynamic Resource Allocation for Workflows in Grid Environments. 557-563
  
• Joachim Melcher, Detlef Seese:
  Towards Validating Prediction Systems for Process Understandability: Measuring Process Understandability. 564-571
  
• Joachim Melcher, Detlef Seese:
  Visualization and Clustering of Business Process Collections Based on Process Metric Values. 572-575
  
• René Wörzberger, Thomas Kurpick, Thomas Heer:
  Checking Correctness and Compliance of Integrated Process Models. 576-583
  

Last update Wed Feb 15 05:19:07 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page