Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mihaela Ilie, Diana Firinca, Ionut Muraretu, Sorin Ilie |
Feasibility of an Agent-Based Investment Platform for Renewable Energy Source Implementation. |
SYNASC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Doru Rotovei, Viorel Negru |
Data Driven Sales Prediction Using Communication Sentiment Analysis in B2B CRM Systems. |
SYNASC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Gabriel Bucevschi, Gheorghe Balan, Dumitru-Bogdan Prelipcean |
Preventing File-Less Attacks with Machine Learning Techniques. |
SYNASC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Denisa Copandean, Dorian Gorgan |
A Visual Solution in Asteroids Detection. |
SYNASC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian-Aurelian Stefaniga, Mihail Gaianu |
An Approach of Segmentation Method Using Deep Learning for CT Medical Images. |
SYNASC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Morad Muslimany, Michael Codish |
SAT-Based Big-Step Local Search. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Dinis, Todor Ivascu, Viorel Negru |
A Self Developing System for Medical Data Analysis. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Alexandru, Gabriel Ciobanu |
Order Relations Over Finitely Supported Structures. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru-Ion Marinescu, Zoltán Bálint, Laura-Silvia Diosan, Anca-Mirela Andreica |
Unsupervised and Fully Autonomous 3D Medical Image Segmentation Based on Grow Cut. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Sacarea, Diana-Florina Sotropa, Diana Troanca |
Formal Concept Analysis Grounded Knowledge Discovery in Electronic Health Record Systems. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
Reasoning with Quantifiers and Theories Using Saturation-Based Reasoning. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Pungila, Darius Galis, Viorel Negru |
Survey on Feasibility of Pattern Matching Techniques In Heterogeneous Architectures for Bioinformatics. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maria Prandini |
A set-based approach to model checking of nonlinear systems (invited tutorial). |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ruxandra Stoean, Catalin Stoean, Adriana Samide |
Deep Learning for Metal Corrosion Control: Can Convolutional Neural Networks Measure Inhibitor Efficiency? |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rodica Condurache |
Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Darian M. Onchis, Simone Zappalá |
Lax-Like Stability for the Discretization of Pseudodifferential Operators through Gabor Multipliers and Spline-Type Spaces. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dong Nguyen Doan |
Toward on-Line Predictive Models for Forecasting Workload in Clouds. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Tihanyi, Attila Kovács |
Computation Results of the Riemann Zeta Search Project. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sándor Szabó, Bogdán Zaválnij |
A Different Approach to Maximum Clique Search. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Irina Maria Artinescu, Costin Radu Boldea |
An Image Inpainting Technique Based on Parallel Projection Methods. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Edwin Lughofer |
Self-adaptive forecast models in predictive maintenance systems. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger |
Compositional Taylor Model Based Validated Integration. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ana Carolina Camargos Couto, David J. Jeffrey |
Rational Householder Transformations. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Liviu Octavian Mafteiu-Scai, Irina Maria Artinescu, Vlad Mafteiu-Scai |
Parallelizations of an Inpainting Algorithm Based on Convex Feasibility. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Bica, Dorian Gorgan |
Scalable Task Deployment System Inspired from Virus Propagation Models for Large Distributed Workflow Based Systems. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Parisa Alvandi, Stephen M. Watt |
Real-Time Computation of Legendre-Sobolev Approximations. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez |
Ordinary Differential Equations & Computability. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florin Craciun, Gabriel Glodean |
Towards Compiling Region Types Into RTSJ-Compliant Java Code. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zalán Bodó |
A CiteSeerX-Based Dataset for Record Linkage and Metadata Extraction. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mihaela Ilie, Sorin Ilie, Ionut Muraretu |
An Adaptive Recommender System for Human Resource Allocation in Software Projects - Initial Results on an Agent-Based Simulation. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carles Sánchez, Meiguel-Angel Viñas, Coen Atens, Agnès Borràs, Debora Gil |
Back to Front Architecture for Diagnosis as a Service. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Cristian Schuszter |
Integrating Deep Learning for NLP in Romanian Psychology. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eneia Nicolae Todoran |
Towards Performance Evaluation Programming. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dorel Lucanu |
Proving Reachability Properties by Coinduction (Extended Abstract). |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez, Sabrina Ouazzani |
Cheap Non-Standard Analysis and Computability: Some Applications. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian-Aurelian Stefaniga, Mihail Gaianu |
Face Detection and Recognition Methods using Deep Learning in Autonomous Driving. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Danut Rotar, Horia Popa Andreescu |
Face Recognition in Automotive Applications. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres |
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alina Enescu, Anca Andreica, Laura Diosan |
Evolving Cellular Automata for Two-Stage Edge Detection. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki, Daiju Inaba |
Computing the Lowest-Order Element of a Multivariate Elimination Ideal by Using Remainder Sequences. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Madalina Noaica |
Improving ACSTL Iris Segmentation Method. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra, Matteo Camilli |
A Symmetric Nets Emulator for Adaptive P/T Nets. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Despréaux, Aude Maignan |
GPaR: A Parallel Graph Rewriting Tool. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diana Minzat, Mihaela Breaban, Henri Luchian |
Modeling real estate dynamics using survival analysis. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Ioan Pîrîu, Mihai Leonte, Nicolae Postolachi, Dragos Teodor Gavrilut |
Optimizing Cleanset Growth by Using Multi-Class Neural Networks. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Eduard-Madalin Mursa, Anca Andreica, Laura Diosan |
Parallel Acceleration of Subgraph Enumeration in the Process of Network Motif Detection. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
On the Abstractness of Continuation Semantics. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | |
20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018 |
SYNASC |
2018 |
DBLP BibTeX RDF |
|
1 | Robert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Atri Tripathi |
A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Ducoffe, Ruxandra Marinescu-Ghemeci, Camelia Obreja, Alexandru Popa 0001, Rozica Maria Tache |
Extremal Graphs with Respect to the Modified First Zagreb Connection Index. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diana-Lucia Miholca |
An Improved Approach to Software Defect Prediction using a Hybrid Machine Learning Model. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Agneta M. Balint, Stefan Balint, Loredana Tanasie |
An Axis Symmetric 2D Description of the Growth Process of a Single Crystal Hollow Tube Grown from the Melt by Pulling Down Method. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ometita Radu Adrian |
The Blockchain, Today and Tomorrow. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bashar Al Asaad, Madalina Erascu |
A Tool for Fake News Detection. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Ingrid Stoleru, Adrian-Stefan Popescu, Dragos Teodor Gavrilut |
Increasing Protection Against Internet Attacks through Contextual Feature Pairing. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Enachescu Denis, Enachescu Cornelia |
Inferring, Learning and Modelling Complex Systems with Bayesian Networks. A Tutorial. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu 0005 |
The Verified Polyhedron Library: an Overview. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Balan, Adrian-Stefan Popescu |
Detecting Java Compiled Malware using Machine Learning Techniques. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport |
The Rôle of Benchmarking in Symbolic Computation (Position Paper). |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flaviu Berbecariu, Christian Sacarea, Diana-Florina Sotropa |
Using Recommender Systems to Support Navigation in Concept Lattices. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Nechita, Laura Diosan |
A four-Phase Meta-Heuristic Algorithm for Solving Large Scale Instances of the Shift Minimization Personnel Task Scheduling Problem. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Csaba Sulyok |
Genetic Operators in Evolutionary Music Composition. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Vatamanu, Dragos Teodor Gavrilut, George Popoiu |
Adjusting SVMs for Large Data Sets using Balanced Decision Trees. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Costin Badica, Georgian Vladutu |
Application of Meaningful Text Analytics to Online Product Reviews. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Delia Mitrea, Levente Tamas |
MES Specific Data Analysis. Case Study with the Baxter Robot. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marilena Lupascu, Dragos Teodor Gavrilut, Dorel Lucanu |
An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Erascu, Gabriel Iuhasz, Flavia Micota |
An Architecture for a Management Agency for Cloud Resources. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Radu Stefan Mincu, Alexandru Popa 0001 |
Heuristic Algorithms for the Longest Filled Common Subsequence Problem. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru-Ion Marinescu, Anca-Mirela Andreica |
Evolving Mathematical Formulas using LINQ Expression Trees and Direct Applications to Credit Scoring. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kristian Miok |
Estimation of Prediction Intervals in Neural Network-Based Regression Models. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Petru Soviany, Radu Tudor Ionescu |
Optimizing the Trade-Off between Single-Stage and Two-Stage Deep Object Detectors using Image Difficulty Prediction. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kaixun Hua, Dan A. Simovici |
Dual Criteria Determination of the Number of Clusters in Data. |
SYNASC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Panagiota Fatourou |
Concurrency for the Masses: The Paradigm of Software Transactional Memory. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cristian-Nicolae Babau, Raul Razvan Suditu, Marius Marcu, Vladimir-Ioan Cretu |
Road Traffic Segments Characterization. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Mitura, Ivan Simecek, Ivan Kotenkov |
Effective Construction of Convex Hull Algorithms. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dan A. Simovici, Roman A. Sizov, Selim Mimaroglu |
A Boolean Approach for Detection of Frequent Items. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Petru Radu, Cezar Valeriu Regep |
Algorithm Fusion for Windscreen Obstruction Detection in Autonomous Driving. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Birlutiu, Adrian Burlacu, Manuella Kadar, Daniela Onita |
Defect Detection in Porcelain Industry Based on Deep Learning Techniques. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger |
Gröbner Bases Computation and Macaulay Matrices. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nasir Khattak, D. J. Jeffrey |
Rational Orthonormal Matrices. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Audusse, Olivier D. Lafitte, Agnès Leroy, Benjamin Melinand, Chi-Tuan Pham, Pierrick Quemar |
Parametric Study of the Accuracy of an Approximate Solution for the Mild-Slope Equation. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Andra Codreanu, Adina Magda Florea, Irina Mocanu |
A Home Based Health-Care Solution for Older Adults Using Kinect. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zak Tonks, Gregory Sankaran, James H. Davenport |
Fast Matrix Operations in Computer Algebra. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna, Michael Peter Lettmann |
Towards a Clausal Analysis of Proof Schemata. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Viorica Rozina Chifu, Emil Stefan Chifu, Cristina Bianca Pop, Ioan Salomie, Madalina Lupu |
A Bio-inspired Method for Generating Healthy Meals for Seniors. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul Diac |
WARP: Efficient Automatic Web Service Composition. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ana Turlea, Florentin Ipate, Raluca Lefticaru |
A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Guidi, Andrea De Salve, Laura Ricci |
A Data Aggregation Strategy Based on Wavelet for the Internet of Things. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Abstract Continuation Semantics for Asynchronous Concurrency. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Kaliszyk, Josef Urban, Jirí Vyskocil |
System Description: Statistical Parsing of Informalized Mizar Formulas. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Doina Cosovan, Catalin-Valeriu Lita |
Practical Aspects Related to Using Hidden Markov Models for Detecting Metamorphic File Infectors. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alina Andreica, Fernando Paulo Belfo, Florina Covaci |
Designing Data Interchange Services for Learning Components. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florian Faissole |
Formalization and Closedness of Finite Dimensional Subspaces. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Windsteiger |
Theorema 2.0: A Brief Tutorial. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Popescu |
Solving 2-D Pattern Matching using Networks of Polarized Picture Processors with Circular Permutation. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Dinis, Todor Ivascu, Viorel Negru |
Towards a Complex Evolutionary Agent-Based System for Medical Sensor Data. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Teodora Selea, Marian Neagul |
Using Deep Networks for Semantic Segmentation of Satellite Images. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pritom Rajkhowa, Fangzhen Lin |
VIAP - Automated System for Verifying Integer Assignment Programs with Loops. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dorinela Sirbu, Marilena Panaite, Ana Secui, Mihai Dascalu, Nicolae Nistor, Stefan Trausan-Matu |
ReaderBench: Building Comprehensive Sociograms of Online Communities. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|