SYNASC 2015: 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

A
Abe, Kuniyoshi	Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
Alexandru, Andrei	Static Analysis in Finitely Supported Mathematics
Amrhein, Wolfgang	A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
Andrei, Stefan	An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
Apostol, Elena	Forecasting Techniques for Time Series from Sensor Data
B
Balint, Stefan	Numerical investigations of equilibriums in a flight with high angle of attack
Barany, Gergö	vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
Belkhir, Walid	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Benchea, Razvan	Feature creation using genetic programming with application in malware detection
Bentley, Peter	Building a Nature-Inspired Computer
Biro, Csaba	Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
Boicea, Alexandru	Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Bramerdorfer, Gerd	A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
Bóta, András	Adaptations of the k-means algorithm to community detection in parallel environments
Bēts, Raivis	On the existence of 1-bounded bi-ideals with the WELLDOC property.
C
Capra, Lorenzo	An Algebraic Petri Nets Emulator
Cheng, Albert	An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
Ciobanu, Gabriel	Static Analysis in Finitely Supported Mathematics Continuation Semantics for Dynamic Hierarchical Systems
Cirstea, Horatiu	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Corless, Robert M.	Computation of Stirling numbers and generalizations
Cristea, Valentin	Forecasting Techniques for Time Series from Sensor Data
Croitoru, Nicolae-Eugen	High Probability Mutation and Error Thresholds in Genetic Algorithms
D
Dossal, Charles	Identifiability and noise robustness for l1-analysis regularizations in compressive sensing
Dragan, Ioan	vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
Dramnesc, Isabela	Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
Dundua, Besik	Lambda Calculus with Regular Types
E
Ene, Remus-Daniel	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
F
Florido, Mario	Lambda Calculus with Regular Types
Fortis, Alexandra Emilia	Numerical investigations of equilibriums in a flight with high angle of attack
Fujino, Seiji	Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
G
Gavrilut, Dragos	Feature creation using genetic programming with application in malware detection A Study on Techniques for Proactively Identifying Malicious URLs Improving malware detection response time with behavior-based statistical analysis techniques
Gurfinkel, Arie	Algorithmic Logic-Based Verification with SeaHorn
H
Hedin, Daniel	Web application security using JSFlow
Horelu, Adriana	Forecasting Techniques for Time Series from Sensor Data
Hosu, Ionel-Alexandru	Comparative Analysis of Existing Architectures for General Game Agents
Huru, Dan	Forecasting Techniques for Time Series from Sensor Data
I
Ilie, Silvana	Computation of Stirling numbers and generalizations
Inaba, Daiju	Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
Irimie, Bogdan-Constantin	Scalable and fault tolerant monitoring of security parameters in the cloud
Ivascu, Todor	An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring
J
Jebelean, Tudor	Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
Jeffrey, David	Lagrange Inversion and series for Lambert W Computation of Stirling numbers and generalizations
K
Kalugin, German	Lagrange Inversion and series for Lambert W
Kauers, Manuel	Creative Telescoping via Hermite Reduction
Khun, Jiri	GPU solver for systems of linear equations with infinite precision
Koutschan, Christoph	Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
Krall, Andreas	vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
Krész, Miklós	Adaptations of the k-means algorithm to community detection in parallel environments
Kusper, Gabor	Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
Kutsia, Temur	Lambda Calculus with Regular Types
L
Lachambre, Helene	OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Langr, Daniel	Space and execution efficient formats for modern processor architectures
Lenzner, Michel	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Leordeanu, Catalin	Forecasting Techniques for Time Series from Sensor Data
Lezuo, Roland	vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
Luchian, Henri	Feature creation using genetic programming with application in malware detection
Lughofer, Edwin	A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
M
Marinca, Vasile	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
Markevicius, Mantas	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
Mocanu, Mariana	Forecasting Techniques for Time Series from Sensor Data
Munoz, Cesar	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
Murdoch, Nick	Lagrange Inversion and series for Lambert W
N
Narkawicz, Anthony	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
Negrea, Romeo	THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
Negru, Viorel	Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence
Nguyen, Duy Duc	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Nicodème, Marc	Identifiability and noise robustness for l1-analysis regularizations in compressive sensing
O
Onchis, Darian	OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
P
Petcu, Dana	Scalable and fault tolerant monitoring of security parameters in the cloud
Piskac, Ruzica	From Decision Procedures to Synthesis Procedures
Popa, Călin-Adrian	Lie Algebra-Valued Hopfield Neural Networks
Popescu, Adrian-Stefan	A Study on Techniques for Proactively Identifying Malicious URLs Improving malware detection response time with behavior-based statistical analysis techniques
Prelipcean, Dumitru Bogdan	A Study on Techniques for Proactively Identifying Malicious URLs Improving malware detection response time with behavior-based statistical analysis techniques
R
Radoaca, Aurelian	Properties of Multiset Orders by Minimal and Maximal Submultisets Simple Venn Diagrams for Finite Multisets
Radulescu, Vlad	An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
Ranetbauer, Helene	Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
Ratier, Nicolas	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Ravve, Elena	Automatic definition of optimal default parameters of models
Regensburger, Georg	Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
Ricaud, Benjamin	OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
S
Salinca, Andreea	Business reviews classification using sentiment analysis
Saminger-Platz, Susanne	A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
Sands, David	Getting Personal with Differential Privacy
Sanuki, Masaru	Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
Sasaki, Tateaki	Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
Simecek, Ivan	Space and execution efficient formats for modern processor architectures GPU solver for systems of linear equations with infinite precision
Smith, Andrew	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
Stempfel, Guillaume	OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Stratulat, Sorin	Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
T
Tache, Rozica-Maria	General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
Tarau, Paul	n Type Inference, Generation and Normalization of SK-combinator Trees The Arithmetic of Even-Odd Trees
Tirea, Monica	Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence
Todoran, Eneia Nicolae	Continuation Semantics for Dynamic Hierarchical Systems
Tomescu, Ioan	General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
Torresani, Bruno	OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Truică, Ciprian-Octavian	Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Tulceanu, Violeta	A matter of trust: smart home system relying on logic, BCI and sensor agents
Turcu, Flavius	Identifiability and noise robustness for l1-analysis regularizations in compressive sensing
U
Urzică, Andreea	Comparative Analysis of Existing Architectures for General Game Agents
V
Vatamanu, Cristina	Feature creation using genetic programming with application in malware detection
Velcin, Julien	Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Volkovich, Zeev	Automatic definition of optimal default parameters of models
Voronkov, Andrei	EasyChair
W
Watt, Stephen	Generalized Inclusion-Exclusion: Reducing complexity by borrowing
Weber, Gerhard	Automatic definition of optimal default parameters of models
Wiesmeyr, Christoph	OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Wolfram, Marie-Therese	Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
Woltran, Stefan	Dynamic Programming on Tree Decompositions in Practice -- Some Lessons Learned
Y
Yang, Bin	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Z
Zamkostian, Frédéric	Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Zavalnij, Bogdán	Adaptations of the k-means algorithm to community detection in parallel environments
Zavoianu, Alexandru-Ciprian	A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
Zhang, Xinyi	Computation of Stirling numbers and generalizations

Disclaimer | Powered by EasyChair Smart Program