Program for Friday, September 6th: Talk View

PROGRAM FOR FRIDAY, SEPTEMBER 6TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

08:40-09:30

Human-Robot Interaction

Adina-Magda Florea

09:30-10:20

A Review of Algorithms on Symbolic Domains

Stephen Watt

10:10-10:30

Iterative approximations for non-self operators

Adrian Petrusel

10:30-10:50

Some conjectures on global asymptotic stability for discrete dynamical systems

Ioan A. Rus

10:50-11:10

A global implicit operator theorem in terms of monotone operators

Marcel-Adrian Serban

11:10-11:30

Existence of asymptotically stable solutions to a nonlinear integral equation of mixed type

Cristian Vladimirescu

11:30-11:50

Fixed Point Theorems Applied to Invariant Subspaces Problem on Hilbert Spaces

George Popescu

11:50-12:10

Almost local contractions in b- pseudometric spaces

Monika Zakany

10:20-10:40 Coffee break

10:40-11:00

An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation

Tateaki Sasaki

11:00-11:20

Feature Extraction using Legendre-Sobolev Representation for Handwritten Mathematical Characters

Parisa Alvandi, Stephen M. Watt

11:20-11:40

Source code vulnerabilities detection using loosely coupled data and control flows

Sergiu Zaharia, Traian Rebedea, Stefan Trausan Matu

11:40-12:00

Applications of Equivalence Algorithms in Software Design

Alina Bianca Andreica

12:00-12:20

The Fermat-Torricelli Problem on Sphere with Euclidean Metric

Xiaofeng Guo, Tuo Leng, Zhenbing Zeng

12:00-13:00 Lunch

13:00-14:30

The Science, Art and Magic of Constrained Horn Clauses

Arie Gurfinkel, Nikolaj Bjorner

14:30-14:50 Coffee break

14:50-15:10

Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization

Gergely Kovásznai, Gajdár Krisztián, Laura Kovacs

15:10-15:30

Superposition Reasoning about Quantified Bitvector Formulas

David Damestani, Laura Kovacs, Martin Suda

15:30-15:50

Improved Processor Bounding for Non-preemptive Task Scheduling

Vlad Radulescu, Stefan Andrei, Albert Cheng

15:50-16:10

Inference System to Achieve Saturation of (F,R,N) Knowledge Bases

Andrei Zamfira

14:50-15:10

Approximating fixed points of a general class of Kannan type contractive mappings

Vasile Berinde, Madalina Pacurar

15:10-15:30

On strong fuzzy metric spaces

Dorel Mihet, Claudia Zaharia

15:30-15:50

Computing the Pompeiu-Hausdorff distance between some geometrical sets

Ioan Trifoi

15:50-16:10

A common fixed point theorem for non-self mappings in strictly convex Fuzzy metric spaces

Rale Nikolić, Vladimir Ristić, Natasa Ćirović

16:10-16:30

Fixed point theorems in partial ordered H-distance space

Paula Mihaela Tamara Homorodan

16:30-16:50 Coffee break

16:50-17:10

Investigating differences between ancient and modern bacterial DNA in dental calculus via

I.-M. Szuhai, M.I. Bocicor, E.-L. Pop, I.-G. Mircea, C. Mircea

17:10-17:30

Identification of elastoplastic material properties using PIES and PSO

Agnieszka Bołtuć, Krzysztof Szerszen

17:30-17:50

Interval arithmetics in modelling and solving uncertainly defined boundary value problems of

Eugeniusz Zieniuk, Marta Kapturczak, Krzysztof Szerszeń

17:50-18:10

A Restaurants Recommendation System: Improving Rating Predictions using Sentiment Analysis

Mara-Renata Petrusel, Sergiu-George Limboi

18:10-18:30

Preventing File-less Attacks with Machine Learning Techniques

Alexandru Gabriel Bucevschi, Gheorghe Balan, Dumitru Bogdan Prelipcean

18:30-18:50

Improving Detection of Malicious Office Documents using One-Side Classifiers

Silviu Constantin Vitel, Gheorghe Balan, Dumitru Bogdan Prelipcean