LRDE
LRDE
General Information
Home
People
News
Jobs
Lrde bulletin
Intranet
Research
Projects
Partnerships
Publications
LRDE Seminar
Studying at LRDE
Life at the LRDE
Joining the LRDE
Education
Courses at EPITA
External courses
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties
Browse properties
Property
Published has news
From LRDE
This is a property of type
Boolean
.
Usage
450
previous 20
20
50
100
250
500
next 20
Filter
<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>
Showing 20 pages using this property.
I
Improving the Model Checking of Stutter-Invariant LTL Properties
+
true
+
Improving the Quality of Rule-Based GNN Explanations
+
true
+
In Pursuit of the Hidden Features of GNN's Internal Representations
+
true
+
Inside Vaucanson
+
true
+
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach
+
true
+
Introducing Multivariate Connected Openings and Closings
+
true
+
Introducing Vaucanson
+
true
+
Introducing Vaucanson
+
true
+
Introducing the Boundary-Aware Loss for Deep Image Segmentation
+
true
+
Introducing the Dahu Pseudo-Distance
+
true
+
Introduction to the Special Issue on Distributed Hybrid Systems
+
true
+
Is There a Best Büchi Automaton for Explicit Model Checking?
+
true
+
J
JSPP: Morphing C++ into JavaScript
+
true
+
K
Kernel Combination for SVM Speaker Verification
+
true
+
L
LRDE Speaker Recognition System for NIST-SRE 2010
+
true
+
LRDE System description
+
true
+
LTL Model Checking for Communicating Concurrent Programs
+
true
+
LTL Model Checking with Neco
+
true
+
LTL Translation Improvements in Spot
+
true
+
LTL Translation Improvements in Spot 1.0
+
true
+