default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th SYNASC 2015: Timisoara, Romania
- Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015. IEEE Computer Society 2015, ISBN 978-1-5090-0461-4
Invited Papers
- Ruzica Piskac
:
From Decision Procedures to Synthesis Procedures. 3-10 - Manuel Kauers:
Creative Telescoping via Hermite Reduction. 11 - Arie Gurfinkel:
Algorithmic Logic-Based Verification with SeaHorn. 12-15 - Daniel Hedin, Andrei Sabelfeld:
Web Application Security Using JSFlow. 16-19 - Peter J. Bentley:
Building a Nature-Inspired Computer. 20-21 - Stefan Woltran:
Dynamic Programming on Tree Decompositions in Practice - Some Lessons Learned. 22
Symbolic Computation
Regular Papers
- Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram:
Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. 27-33 - Masaru Sanuki, Daiju Inaba, Tateaki Sasaki:
Computation of GCD of Sparse Multivariate Polynomials by Extended Hensel Construction. 34-41 - David J. Jeffrey, G. A. Kalugin, Nick Murdoch:
Lagrange Inversion and Lambert W. 42-46 - Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frédéric Zamkotsian, Horatiu Cirstea:
Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. 47-54
Work in Progress Papers
- Silvana Ilie, David J. Jeffrey, Robert M. Corless, X. Zhang:
Computation of Stirling Numbers and Generalizations. 57-60 - Lorenzo Capra:
An Algebraic Petri Nets Emulator. 61-65
Numberical Computation
Regular Papers
- Andrew P. Smith, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius:
A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. 71-78 - Marc Nicodeme, Flavius Turcu, Charles Dossal:
Identifiability and Noise Robustness for l1-Analysis Regularizations in Compressive Sensing. 79-84 - Alexandra Emilia Fortis, Stefan Balint:
Numerical Investigations of Equilibriums in a Flight with High Angle of Attack. 85-89 - Paul Tarau:
The Arithmetic of Even-Odd Trees. 90-97 - Ivan Simecek, Daniel Langr:
Space and Execution Efficient Formats for Modern Processor Architectures. 98-105
Papers on Tools/Experimental Results
- Hélène Lachambre, Benjamin Ricaud, Guillaume Stempfel, Bruno Torrésani, Christoph Wiesmeyr, Darian Onchis-Moaca:
Optimal Window and Lattice in Gabor Transform. Application to Audio Analysis. 109-112 - Remus-Daniel Ene, Vasile Marinca, Romeo Negrea:
The Flow in a Viscous Fluid over an Unsteady Stretching Surface. 113-116 - Kuniyoshi Abe, Seiji Fujino:
Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices. 117-120 - Jiri Khun, Ivan Simecek, Róbert Lórencz:
GPU Solver for Systems of Linear Equations with Infinite Precision. 121-124
Logic and Programming
Regular Papers
- Besik Dundua, Mário Florido, Temur Kutsia:
Lambda Calculus with Regular Types. 129-136 - Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat:
Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. 137-144 - Aurelian Radoaca:
Properties of Multiset Orders by Minimal and Maximal Submultisets. 145-152 - Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu:
An Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling. 153-159 - Paul Tarau:
On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees. 160-166 - Roland Lezuo, Ioan Dragan, Gergö Barany, Andreas Krall:
vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. 167-174
Work in Progress Papers
- Violeta Tulceanu:
A Matter of Trust: Smart Home System Relying on Logic, BCI, and Sensor Agents. 177-180 - Aurelian Radoaca:
Simple Venn Diagrams for Multisets. 181-184
Posters
- Aurelian Radoaca:
Properties of Multisets Compared to Sets. 187-188 - Gábor Kusper, Csaba Biró:
Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle. 189-190
Artificial Intelligence
Regular Papers
- Alexandru-Ciprian Zavoianu, Edwin Lughofer, Gerd Bramerdorfer, Wolfgang Amrhein, Susanne Saminger-Platz:
A Surrogate-Based Strategy for Multi-objective Tolerance Analysis in Electrical Machine Design. 195-203 - Adrian-Stefan Popescu, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut:
A Study on Techniques for Proactively Identifying Malicious URLs. 204-211 - Calin-Adrian Popa:
Lie Algebra-Valued Hopfield Neural Networks. 212-215 - Monica Tirea, Viorel Negru:
Stock Market Trading Strategies Applying Risk and Decision Analysis Models for Detecting Financial Turbulence. 216-223 - Cristina Vatamanu, Dragos Gavrilut, Razvan Benchea, Henri Luchian:
Feature Extraction Using Genetic Programming with Applications in Malware Detection. 224-231 - Dumitru-Bogdan Prelipcean, Adrian-Stefan Popescu, Dragos Teodor Gavrilut:
Improving Malware Detection Response Time with Behavior-Based Statistical Analysis Techniques. 232-239
Papers on Tools/Experimental Results
- Ciprian-Octavian Truica, Julien Velcin, Alexandru Boicea:
Automatic Language Identification for Romance Languages Using Stop Words and Diacritics. 243-246 - Andreea Salinca:
Business Reviews Classification Using Sentiment Analysis. 247-250 - Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber:
Automatic Definition of Optimal Default Parameters of Models: Image Matting Application. 251-254
Work in Progress Papers
- Ionel-Alexandru Hosu, Andreea Urzica:
Comparative Analysis of Existing Architectures for General Game Agents. 257-260 - Adriana Horelu, Catalin Adrian Leordeanu, Elena Apostol, Dan Huru, Mariana Mocanu, Valentin Cristea:
Forecasting Techniques for Time Series from Sensor Data. 261-264 - Todor Ivascu:
An Energy Efficient Intelligent Wireless Body Area Network for Real-Time Vital Signs Monitoring. 265-270 - Nicolae-Eugen Croitoru:
High Probability Mutation and Error Thresholds in Genetic Algorithms. 271-276
Distributed Computing
Regular Papers
- Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics for Dynamic Hierarchical Systems. 281-288 - Bogdan-Constantin Irimie, Dana Petcu:
Scalable and Fault Tolerant Monitoring of Security Parameters in the Cloud. 289-295
Work in Progress Papers
- András Bóta, Miklós Krész, Bogdán Zaválnij:
Adaptations of the k-Means Algorithm to Community Detection in Parallel Environments. 299-302
Advances in the Theory of Computing
Regular Papers
- Rozica-Maria Tache, Ioan Tomescu:
General Sum-Connectivity Index with α ≥ 1 for Trees and Unicyclic Graphs with k Pendants. 307-311 - Andrei Alexandru, Gabriel Ciobanu:
Static Analysis in Finitely Supported Mathematics. 312-319 - Raivis Bets, Janis Buls:
On the Existence of 1-Bounded Bi-ideals with the WELLDOC Property. 320-324
Workshop of the Management of Resources and Services in Cloud and Sky Computing
Regular Papers
- Ansar Rafique, Dimitri Van Landuyt, Wouter Joosen:
Expressive Data Storage Policies for Multi-cloud Storage Configurations. 329-336 - Valentina Casola, Alessandra De Benedictis, Massimiliano Rak, Umberto Villano:
SLA-Based Secure Cloud Application Development: The SPECS Framework. 337-344 - Michele Guerriero, Michele Ciavotta, Giovanni Paolo Gibilisco, Danilo Ardagna:
A Model-Driven DevOps Framework for QoS-Aware Cloud Applications. 345-351 - Stefan Meyer, John P. Morrison:
Supporting Heterogeneous Pools in a Single Ceph Storage Cluster. 352-359
Short Papers
- Gabriel Iuhasz, Ioan Dragan:
An Overview of Monitoring Tools for Big Data and Cloud Applications. 363-366
Workshop on Extreme Data Parallel Processing, Exascale Systems Engineering, and Energy Efficiency
Regular Papers
- Jérôme Frisch, Ralf-Peter Mundani:
Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures. 371-378 - Grigore Lupescu, Emil-Ioan Slusanschi, Nicolae Tapus:
Extensions over OpenCL for Latency Reduction and Critical Applications. 379-385
Workshop on Agents for Complex Systems
Regular Papers
- Monica Tirea, Viorel Negru:
Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior. 391-398 - Andrei Olaru, Adina Magda Florea:
A Framework for Integrating Heterogeneous Agent Communication Platforms. 399-406 - Alex Becheru, Costin Badica, Mihaita Antonie:
Complex Network Analysis of a Tourism Content Sharing Network. 407-414 - Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber:
Incremental Reasoning on Strongly Distributed Multi-agent Systems. 415-422 - Todor Ivascu, Bogdan Manate, Viorel Negru:
A Multi-agent Architecture for Ontology-Based Diagnosis of Mental Disorders. 423-430
Short Papers
- George Ganea, Radu Marinescu:
Modeling Design Flaw Evolution Using Complex Systems. 433-436 - Ioana Andra Codreanu, Adina Magda Florea:
A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults. 437-440
Workshop on Natural Computing and Applications
Regular Papers
- Catalin Stoean, Ruxandra Stoean, Adrian Sandita, Cristian Mesina, Daniela Ciobanu, Corina Lavinia Gruia:
Investigation on Parameter Effect for Semi-automatic Contour Detection in Histopathological Image Processing. 445-451 - Cristina Bianca Pop, Viorica Rozina Chifu, Ioan Salomie, Cristian Prigoana, Tiberiu Boros, Dorin Moldovan:
Generating Healthy Menus for Older Adults Using a Hybrid Honey Bees Mating Optimization Approach. 452-459 - George Anescu, Ilie Prisecaru:
NSC-PSO, a Novel PSO Variant without Speeds and Coefficients. 460-467 - Emil St. Chifu, Tiberiu St. Letia, Viorica R. Chifu:
Unsupervised Aspect Level Sentiment Analysis Using Self-Organizing Maps. 468-475
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.
last updated on 2026-01-29 23:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
