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...

Cellulase modified waste biomass to remove sulfamethazine from aqueous solutions

The Science of the total environment, 2020-08, Vol.731, p.138806-138806, Article 138806

2020

Volltextzugriff (PDF)

Customer relationship management capabilities and social media technology use: Consequences on firm performance

Journal of business research, 2019-11, Vol.104, p.563-575

2019

Volltextzugriff (PDF)

Multi-perspective conformance checking of uncertain process traces: An SMT-based approach

Engineering applications of artificial intelligence, 2023-11, Vol.126, p.106895, Article 106895

2023

Volltextzugriff (PDF)

Enabling the Digital Age: A History of ZEISS Lithography Optics

Paetrow, Stephan

1, 2022

Volltextzugriff (PDF)

Encoding TLA+ proof obligations safely for SMT

Science of computer programming, 2025-01, Vol.239 (103178), p.103178, Article 103178

Defourné, Rosalie

2025

Volltextzugriff (PDF)

Plant–microbiome dynamics through spatial metatranscriptomics and network biology

Trends in plant science, 2024-11, Vol.29 (11), p.1176-1180

2024

Volltextzugriff (PDF)

Enhanced activation of sulfite by a mixture of zero-valent Fe-Mn bimetallic nanoparticles and biochar for degradation of sulfamethazine in water

Separation and purification technology, 2022-03, Vol.285, p.120315, Article 120315

2022

Volltextzugriff (PDF)

Strategies in Conditional Narrowing Modulo SMT Plus Axioms

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.1-20

2023

Volltextzugriff (PDF)

Risk-aware shielding of Partially Observable Monte Carlo Planning policies

Artificial intelligence, 2023-11, Vol.324, p.103987, Article 103987

2023

Volltextzugriff (PDF)

pH dependent phosphorus release from waste activated sludge: contributions of phosphorus speciation

Chemical engineering journal (Lausanne, Switzerland : 1996), 2015-05, Vol.267, p.260-265

2015

Volltextzugriff (PDF)

The relation of interface electron transfer and PMS activation by the H-bonding interaction between composite metal and MCM-48 during sulfamethazine ozonation

Chemical engineering journal (Lausanne, Switzerland : 1996), 2020-10, Vol.398, p.125529, Article 125529

2020

Volltextzugriff (PDF)

A Labeling ‘Sum Modulo Three’ with Verification and an Application

Journal of physics. Conference series, 2021-05, Vol.1850 (1), p.12022

2021

Volltextzugriff (PDF)

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

IEEE transactions on software engineering, 2017-01, Vol.43 (1), p.34-55

2017

Volltextzugriff (PDF)

Multi-compartment microscopic diffusion imaging

NeuroImage (Orlando, Fla.), 2016-10, Vol.139, p.346-359

2016

Volltextzugriff (PDF)

Finding Locally Smallest Cut Sets using Max-SMT

ACM SIGAda Ada Letters, 2023-04, Vol.42 (2), p.32-39

2023

Volltextzugriff (PDF)

MoS2 as highly efficient co-catalyst enhancing the performance of Fe0 based electro-Fenton process in degradation of sulfamethazine: Approach and mechanism

Chemical engineering journal (Lausanne, Switzerland : 1996), 2021-01, Vol.403, p.126361, Article 126361

2021

Volltextzugriff (PDF)

Reconstruction of ancient sulfate‒methane transition depths using the concentrations and sulfur isotopic compositions of authigenic sulfide minerals in marine sediments

Marine and petroleum geology, 2024-11, p.107199, Article 107199

2024

Volltextzugriff (PDF)

O Give Me a Home

Music theory spectrum, 2023-04, Vol.45 (1), p.147-150

McCreless, Patrick

2023

Volltextzugriff (PDF)

Characteristics and distribution of phosphorus in surface sediments of a shallow lake

Journal of environmental sciences (China), 2023-02, Vol.124, p.50-60

2023

Volltextzugriff (PDF)

Data-aware conformance checking with SMT

Information systems (Oxford), 2023-07, Vol.117, p.102230, Article 102230

2023

Volltextzugriff (PDF)

Characterization of key aroma compounds in stewed mutton (goat meat) added with thyme (Thymus vulgaris L.) based on the combination of instrumental analysis and sensory verification

Food chemistry, 2022-03, Vol.371, p.131111-131111, Article 131111

2022

Volltextzugriff (PDF)

Efficient removal of sulfamethazine from irrigation water using an ultra-stable magnetic carbon composite catalyst

Chemical engineering journal (Lausanne, Switzerland : 1996), 2022-10, Vol.446, p.137188, Article 137188

2022

Volltextzugriff (PDF)

The ksmt calculus is a δ-complete decision procedure for non-linear constraints

Theoretical computer science, 2023-10, Vol.975, p.114125, Article 114125

2023

Volltextzugriff (PDF)

Statistical machine translation in the translation curriculum: overcoming obstacles and empowering translators

The interpreter and translator trainer, 2014-05, Vol.8 (2), p.276-294

2014

Volltextzugriff (PDF)

Truncating abstraction of bit-vector operations for BDD-based SMT solvers

Theoretical computer science, 2024-09, Vol.1008, p.114664, Article 114664

2024

Volltextzugriff (PDF)

1 – 25 von 1.877

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(986)
Mit Volltextzugriff
(1.558)

Publikationsform

4 weitere anzeigen...

Weniger anzeigen...

Sprache

4 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(1.209)
Technology
(1.048)
Computer Science
(792)
Smt
(780)
Engineering
(472)
Engineering, Electrical & Electronic
(360)
Computer Science, Theory & Methods
(343)
Computer Science, Software Engineering
(317)
Computer Science, Artificial Intelligence
(140)
Life Sciences & Biomedicine
(140)
Physical Sciences
(130)
Computer Science, Information Systems
(128)
Smt Solver
(126)
Algorithms
(116)
Computer Science, Hardware & Architecture
(103)
Surface Mount Technology
(99)
Smt Solvers
(91)
Software
(89)
Optimization
(82)
Surface-Mount Technology
(82)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Cellulase modified waste biomass to remove sulfamethazine from aqueous solutions

Customer relationship management capabilities and social media technology use: Consequences on firm performance

Multi-perspective conformance checking of uncertain process traces: An SMT-based approach

Enabling the Digital Age: A History of ZEISS Lithography Optics

Encoding TLA+ proof obligations safely for SMT

Plant–microbiome dynamics through spatial metatranscriptomics and network biology

Enhanced activation of sulfite by a mixture of zero-valent Fe-Mn bimetallic nanoparticles and biochar for degradation of sulfamethazine in water

Strategies in Conditional Narrowing Modulo SMT Plus Axioms

Risk-aware shielding of Partially Observable Monte Carlo Planning policies

pH dependent phosphorus release from waste activated sludge: contributions of phosphorus speciation

The relation of interface electron transfer and PMS activation by the H-bonding interaction between composite metal and MCM-48 during sulfamethazine ozonation

A Labeling ‘Sum Modulo Three’ with Verification and an Application

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

Multi-compartment microscopic diffusion imaging

Finding Locally Smallest Cut Sets using Max-SMT

MoS2 as highly efficient co-catalyst enhancing the performance of Fe0 based electro-Fenton process in degradation of sulfamethazine: Approach and mechanism

Reconstruction of ancient sulfate‒methane transition depths using the concentrations and sulfur isotopic compositions of authigenic sulfide minerals in marine sediments

O Give Me a Home

Characteristics and distribution of phosphorus in surface sediments of a shallow lake

Data-aware conformance checking with SMT

Characterization of key aroma compounds in stewed mutton (goat meat) added with thyme (Thymus vulgaris L.) based on the combination of instrumental analysis and sensory verification

Efficient removal of sulfamethazine from irrigation water using an ultra-stable magnetic carbon composite catalyst

The ksmt calculus is a δ-complete decision procedure for non-linear constraints

Statistical machine translation in the translation curriculum: overcoming obstacles and empowering translators

Truncating abstraction of bit-vector operations for BDD-based SMT solvers

Suchergebnisse filtern