![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
10th SYNASC 2008: Timisoara, Romania
- Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie:
SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3523-4
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. Bîrjoveanu:
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 C. 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 - Beáta 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
- Alberto Arteta
, Luis Fernández, 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.