„Dependent types“

Suchergebnisse

1.000+ Treffer

• Climate change induced rainfall patterns affect wheat productivity and agroecosystem functioning dependent on soil types
  Tataw, James Tabi ; Baier, Fabian ; Krottenthaler, Florian ; Pachler, Bernadette ; Schwaiger, Elisabeth ; Wyhlidal, Stefan ; Formayer, Herbert ; Hösch, Johannes ; Baumgarten, Andreas ; Zaller, Johann G.
• Comparative Dose- and Time-Dependent Manner of Resveratrol on Human Epithelial Cell Types
  Effendy, Wan Nuramiera Faznie Wan Eddis ; S. M. N. Mydin, Rabiatul Basria ; Shanker, Kalakotla ; Ng, Kah Yan ; Sundaraju, Priya ; Gunasagaran, Sharenia ; Ahmad Sopian, Syafiqa Farhana ; Mohd Gazzali, Amirah
• Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact)
  de Muijnck-Hughes, Jan ; Vanderbauwhede, Wim
• A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact)
  de Muijnck-Hughes, Jan ; Brady, Edwin ; Vanderbauwhede, Wim
• A Typing Discipline for Hardware Interfaces (Artifact)
  de Muijnck-Hughes, Jan ; Vanderbauwhede, Wim
• Wiring Circuits Is Easy as {0,1,ω}, or Is It...
  de Muijnck-Hughes, Jan ; Vanderbauwhede, Wim 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl)
  de Muijnck-Hughes, Jan ; Brady, Edwin ; Vanderbauwhede, Wim 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Typing Discipline for Hardware Interfaces
  de Muijnck-Hughes, Jan ; Vanderbauwhede, Wim 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Culture-dependent and culture-independent characterization of bacterial community diversity in different types of sandy lands: the case of Minqin County, China
  Wei, Yali ; Wang, Fang ; Gao, Jiangli ; Huang, Yaolong ; Ren, Wei ; Sheng, Hongmei
• QUBE - Array programming with dependent types
  Trojahner, Kai 2012 Zentrale Hochschulbibliothek Lübeck
• Divergent effects of angiotensin II receptor types 1A and 2 on vascular functions involve NADPH oxidase-dependent oxidative stress and no-dependent guanylyl cyclase
  Taye, Ashraf Mohamed Abouelwafa
• Effect of mixing water types on the time-dependent zeta potential of Portland cement paste
  Ersoy, Bahri ; Dikmen, Sedef ; Uygunoğlu, Tayfun ; İçduygu, Mehmet Galip ; Kavas, Taner ; Olgun, Asım
• Correction to: Generalized temperature-dependent material models for compressive strength of masonry using fire tests, statistical methods and artificial intelligence
  Daware, Aditya ; Naser, M. Z. ; Karaki, Ghada
• Targeting CD37 promotes macrophage-dependent phagocytosis of multiple cancer cell types and facilitates tumor clearance in mice
  Gao, Xinya ; Zhang, Jing ; Zhang, Hui ; Liu, Xin ; Zeng, Bo ; Wang, Huijin ; Zhang, Hanbing ; Lui, Weng-Onn ; Hui, Xiaoyan ; Miao, Hongming ; Li, Jie
• Emerging Therapies in Neurorehabilitation II
  Pons, José L. ; Raya, Rafael ; González, José 2016 Springer International Publishing
• A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
  Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Donald 2016 Springer International Publishing
• Additive Rates Model for Multivariate Recurrent Event Data with Time-Dependent Coefficients and Missing Types
  Sun, Xiaowei ; Chen, Jiaqi
• Distributive Laws of Monadic Containers
  Purdy, Chris ; Damato, Stefania 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Light heads and predicate formation: on two scopes of discontinuity
  Wiślicki, Jan
• What Does It Take to Certify a Conversion Checker?
  Lennon-Bertrand, Meven 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik