Property

Has bibtex id

From LRDE

Usage962

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.

C

CosySEL: Improving SAT Solving Using Local Symmetries +

saouli.23.vmcai +

Counterexample searches in Spot +

gillard.19.seminar +

Cover automata for finite languages +

cadilhac.05.seminar +

Cover automata for finite languages +

cadilhac.05.seminar +

Creation of an antichain library +

remaud.18.seminar +

Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python +

gossec.19.seminar +

Création d'une bibliothèque d'antichaîne +

remaud.18.seminar +

Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey +

maldonado-ruiz.22.ieee +

D

De nouvelles fac cons d'utiliser l'interface Jupyter. +

barray.15.seminar +

Debug Packages in OpenBSD +

espie.21.eurocon +

Deciding Persistence or Recurrence Membership in Spot +

gbaguidiaisse.18.seminar +

Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy +

boutry.21.media +

Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina +

rivet.19.spie +

Dematerialization Tools in SCRIBO +

marquegnies.10.seminar +

Derived-Term Automata of Multitape Expressions with Composition +

demaille.17.sacs +

Derived-Term Automata of Multitape Rational Expressions +

demaille.16.ciaa +

Derived-Term Automata of Weighted Rational Expressions with Quotient Operators +

demaille.17.ictac +

Derived-term Automata for Extended Weighted Rational Expressions +

demaille.16.ictac +

Designing the user interface for a Common Lisp generic library +

denuziere.11.seminar +

Detecting Botnets Behaviors over Network Flows using Hidden Markov Models +

sainson.20.seminar +

Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Has_bibtex_id&oldid=2397"