Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Independence and consistency proofs in quadratic form theory

Subjects: 142-005

  • Source: Baumgartner, James E; Spinas, Otmar (1991). Independence and consistency proofs in quadratic form theory. Journal of Symbolic Logic, 56(04):1195-1211.

تفاصيل العنوان

×
Academic Journal

Verwandtschaft ohne Diagramm?: Abstammungsproben seit dem mittelalterlichen Turnierwesen in Europa bis zur kolonialen Verwaltung Hispanoamerikas im Vergleich

Subjects: Institute of History; 900 History

  • Source: Míguez, Julián (2023). Verwandtschaft ohne Diagramm?: Abstammungsproben seit dem mittelalterlichen Turnierwesen in Europa bis zur kolonialen Verwaltung Hispanoamerikas im Vergleich. Historische

تفاصيل العنوان

×
Academic Journal

Designing Incentives for Attracting Peer Reviewers to Information System Conferences

Subjects: Digital Society Initiative; Department of Informatics; 000 Computer science

  • Source: Carvalho, Arthur; Anderson, Chad; Zavolokina, Liudmila (2024). Designing Incentives for Attracting Peer Reviewers to Information System Conferences. Communications of the Association for Information

تفاصيل العنوان

×
Academic Journal

Experimental evolution of dispersal: Unifying theory, experiments and natural systems

Subjects: Institute of Evolutionary Biology and Environmental Studies; 570 Life sciences; biology

  • Source: Lustenhouwer, Nicky; Moerman, Felix; Altermatt, Florian; Bassar, Ronald D; Bocedi, Greta; Bonte, Dries; Dey, Sutirth; Fronhofer, Emanuel A; da Rocha, Érika Garcez; Giometto, Andrea; Lancaster, Lesley

تفاصيل العنوان

×
Academic Journal

A local to global principle for expected values

Subjects: Institute of Mathematics; 510 Mathematics; Algebra and Number Theory

  • Source: Micheli, Giacomo; Schraven, Severin; Weger, Violetta (2022). A local to global principle for expected values. Journal of Number Theory, 238:1-16.

تفاصيل العنوان

×
Conference

Design and Implementation of Cast-as-Intended Verifiability for a Blockchain-Based Voting System

Subjects: Department of Informatics; 000 Computer science; knowledge & systems

  • Source: Killer, Christian; Rodrigues, Bruno; Matile, Raphael; Scheid, Eder; Stiller, Burkhard (2020). Design and Implementation of Cast-as-Intended Verifiability for a Blockchain-Based Voting System. In:

تفاصيل العنوان

×
Academic Journal

Roos bound for skew cyclic codes in Hamming and rank metric

Subjects: Institute of Mathematics; 510 Mathematics; Theoretical Computer Science

  • Source: Alfarano, Gianira Nicoletta; Lobillo, F J; Neri, Alessandro (2021). Roos bound for skew cyclic codes in Hamming and rank metric. Finite Fields and Their Applications, 69:101772.

تفاصيل العنوان

×
Academic Journal

'Amalgamation of Export with Import Information: The Economic Complexity Index as a Coherent Driver of Sustainability’

Subjects: Center for Corporate Responsibility and Sustainability; Department of Plant and Microbial Biology; Zurich-Basel Plant Science Center

  • Source: Cakir, Benjamin; Aerni, Philipp; Schluep, Isabelle; Cakir, Isa (2021). 'Amalgamation of Export with Import Information: The Economic Complexity Index as a Coherent Driver of Sustainability’.

تفاصيل العنوان

×
Academic Journal

Basic quantitative morphological methods applied to the central nervous system

Subjects: Institute of Anatomy; 570 Life sciences; biology

  • Source: Slomianka, Lutz (2021). Basic quantitative morphological methods applied to the central nervous system. Journal of Comparative Neurology, 529(4):694-756.

تفاصيل العنوان

×
Book

The masterpieces of John Forbes Nash Jr.

Subjects: Institute of Mathematics; 340 Law; 610 Medicine & health

  • Source: De Lellis, Camillo (2019). The masterpieces of John Forbes Nash Jr. In: Holden, Helge; Piene, Ragni. The Abel Prize 2013-2017. Cham: Springer, 391-499.

تفاصيل العنوان

×
  • 1-10 ل  41 نتائج ل ""proofs""