UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 257

Sortiert nach

The 2175 Å Dust Feature in Star-forming Galaxies at 1.3 ≤ z ≤ 1.8: The Dependence on Stellar Mass and Specific Star Formation Rate

The Astrophysical journal, 2021-03, Vol.909 (2), p.213

2021

Volltextzugriff (PDF)

Implications of the Environments of Radio-detected Active Galactic Nuclei in a Complex Protostructure at z ∼ 3.3

The Astrophysical journal, 2021-05, Vol.912 (1), p.60

2021

Volltextzugriff (PDF)

Environmental Effects on the Stellar Mass Function in a z ∼ 3.3 Overdensity of Galaxies in the COSMOS Field

The Astrophysical journal, 2024-08, Vol.971 (2), p.169

2024

Volltextzugriff (PDF)

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

2010., 2010

Volltextzugriff (PDF)

Extending Coinductive Logic Programming with Co-Facts

Electronic proceedings in theoretical computer science, 2017-09, Vol.258 (Proc. CoALP-Ty 2016), p.1-18

2017

Volltextzugriff (PDF)

A Syntactic Model of Mutation and Aliasing

Electronic proceedings in theoretical computer science, 2019, Vol.293 (Proc. DCM 2018 and ITRS 2018), p.39-55

2019

Volltextzugriff (PDF)

Checking equivalence of corecursive streams: An inductive procedure

Theoretical computer science, 2024-09, Vol.1009, p.114680, Article 114680

2024

Volltextzugriff (PDF)

Mass and Environment as Drivers of Galaxy Evolution in SDSS and zCOSMOS and the Origin of the Schechter Function

The Astrophysical journal, 2010-09, Vol.721 (1), p.193-221

2010

Volltextzugriff (PDF)

Checked corecursive streams: Expressivity and completeness

Theoretical computer science, 2023-09, Vol.974, p.114081, Article 114081

2023

Volltextzugriff (PDF)

A Java-like calculus with heterogeneous coeffects

Theoretical computer science, 2023-09, Vol.971, p.114063, Article 114063

2023

Volltextzugriff (PDF)

Flexible recovery of uniqueness and immutability

Theoretical computer science, 2019-04, Vol.764, p.145-172

2019

Volltextzugriff (PDF)

Reconciling positional and nominal binding

Electronic proceedings in theoretical computer science, 2013-07, Vol.121 (Proc. ITRS 2012), p.81-93

2013

Volltextzugriff (PDF)

A meta-circular language for active libraries

Science of computer programming, 2014-12, Vol.95, p.219-253

2014

Volltextzugriff (PDF)

A big step from finite to infinite computations

Science of computer programming, 2020-10, Vol.197, p.102492, Article 102492

2020

Volltextzugriff (PDF)

The ALPINE-ALMA [C II] survey. Dust attenuation curves at z = 4.4–5.5

Astronomy and astrophysics (Berlin), 2022-07, Vol.663, p.A50

2022

Volltextzugriff (PDF)

The Stellar Mass versus Stellar Metallicity Relation of Star-forming Galaxies at 1.6 ≤ z ≤ 3.0 and Implications for the Evolution of the α-enhancement

The Astrophysical journal, 2022-01, Vol.925 (1), p.82

2022

Volltextzugriff (PDF)

Resource-Aware Soundness for Big-Step Semantics

Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1281-1309, Article 267

2023

Volltextzugriff (PDF)

Coeffects for sharing and mutation

Proceedings of ACM on programming languages, 2022-10, Vol.6 (OOPSLA2), p.870-898

2022

Volltextzugriff (PDF)

Tracing sharing in an imperative pure calculus

Science of computer programming, 2019-03, Vol.172, p.180-202

2019

Volltextzugriff (PDF)

The zCOSMOS 10k-Bright Spectroscopic Sample

The Astrophysical journal. Supplement series, 2009-10, Vol.184 (2), p.218-229

2009

Volltextzugriff (PDF)

Aliasing Control in an Imperative Pure Calculus

Programming Languages and Systems, p.208-228

Volltextzugriff (PDF)

Environmental Effects on the Stellar Mass Function in a z ∼ 3.3 Overdensity of Galaxies in the COSMOS Field Some of the data presented herein were obtained at Keck Observatory, which is a private 501(c)3 nonprofit organization operated as a scientific partnership among the California Institute of Technology, the University of California, and the National Aeronautics and Space Administration. The Observatory was made possible by the generous financial support of the W. M. Keck Foundation

The Astrophysical journal, 2024-08, Vol.971 (2)

2024

Volltextzugriff (PDF)

Intersection types for unbind and rebind

Electronic proceedings in theoretical computer science, 2011-01, Vol.45 (Proc. ITRS 2010), p.45-58

2011

Volltextzugriff (PDF)

1 – 25 von 257

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(207)
Mit Volltextzugriff
(250)

Publikationsform

Sprache

1 weiteren anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(150)
Computer Science
(70)
Technology
(68)
Life Sciences & Biomedicine
(65)
Computer Science, Theory & Methods
(52)
Humans
(37)
Exact Sciences And Technology
(26)
Applied Sciences
(22)
Computer Science, Software Engineering
(22)
Computer Science; Control Theory; Systems
(22)
Physical Sciences
(22)
Computer Science, Hardware & Architecture
(18)
Female
(17)
Male
(17)
Software
(17)
Digital Libraries
(16)
Hematology
(16)
Adult
(15)
Astronomy & Astrophysics
(15)
Middle Aged
(13)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

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

Menü

Weitere Dienste

Einstellungen

The 2175 Å Dust Feature in Star-forming Galaxies at 1.3 ≤ z ≤ 1.8: The Dependence on Stellar Mass and Specific Star Formation Rate

Implications of the Environments of Radio-detected Active Galactic Nuclei in a Complex Protostructure at z ∼ 3.3

Environmental Effects on the Stellar Mass Function in a z ∼ 3.3 Overdensity of Galaxies in the COSMOS Field

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Extending Coinductive Logic Programming with Co-Facts

A Syntactic Model of Mutation and Aliasing

Checking equivalence of corecursive streams: An inductive procedure

Mass and Environment as Drivers of Galaxy Evolution in SDSS and zCOSMOS and the Origin of the Schechter Function

Checked corecursive streams: Expressivity and completeness

A Java-like calculus with heterogeneous coeffects

Flexible recovery of uniqueness and immutability

Reconciling positional and nominal binding

The ALPINE-ALMA [C ii] Survey: Size of Individual Star-forming Galaxies at z = 4-6 and Their Extended Halo Structure

A meta-circular language for active libraries

A big step from finite to infinite computations

The ALPINE-ALMA [C II] survey. Dust attenuation curves at z = 4.4–5.5

The ALPINE–ALMA [C II] survey: Luminosity function of serendipitous [C II] line emitters at z ∼ 5

The Stellar Mass versus Stellar Metallicity Relation of Star-forming Galaxies at 1.6 ≤ z ≤ 3.0 and Implications for the Evolution of the α-enhancement

Resource-Aware Soundness for Big-Step Semantics

Coeffects for sharing and mutation

Tracing sharing in an imperative pure calculus

The zCOSMOS 10k-Bright Spectroscopic Sample

Aliasing Control in an Imperative Pure Calculus

Intersection types for unbind and rebind

Suchergebnisse filtern