David Svoboda

According to our database, David Svoboda authored at least 59 papers between 2001 and 2024.

Collaborative distances:

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

2024

Generative modeling of living cells with SO(3)-equivariant implicit neural representations.

David Wiesner, Julian Suk, Sven Dummer, Tereza Necasová, Vladimír Ulman, David Svoboda, Jelmer M. Wolterink

Medical Image Anal., January, 2024

2022

Implicit Neural Representations for Generative Modeling of Living Cell Shapes.

David Wiesner, Julian Suk, Sven Dummer, David Svoboda, Jelmer M. Wolterink

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2022, 2022

2021

Hands-on Tutorial: How Exploitable is Insecure C Code?

David Svoboda

Proceedings of the IEEE Secure Development Conference, 2021

Transfer Learning in Optical Microscopy.

Marián Kozlovský, David Wiesner, David Svoboda

Proceedings of the Simulation and Synthesis in Medical Imaging, 2021

Automated Code Repair to Ensure Spatial Memory Safety.

William Klieber, Ruben Martins, Ryan Steele, Matt Churilla, Mike McCall, David Svoboda

Proceedings of the 2nd IEEE/ACM International Workshop on Automated Program Repair, 2021

2020

Image-Based Simulations of Tubular Network Formation.

David Svoboda, Tereza Necasová

Proceedings of the 17th IEEE International Symposium on Biomedical Imaging, 2020

2019

CytoPacq: a web-interface for simulating multi-dimensional cell imaging.

David Wiesner, David Svoboda, Martin Maska, Michal Kozubek

Bioinform., 2019

Toward Robust Fully 3D Filopodium Segmentation and Tracking in Time-Lapse Fluorescence Microscopy.

Martin Maska, Tereza Necasová, David Wiesner, Dmitry V. Sorokin, Igor Peterlík, Vladimír Ulman, David Svoboda

Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

On Generative Modeling of Cell Shape Using 3D GANs.

David Wiesner, Tereza Necasová, David Svoboda

Proceedings of the Image Analysis and Processing - ICIAP 2019, 2019

2018

FiloGen: A Model-Based Generator of Synthetic 3-D Time-Lapse Sequences of Single Motile Cells With Growing and Branching Filopodia.

Dmitry V. Sorokin, Igor Peterlík, Vladimír Ulman, David Svoboda, Tereza Necasová, Katsiarina Morgaenko, Lívia Eiselleová, Lenka Tesarová, Martin Maska

IEEE Trans. Medical Imaging, 2018

Are Ante Rem Structuralists Descriptivist Or Revisionist Metaphysicians? How We Speak About Numbers.

Prokop Sousedík, David Svoboda

FLAP, 2018

Editorial.

Michael Gabbay, Prokop Sousedík, David Svoboda

FLAP, 2018

Detecting Leaks of Sensitive Data Due to Stale Reads.

Will Snavely, William Klieber, Ryan Steele, David Svoboda, Andrew Kotov

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Tubular Network Formation Process Using 3D Cellular Potts Model.

David Svoboda, Tereza Necasová, Lenka Tesarová, Pavel Simara

Proceedings of the Simulation and Synthesis in Medical Imaging, 2018

Model-Based Generation of Synthetic 3D Time-Lapse Sequences of Multiple Mutually Interacting Motile Cells with Filopodia.

Igor Peterlík, David Svoboda, Vladimír Ulman, Dmitry V. Sorokin, Martin Maska

Proceedings of the Simulation and Synthesis in Medical Imaging, 2018

Prioritizing alerts from multiple static analysis tools, using classification models.

Lori Flynn, William Snavely, David Svoboda, Nathan M. VanHoudnos, Richard Qin, Jennifer Burns, David Zubrow, Robert Stoddard, Guillermo Marce-Santurio

Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies, 2018

Visual and Quantitative Comparison of Real and Simulated Biomedical Image Data.

Tereza Necasová, David Svoboda

Proceedings of the Computer Vision - ECCV 2018 Workshops, 2018

2017

MitoGen: A Framework for Generating 3D Synthetic Time-Lapse Sequences of Cell Populations in Fluorescence Microscopy.

David Svoboda, Vladimír Ulman

IEEE Trans. Medical Imaging, 2017

FTutor: An interactive guide to the fundamentals of frequency analysis.

Petr Seckár, David Svoboda

Comput. Appl. Eng. Educ., 2017

Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon & Rules.

Lori Flynn, David Svoboda, William Snavely

Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 2017

Multimodal Simulations in Live Cell Imaging.

David Svoboda, Michal Kozubek

Proceedings of the Simulation and Synthesis in Medical Imaging, 2017

Model-based generation of synthetic 3D time-lapse sequences of motile cells with growing filopodia.

Dmitry V. Sorokin, Igor Peterlík, Vladimír Ulman, David Svoboda, Martin Maska

Proceedings of the 14th IEEE International Symposium on Biomedical Imaging, 2017

2016

Static Analysis Alert Audits: Lexicon & Rules.

David Svoboda, Lori Flynn, Will Snavely

Proceedings of the IEEE Cybersecurity Development, 2016

Beyond errno: Error Handling in "C".

David Svoboda

Proceedings of the IEEE Cybersecurity Development, 2016

Avoiding Insecure C++ - How to Avoid Common C++ Security Vulnerabilities.

Aaron Ballman, David Svoboda

Proceedings of the IEEE Cybersecurity Development, 2016

Vascular network formation in silico using the extended cellular potts model.

David Svoboda, Vladimír Ulman, Peter Kovác, Barbara Salingova, Lenka Tesarová, Irena K. Koutna, Petr Matula

Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

2015

On proper simulation of chromatin structure in static images as well as in time-lapse sequences in fluorescence microscopy.

David Svoboda, Vladimír Ulman, Igor Peterlík

Proceedings of the 12th IEEE International Symposium on Biomedical Imaging, 2015

TRAgen: A Tool for Generation of Synthetic Time-Lapse Image Sequences of Living Cells.

Vladimír Ulman, Zoltán Orémus, David Svoboda

Proceedings of the Image Analysis and Processing - ICIAP 2015, 2015

2014

Efficient k-NN based HEp-2 cells classifier.

Roman Stoklasa, Tomás Majtner, David Svoboda

Pattern Recognit., 2014

A performance evaluation of statistical tests for edge detection in textured images.

Ian Williams, Nicholas Bowring, David Svoboda

Comput. Vis. Image Underst., 2014

A benchmark for comparison of cell tracking algorithms.

Martin Maska, Vladimír Ulman, David Svoboda, Pavel Matula, Petr Matula, Cristina Ederra, Ainhoa Urbiola, Tomás España, Subramanian Venkatesan, Deepak M. W. Balak, Pavel Karas, Tereza Bolcková, Markéta Streitová, Craig Carthel, Stefano Coraluppi, Nathalie Harder, Karl Rohr, Klas E. G. Magnusson, Joakim Jaldén, Helen M. Blau, Oleh Dzyubachyk, Pavel Krízek, Guy M. Hagen, David Pastor-Escuredo, Daniel Jimenez-Carretero, María J. Ledesma-Carbayo, Arrate Muñoz-Barrutia, Erik Meijering, Michal Kozubek, Carlos Ortiz-de-Solorzano

Bioinform., 2014

Comparison of 3D Texture-Based Image Descriptors in Fluorescence Microscopy.

Tomás Majtner, David Svoboda

Proceedings of the Combinatorial Image Analysis - 16th International Workshop, 2014

RSURF - The Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEP-2 Cells.

Tomás Majtner, Roman Stoklasa, David Svoboda

Proceedings of the 22nd International Conference on Pattern Recognition, 2014

On proper simulation of phenomena influencing image formation in fluorescence microscopy.

David Svoboda, Vladimír Ulman, Ludek Matyska, Martin Maska, Jan Bella, Stanislav Stejskal

Proceedings of the 2014 IEEE International Conference on Image Processing, 2014

Texture analysis using 3D Gabor features and 3D MPEG-7 Edge Histogram descriptor in fluorescence microscopy.

Tomás Majtner, David Svoboda

Proceedings of the 2014 International Conference on 3D Imaging, 2014

Pointer Ownership Model.

David Svoboda, Lutz Wrage

Proceedings of the 47th Hawaii International Conference on System Sciences, 2014

2013

Towards a Realistic Distribution of Cells in Synthetically Generated 3D Cell Populations.

David Svoboda, Vladimír Ulman

Proceedings of the Image Analysis and Processing - ICIAP 2013, 2013

Deconvolution of Huge 3-D Images: Parallelization Strategies on a Multi-GPU System.

Pavel Karas, Michal Kuderjavý, David Svoboda

Proceedings of the Algorithms and Architectures for Parallel Processing, 2013

2012

Generation of Synthetic Image Datasets for Time-Lapse Fluorescence Microscopy.

David Svoboda, Vladimír Ulman

Proceedings of the Image Analysis and Recognition - 9th International Conference, 2012

GPU Optimization of Convolution for Large 3-D Real Images.

Pavel Karas, David Svoboda, Pavel Zemcík

Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2012

Extension of Tamura Texture Features for 3D Fluorescence Microscopy.

Tomás Majtner, David Svoboda

Proceedings of the 2012 Second International Conference on 3D Imaging, 2012

2011

Convolution of large 3D images on GPU and its decomposition.

Pavel Karas, David Svoboda

EURASIP J. Adv. Signal Process., 2011

Generation of 3D Digital Phantoms of Colon Tissue.

David Svoboda, Ondrej Homola, Stanislav Stejskal

Proceedings of the Image Analysis and Recognition - 8th International Conference, 2011

Efficient Computation of Convolution of Huge Images.

David Svoboda

Proceedings of the Image Analysis and Processing - ICIAP 2011, 2011

2010

A Novel Performance Metric for Grey-scale Edge Detection.

Ian Williams, David Svoboda, Nicholas Bowring

Proceedings of the VISAPP 2010 - Proceedings of the Fifth International Conference on Computer Vision Theory and Applications, Angers, France, May 17-21, 2010, 2010

As-If Infinitely Ranged Integer Model.

Roger B. Dannenberg, Will Dormann, David Keaton, Robert C. Seacord, David Svoboda, Alex Volkovitsky, Timothy Wilson, Thomas Plum

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

2008

Statistical edge detection of concealed weapons using artificial neural networks.

Ian Williams, David Svoboda, Nicholas Bowring, Elizabeth Guest

Proceedings of the Image Processing: Algorithms and Systems VI, 2008

2007

A Comparison of Fast Level Set-Like Algorithms for Image Segmentation in Fluorescence Microscopy.

Martin Maska, Jan Hubený, David Svoboda, Michal Kozubek

Proceedings of the Advances in Visual Computing, Third International Symposium, 2007

On Simulating 3D Fluorescent Microscope Images.

David Svoboda, Marek Kasík, Martin Maska, Jan Hubený, Stanislav Stejskal, Michal Zimmermann

Proceedings of the Computer Analysis of Images and Patterns, 12th International Conference, 2007

2006

Statistical techniques for edge detection in histological images.

David Svoboda, Ian Williams, Nicholas Bowring, Elizabeth Guest

Proceedings of the VISAPP 2006: Proceedings of the First International Conference on Computer Vision Theory and Applications, 2006

2003

The JAVELIN Question-Answering System at TREC 2003: A Multi-Strategh Approach with Dynamic Planning.

Eric Nyberg, Teruko Mitamura, James P. Callan, Jaime G. Carbonell, Robert E. Frederking, Kevyn Collins-Thompson, Laurie Hiyakumoto, Yifen Huang, Curtis Huttenhower, Scott Judy, Jeongwoo Ko, Anna Kupsc, Lucian Vlad Lita, Vasco Pedro, David Svoboda, Benjamin Van Durme

Proceedings of The Twelfth Text REtrieval Conference, 2003

Source language diagnostics for MT.

Teruko Mitamura, Kathryn Baker, David Svoboda, Eric Nyberg

Proceedings of Machine Translation Summit IX: Papers, 2003

Tissue Reconstruction Based on Deformation of Dual Simplex Meshes.

David Svoboda, Pavel Matula

Proceedings of the Discrete Geometry for Computer Imagery, 11th International Conference, 2003

Spherical Object Reconstruction Using Simplex Meshes from Sparse Data.

Pavel Matula, David Svoboda

Proceedings of the Discrete Geometry for Computer Imagery, 11th International Conference, 2003

2002

The JAVELIN Question-Answering System at TREC 2002.

Eric Nyberg, Teruko Mitamura, Jaime G. Carbonell, James P. Callan, Kevyn Collins-Thompson, Krzysztof Czuba, Michael Duggan, Laurie Hiyakumoto, N. Hu, Yifen Huang, Jeongwoo Ko, Lucian Vlad Lita, S. Murtagh, Vasco Pedro, David Svoboda

Proceedings of The Eleventh Text REtrieval Conference, 2002

Deriving Semantic Knowledge from Descriptive Texts Using an MT System.

Eric Nyberg, Teruko Mitamura, Kathryn L. Baker, David Svoboda, Brian Peterson, Jennifer Williams

Proceedings of the Machine Translation: From Research to Real Users, 2002

The KANTOO MT System: Controlled Language Checker and Lexical Maintenance Tool.

Teruko Mitamura, Eric Nyberg, Kathryn L. Baker, Peter A. Cramer, Jeongwoo Ko, David Svoboda, Michael Duggan

Proceedings of the Machine Translation: From Research to Real Users, 2002

2001

Pronominal anaphora resolution in KANTOO English-to-Spanish machine translation system.

Teruko Mitamura, Eric Nyberg, Enrique Torrejón, David Svoboda, Kathryn L. Baker

Proceedings of Machine Translation Summit VIII, 2001

Spherical Object Reconstruction Using Star-Shaped Simplex Meshes.

Pavel Matula, David Svoboda

Proceedings of the Energy Minimization Methods in Computer Vision and Pattern Recognition, 2001