Balázs Tóth

39 papers A 1B 3Misc 1Journal 20Unranked 13
YearRankTypeTitle / Venue / Authors
2026 B conf
Adding Sorts to an Isabelle Formalization of Superposition.
CPP
Balázs Tóth, Martin Desharnais-Schäfer, Jasmin Blanchette
2025 J jnl
First Order Clause.
Arch. Formal Proofs
Balázs Tóth
2025 J jnl
Typed Ordered Resolution.
Arch. Formal Proofs
Adnan Mohammed Ahmed, Balázs Tóth
2024 B conf
A Modular Formalization of Superposition in Isabelle/HOL.
ITP
Martin Desharnais, Balázs Tóth, Uwe Waldmann, Jasmin Blanchette, Sophie Tourret
2024 J jnl
A Modular Formalization of Superposition.
Arch. Formal Proofs
Martin Desharnais, Balázs Tóth
2024 Misc conf
Spam Filter Using Artificial Intelligence: PyTorch Framework Based Approach.
SISY
Balázs Tóth, Szandra Anna Laczi, Valéria Póser
2023 B conf
Real-Time Double-Ended Queue Verified (Proof Pearl).
ITP
Balázs Tóth, Tobias Nipkow
2022 J jnl
Accounting for Non-Uniform Ambient Lighting in Ray Traced Ambient Occlusion.
Period. Polytech. Electr. Eng. Comput. Sci.
András Fridvalszky, Balázs Tóth
2022 J jnl
Real-Time Double-Ended Queue.
Arch. Formal Proofs
Balázs Tóth, Tobias Nipkow
2022 J jnl
Robust compartmental model fitting in direct emission tomography reconstruction.
Vis. Comput.
László Szirmay-Kalos, Ágota Kacsó, Milán Magdics, Balázs Tóth
2022 J jnl
Two-field mixed hp-finite elements for time-dependent problems in the refined theories of thermodynamics.
CoRR
Balázs Tóth, Zsombor Molnár, Róbert Kovács
2021 J jnl
Data Optimisation for a Deep Learning Recommender System.
CoRR
Gustav Hertz, Sandhya Sachidanandan, Balázs Tóth, Emil S. Jørgensen, Martin Tegner
2021 J jnl
Performance Analysis of FEM Solvers on Practical Electromagnetic Problems.
Period. Polytech. Electr. Eng. Comput. Sci.
Gergely Máté Kiss, Jan Kaska, Roberto André Henrique de Oliveira, Olena Rubanenko, Balázs Tóth
2020 A conf
Balancing Relevance and Discovery to Inspire Customers in the IKEA App.
RecSys
Balázs Tóth, Sandhya Sachidanandan, Emil S. Jørgensen
2020 — conf
Multisample Anti-aliasing in Deferred Rendering.
Eurographics (Short Papers)
András Fridvalszky, Balázs Tóth
2020 J jnl
Performance Analysis of FEM Solvers on Practical Electromagnetic Problems.
CoRR
Gergely Máté Kiss, Jan Kaska, Roberto André Henrique de Oliveira, Olena Rubanenko, Balázs Tóth
2018 J jnl
Dynamic PET Reconstruction on the GPU.
Period. Polytech. Electr. Eng. Comput. Sci.
László Szirmay-Kalos, Ágota Kacsó, Milán Magdics, Balázs Tóth
2017 J jnl
Nauticle: a general-purpose particle-based simulation tool.
CoRR
Balázs Tóth
2017 J jnl
Volume enhancement with externally controlled anisotropic diffusion.
Vis. Comput.
László Szirmay-Kalos, Milán Magdics, Balázs Tóth
2016 — conf
Efficient Voxel Marking for Hierarchical Volumetric Fusion.
Eurographics (Posters)
László Szirmay-Kalos, Balázs Tóth, Tamás Umenhoffer
2014 — —
Hatékony mintavételezési eljárások a GPU-n fotorealisztikus képszintézishez
Balázs Tóth
2014 J jnl
Multiple Importance Sampling for PET.
IEEE Trans. Medical Imaging
László Szirmay-Kalos, Milán Magdics, Balázs Tóth
2013 — conf
Analysis and Control of the Accuracy and Convergence of the ML-EM Iteration.
LSSC
Milán Magdics, László Szirmay-Kalos, Balázs Tóth, Anton A. Penzov
2013 J jnl
Averaging and Metropolis Iterations For Positron Emission Tomography.
IEEE Trans. Medical Imaging
László Szirmay-Kalos, Milán Magdics, Balázs Tóth, Tamás Bükki
2012 — conf
Illumination-Driven Opacity Modulation for Expressive Volume Rendering.
VMV
Balázs Csébfalvi, Balázs Tóth, Stefan Bruckner, M. Eduard Gröller
2011 — conf
Fast Hydraulic and Thermal Erosion on GPU.
Eurographics (Short Papers)
Balázs Jákó, Balázs Tóth
2011 J jnl
Free Path Sampling in High Resolution Inhomogeneous Participating Media.
Comput. Graph. Forum
László Szirmay-Kalos, Balázs Tóth, Milán Magdics
2011 J jnl
Parallel Iteration to the Radiative Transport in Inhomogeneous Media with Bootstrapping.
IEEE Trans. Vis. Comput. Graph.
László Szirmay-Kalos, Gabor Liktor, Tamás Umenhoffer, Balázs Tóth, Shree Kumar, Glenn Lupton
2010 — conf
Efficient Free Path Sampling in Inhomogeneous Media.
Eurographics (Posters)
László Szirmay-Kalos, Balázs Tóth, Milán Magdics, Balázs Csébfalvi
2010 — conf
Scatter Estimation for PET Reconstruction.
NMA
Milán Magdics, László Szirmay-Kalos, Balázs Tóth, Ádam Csendesi, Anton A. Penzov
2010 J jnl
Volumetric Ambient Occlusion for Real-Time Rendering and Games.
IEEE Computer Graphics and Applications
László Szirmay-Kalos, Tamás Umenhoffer, Balázs Tóth, László Szécsi, Mateu Sbert
2009 — conf
Efficient methods for ambient lighting.
SCCG
Tamás Umenhoffer, Balázs Tóth, László Szirmay-Kalos
2009 — conf
Fast Approximation of Multiple Scattering in Inhomogeneous Participating Media.
Eurographics (Short Papers)
László Szirmay-Kalos, Gabor Liktor, Tamás Umenhoffer, Balázs Tóth
2009 — conf
Gamma Photon Transport on the GPU for PET.
LSSC
László Szirmay-Kalos, Balázs Tóth, Milán Magdics, Dávid Légrády, Anton A. Penzov
2009 — conf
Parallel Solution to the Radiative Transport.
EGPGV@Eurographics
László Szirmay-Kalos, Gabor Liktor, Tamás Umenhoffer, Balázs Tóth, Shree Kumar, Glenn Lupton
2009 — conf
Real-time Volumetric Lighting in Participating Media.
Eurographics (Short Papers)
Balázs Tóth, Tamás Umenhoffer
2009 J jnl
The behaviour of the multi-layer perceptron and the support vector regression learning methods in the prediction of NO and NO
Neural Comput. Appl.
István Juhos, László Makra, Balázs Tóth
2008 J jnl
Forecasting of traffic origin NO and NO
Simul. Model. Pract. Theory
István Juhos, László Makra, Balázs Tóth
2008 — conf
Partial, multi-scale precomputed radiance transfer.
SCCG
Tamás Umenhoffer, László Szirmay-Kalos, László Szécsi, Balázs Tóth, Mateu Sbert