Search Results - Kraus, S.

Refine Results
  1. 1
    Truncation levels in homotopy type theory

    Truncation levels in homotopy type theory by Kraus, Nicolai

    Published 2015
    Get full text
  2. 2
    Constructions with non-recursive higher inductive types

    Constructions with non-recursive higher inductive types by Kraus, Nicolai

    Published 2016
    Get full text
  3. 3
    A physics-based compact model of SiC power MOSFETs

    A physics-based compact model of SiC power MOSFETs by Kraus, Rainer, Castellazzi, Alberto

    Published 2016
    Get full text
  4. 4
    Free higher groups in homotopy type theory

    Free higher groups in homotopy type theory by Kraus, Nicolai, Altenkirch, Thorsten

    Published 2018
    Get full text
  5. 5
    Influences on risk taking behaviour of property developers in Perth, Western Australia

    Influences on risk taking behaviour of property developers in Perth, Western Australia by Baccarini, David, Kraus, F.

    Published 2005
    Get full text
    Get full text
  6. 6
    Influences on risk taking behaviour of property developers in Perth, Western Australia

    Influences on risk taking behaviour of property developers in Perth, Western Australia by Baccarini, David, Kraus, F.

    Published 2005
    Get full text
    Get full text
  7. 7
    Univalent higher categories via complete semi-segal types

    Univalent higher categories via complete semi-segal types by Capriotti, Paolo, Kraus, Nicolai

    Published 2018
    Get full text
  8. 8
    Entrepreneurship in an Alpine micro-nation: The case of Liechtenstein

    Entrepreneurship in an Alpine micro-nation: The case of Liechtenstein by Schuessler, F., Schaper, Michael, Kraus, S.

    Published 2014
    Get full text
  9. 9
    Extending homotopy type theory with strict equality

    Extending homotopy type theory with strict equality by Altenkirch, Thorsten, Capriotti, Paolo, Nicolai, Kraus

    Published 2016
    Get full text
  10. 10
    SiC MOSFET device parameter spread and ruggedness of parallel multichip structures

    SiC MOSFET device parameter spread and ruggedness of parallel multichip structures by Castellazzi, Alberto, Fayyaz, Asad, Kraus, Rainer

    Published 2018
    Get full text
  11. 11
    Molecular dynamics simulations of liquid-liquid interfaces in an electric field: The water-1,2-dichloroethane interface

    Molecular dynamics simulations of liquid-liquid interfaces in an electric field: The water-1,2-dichloroethane interface by Raiteri, Paolo, Kraus, Peter, Gale, Julian

    Published 2020
    Get full text
    Get full text
  12. 12
    Partiality, revisited: the partiality monad as a quotient inductive-inductive type

    Partiality, revisited: the partiality monad as a quotient inductive-inductive type by Altenkirch, Thorsten, Danielson, Nils Anders, Kraus, Nicolai

    Published 2016
    Get full text
  13. 13
    Partiality, revisited: the partiality monad as a quotient inductive-inductive type

    Partiality, revisited: the partiality monad as a quotient inductive-inductive type by Altenkirch, Thorsten, Danielsson, Nils Anders, Kraus, Nicolai

    Published 2017
    Get full text
  14. 14
    Notions of anonymous existence in Martin-Löf type theory

    Notions of anonymous existence in Martin-Löf type theory by Kraus, Nicolai, Escardo, Martin, Coquand, Thierry, Altenkirch, Thorsten

    Published 2016
    Get full text
  15. 15
    Papua New Guinea terrestrial vertebrate richness: elevation matters most for all except reptiles

    Papua New Guinea terrestrial vertebrate richness: elevation matters most for all except reptiles by Tallowin, Oliver J.S., Allison, Allen, Algar, Adam C., Kraus, Fred, Meiri, Shai

    Published 2017
    Get full text
  16. 16
    Start-up, growth and internationalisation of entrepreneurial ventures by the use of service families.

    Start-up, growth and internationalisation of entrepreneurial ventures by the use of service families. by Ramlee, Shamshubaridah, Adham, Khairul Akmaliah, Said, Mohd Fuaad, Kraus, Sascha, Hanninen, Seppo J.

    Published 2010
    Get full text
    Get full text
  17. 17
    Pain prediction by serum biomarkers of bone turnover in people with knee osteoarthritis: an observational study of TRAcP5b and cathepsin K in OA

    Pain prediction by serum biomarkers of bone turnover in people with knee osteoarthritis: an observational study of TRAcP5b and cathepsin K in OA by Nwosu, Lilian Ngozi, Allen, Maximillian, Wyatt, L.A., Huebner, J.L., Chapman, Victoria, Walsh, David A., Kraus, Virginia

    Published 2017
    Get full text
  18. 18
    Linking coral river runoff proxies with climate variability, hydrology and land-use in Madagascar catchments

    Linking coral river runoff proxies with climate variability, hydrology and land-use in Madagascar catchments by Maina, J., de Moel, H., Vermaat, J., Bruggemann, J., Guillaume, M., Grove, C., Madin, J., Mertz-Kraus, R., Zinke, Jens

    Published 2012
    Get full text
  19. 19
    GGR Critical Review of Analytical Developments in 2008-2009: An Introduction

    GGR Critical Review of Analytical Developments in 2008-2009: An Introduction by Hergt, J., Arevalo, R., Bèdard, L., Bellucci, J., Enzweiler, J., Jochum, K., Linge, Kathryn, McDonough, W., Mertz-Kraus, R., Wiedenbeck, M., Wang, X., Woodhead, J.

    Published 2010
    Get full text
  20. 20
    A practical and time-efficient high-intensity interval training program modifies cardio-metabolic risk factors in adults with risk factors for type ii diabetes

    A practical and time-efficient high-intensity interval training program modifies cardio-metabolic risk factors in adults with risk factors for type ii diabetes by Phillips, Bethan E., Kelly, Benjamin M., Lilja, Mats, Ponce-González, Jesús Gustavo, Brogan, Robert J., Morris, David L., Gustafsson, Thomas, Kraus, William E., Atherton, Philip J., Vollaard, Niels B. J., Rooyackers, Olav, Timmons, James A.

    Published 2017
    Get full text

Search Tools: