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

ICE: A Robust Framework for Learning Invariants

Computer Aided Verification, 2014, p.69-87

2014

Volltextzugriff (PDF)

Horn-ICE learning for synthesizing invariants and contracts

Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-25

2018

Volltextzugriff (PDF)

Outcome of individuals with alcoholic cirrhosis hospitalized with first decompensation and their predictors

Indian journal of medical research (New Delhi, India : 1994), 2024-02, Vol.159 (2), p.213

2024

Volltextzugriff (PDF)

Knowledge sourcing by multidivisional firms

Strategic management journal, 2018-12, Vol.39 (13), p.3326-3354

2018

Volltextzugriff (PDF)

Effect of die compaction pressure on densification behavior of molybdenum powders

International journal of refractory metals & hard materials, 2007, Vol.25 (1), p.16-24

2007

Volltextzugriff (PDF)

Dancing with the stars: Benefits of a star employee's temporary absence for organizational performance

Strategic management journal, 2018-05, Vol.39 (5), p.1239-1267

2018

Volltextzugriff (PDF)

Learning invariants using decision trees and implication counterexamples

SIGPLAN notices, 2016-04, Vol.51 (1), p.499-512

2016

Volltextzugriff (PDF)

Multi-lingual text classification models to detect hate and offensive text

AIP Conference Proceedings, 2023, Vol.2916 (1)

2023

Volltextzugriff (PDF)

Synthesizing code quality rules from examples

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

2022

Volltextzugriff (PDF)

Monetary policy transmission in India: new evidence from firm-bank matched data

Macroeconomics and finance in emerging market economies, 2024-09, Vol.17 (3), p.526-542

2024

Volltextzugriff (PDF)

De novo design of robust and mutation-tolerant “receptorbodies” to neutralize ACE2-dependent sarbecoviruses

Biophysical journal, 2024-02, Vol.123 (3), p.200a-200a

2024

Volltextzugriff (PDF)

Misfolding-Associated Exposure of Natively Buried Residues in Mutant SOD1 Facilitates Binding to TRAF6

Journal of molecular biology, 2022-08, Vol.434 (16), p.167697-167697, Article 167697

2022

Volltextzugriff (PDF)

Testing the feasibility of targeting a conserved region on the S2 domain of the SARS-CoV-2 spike protein

Biophysical journal, 2024-04, Vol.123 (8), p.992-1005

2024

Volltextzugriff (PDF)

The Division of Gains from Complementarities in Human-Capital-Intensive Activity

Organization science (Providence, R.I.), 2012-05, Vol.23 (3), p.725-742

2012

Volltextzugriff (PDF)

Misfolding-Associated Exposure of Buried Residues in Mutant Sod1 Facilitates Binding to TRAF6

Biophysical journal, 2021-02, Vol.120 (3), p.297a-297a

2021

Volltextzugriff (PDF)

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines

Journal of automated reasoning, 2020-10, Vol.64 (7), p.1523-1552

2020

Volltextzugriff (PDF)

CADENCE: Conditional Anomaly Detection for Events Using Noise-Contrastive Estimation

Proceedings of the 12th ACM Workshop on Artificial Intelligence and Security, 2019, p.71-82

2019

Volltextzugriff (PDF)

Political dominance of prudential regulation

SSRN Electronic Journal, 2023

Garg, Pranav

2023

Volltextzugriff (PDF)

TNF receptor–associated factor 6 interacts with ALS-linked misfolded superoxide dismutase 1 and promotes aggregation

The Journal of biological chemistry, 2020-03, Vol.295 (12), p.3808-3825

2020

Volltextzugriff (PDF)

Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists

Formal methods in system design, 2015-08, Vol.47 (1), p.120-157

2015

Volltextzugriff (PDF)

Transmembrane pore formation by the carboxyl terminus of Bax protein

Biochimica et biophysica acta, 2013-02, Vol.1828 (2), p.732-742

2013

Volltextzugriff (PDF)

Feedback-directed unit test generation for C/C++ using concolic execution

2013 35th International Conference on Software Engineering (ICSE), 2013, p.132-141

2013

Volltextzugriff (PDF)

Molecular Basis for Membrane Pore Formation by Bax Protein Carboxyl Terminus

Biochemistry (Easton), 2012-11, Vol.51 (46), p.9406-9419

2012

Volltextzugriff (PDF)

Learning-based inductive invariant synthesis

Garg, Pranav

2015

Volltextzugriff (PDF)

Organizing for Customer Satisfaction: Unpacking the Role of a Team’s Experience

Academy of Management Annual Meeting Proceedings, 2024, Vol.2024 (1)

2024

Volltextzugriff (PDF)

1 – 25 von 167

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(98)
Mit Volltextzugriff
(121)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Englisch
(166)
Japanisch
(1)

Erscheinungsjahr

n.n

Thema

Science & Technology
(68)
Life Sciences & Biomedicine
(38)
Technology
(27)
Humans
(24)
Computer Science
(19)
Male
(17)
Female
(16)
Computer Science, Software Engineering
(11)
Computer Science, Theory & Methods
(11)
Treatment Outcome
(10)
Adult
(9)
Cardiac & Cardiovascular Systems
(9)
Cardiovascular System & Cardiology
(9)
Surgery
(9)
Engineering
(8)
Middle Aged
(8)
Physical Sciences
(8)
Materials Science
(7)
Time Factors
(7)
Engineering, Electrical & Electronic
(6)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

ICE: A Robust Framework for Learning Invariants

Horn-ICE learning for synthesizing invariants and contracts

Outcome of individuals with alcoholic cirrhosis hospitalized with first decompensation and their predictors

Knowledge sourcing by multidivisional firms

Effect of die compaction pressure on densification behavior of molybdenum powders

Dancing with the stars: Benefits of a star employee's temporary absence for organizational performance

Learning invariants using decision trees and implication counterexamples

Multi-lingual text classification models to detect hate and offensive text

Synthesizing code quality rules from examples

Monetary policy transmission in India: new evidence from firm-bank matched data

De novo design of robust and mutation-tolerant “receptorbodies” to neutralize ACE2-dependent sarbecoviruses

Misfolding-Associated Exposure of Natively Buried Residues in Mutant SOD1 Facilitates Binding to TRAF6

Testing the feasibility of targeting a conserved region on the S2 domain of the SARS-CoV-2 spike protein

The Division of Gains from Complementarities in Human-Capital-Intensive Activity

Misfolding-Associated Exposure of Buried Residues in Mutant Sod1 Facilitates Binding to TRAF6

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines

CADENCE: Conditional Anomaly Detection for Events Using Noise-Contrastive Estimation

Political dominance of prudential regulation

TNF receptor–associated factor 6 interacts with ALS-linked misfolded superoxide dismutase 1 and promotes aggregation

Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists

Transmembrane pore formation by the carboxyl terminus of Bax protein

Feedback-directed unit test generation for C/C++ using concolic execution

Molecular Basis for Membrane Pore Formation by Bax Protein Carboxyl Terminus

Learning-based inductive invariant synthesis

Organizing for Customer Satisfaction: Unpacking the Role of a Team’s Experience

Suchergebnisse filtern