-
V. Bezshapkin, W. Branicki, A. Frolova, M. Kowalski, K. Mnich, W. Rudnicki, W. Wydmański, R. Zbieć-Piekarska, K. Zielińska, P.P. Łabaj
Towards improved biome understanding and classification – exploiting intra-community synergies (poster)
The 31st Annual Intelligent Systems For Molecular Biology and the 22nd Annual European Conference on Computational Biology, Lyon, Francja, Jul 23-27, 2023
-
V. Bezshapkin, D. Błaszczyk, T. Kościółek, K. Mnich, W. Rudnicki, W. Wydmański, K. Zielińska, P.P. Łabaj
Predicting Microbial Communities: A Machine Learning and Network Analysis Approach (poster)
The 31st Annual Intelligent Systems For Molecular Biology and the 22nd Annual European Conference on Computational Biology, Lyon, Francja, Jul 23-27, 2023
-
V. Bezshapkin, D. Błaszczyk, T. Kościółek, K. Mnich, W. Rudnicki, W. Wydmański, K. Zielińska, P.P. Łabaj
Redefining the definition of microbiome health (poster)
The 31st Annual Intelligent Systems For Molecular Biology and the 22nd Annual European Conference on Computational Biology, Lyon, Francja, Jul 23-27, 2023
-
A. Bołtuć, K. Szerszeń*, E. Zieniuk
An Algorithm for Eliminating the Boundary Layer Effect in the Integral Identity in PIES for 2D Orthotropic Problems
37th European Simulation and Modelling Conference, Tuluza, Francja, Oct 24-26, 2023
EUROSIS-ETI (org.)
-
A. Bołtuć*, E. Zieniuk
NURBS Surfaces in 2D Elastoplastic Boundary Problems Solved by PIES
37th European Simulation and Modelling Conference, Tuluza, Francja, Oct 24-26, 2023
EUROSIS-ETI (org.)
-
A. Bołtuć*, E. Zieniuk
PIES in multi-region elastic problems including body forces (poster)
23rd International Conference on Computational Science, Prague, Czech Republic, Jul 3-5, 2023
-
P. Czeczot, W. Półjanowicz
Adaptive-Edu środowisko kształcenia na odległość adaptujące się do potrzeb użytkownika z wykorzystaniem agenta edukacyjnego jako wirtualnego mentora (poster)
IX Konferencja e-Technologie w Kształceniu Inżynierów, Kraków, Polska, Sep 19-20, 2023
Akademia Górniczo-Hutnicza i Politechnika Gdańska (org.)
-
P. Czeczot, W. Półjanowicz
Platforma e-learningowa Adaptive-Edu jako innowacyjne narzędzie do nowoczesnej edukacji
XVII Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Polska, Sep 11-14, 2023
Polskie Towarzystwo Informatyczne, Oddział Białostocki: Wydział Informatyki Politechniki Białostockiej: Instytut Informatyki UwB (org.)
-
M. Czupryna, A. Kużelewski*, E. Zieniuk
Fuzzy solutions of boundary problems using interval parametric integral equations system (poster)
23rd International Conference on Computational Science, Prague, Czech Republic, Jul 3-5, 2023
-
M. Czupryna, A. Kużelewski*, E. Zieniuk
Solving uncertainly defined curvilinear potential 2D BVPs by the IFPIES (poster)
23rd International Conference on Computational Science, Prague, Czech Republic, Jul 3-5, 2023
-
A. Golińska, W. Lesiński, W. Rudnicki
Modelling of Drug-induced Liver Injury with multiple Machine Learning algorithms (poster)
4th Polish Conference on Artificial Intelligence 2023, Łódź, Poland, Apr 23-26, 2023
Politechnika Łódzka (org.)
-
A. Golińska, W. Lesiński, W. Rudnicki, P. Stomma, R. Toscan*, P.P. Łabaj
Antimicrobial Resistance in Diverse Urban Microbiomes: Uncovering Patterns and Predictive Markers
Annual International Conference on Critical Assessment of Massive Data Analysis 2023, Lyon, France, Jul 26-27, 2023
-
A. Gomolińska*, M. Wolski
Nearness of sets of attributes in the basic case of Pawlak-style information systems
Matematyka Pogranicza 2023, Białystok, Poland, Dec 1-3, 2023
PTM, PB, UwB (org.)
-
A. Grabowski
Computer-Supported Encoding of Fuzzy Negations and Laws of Contraposition
2023 IEEE International Conference on Fuzzy Systems, Songdo Incheon, Korea, Aug 13-17, 2023
IEEE Computational Intelligence Society (org.)
-
A. Grabowski, A. Korniłowicz*
Implementing More Explicit Definitional Expansions in Mizar
14th International Conference on Interactive Theorem Proving, Białystok, Poland, Jul 31 - Aug 4, 2023
University of Bialystok, Poland (org.)
-
Ł. Kiszkiel, M. Rybnik
Projekt "Religia, Ideologia i Prospołeczność" (invited talk)
Sesja sprawozdawcza Uniwersyteckiego Centrum Obliczeniowego 2023, Białystok, Polska, Jun 26, 2023
Uniwersyteckie Centrum Obliczeniowe Uniwersytetu w Białymstoku (org.)
-
A. Korniłowicz
Transformacje Mizar Mathematical Library
XVII Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Polska, Sep 11-14, 2023
Polskie Towarzystwo Informatyczne, Oddział Białostocki: Wydział Informatyki Politechniki Białostockiej: Instytut Informatyki UwB (org.)
-
A. Korniłowicz
Transformacje prac zapisanych w języku Mizar (invited talk)
Sesja sprawozdawcza Uniwersyteckiego Centrum Obliczeniowego 2023, Białystok, Polska, Jun 26, 2023
Uniwersyteckie Centrum Obliczeniowe Uniwersytetu w Białymstoku (org.)
-
A. Korniłowicz
Translation the Mizar Mathematical Library into Lambdapi
Dedukti tools developers meeting 2, Fréjus, France, Jan 27-29, 2023
-
A. Kużelewski*, E. Zieniuk
Searching for the Best Tree Parameters in the IFPIES
37th European Simulation and Modelling Conference, Tuluza, Francja, Oct 24-26, 2023
EUROSIS-ETI (org.)
-
W. Lesiński
Projekt Pilotażowy: Wykorzystanie Uczenia Maszynowego w Kontroli Jakości Produkcji (invited talk)
Sesja sprawozdawcza Uniwersyteckiego Centrum Obliczeniowego 2023, Białystok, Polska, Jun 26, 2023
Uniwersyteckie Centrum Obliczeniowe Uniwersytetu w Białymstoku (org.)
-
W. Lesiński, W. Rudnicki
A Robust Machine Learning Protocol for Prediction of Prostate Cancer Survival at Multiple Time-Horizons (poster)
4th Polish Conference on Artificial Intelligence 2023, Łódź, Poland, Apr 23-26, 2023
Politechnika Łódzka (org.)
-
W. Lesiński, W. Rudnicki
A Robust Machine Learning Protocol for Prediction of Prostate Cancer Survival at Multiple Time-Horizons (poster)
23rd International Conference on Computational Science, Prague, Czech Republic, Jul 3-5, 2023
-
K. Mnich, W. Rudnicki
Parametric Monte Carlo Feature Filtering (poster)
4th Polish Conference on Artificial Intelligence 2023, Łódź, Poland, Apr 23-26, 2023
Politechnika Łódzka (org.)
-
14th International Conference on Interactive Theorem Proving, Białystok, Poland, Jul 31 - Aug 4, 2023
University of Bialystok, Poland (org.)
-
A. Naumowicz
Extending Numeric Automation for Number Theory Formalizations in Mizar
16th International Conference on Intelligent Computer Mathematics, Cambridge, UK, Sep 4-8, 2023
University of Bath, UK (org.)
-
U. Ostaszewska, E. Schmeidel, M. Zdanowicz*
Asymptotic properties of solutions to fourth-order difference equations on time scales
Workshop on Differential Equations and Their Applications 2023, Będlewo, Poland, Jul 2-8, 2023
IMPAN (org.)
-
R. Piliszek, O. Podbielska, W. Rudnicki, P. Stomma*, P. Wszeborowska
Biomarkers discovery with machine learning and feature discovery
BioInformatics in Torun 2023, Toruń, Poland, Jun 29 - Jul 1, 2023
Polskie Towarzystwo Bioinformatyczne and Faculty of Physics, Astronomy and Informatics, Nicolaus Copernicus University in Torun (org.)
-
R. Piliszek, W. Rudnicki
Let the STIG find the most relevant features (poster)
4th Polish Conference on Artificial Intelligence 2023, Łódź, Poland, Apr 23-26, 2023
Politechnika Łódzka (org.)
-
W. Rudnicki
Jak znajdujemy biomarkery chorób nowotworowych wykorzystując uczenie maszynowe? (invited talk)
Sesja sprawozdawcza Uniwersyteckiego Centrum Obliczeniowego 2023, Białystok, Polska, Jun 26, 2023
Uniwersyteckie Centrum Obliczeniowe Uniwersytetu w Białymstoku (org.)
-
W. Rudnicki, S. Shahbazi, P. Stomma*
Novel clique based clustering algorithm
16th Symposium of Polish Bioinformatics Society, Silesian University of Technology, Gliwice, Poland, Sep 13-14, 2023
-
W. Rudnicki, P. Stomma*
Effectively simulating correlation structure of multidimensional biological datasets (poster)
4th Polish Conference on Artificial Intelligence 2023, Łódź, Poland, Apr 23-26, 2023
Politechnika Łódzka (org.)
-
W. Rudnicki, P. Stomma*
Interpretable generative model of correlation structure of multidimensional biological datasets (poster)
The 31st Annual Intelligent Systems For Molecular Biology and the 22nd Annual European Conference on Computational Biology, Lyon, Francja, Jul 23-27, 2023
-
W. Rudnicki, P. Stomma*
Interpretable generative model of correlation structure of multidimensional biological datasets
BioInformatics in Torun 2023, Toruń, Poland, Jun 29 - Jul 1, 2023
Polskie Towarzystwo Bioinformatyczne and Faculty of Physics, Astronomy and Informatics, Nicolaus Copernicus University in Torun (org.)
-
P. Stomma
Klastrowanie klik w mikrobiomie jelitowym (invited talk)
Sesja sprawozdawcza Uniwersyteckiego Centrum Obliczeniowego 2023, Białystok, Polska, Jun 26, 2023
Uniwersyteckie Centrum Obliczeniowe Uniwersytetu w Białymstoku (org.)
-
Ł. Szeremeta
MMLKG: Graf wiedzy dla definicji, twierdzeń i dowodów w matematyce (invited talk)
Sesja sprawozdawcza Uniwersyteckiego Centrum Obliczeniowego 2023, Białystok, Polska, Jun 26, 2023
Uniwersyteckie Centrum Obliczeniowe Uniwersytetu w Białymstoku (org.)
-
K. Szerszeń*, E. Zieniuk
A Procedure for Approximating Boundary Conditions with Chebyshev Series in PIES Based on Automatic Differentiation
37th European Simulation and Modelling Conference, Tuluza, Francja, Oct 24-26, 2023
EUROSIS-ETI (org.)
-
B. Łupińska
Some nonlinear fractional boundary value problem in weighted space of continuous functions
Workshop on Differential Equations and Their Applications 2023, Będlewo, Poland, Jul 2-8, 2023
IMPAN (org.)