David Svoboda

Orcid: 0000-0001-6074-0164

Affiliations:
  • Masaryk University, Brno, Czech Republic


According to our database1, David Svoboda authored at least 60 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Generative modeling of living cells with SO(3)-equivariant implicit neural representations.
Medical Image Anal., January, 2024

COMPYDA: An Online Tool for Verifying the Similarity of Image Datasets.
Proceedings of the IEEE International Symposium on Biomedical Imaging, 2024

2022
Implicit Neural Representations for Generative Modeling of Living Cell Shapes.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2022, 2022

2021
Hands-on Tutorial: How Exploitable is Insecure C Code?
Proceedings of the IEEE Secure Development Conference, 2021

Transfer Learning in Optical Microscopy.
Proceedings of the Simulation and Synthesis in Medical Imaging, 2021

Automated Code Repair to Ensure Spatial Memory Safety.
Proceedings of the 2nd IEEE/ACM International Workshop on Automated Program Repair, 2021

2020
Image-Based Simulations of Tubular Network Formation.
Proceedings of the 17th IEEE International Symposium on Biomedical Imaging, 2020

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

Toward Robust Fully 3D Filopodium Segmentation and Tracking in Time-Lapse Fluorescence Microscopy.
Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

On Generative Modeling of Cell Shape Using 3D GANs.
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.
IEEE Trans. Medical Imaging, 2018

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

Editorial.
FLAP, 2018

Detecting Leaks of Sensitive Data Due to Stale Reads.
Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Tubular Network Formation Process Using 3D Cellular Potts Model.
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.
Proceedings of the Simulation and Synthesis in Medical Imaging, 2018

Prioritizing alerts from multiple static analysis tools, using classification models.
Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies, 2018

Visual and Quantitative Comparison of Real and Simulated Biomedical Image Data.
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.
IEEE Trans. Medical Imaging, 2017

FTutor: An interactive guide to the fundamentals of frequency analysis.
Comput. Appl. Eng. Educ., 2017

Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon & Rules.
Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 2017

Multimodal Simulations in Live Cell Imaging.
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.
Proceedings of the 14th IEEE International Symposium on Biomedical Imaging, 2017

2016
Static Analysis Alert Audits: Lexicon & Rules.
Proceedings of the IEEE Cybersecurity Development, 2016

Beyond errno: Error Handling in "C".
Proceedings of the IEEE Cybersecurity Development, 2016

Avoiding Insecure C++ - How to Avoid Common C++ Security Vulnerabilities.
Proceedings of the IEEE Cybersecurity Development, 2016

Vascular network formation in silico using the extended cellular potts model.
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.
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.
Proceedings of the Image Analysis and Processing - ICIAP 2015, 2015

2014
Efficient k-NN based HEp-2 cells classifier.
Pattern Recognit., 2014

A performance evaluation of statistical tests for edge detection in textured images.
Comput. Vis. Image Underst., 2014

A benchmark for comparison of cell tracking algorithms.
Bioinform., 2014

Comparison of 3D Texture-Based Image Descriptors in Fluorescence Microscopy.
Proceedings of the Combinatorial Image Analysis - 16th International Workshop, 2014

RSURF - The Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEP-2 Cells.
Proceedings of the 22nd International Conference on Pattern Recognition, 2014

On proper simulation of phenomena influencing image formation in fluorescence microscopy.
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.
Proceedings of the 2014 International Conference on 3D Imaging, 2014

Pointer Ownership Model.
Proceedings of the 47th Hawaii International Conference on System Sciences, 2014

2013
Towards a Realistic Distribution of Cells in Synthetically Generated 3D Cell Populations.
Proceedings of the Image Analysis and Processing - ICIAP 2013, 2013

Deconvolution of Huge 3-D Images: Parallelization Strategies on a Multi-GPU System.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2013

2012
Generation of Synthetic Image Datasets for Time-Lapse Fluorescence Microscopy.
Proceedings of the Image Analysis and Recognition - 9th International Conference, 2012

GPU Optimization of Convolution for Large 3-D Real Images.
Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2012

Extension of Tamura Texture Features for 3D Fluorescence Microscopy.
Proceedings of the 2012 Second International Conference on 3D Imaging, 2012

2011
Convolution of large 3D images on GPU and its decomposition.
EURASIP J. Adv. Signal Process., 2011

Generation of 3D Digital Phantoms of Colon Tissue.
Proceedings of the Image Analysis and Recognition - 8th International Conference, 2011

Efficient Computation of Convolution of Huge Images.
Proceedings of the Image Analysis and Processing - ICIAP 2011, 2011

2010
A Novel Performance Metric for Grey-scale Edge Detection.
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.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

2008
Statistical edge detection of concealed weapons using artificial neural networks.
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.
Proceedings of the Advances in Visual Computing, Third International Symposium, 2007

On Simulating 3D Fluorescent Microscope Images.
Proceedings of the Computer Analysis of Images and Patterns, 12th International Conference, 2007

2006
Statistical techniques for edge detection in histological images.
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.
Proceedings of The Twelfth Text REtrieval Conference, 2003

Source language diagnostics for MT.
Proceedings of Machine Translation Summit IX: Papers, 2003

Tissue Reconstruction Based on Deformation of Dual Simplex Meshes.
Proceedings of the Discrete Geometry for Computer Imagery, 11th International Conference, 2003

Spherical Object Reconstruction Using Simplex Meshes from Sparse Data.
Proceedings of the Discrete Geometry for Computer Imagery, 11th International Conference, 2003

2002

Deriving Semantic Knowledge from Descriptive Texts Using an MT System.
Proceedings of the Machine Translation: From Research to Real Users, 2002

The KANTOO MT System: Controlled Language Checker and Lexical Maintenance Tool.
Proceedings of the Machine Translation: From Research to Real Users, 2002

2001
Pronominal anaphora resolution in KANTOO English-to-Spanish machine translation system.
Proceedings of Machine Translation Summit VIII, 2001

Spherical Object Reconstruction Using Star-Shaped Simplex Meshes.
Proceedings of the Energy Minimization Methods in Computer Vision and Pattern Recognition, 2001


  Loading...