UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 427.053

Sortiert nach

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Logical methods in computer science, 2022-08, Vol.18, Issue 3

2022

Link zum Volltext

Verfügbarkeit prüfen

TSO Games: On the decidability of safety games under the total store order semantics

Electronic proceedings in theoretical computer science, 2023-10, Vol.390, p.82

2023

Link zum Volltext

Verfügbarkeit prüfen

SAT-Inspired Higher-Order Eliminations

Logical methods in computer science, 2023-05, Vol.19, Issue 2

2023

Link zum Volltext

Verfügbarkeit prüfen

Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties

Logical methods in computer science, 2023-03, Vol.19, Issue 1

Kapur, Deepak

2023

Link zum Volltext

Verfügbarkeit prüfen

Completeness of Nominal PROPs

Logical methods in computer science, 2023, Vol.19, Issue 1

2023

Link zum Volltext

Verfügbarkeit prüfen

Fixed Points Theorems for Non-Transitive Relations

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

2022

Link zum Volltext

Verfügbarkeit prüfen

Computing Communities in Large Networks Using Random Walks

Journal of graph algorithms and applications, 2006, Vol.10 (2), p.191-218

2006

Link zum Volltext

Verfügbarkeit prüfen

Robustness against Read Committed for Transaction Templates with Functional Constraints

Logical methods in computer science, 2023-12, Vol.19, Issue 4

2023

Link zum Volltext

Verfügbarkeit prüfen

Parametricity for Nested Types and GADTs

Logical methods in computer science, 2021-12, Vol.17, Issue 4

2021

Link zum Volltext

Verfügbarkeit prüfen

Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers

Logical methods in computer science, 2022-06, Vol.18, Issue 2

Hamana, Makoto

2022

Link zum Volltext

Verfügbarkeit prüfen

Pebble Games, Proof Complexity, and Time-Space Trade-offs

Logical methods in computer science, 2013-09, Vol.9, Issue 3 (3), p.15

Nordstrom, Jakob

2013

Link zum Volltext

Verfügbarkeit prüfen

Untangling the Hairballs of Multi-Centered, Small-World Online Social Media Networks

Journal of graph algorithms and applications, 2015, Vol.19 (2), p.595-618

2015

Link zum Volltext

Verfügbarkeit prüfen

Optimizing tree decompositions in MSO

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

2022

Link zum Volltext

Verfügbarkeit prüfen

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes

Logical methods in computer science, 2023-06, Vol.19, Issue 2

Dreier, Jan

2023

Link zum Volltext

Verfügbarkeit prüfen

Self-selected or mandated, open access increases citation impact for higher quality research

PloS one, 2010-10, Vol.5 (10), p.e13636-e13636

2010

Link zum Volltext

Verfügbarkeit prüfen

Combining Visual and Textual Features for Semantic Segmentation of Historical Newspapers

Journal of data mining and digital humanities, 2021-01, Vol.HistoInformatics (HistoInformatics)

2021

Link zum Volltext

Verfügbarkeit prüfen

Combining Visual and Textual Features for Semantic Segmentation of Historical Newspapers

Journal of data mining and digital humanities, 2021-01, Vol.HistoInformatics (HistoInformatics)

2021

Link zum Volltext

Verfügbarkeit prüfen

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic

Logical methods in computer science, 2022-06, Vol.18, Issue 2

2022

Link zum Volltext

Verfügbarkeit prüfen

Dynamics of person-to-person interactions from distributed RFID sensor networks

PloS one, 2010-07, Vol.5 (7), p.e11596-e11596

2010

Link zum Volltext

Verfügbarkeit prüfen

Incorporating Crowdsourced Annotator Distributions into Ensemble Modeling to Improve Classification Trustworthiness for Ancient Greek Papyri

Journal of data mining and digital humanities, 2024-02, Vol.2024 (Digital humanities in...)

2024

Link zum Volltext

Verfügbarkeit prüfen

On Resolving Non-determinism in Choreographies

Logical methods in computer science, 2020-09, Vol.16, Issue 3

2020

Link zum Volltext

Verfügbarkeit prüfen

The Challenges of HTR Model Training: Feedback from the Project Donner le gout de l'archive a l'ere numerique

Journal of data mining and digital humanities, 2023-12, Vol.Historical Documents and...

2023

Link zum Volltext

Verfügbarkeit prüfen

Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism

Logical methods in computer science, 2021-11, Vol.17, Issue 4

Laird, James

2021

Link zum Volltext

Verfügbarkeit prüfen

Digital transformation in schools of two southern regions of Sweden through implementation-informed approach: A mixed-methods study protocol

PloS one, 2023-12, Vol.18 (12), p.e0296000-e0296000

2023

Link zum Volltext

Verfügbarkeit prüfen

Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

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

2022

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 427.053

Suche als RSS-Feed

Aktive Filter

ThemaComputer Science

KollektionElsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)

KollektionEZB Electronic Journals Library

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(403.485)
Mit Volltextzugriff
(405.301)

Publikationsform

6 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(424.888)
Japanisch
(76.852)
Portugiesisch
(4.400)
Spanisch
(1.565)
Deutsch
(723)
Französisch
(616)
Norwegisch
(386)
Russisch
(282)
Chinesisch
(203)
Italienisch
(106)
Croatian
(87)
Polnisch
(81)
Tschechisch
(73)
Slowakisch
(48)
Ukrainisch
(45)
Koreanisch
(42)
Katalanisch
(35)
Türkisch
(34)
Schwedisch
(32)
Afrikaans
(29)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(382.587)
Life Sciences & Biomedicine
(184.581)
Computer Simulation
(144.871)
Physical Sciences
(137.164)
Humans
(133.299)
Technology
(101.288)
Science & Technology - Other Topics
(69.643)
Engineering
(66.493)
Algorithms
(61.065)
Multidisciplinary Sciences
(60.949)
Female
(54.939)
Male
(54.259)
Chemistry
(47.579)
Mathematical Models
(43.155)
Animals
(41.032)
Physics
(38.669)
Biochemistry & Molecular Biology
(35.974)
Software
(34.734)
Social Sciences
(34.113)
Adult
(33.137)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

Free E-Journal (出版社公開部分のみ）
(427.053)
Ingenta
(215.640)
IngentaConnect Journals
(165.046)
Publisher or Other Site
(59.590)
WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
(51.537)
Springer journals
(43.082)
Wiley-Blackwell Journals
(40.276)
Jstor Complete Legacy
(22.893)
Wiley Online Library
(19.739)
Oxford journals
(16.145)
Springer Nature - Connect here FIRST to enable access
(15.406)
Elsevier ScienceDirect Journals Complete
(12.288)
Nexis Uni
(11.391)
Factiva
(9.623)
EBSCOhost Business Source Ultimate
(9.007)
IEEE Electronic Library (IEL)
(8.912)
Sage Journals
(8.547)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(8.031)
Oxford Journals 2020 Medicine
(7.918)
OSA Publishing
(6.648)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

Plos One
(34.395)
International Journal Of Molecular Sciences
(10.559)
Sensors
(10.437)
Applied Sciences
(7.945)
Scientific Reports
(7.563)
Journal Of Physics. Conference Series
(6.885)
Journal Of Physics: Conference Series
(6.844)
Optics Express
(6.518)
Energies
(5.446)
Plos Computational Biology
(5.280)

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

TSO Games: On the decidability of safety games under the total store order semantics

SAT-Inspired Higher-Order Eliminations

Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties

Completeness of Nominal PROPs

Fixed Points Theorems for Non-Transitive Relations

Computing Communities in Large Networks Using Random Walks

Robustness against Read Committed for Transaction Templates with Functional Constraints

Parametricity for Nested Types and GADTs

Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers

Pebble Games, Proof Complexity, and Time-Space Trade-offs

Untangling the Hairballs of Multi-Centered, Small-World Online Social Media Networks

Optimizing tree decompositions in MSO

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes

Self-selected or mandated, open access increases citation impact for higher quality research

Combining Visual and Textual Features for Semantic Segmentation of Historical Newspapers

Combining Visual and Textual Features for Semantic Segmentation of Historical Newspapers

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic

Dynamics of person-to-person interactions from distributed RFID sensor networks

Incorporating Crowdsourced Annotator Distributions into Ensemble Modeling to Improve Classification Trustworthiness for Ancient Greek Papyri

On Resolving Non-determinism in Choreographies

The Challenges of HTR Model Training: Feedback from the Project Donner le gout de l'archive a l'ere numerique

Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism

Digital transformation in schools of two southern regions of Sweden through implementation-informed approach: A mixed-methods study protocol

Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

Aktive Filter

Suchergebnisse filtern