Semantic search
No value
- On the Usefulness of Clause Strengthening in Parallel SAT Solving (News year 2020, Has title On the Usefulness of Clause Strengthening in Parallel SAT Solving, Published in Proceedings of the 12th NASA Formal Methods Symposium (NFM'20))
- A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D (News year 2020, Has title A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D, Published in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020)
- Euler Well-Composedness (News year 2020, Has title Euler Well-Composedness, Published in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020)
- Non-iterative methods for image improvement in digital holography of the retina (News year 2020, Has title Non-iterative methods for image improvement in digital holography of the retina)
- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity (News year 2020, Has title (Dynamic (Programming Paradigms)) ;; Performance and Expressivity)
- Practical “Paritizing” of Emerson–Lei Automata (News year 2020, Has title Practical “Paritizing” of Emerson–Lei Automata, Published in Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20))
- Improving swarming using genetic algorithms (News year 2020, Has title Improving swarming using genetic algorithms, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation (News year 2020, Has title A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation, Published in Computer Vision and Image Understanding)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving (News year 2020, Has title Community and LBD-based Clause Sharing Policy for Parallel SAT Solving, Published in Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20))
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures (News year 2020, Has title Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures, Published in Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019)
- LTL Model Checking for Communicating Concurrent Programs (News year 2020, Has title LTL Model Checking for Communicating Concurrent Programs, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization (News year 2020, Has title Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization, Published in Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20))
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms (News year 2020, Has title Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms)
- A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images (News year 2020, Has title A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images, Published in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation (News year 2020, Has title Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation, Published in Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) (News year 2020, Has title Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation), Published in Label-free Biomedical Imaging and Sensing (LBIS) 2020)
- Stacked and parallel U-nets with multi-output for myocardial pathology segmentation (News year 2020, Has title Stacked and parallel U-nets with multi-output for myocardial pathology segmentation, Published in Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge)
- Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo (News year 2019, Has title Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo, Published in TUGboat)
- Connected Filters on Generalized Shape-Spaces (News year 2019, Has title Connected Filters on Generalized Shape-Spaces, Published in Pattern Recognition Letters)
- Combining Parallel Emptiness Checks with Partial Order Reductions (News year 2019, Has title Combining Parallel Emptiness Checks with Partial Order Reductions, Published in Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19))
- Generic Emptiness Check for Fun and Profit (News year 2019, Has title Generic Emptiness Check for Fun and Profit, Published in Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19))
- Towards more efficient parallel SAT solving (News year 2019, Has title Towards more efficient parallel SAT solving)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images (News year 2019, Has title Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images, Published in Pattern Recognition)
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures (News year 2019, Has title One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures, Published in Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI))
- Filtres connexes multivariés par fusion d'arbres de composantes (News year 2019, Has title Filtres connexes multivariés par fusion d'arbres de composantes, Published in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques (News year 2019, Has title Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques, Published in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- Estimating the noise level function with the tree of shapes and non-parametric statistics (News year 2019, Has title Estimating the noise level function with the tree of shapes and non-parametric statistics, Published in Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP))
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge (News year 2019, Has title Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge, Published in IEEE Transactions on Medical Imaging)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge (News year 2019, Has title Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge, Published in IEEE Transactions on Medical Imaging)
- Model checking with generalized Rabin and Fin-less automata (News year 2019, Has title Model checking with generalized Rabin and Fin-less automata, Published in International Journal on Software Tools for Technology Transfer)
- Parallelizing Quickref (News year 2019, Has title Parallelizing Quickref, Published in 12th European Lisp Symposium)
- Implementing Baker's SUBTYPEP decision procedure (News year 2019, Has title Implementing Baker's SUBTYPEP decision procedure, Published in 12th European Lisp Symposium)
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy (News year 2019, Has title Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D (News year 2019, Has title An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Constructing a braid of partitions from hierarchies of partitions (News year 2019, Has title Constructing a braid of partitions from hierarchies of partitions, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Introducing Multivariate Connected Openings and Closings (News year 2019, Has title Introducing Multivariate Connected Openings and Closings, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework (News year 2019, Has title Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework, Published in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19))
- How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way (News year 2019, Has title How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way, Published in Journal of Mathematical Imaging and Vision)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo (News year 2019, Has title High Throughput Automated Detection of Axial Malformations in Medaka Embryo, Published in Computers in Biology and Medicine)
- Finite Automata Theory Based Optimization of Conditional Variable Binding (News year 2019, Has title Finite Automata Theory Based Optimization of Conditional Variable Binding, Published in European Lisp Symposium)
- Motion Compensation in Digital Holography for Retinal Imaging (News year 2018, Has title Motion Compensation in Digital Holography for Retinal Imaging, Published in Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI))
- Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. (News year 2018, Has title Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos.)
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach (News year 2018, Has title Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach, Published in Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI))
- Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure (News year 2018, Has title Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure, Published in Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI)
- Representing and Computing with Types in Dynamically Typed Languages (News year 2018, Has title Representing and Computing with Types in Dynamically Typed Languages)
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning (News year 2018, Has title Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning, Published in Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI)
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina (News year 2018, Has title Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina, Published in Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V)
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming (News year 2018, Has title An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming, Published in Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018))
- Document detection in videos captured by smartphones using a saliency-based method (News year 2018, Has title Document detection in videos captured by smartphones using a saliency-based method, Published in International Conference on Document Analysis and Recognition Workshops (ICDARW))
- Recognizing Heterogeneous Sequences by Rational Type Expression (News year 2018, Has title Recognizing Heterogeneous Sequences by Rational Type Expression, Published in Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (News year 2018, Has title A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams, Published in ACM Transactions on Computational Logic)
- Weakly Well-Composed Cell Complexes over nD Pictures (News year 2018, Has title Weakly Well-Composed Cell Complexes over nD Pictures, Published in Information Sciences)
- Improving Parallel State-Space Exploration Using Genetic Algorithms (News year 2018, Has title Improving Parallel State-Space Exploration Using Genetic Algorithms, Published in Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18))
- Reactive Synthesis from LTL Specification with Spot (News year 2018, Has title Reactive Synthesis from LTL Specification with Spot, Published in Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers (News year 2018, Has title A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers, Published in 25th IEEE Symposium on Computer Arithmetic)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm (News year 2018, Has title The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm, Published in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- Real-Time Document Detection in Smartphone Videos (News year 2018, Has title Real-Time Document Detection in Smartphone Videos, Published in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes (News year 2018, Has title Un algorithme de complexité linéaire pour le calcul de l'arbre des formes, Published in Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP))
- Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage (News year 2018, Has title Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage, Published in Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France”)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic (News year 2018, Has title Parallel Model Checking Algorithms for Linear-Time Temporal Logic, Published in Handbook of Parallel Constraint Reasoning)
- Approaches in Typecase Optimization (News year 2018, Has title Approaches in Typecase Optimization, Published in European Lisp Symposium)
- Parallel Computation of Component Trees on Distributed Memory Machines (News year 2018, Has title Parallel Computation of Component Trees on Distributed Memory Machines, Published in IEEE Transactions on Parallel and Distributed Systems)
- Method Combinators (News year 2018, Has title Method Combinators, Published in 11th European Lisp Symposium)
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities (News year 2018, Has title The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities, Published in Medical Image Analysis)
- White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning (News year 2018, Has title White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning, Published in Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries— 3rd International WorkshopBrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 2017, Revised Selected Papers)
- Lisp, Jazz, Aikido (News year 2018, Has title Lisp, Jazz, Aikido, Published in The Art, Science and Engineering of Programming Journal)
- Saliency-Based Detection of Identity Documents Captured by Smartphones (News year 2018, Has title Saliency-Based Detection of Identity Documents Captured by Smartphones, Published in Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS))
- A first step toward a fair comparison of evaluation protocols for text detection algorithms (News year 2018, Has title A first step toward a fair comparison of evaluation protocols for text detection algorithms, Published in Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS))
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving (News year 2018, Has title CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving, Published in Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18))
- Derived-Term Automata of Multitape Expressions with Composition (News year 2017, Has title Derived-Term Automata of Multitape Expressions with Composition, Published in Scientific Annals of Computer Science)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis (News year 2017, Has title Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis, Published in Comprehensive Remote Sensing, 1st Edition)
- Extraction of Ancient Map Contents Using Trees of Connected Components (News year 2017, Has title Extraction of Ancient Map Contents Using Trees of Connected Components, Published in Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC))
- A Tutorial on Well-Composedness (News year 2017, Has title A Tutorial on Well-Composedness, Published in Journal of Mathematical Imaging and Vision)
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode (News year 2017, Has title SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode, Published in Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis (ICDAR-OST))
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators (News year 2017, Has title Derived-Term Automata of Weighted Rational Expressions with Quotient Operators, Published in Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC))
- Benchmarking Keypoint Filtering Approaches for Document Image Matching (News year 2017, Has title Benchmarking Keypoint Filtering Approaches for Document Image Matching, Published in Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR))
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results (News year 2017, Has title The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results, Published in Proceedings Sixth Workshop on Synthesis)
- PaInleSS: a Framework for Parallel SAT Solving (News year 2017, Has title PaInleSS: a Framework for Parallel SAT Solving, Published in Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17))
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness (News year 2017, Has title Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness, Published in Multimedia Tools and Applications)
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales (News year 2017, Has title Caractérisation des zones de mouvement périodiques pour applications bio-médicales, Published in Actes du 26e Colloque GRETSI)
- Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage (News year 2017, Has title Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage, Published in Actes du 26e Colloque GRETSI)
- From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning (News year 2017, Has title From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning, Published in Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP))
- Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n (News year 2017, Has title Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n, Published in Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI))
- Parallel Learning Portfolio-Based Solvers (News year 2017, Has title Parallel Learning Portfolio-Based Solvers, Published in Proceedings of the International Conference on Computational Science (ICCS))
- Explicit State Model Checking with Generalized Büchi and Rabin Automata (News year 2017, Has title Explicit State Model Checking with Generalized Büchi and Rabin Automata, Published in Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17))
- Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking (News year 2017, Has title Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking, Published in IEEE Transactions on Geoscience and Remote Sensing)
- Seminator: A Tool for Semi-Determinization of Omega-Automata (News year 2017, Has title Seminator: A Tool for Semi-Determinization of Omega-Automata, Published in Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'17))
- La pseudo-distance du dahu (News year 2017, Has title La pseudo-distance du dahu, Published in Actes d'ORASIS)
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method (News year 2017, Has title Parallel Satisfiability Solver Based on Hybrid Partitioning Method, Published in Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP))
- Morphological Analysis of Brownian Motion for Physical Measurements (News year 2017, Has title Morphological Analysis of Brownian Motion for Physical Measurements, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
- Introducing the Dahu Pseudo-Distance (News year 2017, Has title Introducing the Dahu Pseudo-Distance, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings (News year 2017, Has title Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
- Periodic Area-of-Motion characterization for Bio-Medical applications (News year 2017, Has title Periodic Area-of-Motion characterization for Bio-Medical applications, Published in Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI))
- Programmatic Manipulation of Common Lisp Type Specifiers (News year 2017, Has title Programmatic Manipulation of Common Lisp Type Specifiers, Published in European Lisp Symposium)
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set (News year 2017, Has title Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set)
- Contributions to LTL and ω-Automata for Model Checking (News year 2017, Has title Contributions to LTL and ω-Automata for Model Checking)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System (News year 2016, Has title The MIT Lincoln Laboratory 2016 Speaker Recognition System, Published in NIST Speaker Recognition Evaluation 2016)
- A Study of Well-Composedness in n-D (News year 2016, Has title A Study of Well-Composedness in n-D)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity (News year 2016, Has title Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity, Published in Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA))
- Monads in Common Lisp (News year 2016, Has title Monads in Common Lisp)