Balázs Tóth

According to our database, Balázs Tóth authored at least 35 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Modular Formalization of Superposition.

Martin Desharnais, Balázs Tóth

Arch. Formal Proofs, 2024

Spam Filter Using Artificial Intelligence: PyTorch Framework Based Approach.

Balázs Tóth, Szandra Anna Laczi, Valéria Póser

Proceedings of the 22nd IEEE Jubilee International Symposium on Intelligent Systems and Informatics, 2024

A Modular Formalization of Superposition in Isabelle/HOL.

Martin Desharnais, Balázs Tóth, Uwe Waldmann, Jasmin Blanchette, Sophie Tourret

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Real-Time Double-Ended Queue Verified (Proof Pearl).

Balázs Tóth, Tobias Nipkow

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Robust compartmental model fitting in direct emission tomography reconstruction.

László Szirmay-Kalos, Ágota Kacsó, Milán Magdics, Balázs Tóth

Vis. Comput., 2022

Accounting for Non-Uniform Ambient Lighting in Ray Traced Ambient Occlusion.

András Fridvalszky, Balázs Tóth

Period. Polytech. Electr. Eng. Comput. Sci., 2022

Two-field mixed hp-finite elements for time-dependent problems in the refined theories of thermodynamics.

Balázs Tóth, Zsombor Molnár, Róbert Kovács

CoRR, 2022

Real-Time Double-Ended Queue.

Balázs Tóth, Tobias Nipkow

Arch. Formal Proofs, 2022

2021

Performance Analysis of FEM Solvers on Practical Electromagnetic Problems.

Gergely Máté Kiss, Jan Kaska, Roberto André Henrique de Oliveira, Olena Rubanenko, Balázs Tóth

Period. Polytech. Electr. Eng. Comput. Sci., 2021

Data Optimisation for a Deep Learning Recommender System.

Gustav Hertz, Sandhya Sachidanandan, Balázs Tóth, Emil S. Jørgensen, Martin Tegner

CoRR, 2021

2020

Balancing Relevance and Discovery to Inspire Customers in the IKEA App.

Balázs Tóth, Sandhya Sachidanandan, Emil S. Jørgensen

Proceedings of the RecSys 2020: Fourteenth ACM Conference on Recommender Systems, 2020

Multisample Anti-aliasing in Deferred Rendering.

András Fridvalszky, Balázs Tóth

Proceedings of the 41st Annual Conference of the European Association for Computer Graphics, 2020

2018

Dynamic PET Reconstruction on the GPU.

László Szirmay-Kalos, Ágota Kacsó, Milán Magdics, Balázs Tóth

Period. Polytech. Electr. Eng. Comput. Sci., 2018

2017

Volume enhancement with externally controlled anisotropic diffusion.

László Szirmay-Kalos, Milán Magdics, Balázs Tóth

Vis. Comput., 2017

Nauticle: a general-purpose particle-based simulation tool.

Balázs Tóth

CoRR, 2017

2016

Efficient Voxel Marking for Hierarchical Volumetric Fusion.

László Szirmay-Kalos, Balázs Tóth, Tamás Umenhoffer

Proceedings of the 37th Annual Conference of the European Association for Computer Graphics, 2016

2014

Hatékony mintavételezési eljárások a GPU-n fotorealisztikus képszintézishez

Balázs Tóth

PhD thesis, 2014

Multiple Importance Sampling for PET.

László Szirmay-Kalos, Milán Magdics, Balázs Tóth

IEEE Trans. Medical Imaging, 2014

2013

Averaging and Metropolis Iterations For Positron Emission Tomography.

László Szirmay-Kalos, Milán Magdics, Balázs Tóth, Tamás Bükki

IEEE Trans. Medical Imaging, 2013

Analysis and Control of the Accuracy and Convergence of the ML-EM Iteration.

Milán Magdics, László Szirmay-Kalos, Balázs Tóth, Anton A. Penzov

Proceedings of the Large-Scale Scientific Computing - 9th International Conference, 2013

2012

Illumination-Driven Opacity Modulation for Expressive Volume Rendering.

Balázs Csébfalvi, Balázs Tóth, Stefan Bruckner, M. Eduard Gröller

Proceedings of the 17th International Workshop on Vision, Modeling, and Visualization, 2012

2011

Parallel Iteration to the Radiative Transport in Inhomogeneous Media with Bootstrapping.

László Szirmay-Kalos, Gabor Liktor, Tamás Umenhoffer, Balázs Tóth, Shree Kumar, Glenn Lupton

IEEE Trans. Vis. Comput. Graph., 2011

Free Path Sampling in High Resolution Inhomogeneous Participating Media.

László Szirmay-Kalos, Balázs Tóth, Milán Magdics

Comput. Graph. Forum, 2011

Fast Hydraulic and Thermal Erosion on GPU.

Balázs Jákó, Balázs Tóth

Proceedings of the 32nd Annual Conference of the European Association for Computer Graphics, 2011

2010

Volumetric Ambient Occlusion for Real-Time Rendering and Games.

László Szirmay-Kalos, Tamás Umenhoffer, Balázs Tóth, László Szécsi, Mateu Sbert

IEEE Computer Graphics and Applications, 2010

Scatter Estimation for PET Reconstruction.

Milán Magdics, László Szirmay-Kalos, Balázs Tóth, Ádam Csendesi, Anton A. Penzov

Proceedings of the Numerical Methods and Applications - 7th International Conference, 2010

Efficient Free Path Sampling in Inhomogeneous Media.

László Szirmay-Kalos, Balázs Tóth, Milán Magdics, Balázs Csébfalvi

Proceedings of the 31st Annual Conference of the European Association for Computer Graphics, 2010

2009

The behaviour of the multi-layer perceptron and the support vector regression learning methods in the prediction of NO and NO₂ concentrations in Szeged, Hungary.

István Juhos, László Makra, Balázs Tóth

Neural Comput. Appl., 2009

Efficient methods for ambient lighting.

Tamás Umenhoffer, Balázs Tóth, László Szirmay-Kalos

Proceedings of the Spring Conference on Computer Graphics, 2009

Gamma Photon Transport on the GPU for PET.

László Szirmay-Kalos, Balázs Tóth, Milán Magdics, Dávid Légrády, Anton A. Penzov

Proceedings of the Large-Scale Scientific Computing, 7th International Conference, 2009

Real-time Volumetric Lighting in Participating Media.

Balázs Tóth, Tamás Umenhoffer

Proceedings of the 30th Annual Conference of the European Association for Computer Graphics, 2009

Fast Approximation of Multiple Scattering in Inhomogeneous Participating Media.

László Szirmay-Kalos, Gabor Liktor, Tamás Umenhoffer, Balázs Tóth

Proceedings of the 30th Annual Conference of the European Association for Computer Graphics, 2009

Parallel Solution to the Radiative Transport.

László Szirmay-Kalos, Gabor Liktor, Tamás Umenhoffer, Balázs Tóth, Shree Kumar, Glenn Lupton

Proceedings of the 9th Eurographics Symposium on Parallel Graphics and Visualization, 2009

2008

Forecasting of traffic origin NO and NO₂ concentrations by Support Vector Machines and neural networks using Principal Component Analysis.

István Juhos, László Makra, Balázs Tóth

Simul. Model. Pract. Theory, 2008

Partial, multi-scale precomputed radiance transfer.

Tamás Umenhoffer, László Szirmay-Kalos, László Szécsi, Balázs Tóth, Mateu Sbert

Proceedings of the Spring Conference on Computer Graphics, 2008