Sage Journals: Discover world-class research

Retricted access

Research article

First published 2022

Order-theoretic Trees: Monadic Second-order Descriptions and Regularity

Bruno Courcelle

Fundamenta Informaticae

Retricted access

Research article

First published 2000-10

Comparison of Additive Trees Using Circular Orders

Vladimir Makarenkov, Bruno Leclerc

Journal of Computational Biology

Retricted access

Research article

First published 2014-8

Segmental Mapping and Distance for Rooted Labeled Ordered Trees

Tomohiro Kan, Shoichi Higuchi, Kouichi Hirata

Fundamenta Informaticae

Retricted access

Research article

First published 2019-5

Measuring diagnostic accuracy for biomarkers under tree-ordering

Yingdong Feng, Lili Tian

Statistical Methods in Medical Research

Retricted access

Research article

First published 2010-6

Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

Vince Bárány, Łukasz Kaiser, Alex Rabinovich

Fundamenta Informaticae

Open access

Research article

First published 2020-4

A new heuristics for the event ordering in binary decision diagram applied in fault tree analysis

Reni Banov, Zdenko Šimić, Davor Grgić

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2008-3

Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment

C Ibáñez-Llano, E Meléndez, Nieto F

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2025-2

Trimming the UCERF3-TD logic tree: Model order reduction for an earthquake rupture forecast considering loss exceedance

Keith Porter, Kevin Milner, Edward Field

Earthquake Spectra

Retricted access

Research article

First published 2009-5

The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach

Eugénie Foustoucos, Labrini Kalantzi

Fundamenta Informaticae

Retricted access

Other

First published 1999-2

Top‐down induction of first order logical decision trees

Hendrik Blockeel

The European Journal on Artificial Intelligence

Search results