Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• NewsEntry (2020/04/28)  + (April 28, 2020)
• Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization  + (May 14, 2020)
• LTL Model Checking for Communicating Concurrent Programs  + (May 15, 2020)
• Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures  + (June 1, 2020)
• Community and LBD-based Clause Sharing Policy for Parallel SAT Solving  + (June 1, 2020)
• NewsEntry (2020/06/02)  + (June 2, 2020)
• A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation  + (June 2, 2020)
• Improving swarming using genetic algorithms  + (June 2, 2020)
• Practical “Paritizing” of Emerson–Lei Automata  + (July 7, 2020)
• (Dynamic (Programming Paradigms)) ;; Performance and Expressivity  + (July 10, 2020)
• NewsEntry (2020/07/10)  + (July 10, 2020)
• NewsEntry (2020/07/17)  + (July 17, 2020)
• Non-iterative methods for image improvement in digital holography of the retina  + (July 17, 2020)
• A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D  + (July 21, 2020)
• Euler Well-Composedness  + (July 21, 2020)
• On the Usefulness of Clause Strengthening in Parallel SAT Solving  + (August 1, 2020)
• Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids  + (September 3, 2020)
• Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids  + (September 3, 2020)
• Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival  + (September 3, 2020)
• NewsEntry (2020/10/21)  + (October 21, 2020)
• FOANet: A Focus of Attention Network with Application to Myocardium Segmentation  + (November 2, 2020)
• Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation  + (November 2, 2020)
• PAIP 2019: Liver Cancer Segmentation Challenge  + (November 10, 2020)
• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (November 10, 2020)
• NewsEntry (2020/11/16)  + (November 16, 2020)
• Seminar/2020-12-16  + (December 16, 2020)
• A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  + (December 31, 2020)

• A blockchain-based certificate revocation management and status verification system  + (January 1, 2021)
• Automation of Binary Analysis: From Open Source Collection to Threat Intelligence  + (January 1, 2021)
• Blockchain-Based Solution for Detecting and Preventing Fake Check Scams  + (January 1, 2021)
• Debug Packages in OpenBSD  + (January 1, 2021)

• Seminar/2021-02-10  + (February 10, 2021)
• Going beyond p-convolutions to learn grayscale morphological operators  + (February 16, 2021)
• Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation  + (February 16, 2021)
• On Some Associations Between Mathematical Morphology and Artificial Intelligence  + (February 16, 2021)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (February 24, 2021)
• An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D  + (March 2, 2021)
• A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation  + (March 2, 2021)
• Stability of the Tree of Shapes to Additive Noise  + (March 2, 2021)
• NewsEntry (2021/03/05)  + (March 5, 2021)
• Seminar/2021-03-31  + (March 31, 2021)
• An Innovative and Decentralized Identity Framework Based on Blockchain Technology  + (April 1, 2021)
• A Portable, Simple, Embeddable Type System  + (April 26, 2021)
• A Corpus Processing and Analysis Pipeline for Quickref  + (May 1, 2021)
• Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks  + (May 4, 2021)
• Seminar/2021-05-12  + (May 12, 2021)
• Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation  + (May 17, 2021)
• ICDAR 2021 Competition on Historical Map Segmentation  + (May 17, 2021)
• Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction  + (May 17, 2021)
• Go2Pins: A Framework for the LTL Verification of Go Programs  + (June 8, 2021)
• NewsEntry (2021/07/05)  + (July 5, 2021)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (July 22, 2021)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (August 31, 2021)
• NewsEntry (2021/09/01)  + (September 1, 2021)