UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

On the efficiency of normal form systems for representing Boolean functions

Theoretical computer science, 2020-04, Vol.813, p.341-361

2020

Volltextzugriff (PDF)

A type-based complexity analysis of Object Oriented programs

Information and computation, 2018-08, Vol.261 (1), p.78-115

2018

Volltextzugriff (PDF)

Synthesis of sup-interpretations: A survey

Theoretical computer science, 2013-01, Vol.467, p.30-52

Péchoux, Romain

2013

Volltextzugriff (PDF)

ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs

Theoretical Aspects of Computing – ICTAC 2021, p.357-365

Volltextzugriff (PDF)

Characterizing polynomial time complexity of stream programs using interpretations

Theoretical computer science, 2015-06, Vol.585, p.41-54

2015

Volltextzugriff (PDF)

On bounding space usage of streams using interpretation analysis

Science of computer programming, 2015-11, Vol.111, p.395-425

2015

Volltextzugriff (PDF)

Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions

2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 2017, p.37-42

2017

Volltextzugriff (PDF)

Objects in Polynomial Time

Programming Languages and Systems, p.387-404

Volltextzugriff (PDF)

Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity

Algorithms and Computation, p.291-303

Volltextzugriff (PDF)

Type-Based Complexity Analysis for Fork Processes

Foundations of Software Science and Computation Structures, p.305-320

Volltextzugriff (PDF)

Resource Analysis by Sup-interpretation

Functional and Logic Programming, 2006, Vol.3945, p.163-176

2006

Volltextzugriff (PDF)

Global and Local Space Properties of Stream Programs

Foundational and Practical Aspects of Resource Analysis, p.51-66

Volltextzugriff (PDF)

Upper Bounds on Stream I/O Using Semantic Interpretations

Computer Science Logic, p.271-286

Volltextzugriff (PDF)

Polynomial Time over the Reals with Parsimony

Functional and Logic Programming, p.50-65

Volltextzugriff (PDF)

Quasi-interpretation Synthesis by Decomposition: An Application to Higher-Order Programs

Theoretical Aspects of Computing – ICTAC 2007, p.410-424

Volltextzugriff (PDF)

A Characterization of Alternating Log Time by First Order Functional Programs

Lecture notes in computer science, 2006, p.90-104

2006

Volltextzugriff (PDF)

Complexity Information Flow in a Multi-threaded Imperative Language

Theory and Applications of Models of Computation, p.124-140

Volltextzugriff (PDF)

A Categorical Treatment of Malicious Behavioral Obfuscation

Theory and Applications of Models of Computation, p.280-299

Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Pfenning, Frank

1, 2013

Volltextzugriff (PDF)

A Characterization of NCk by First Order Functional Programs

Theory and Applications of Models of Computation, p.136-147

Volltextzugriff (PDF)

Adaptive radiotherapy (up to 74 Gy) or standard radiotherapy (66 Gy) for patients with stage III non-small-cell lung cancer, according to [18F]FDG-PET tumour residual uptake at 42 Gy (RTEP7–IFCT-1402): a multicentre, randomised, controlled phase 2 trial

The lancet oncology, 2024-09, Vol.25 (9), p.1176-1187

2024

Volltextzugriff (PDF)

Pilus biogenesis in Lactococcus lactis: molecular characterization and role in aggregation and biofilm formation

PloS one, 2012-12, Vol.7 (12), p.e50989-e50989

2012

Volltextzugriff (PDF)

Adaptive radiotherapy (up to 74 Gy) or standard radiotherapy (66 Gy) for patients with stage III non-small-cell lung cancer, according to 18FFDG-PET tumour residual uptake at 42 Gy (RTEP7-IFCT-1402): a multicentre, randomised, controlled phase 2 trial

The lancet oncology, 2024-09, Vol.25 (9), p.1176

2024

Volltextzugriff (PDF)

Reaching multidisciplinary consensus on the management of non-bulky/non-infiltrative stage IIIA N2 non-small cell lung cancer

Lung cancer (Amsterdam, Netherlands), 2023-03, Vol.177, p.21-28

2023

Volltextzugriff (PDF)

Rapid Discovery of De Novo Deleterious Mutations in Cattle Enhances the Value of Livestock as Model Species

Scientific reports, 2017-09, Vol.7 (1), p.11466-19, Article 11466

2017

Volltextzugriff (PDF)

1 – 25 von 26

Suche als RSS-Feed

Aktive Filter

KollektionIngenta

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(23)
Mit Volltextzugriff
(26)

Publikationsform

Sprache

Englisch
(26)
Japanisch
(3)

Erscheinungsjahr

n.n

Thema

Science & Technology
(19)
Computer Science
(17)
Technology
(15)
Computational Complexity
(13)
Computer Science, Theory & Methods
(12)
Function Symbol
(6)
Computer Science, Software Engineering
(5)
Polynomial Time
(5)
Science & Technology - Other Topics
(4)
Complexity
(3)
Humans
(3)
Implicit Computational Complexity
(3)
Life Sciences
(3)
Mathematics
(3)
Mathematics, Applied
(3)
Physical Sciences
(3)
Type System
(3)
Applied Sciences
(2)
Computer Science; Control Theory; Systems
(2)
Engineering
(2)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

3 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

On the efficiency of normal form systems for representing Boolean functions

A type-based complexity analysis of Object Oriented programs

Synthesis of sup-interpretations: A survey

ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs

Characterizing polynomial time complexity of stream programs using interpretations

On bounding space usage of streams using interpretation analysis

Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions

Objects in Polynomial Time

Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity

Type-Based Complexity Analysis for Fork Processes

Resource Analysis by Sup-interpretation

Global and Local Space Properties of Stream Programs

Upper Bounds on Stream I/O Using Semantic Interpretations

Polynomial Time over the Reals with Parsimony

Quasi-interpretation Synthesis by Decomposition: An Application to Higher-Order Programs

A Characterization of Alternating Log Time by First Order Functional Programs

Complexity Information Flow in a Multi-threaded Imperative Language

A Categorical Treatment of Malicious Behavioral Obfuscation

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

A Characterization of NCk by First Order Functional Programs

Adaptive radiotherapy (up to 74 Gy) or standard radiotherapy (66 Gy) for patients with stage III non-small-cell lung cancer, according to [18F]FDG-PET tumour residual uptake at 42 Gy (RTEP7–IFCT-1402): a multicentre, randomised, controlled phase 2 trial

Pilus biogenesis in Lactococcus lactis: molecular characterization and role in aggregation and biofilm formation

Adaptive radiotherapy (up to 74 Gy) or standard radiotherapy (66 Gy) for patients with stage III non-small-cell lung cancer, according to 18FFDG-PET tumour residual uptake at 42 Gy (RTEP7-IFCT-1402): a multicentre, randomised, controlled phase 2 trial

Reaching multidisciplinary consensus on the management of non-bulky/non-infiltrative stage IIIA N2 non-small cell lung cancer

Rapid Discovery of De Novo Deleterious Mutations in Cattle Enhances the Value of Livestock as Model Species

Aktive Filter

Suchergebnisse filtern