Sökresultat - "Higher-order functions"

Accuracy Analysis of Div-Conforming Hierarchical Higher-Order Discretization Schemes for the Magnetic Field Integral Equation

Kornprobst, J., Eibert, T.F.

Effect of low-frequency noise exposure on cognitive function: a systematic review and meta-analysis

Liang, Peng^{Aff1, Aff2}, Li, Jiangjing, Li, Zenglei, Wei, Jing, Li, Jing, Zhang, Shenghao, Xu, Shenglong, Liu, Zhaohui^{Aff6, IDs12889023175935_cor8}, Wang, Jin^{Aff4, IDs12889023175935_cor9}

Standard Cells and Technology Mapping

Rai, Shubham^Aff3, Kumar, Akash^Aff3

Rai, Shubham^Aff1, Kumar, Akash^Aff2

A Functional Paradigm using the C Language for Teaching Programming for Engineers

Theoktisto, Victor

2018 XLIV Latin American Computer Conference (CLEI)

On the Performance of new Higher Order Transformation Functions for Highly Efficient Dense Layers

Gundawar, Atharva, Lodha, Srishti, Vijayarajan, V., Iyer, Balaji^{Aff2, Aff3}, Prasath, V. B. Surya^{Aff2, Aff3, IDs11063023113439_cor5}

The Role of the Cerebellum in Advanced Cognitive Processes in Children

Stefano Mastrangelo, Laura Peruzzi, Antonella Guido, Laura Iuvone, Giorgio Attinà, Alberto Romano, Palma Maurizi, Daniela Pia Rosaria Chieffo, Antonio Ruggiero

electronic resource

Visa; Visa

Lambda in blocks languages: Lessons learned

Harvey, Brian, Monig, Jens

2015 IEEE Blocks and Beyond Workshop (Blocks and Beyond)

Mathematically Developing Building Facades: An Algorithmic Framework

Caetano, Inês^Aff24, Leitão, António^Aff24

Pisello, Anna Laura, Editorial Board Member^Aff1, Hawkes, Dean, Editorial Board Member^Aff2, Bougdah, Hocine, Editorial Board Member^Aff3, Rosso, Federica, Editorial Board Member^Aff4, Abdalla, Hassan, Editorial Board Member^Aff5, Boemi, Sofia-Natalia, Editorial Board Member^Aff6, Mohareb, Nabil, Editorial Board Member^Aff7, Mesbah Elkaffas, Saleh, Editorial Board Member^Aff8, Bozonnet, Emmanuel, Editorial Board Member^Aff9, Pignatta, Gloria, Editorial Board Member^Aff10, Mahgoub, Yasser, Editorial Board Member^Aff11, De Bonis, Luciano, Editorial Board Member^Aff12, Kostopoulou, Stella, Editorial Board Member^Aff13, Pradhan, Biswajeet, Editorial Board Member^Aff14, Abdul Mannan, Md., Editorial Board Member^Aff15, Alalouch, Chaham, Editorial Board Member^Aff16, O. Gawad, Iman, Editorial Board Member^Aff17, Nayyar, Anand, Editorial Board Member^Aff18, Amer, Mourad, Series Editor^Aff19, Eloy, Sara, editor^Aff20, Leite Viana, David, editor^Aff21, Morais, Franklim, editor^Aff22, Vieira Vaz, Jorge, editor^Aff23

Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation

Krawiec, Faustyna, Peyton Jones, Simon, Krishnaswami, Neel, Ellis, Tom, Eisenberg, Richard A., Fitzgibbon, Andrew

Modular specification and verification of closures in Rust

Wolff, Fabian, Bílý, Aurel, Matheja, Christoph, Müller, Peter, Summers, Alexander J.

Handling Iterations in Distributed Dataflow Systems

Gévay, Gábor E., Soto, Juan, Markl, Volker

Synthesizable Higher-Order Functions for C++

Richmond, D., Althoff, A., Kastner, R.

Mining the use of higher-order functions:: An exploratory study on Scala programs

Xu, Yisen, Wu, Fan, Jia, Xiangyang, Li, Lingbo, Xuan, Jifeng^Aff1

Lambda in blocks languages: Lessons learned

Harvey, B, Monig, J

application/pdf

Test generation for higher-order functions in dynamic languages

Selakovic, Marija, Pradel, Michael, Karim, Rezwana, Tip, Frank

Functional programming for modular Bayesian inference

Ścibior, Adam, Kammar, Ohad, Ghahramani, Zoubin

Basic processes as foundations of cognitive impairment in adult ADHD

Butzbach, Marah^Aff1, Fuermaier, Anselm B. M., Aschenbrenner, Steffen^{Aff2, Aff4}, Weisbrod, Matthias^{Aff2, Aff3}, Tucha, Lara, Tucha, Oliver

Higher-Order Decision Theory

Hedges, Jules^Aff14, Oliva, Paulo^Aff15, Shprits, Evguenia^Aff16, Winschel, Viktor^Aff17, Zahn, Philipp^Aff18

Goebel, Randy, Series Editor^Aff1, Tanaka, Yuzuru, Series Editor^Aff2, Wahlster, Wolfgang, Series Editor^Aff3, Siekmann, Joerg, Founding Editor^Aff41, Rothe, Jörg, editor^Aff13

Design Space Exploration of a Particle Filter Using Higher-Order Functions

Wester, Rinse^Aff19, Kuper, Jan^Aff19

Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Kobsa, Alfred, editor^Aff5, Mattern, Friedemann, editor^Aff6, Mitchell, John C., editor^Aff7, Naor, Moni, editor^Aff8, Nierstrasz, Oscar, editor^Aff9, Pandu Rangan, C., editor^Aff10, Steffen, Bernhard, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Weikum, Gerhard, editor^Aff14, Goehringer, Diana, editor^Aff15, Santambrogio, Marco Domenico, editor^Aff16, Cardoso, João M. P., editor^Aff17, Bertels, Koen, editor^Aff18

Architecture Specifications in CλaSH

Kuper, Jan^Aff1_12, Baaij, Christiaan^Aff1_12, Kooijman, Matthijs^Aff1_12, Gerards, Marco^Aff1_12

Kaźmierski, Tom J., editor^AffID1, Morawiec, Adam, editor^AffID2