RSS feed uniba.sk https://uniba.sk/ Najnovšie novinky sk RSS feed uniba.sk https://uniba.sk/fileadmin/tt_news_article.gif https://uniba.sk/ Najnovšie novinky TYPO3 - get.content.right http://blogs.law.harvard.edu/tech/rss Thu, 31 Dec 2026 00:00:00 +0100 Doctoral colloquium - Janka Boborová (25.3.2024) https://uniba.sk/ Monday 25.3.2024 at 13:10, Lecture room I/9 Janka Boborová:
CATS: Experimental solver employing multiple algorithms to tackle abduction
Abstract:
Abduction is one of the inference types that is less explored, therefore, it is interesting to research in the area of ontologies and description logics. The task of abduction is to explain (in the form of facts) an observation (also a fact) using the background knowledge of a problem domain. It has been applied, for example, in medical diagnosis, criminology and model-based diagnosis.
There are few abduction solvers, and even fewer employ more than one abduction algorithm. We have an experimental implementation of an abduction solver, recently dubbed CATS, that included two abduction algorithms: Minimal Hitting Set algorithm (MHS) and MHS-MXP, which is a hybrid combination of MHS and the MergeXplain method (MXP) that is used to speed up the search for explanations. MHS-MXP is a new method that has been developed by our faculty and is still being optimized. On the other hand, the MHS algorithm is well-known but considered outdated. Therefore, we wanted to find newer versions that could be combined with MXP.
Our goal is to expand CATS with more abduction algorithms and their hybrid combination with MXP. Then, propose a proper evaluation and compare them. We also plan to look into optimizing our hybrid approaches.
We researched several algorithms, found newer variants of MHS, and successfully managed to implement one of them (HST) and its hybrid combination (HST-MXP) into our solver. Currently, we are working on optimizing CATS mainly in terms of memory use and major code refactorization. Then, we are ready to implement the second MHS variant called RC-Tree. ]]> [FMFI] Prednášky a semináre [FMFI] Kalendár Damas.Gruska@fmph.uniba.sk Wed, 20 Mar 2024 15:46:00 +0100 Algebraic Graph Theory Seminar - István Porupsánszki (22.3.2024) https://uniba.sk/ Friday 22.3.2024 at 13:00, Lecture room M/IX (online too) István Porupsánszki (Eotvos Lorand University, Budapest):
Extremal edge-girth-regular graphs Termín: 22.3.2024, 13:00 hod., M IX a MS Teams 
Abstract:
In my talk, I will introduce the edge-girth-regular cage problem which is the generalization of the cage problem. A graph of order n is called edge-girth-regular if it is a k-regular graph of girth g such that every edge is contained in exactly λ distinct girth cycles. We denote such a graph with egr(n,k,g,λ). The edge-girth-regular cage problem consists in finding an egr(n,k,g,λ) where the triple (k,g,λ) is fixed and the order n is minimal. There are two main parts of the problem: we need constructions and then we need tools to check whether they are extremal. I will talk about three lower bounds on the order of extremal egr graphs.them are combinatorial and the third one is purely algebraic. Its proof is based on the properties of the eigenvalues of the adjacency matrix.
Those of you who are not able to attend in person or who are still uncertain about the safety of attending in person are welcome to attend via MS Teams. In either case, we hope to see as many of you as possible (either in person or virtually) at our Friday gatherings. ]]> [FMFI] Prednášky a semináre [FMFI] Kalendár Martin.Macaj@fmph.uniba.sk Tue, 19 Mar 2024 16:31:00 +0100 Seminar of Graph Theory - István Porupsánszki (21.3.2024) https://uniba.sk/ Thursday 21.3.2024 at 9:50 hod., Lecture room C István Porupsánszki (Eotvos Lorand University, Budapest):
New families of (almost) edge-girth-regular graphs Abstract:
The famous cage problem consists in finding k-regular graphs of girth g with minimal order. We know some lower bounds (Moore-bound) but in general this is a barely solved problem.
In my talk, I will introduce an alternative problem. An egr graph is a k-regular graph of girth g such that every edge is contained in exactly ? distinct girth cycles. With the incidence graph some finite geometrical structures we can construct egr graphs. However, since the initial graphs are bipartite we obtain egr graphs of even girth. At the end of my talk, I will talk about some techniques to obtain new families of (almost) egr graphs of girth 5.

More information]]> [FMFI] Prednášky a semináre [FMFI] Kalendár Martin.Skoviera@fmph.uniba.sk Tue, 19 Mar 2024 09:31:00 +0100 Invitation – 12th Forum „Students - Entreprises“ https://uniba.sk/ Pozvánka – 12. ročník Fóra „Študenti - Firmy“ Convocation - 12ème édition du Forum «... Convocation - 12ème édition du Forum « Etudiants - Entreprises » 
Einladung - 12. Forum “Studierende - Unternehmen" 
Invitation – 12th Forum „Students - Entreprises“  
Dear colleagues, Dear students,   We would wish to inform you that on 20 March 2024, at 9:00 a.m., room D2 at the Faculty of Management, Comenius University in Bratislava, within the French program the 12th Forum „Students - Enterprises “ will take place.   During the forum, there will be an opportunity for students of the French program of international management and for others who join, to meet representatives of selected French companies.   The event will be held mainly in the French language.  Program
Invitation
  
You are all cordially invited to join.  
]]> [FM] Kalendár [FM] Titulka - úzke novinky Mon, 18 Mar 2024 20:11:00 +0100 Wellbeing Mentorship Training Program http://fileadmin/jlf/PR/oznamy/2024/03/Call_for_applicants_students.pdf We are thrilled to announce the opening of our Wellbeing Mentorship Training Program, a unique ... [JLF] Titulka - široké novinky Mon, 18 Mar 2024 14:45:00 +0100 Results of Selection for Erasmus Mobility http://www.fm.uniba.sk/en/international-relations/erasmus/erasmus-study-outgoing-students/results-of-selection/ Results of Selection for Erasmus Mobility for Academic Year 2024/2025 [FM] Titulka - široké novinky Mon, 18 Mar 2024 10:05:00 +0100 Invitation to the international conference E-Leader https://uniba.sk/ Invitation to the international conference E-Leader to be held at FM UK on 3-5 June 2024. THE E-LEADER CONFERENCE WEB 
INSTRUCTIONS FOR AUTHORS: ALL PAPERS DEALING WITH ANY KIND OF  E-APPLICATIONS ARE WELCOME. AS PROPOSALS PLEASE SEND THE ABSTRACT OF YOUR PAPER  (MAX. 300 WORDS) TO THE FOLLOWING E-MAIL ADDRESSES: yanyou2000@yahoo.com   what is the email address of the President of the CASA Dr. Donald Hsu. With Dr. D. Hsu is it possible to arrange also the conditions for the active participation in the E-LEADER conference at Bratislava on 3-5 June 2024. or dusan.soltes@fm.uniba.sk who is the local organizer of the e-Leader conference. Especially students and PhD. students are invited to participate in the conference with their papers but also without papers. In case of any questions please contact either Dr. R. Hsu or Prof. Dusan Soltes We are looking forward to your participation in the E-Leader International Conference.
]]> [FM] Titulka - široké novinky Mon, 18 Mar 2024 09:54:00 +0100 Lecturers and staff from partner universities http://www.fm.uniba.sk/en/about-faculty/akcie-organizovane-na-fm/erasmus-program-is-also-for-teachers-and-staff-exchanges/ The summer semester started not only with the welcome of new Incoming International Students, but... [FM] Titulka - úzke novinky Tue, 12 Mar 2024 19:50:00 +0100 Doctoral colloquium - Filip Kerák (18.3.2024) https://uniba.sk/ Monday 18.3.2024 at 13:10, Lecture room I/9 Filip Kerák:
Abstract:
While sequencing DNA or RNA with nanopore, the sequencing machine outputs a signal that is later translated to a string over alphabet {A,C,G,T} using machine learning approaches. It has been shown that current approaches to this problem lead to systematic errors in recovered sequences, hindering the downstream analysis. The goal is to develop new methods that can characterize and identify such biases through probabilistic modeling and machine learning. More information ]]> [FMFI] Prednášky a semináre [FMFI] Kalendár Damas.Gruska@fmph.uniba.sk Tue, 12 Mar 2024 17:11:00 +0100 ENLIGHT Conference in Ghent Focused on Student Life https://uniba.sk/ From March 1 to 3, 2024, the city of Ghent hosted the ENLIGHT Student Network conference, themed... [JLF] Titulka - úzke novinky milos.hrabovsky@uniba.sk Wed, 13 Mar 2024 14:42:00 +0100