Program for Wednesday, September 18th: Talk View

PROGRAM FOR WEDNESDAY, SEPTEMBER 18TH: 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

19:00

09:00-09:50

Multi-objective sequence learning for Chemistry and Computer games

Mike Preuss

09:00-09:50

Symbolic Computation in Automated Program Reasoning

Laura Kovacs

09:50-10:10 Coffee break

10:10-11:00

An introduction to Gaussian processes applied to Bayesian regression

Kadi Bouatouch

10:10-10:30

Intuitionistic Propositional Logic in Lean

Dafina Trufas

10:30-10:50

Unification in Matching Logic — Revisited

Ádám Kurucz, Péter Bereczky, Dániel Horpácsi

10:50-11:10

Optics, functorially: Extended abstract

Adriana Balan, Silviu-George Pantelimon

11:00-11:20 Coffee break

11:20-11:40

AR and VR for the Casa Romei Museum

Manuela Incerti, Stefano Costantini

11:40-12:00

A SERIOUS GAME TO LEARN DORIC GREEK ARCHITECTURE

Giulio Cellura

12:00-12:20

Level Generation Using ChatGPT: A Case Study on the Science Birds Game

Julia Gabaruk, Jiban Kumar Ray, Doina Logofătu

12:20-12:40

Graphic design for architectural serious games

Pompeo, Costantini, Fortuna, Guarino, Mazzei, Moretti, Stanziola

12:40-13:00

Fostering Agentic Play Between Technology and Democracy

Jennifer Edmond, Eleonora Lima, César Garcia Martinez

11:20-11:40

SUDS: A Simplified UNet with Depth-wise Separable Convolutions

Vlad-Constantin Ionete, Cosmin Marsavina

11:40-12:00

Ideal Centroid Striving: An unsupervised and prediction parameterized anomaly detection method

Dacian Goina

12:00-12:20

Class-Incremental Learning Enhanced: Assessing New Exemplar Selection Strategies in the iCaRL

Erik Zsolt Varga

12:20-12:40

MACE: Malware Analysis and Clustering Engine

Andrei Zaborila, Mihaela Elena Breaban, Dorel Lucanu

11:30-13:00 FROM Round Table

13:00-14:00 Lunch

14:00-15:30

Induction in Saturation-based Proving

Andrei Voronkov

14:00-14:20

Recent developments in the fixed point theory of enriched contractive mappings. A survey

Vasile Berinde, Madalina Pacurar

14:20-14:40

Fixed points for Feng-Liu multi-valued operators with an application

Madalina Moga, Radu Trusca

14:40-15:00

Maia’s fixed point theorems in a space with distance

Paula Homorodan

15:00-15:20

SOME FIXED POINT THEOREMS IN THE FRAMEWORK OF f -METRIC SPACES

Bogdan-Cristian Anghelina

15:30-15:50 Coffee break

15:50-16:10

Fixed points and coupled fixed points with applications

Adrian Petrusel, Gabriela Petrusel

16:10-16:30

Existence and Approximation of Fixed Points of Enriched Nonexpansive Operators using Krasnoselskii-Mann type

Liviu-Ignat Socaciu

16:30-16:50

Fixed Points of b-Enriched Multivalued Nonexpansive Mappings and *-b-enriched nonexpansive mappings in Hilbert

Ioan Trifoi

16:50-17:10

Common fixed point theorems for enriched contraction under the assumption of R-weakly commuting

Alexandra Marchis

15:50-16:10

A comparative analysis of Genetic Algorithms and NSGA-II on the Portfolio Optimisation Problem

Eugen Croitoru, Tudor-Florentin Ilade

16:10-16:30

Assessing Features Importance in the 15-Class Galaxy Classification Problem

Marc Frincu, Raul Urechiatu

16:30-16:50

Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly

Dacian Goina, Eduard Hogea, George Matieș

17:10-17:30 Coffee break

17:30-19:00

Generalized multisets over infinite alphabets with atoms

Andrei Alexandru, Gabriel Ciobanu

17:30-17:50

Picard Operators: retraction-displacement condition and admissible perturbation of a multivalued

Cristina Gheorghe

17:50-18:10

Examples of b-Metric Spaces Endowed with a Partial Order

Cufoian Mariana

18:10-18:30

On some local versions of contraction mapping principle with applications to integral equations

Liliana Konyicska, Adriana Mitre

18:30-18:50

Best proximity points and their applications

Mihaela Chira