„higher-order function“

Suchergebnisse

555 Treffer

• A transformational approach to generic software development based on higher-order, typed functional signatures
  Lincke, Daniel ; Schupp, Sibylle 2012 Universitätsbibliothek der Technischen Universität Hamburg-Harburg
• Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
  Bulwahn, Lukas ; Nipkow, Tobias ; Runciman, Colin 2013 Universitätsbibliothek der TU München
• Boundary Value Problems for Higher Order Complex Partial Differential Equations
  Du, Zhihua 2008 Freie Universität Berlin
• Higher order functionals and regularity
  Schemm, Sabine
• Regularity results for functionals and Calderón-Zygmund estimates for systems of higher order with p(x)-growth
  Habermann, Jens
• Optimising the memory management of higher order functional programs
  Mohnen, Markus 1997 RWTH, Fachgruppe Informatik
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Effects of Porosity on the Vibration Behaviors of the Functionally Graded Spherical Nanoshells Using General Higher-Order Shear Deformation Theory
  Li, Lin ; Wang, Jiaxuan ; Li, Zhuang ; Huang, Jiqi
• Functional and Constraint Logic Programming – 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
  Kuchen, Herbert 2011 Springer Berlin Heidelberg
• Buckling behaviour of cross-ply laminated plates by a higher-order shear deformation theory
  Neves, Ana M.A. ; Ferreira, António J.M. ; Carrera, Erasmo ; Cinefra, Maria ; Roque, Carla M.C. ; Jorge, Renato M.N. ; Soares, Cristóvăo M.M.
• Shear Buckling Analysis of Angle-Ply Laminates with Higher- Order Shear Deformation and pb-2 Ritz Functions
  Ni,, Qing-Qing ; Xie,, Jia ; Iwamoto,, Masaharu
• Interactive Glyph Placement for Tensor Fields – Tracking Lines in Higher Order Tensor Fields
  Hlawitschka, Mario ; Scheuermann, Gerik ; Hamann, Bernd 2019 Universitätsbibliothek Leipzig
• Tensor Lines in Tensor Fields of Arbitrary Order – Tracking Lines in Higher Order Tensor Fields
  Hlawitschka, Mario ; Scheuermann, Gerik ; Anwander, Alfred ; Knösche, Thomas ; Tittgemeyer, Marc ; Hamann, Bernd 2019 Universitätsbibliothek Leipzig
• Higher order process engineering
  Neubauer, Johannes ; Steffen, Bernhard ; Hinchey, Mike 2014 Universitätsbibliothek Dortmund
• Singularity Cancellation Transformations and Hierarchical Higher Order Basis Functions for the Hybrid Finite Element Boundary Integral Technique
  Li, Li ; Eibert, Thomas ; Dyczij-Edlinger, Romanus 2016 Universitätsbibliothek der TU München
• How Can a Loss of Information in Mixed Attribute Datasets be Prevented? – On the Imputation of Missing Values in Mixed Attribute Datasets Using Higher Order Kernel Functions
  Ajith, Aasha 2019 GRIN Verlag
• How Can a Loss of Information in Mixed Attribute Datasets be Prevented? – On the Imputation of Missing Values in Mixed Attribute Datasets Using Higher Order Kernel Functions
  Ajith, Aasha 2019 GRIN Verlag
• Thermoelastic modeling of functionally graded materials with cylindrical cavities utilizing higher-order fractional heat transfer models incorporating time delays
  Abouelregal, Ahmed E. ; Elzayady, Mohamed E. ; Marin, M. ; Foul, Abdelaziz ; Askar, Sameh S.
• Synchronization phenomena in a higher-order neuronal network with random blinking in the functional forms of the coupling
  Rajagopal, Shivakumar ; Ndoukouo, A. N. ; Ngueuteu Mbouna, S. G. ; Rajagopal, Karthikeyan