Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Kai Trojahner

Descriptor-Free Representation of Arrays With Dependent Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Related publications

CGCI-SIFT: A More Efficient and Compact Representation of Local Descriptor

Measurement Science Review
ControlSystems EngineeringBiomedical EngineeringInstrumentation
2013English

Free Convective/Radiative Heat Transfer From Pin Fin Arrays With a Vertical Base Plate. General Representation of Heat Transfer Performance.

Nihon Kikai Gakkai Ronbunshu, B Hen/Transactions of the Japan Society of Mechanical Engineers, Part B
Condensed Matter PhysicsMechanical Engineering
1987English

Theorems for Free for Free: Parametricity, With and Without Types

Proceedings of the ACM on Programming Languages
2017English

A Classical Sequent Calculus With Dependent Types

ACM Transactions on Programming Languages and Systems
Software
2019English

Secure Distributed Programming With Value-Dependent Types

ACM SIGPLAN Notices
Computer Science
2011English

Phase Boundary and Annealing Dependent Piezoelectricity in Lead-Free (K,Na)NbO3 Nanorod Arrays

Applied Physics Letters
AstronomyPhysics
2017English

Torsion Free Types

Fundamenta Mathematicae
Number TheoryAlgebra
1991English

A Geometrical Representation Theory for Orthogonal Arrays

Bulletin of the Australian Mathematical Society
Mathematics
1994English

A New Graph-Based Molecular Descriptor Using the Canonical Representation of the Molecule

The Scientific World Journal
BiochemistryMedicineGeneticsMolecular BiologyEnvironmental Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy