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 (2022/10/07)  + (10:02:12, 27 October 2022)
• NewsEntry (2022/11/04)  + (10:08:52, 27 October 2022)
• Posets With Interfaces as a Model for Concurrency  + (11:41:50, 27 October 2022)
• PhD Defense Florian Renkin  + (11:47:13, 28 October 2022)
• PhD Defense Michaël Roynard  + (10:58:11, 8 November 2022)
• Effective Reductions of Mealy Machines  + (09:55:57, 14 November 2022)
• TheoPublicationList  + (18:39:31, 29 November 2022)
• A Modern C++ Point of View of Programming in Image Processing  + (10:31:18, 1 December 2022)
• NewsEntry (2022/11/10)  + (14:22:24, 1 December 2022)
• NewsEntry (2022/11/22)  + (14:53:50, 1 December 2022)
• NewsEntry ()2  + (15:18:07, 1 December 2022)
• SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes  + (09:58:16, 3 December 2022)
• Finding Maximal Common Joins in a DAG  + (10:22:49, 3 December 2022)
• Monads in Common Lisp  + (10:22:50, 3 December 2022)
• Efficient Dynamic Type Checking of Heterogeneous Sequences  + (10:22:51, 3 December 2022)
• A Portable, Simple, Embeddable Type System  + (10:22:55, 3 December 2022)
• Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata  + (16:30:39, 4 December 2022)
• NewsEntry (2022/11/30)  + (09:34:49, 7 December 2022)
• The Cost of Dynamism in Static Languages for Image Processing  + (10:51:01, 8 December 2022)
• Higher-Dimensional Timed and Hybrid Automata  + (13:45:00, 8 December 2022)
• The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images  + (13:45:29, 8 December 2022)
• Electricity Price Forecasting on the Day-Ahead Market using Machine Learning  + (11:03:09, 9 December 2022)
• Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning  + (15:44:55, 9 December 2022)
• How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions  + (21:21:23, 12 December 2022)
• A blockchain-based certificate revocation management and status verification system  + (21:21:49, 12 December 2022)

• A Secure Blockchain-Based Architecture for the COVID-19 Data Network  + (21:22:13, 12 December 2022)

• Blockchain-Based Solution for Detecting and Preventing Fake Check Scams  + (21:22:31, 12 December 2022)
• An Innovative and Decentralized Identity Framework Based on Blockchain Technology  + (21:22:46, 12 December 2022)
• Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey  + (21:22:47, 12 December 2022)
• Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks  + (21:23:07, 12 December 2022)
• Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks  + (21:23:08, 12 December 2022)
• User:Uli/Howto/Lrde.bib  + (07:59:38, 13 December 2022)
• NewsEntry (2022/11/22)2  + (16:46:30, 13 December 2022)
• How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education  + (13:57:22, 14 December 2022)
• Methods for Explaining Top-N Recommendations Through Subgroup Discovery  + (14:13:41, 14 December 2022)
• Learning Diversity Attributes in Multi-Session Recommendations  + (14:55:23, 14 December 2022)
• Trie-based Output Itemset Sampling  + (14:55:54, 14 December 2022)
• In Pursuit of the Hidden Features of GNN's Internal Representations  + (15:19:04, 14 December 2022)
• What Does my GNN Really Capture? On Exploring Internal GNN Representations  + (15:19:05, 14 December 2022)
• Introduction to the Special Issue on Distributed Hybrid Systems  + (08:29:19, 15 December 2022)
• New Security Protocols for Offline Point-of-Sale Machines  + (08:30:07, 15 December 2022)
• Diversifying a Parallel SAT Solver with Bayesian Moment Matching  + (08:31:01, 15 December 2022)
• ETAP: Experimental Typesetting Algorithms Platform  + (08:31:09, 15 December 2022)
• Max-Tree Computation on GPUs  + (10:52:00, 15 December 2022)
• Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics  + (10:52:38, 15 December 2022)
• Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions  + (10:53:03, 15 December 2022)
• On GNN Explainability with Activation Rules  + (10:53:29, 15 December 2022)
• PhD Defense Zhou ZHAO  + (16:20:15, 15 December 2022)
• An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D  + (13:32:03, 16 December 2022)
• Strong Euler Wellcomposedness  + (13:32:07, 16 December 2022)
• Continuous Well-Composedness implies Digital Well-Composedness in n-D  + (13:32:10, 16 December 2022)