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

A smoothed Q‐learning algorithm for estimating optimal dynamic treatment regimes

Scandinavian journal of statistics, 2019-06, Vol.46 (2), p.446-469

2019

Volltextzugriff (PDF)

On the Equivalence Conditions of Fuzzy Inference Methods-Part 1: Basic Concept and Definition

IEEE transactions on fuzzy systems, 2011-12, Vol.19 (6), p.1097-1106

2011

Volltextzugriff (PDF)

Skalpel: A constraint-based type error slicer for Standard ML

Journal of symbolic computation, 2017-05, Vol.80, p.164-208

2017

Volltextzugriff (PDF)

Improving refactoring tools in Smalltalk using static type inference

Science of computer programming, 2014-12, Vol.96, p.70-83

Unterholzner, Martin

2014

Volltextzugriff (PDF)

Bidirectional Typing

ACM computing surveys, 2021-06, Vol.54 (5), p.1-38

2021

Volltextzugriff (PDF)

A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers

Practical Aspects of Declarative Languages, 2019, Vol.11372, p.115-132

2019

Volltextzugriff (PDF)

Modelling, simulation and performance comparison of different membership functions based fuzzy logic control for an active magnetic bearing system

Journal of engineering (Stevenage, England), 2023-02, Vol.2023 (2), p.n/a

2023

Volltextzugriff (PDF)

Learning to Predict User-Defined Types

IEEE transactions on software engineering, 2023-04, Vol.49 (4), p.1508-1522

2023

Volltextzugriff (PDF)

Type Inference on Executables

ACM computing surveys, 2016-05, Vol.48 (4), p.1-35

2016

Volltextzugriff (PDF)

NL2Type: Inferring JavaScript Function Types from Natural Language Information

2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, p.304-315

2019

Volltextzugriff (PDF)

Bootstrapping Automated Testing for RESTful Web Services

IEEE transactions on software engineering, 2023-04, Vol.49 (4), p.1561-1579

2023

Volltextzugriff (PDF)

Type inference for hierarchical multiset structures in rule-based systems

Information sciences, 2021-11, Vol.580, p.673-683

2021

Volltextzugriff (PDF)

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java

Science of computer programming, 2018-04, Vol.155, p.52-75

2018

Volltextzugriff (PDF)

Entity type inference based on path walking and inter-types relationships

Data & knowledge engineering, 2024-09, Vol.153, p.102337, Article 102337

2024

Volltextzugriff (PDF)

Dynamic type inference for gradual Hindley–Milner typing

Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29

2019

Volltextzugriff (PDF)

FPGA-Based Hybrid-Type Implementation of Quantized Neural Networks for Remote Sensing Applications

Sensors (Basel, Switzerland), 2019-02, Vol.19 (4), p.924

2019

Volltextzugriff (PDF)

Type4Py: practical deep similarity learning-based type inference for python

2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.2241-2252

2022

Volltextzugriff (PDF)

A Higher-Order Calculus of Computational Fields

ACM transactions on computational logic, 2019-02, Vol.20 (1), p.1-55, Article 5

2019

Volltextzugriff (PDF)

Adaptive type‐II fuzzy nonsingular fast terminal sliding mode controller using fractional‐order manifold for second‐order chaotic systems

Asian journal of control, 2022-09, Vol.24 (5), p.2395-2409

2022

Volltextzugriff (PDF)

A Machine-Checked Proof of the Odd Order Theorem

Interactive Theorem Proving, p.163-179

Volltextzugriff (PDF)

Revisiting occurrence typing

Science of computer programming, 2022-05, Vol.217 (102781), p.102781, Article 102781

2022

Volltextzugriff (PDF)

A machine learning method to variable classification in OpenMP

Future generation computer systems, 2023-03, Vol.140, p.67-78

2023

Volltextzugriff (PDF)

MLstruct: principal type inference in a Boolean algebra of structural types

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

2022

Volltextzugriff (PDF)

Static inference meets deep learning: a hybrid type inference approach for python

2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.2019-2030

2022

Volltextzugriff (PDF)

Solver-based gradual type migration

Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-27

2021

Volltextzugriff (PDF)

1 – 25 von 2.122

Menü

Weitere Dienste

Einstellungen

A smoothed Q‐learning algorithm for estimating optimal dynamic treatment regimes

On the Equivalence Conditions of Fuzzy Inference Methods-Part 1: Basic Concept and Definition

Skalpel: A constraint-based type error slicer for Standard ML

Improving refactoring tools in Smalltalk using static type inference

Bidirectional Typing

A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers

Modelling, simulation and performance comparison of different membership functions based fuzzy logic control for an active magnetic bearing system

Learning to Predict User-Defined Types

Type Inference on Executables

NL2Type: Inferring JavaScript Function Types from Natural Language Information

Bootstrapping Automated Testing for RESTful Web Services

Type inference for hierarchical multiset structures in rule-based systems

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java

Entity type inference based on path walking and inter-types relationships

Dynamic type inference for gradual Hindley–Milner typing

FPGA-Based Hybrid-Type Implementation of Quantized Neural Networks for Remote Sensing Applications

Type4Py: practical deep similarity learning-based type inference for python

A Higher-Order Calculus of Computational Fields

Adaptive type‐II fuzzy nonsingular fast terminal sliding mode controller using fractional‐order manifold for second‐order chaotic systems

A Machine-Checked Proof of the Odd Order Theorem

Revisiting occurrence typing

A machine learning method to variable classification in OpenMP

MLstruct: principal type inference in a Boolean algebra of structural types

Static inference meets deep learning: a hybrid type inference approach for python

Solver-based gradual type migration

Aktive Filter

Suchergebnisse filtern