„Normalization“

Suchergebnisse

1.872 Treffer

• Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule.
  Akiyoshi, Ryota ; Terui, Kazushige 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Typeful Normalization by Evaluation
  Danvy, Olivier ; Keller, Chantal ; Puech, Matthias 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Termination of Dependently Typed Rewrite Rules
  Jouannaud, Jean-Pierre ; Li, Jianqi 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting
  Assaf, Ali 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• How Nanofibers Carry the Load: Toward a Universal and Reliable Approach for Tensile Testing of Polymeric Nanofibrous Membranes
  Maccaferri, Emanuele ; Cocchi, Davide ; Mazzocchetti, Laura ; Benelli, Tiziana ; Brugo, Tommaso Maria ; Giorgini, Loris ; Zucchelli, Andrea
• Intersection Types for Normalization and Verification (Invited Talk)
  Terui, Kazushige 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantics of Intensional Type Theory extended with Decidable Equational Theories
  Wang, Qian ; Barras, Bruno 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1
  Aschieri, Federico ; Berardi, Stefano ; Birolo, Giovanni 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear Logic and Strong Normalization
  Accattoli, Beniamino 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Evidence Normalization in System FC (Invited Talk)
  Vytiniotis, Dimitrios ; Peyton Jones, Simon 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Weakening the Axiom of Overlap in Infinitary Lambda Calculus
  Severi, Paula ; de Vries, Fer-Jan 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Weak Convergence and Uniform Normalization in Infinitary Rewriting
  Simonsen, Jakob Grue 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Higher-Order (Non-)Modularity
  Appel, Claus ; van Oostrom, Vincent ; Simonsen, Jakob Grue 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Head reduction and normalization in a call-by-value lambda-calculus
  Guerrieri, Giulio 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• LemPORT: a High-Accuracy Cross-Platform Lemmatizer for Portuguese
  Rodrigues, Ricardo ; Gonçalo Oliveira, Hugo ; Gomes, Paulo 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Joint plant-spraypoint detector with ConvNeXt modules and HistMatch normalization
  Ford, Jonathan ; Sadgrove, Edmund ; Paul, David
• Design and Evaluation of Outlier Detection Based on Semantic Condensed Nearest Neighbor
  Batchanaboyina, M. Rao ; Devarakonda, Nagaraju
• Histopathological Image Segmentation Using Modified Kernel-Based Fuzzy C-Means and Edge Bridge and Fill Technique
  Karobari, Faiz Mohammad ; Suresh, Hosahally Narayangowda
• The Aids policy cycle in western Europe – from exceptionalism to normalization
  Rosenbrock, Rolf 1999 WZB, Arbeitsgruppe Public Health
• Eine andere Form der Ungleichheit: Behinderung und soziale Stratifikation in Japans kakusa shakai -Diskussion
  Zachmann, Urs Matthias