UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 375

Sortiert nach

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

Logical methods in computer science, 2022-02, Vol.18, Issue 1

2022

Volltextzugriff (PDF)

Reactive synthesis from interval temporal logic specifications

Theoretical computer science, 2022-01, Vol.899, p.48-79

2022

Volltextzugriff (PDF)

A decidable weakening of Compass Logic based on cone-shaped cardinal directions

Logical methods in computer science, 2015-12, Vol.11, Issue 4

2015

Volltextzugriff (PDF)

Lower Lip and Chin Reconstruction with Functional Myocutaneous Gracilis Flap

Indian journal of plastic surgery, 2019-05, Vol.52 (2), p.242-245

2019

Volltextzugriff (PDF)

Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata

Electronic proceedings in theoretical computer science, 2017-09, Vol.256 (Proc. GandALF 2017), p.223-237

2017

Volltextzugriff (PDF)

Interval-based Synthesis

Electronic proceedings in theoretical computer science, 2014-08, Vol.161 (Proc. GandALF 2014), p.102-115

2014

Volltextzugriff (PDF)

An interval temporal logic characterization of extended ω-regular languages

Theoretical computer science, 2023-06, Vol.962, p.113929, Article 113929

2023

Volltextzugriff (PDF)

Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete

Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.76-90

2016

Volltextzugriff (PDF)

Pspace-completeness of the temporal logic of sub-intervals and suffixes

Information and computation, 2023-10, Vol.294, p.105083, Article 105083

2023

Volltextzugriff (PDF)

Which fragments of the interval temporal logic HS are tractable in model checking?

Theoretical computer science, 2019-04, Vol.764, p.125-144

2019

Volltextzugriff (PDF)

Mining approximate interval-based temporal dependencies

Acta informatica, 2016-10, Vol.53 (6-8), p.547-585

2016

Volltextzugriff (PDF)

TEDAR: Temporal dynamic signal detection of adverse reactions

Artificial intelligence in medicine, 2021-12, Vol.122, p.102212-102212, Article 102212

2021

Volltextzugriff (PDF)

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

Information and computation, 2018-10, Vol.262, p.241-264

2018

Volltextzugriff (PDF)

Postmastectomy breast reconstruction for women with hereditary gastric and breast cancer syndrome

European journal of cancer prevention, 2023-03, Vol.32 (2), p.139

2023

Volltextzugriff (PDF)

Approximate Interval-Based Temporal Dependencies: The Complexity Landscape

2014 21st International Symposium on Temporal Representation and Reasoning, 2014, p.69-78

Sala, Pietro

2014

Volltextzugriff (PDF)

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

Electronic proceedings in theoretical computer science, 2012-10, Vol.96 (Proc. GandALF 2012), p.155-168

2012

Volltextzugriff (PDF)

Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison

ACM transactions on computational logic, 2019-02, Vol.20 (1), p.1-31, Article 4

2019

Volltextzugriff (PDF)

Assessment of atmospheric and soil water stress impact on a tropical crop: the case of Theobroma cacao under Harmattan conditions in eastern Ghana

Agricultural and forest meteorology, 2021-12, Vol.311, p.108670, Article 108670

2021

Volltextzugriff (PDF)

Adding one or more equivalence relations to the interval temporal logic ABB

Theoretical computer science, 2016-05, Vol.629, p.116-134

2016

Volltextzugriff (PDF)

Interval-based temporal functional dependencies: specification and verification

Annals of mathematics and artificial intelligence, 2014-07, Vol.71 (1-3), p.85-130

2014

Volltextzugriff (PDF)

An Optimal Decision Procedure for MPNL over the Integers

Electronic proceedings in theoretical computer science, 2011-06, Vol.54 (Proc. GandALF 2011), p.192-206

2011

Volltextzugriff (PDF)

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Theoretical computer science, 2014-12, Vol.560, p.269-291

2014

Volltextzugriff (PDF)

Postmastectomy dual-plane submuscular–subcutaneous implant-based reconstruction: a series of 100 consecutive patients

Updates in surgery, 2024-04, Vol.76 (2), p.613-621

2024

Volltextzugriff (PDF)

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

Theoretical computer science, 2020-04, Vol.813, p.270-304

2020

Volltextzugriff (PDF)

Adding one or more equivalence relations to the interval temporal logic AB B

Theoretical computer science, 2016-05, Vol.629, p.116-134

2016

Volltextzugriff (PDF)

1 – 25 von 375

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(323)
Mit Volltextzugriff
(333)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(288)
Life Sciences & Biomedicine
(194)
Humans
(114)
Technology
(76)
Female
(58)
Computer Science
(52)
Male
(52)
Physical Sciences
(50)
Animals
(42)
Middle Aged
(36)
Biochemistry & Molecular Biology
(34)
Science & Technology - Other Topics
(34)
Pharmacology & Pharmacy
(29)
Chemistry
(28)
Computer Science, Theory & Methods
(27)
Aged
(26)
Adult
(24)
Biological And Medical Sciences
(22)
Peptides
(21)
Neurosciences & Neurology
(20)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(3)
... seit 90 Tagen
(7)

Menü

Weitere Dienste

Einstellungen

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

Reactive synthesis from interval temporal logic specifications

A decidable weakening of Compass Logic based on cone-shaped cardinal directions

Lower Lip and Chin Reconstruction with Functional Myocutaneous Gracilis Flap

Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata

Interval-based Synthesis

An interval temporal logic characterization of extended ω-regular languages

Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete

Pspace-completeness of the temporal logic of sub-intervals and suffixes

Which fragments of the interval temporal logic HS are tractable in model checking?

Mining approximate interval-based temporal dependencies

TEDAR: Temporal dynamic signal detection of adverse reactions

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

Postmastectomy breast reconstruction for women with hereditary gastric and breast cancer syndrome

Approximate Interval-Based Temporal Dependencies: The Complexity Landscape

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison

Assessment of atmospheric and soil water stress impact on a tropical crop: the case of Theobroma cacao under Harmattan conditions in eastern Ghana

Adding one or more equivalence relations to the interval temporal logic ABB

Interval-based temporal functional dependencies: specification and verification

An Optimal Decision Procedure for MPNL over the Integers

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Postmastectomy dual-plane submuscular–subcutaneous implant-based reconstruction: a series of 100 consecutive patients

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

Adding one or more equivalence relations to the interval temporal logic AB B

Suchergebnisse filtern