The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Higher-order (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1954-1970 (16) 1972-1976 (15) 1977-1982 (16) 1983-1984 (17) 1985 (15) 1986 (24) 1987 (30) 1988 (40) 1989 (50) 1990 (70) 1991 (85) 1992 (127) 1993 (189) 1994 (169) 1995 (190) 1996 (171) 1997 (177) 1998 (168) 1999 (188) 2000 (230) 2001 (207) 2002 (221) 2003 (271) 2004 (317) 2005 (385) 2006 (401) 2007 (464) 2008 (431) 2009 (415) 2010 (310) 2011 (303) 2012 (313) 2013 (312) 2014 (360) 2015 (354) 2016 (370) 2017 (367) 2018 (381) 2019 (390) 2020 (432) 2021 (432) 2022 (429) 2023 (502) 2024 (152)
Publication types (Num. hits)
article(4964) book(13) data(2) incollection(82) inproceedings(5245) phdthesis(175) proceedings(25)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2531 occurrences of 1453 keywords

Results
Found 10506 publication records. Showing 10506 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
81Murat Can Ganiz, Nikita I. Lytkin, William M. Pottenger Leveraging Higher Order Dependencies between Features for Text Classification. Search on Bibsonomy ECML/PKDD (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF higher order learning, higher order naive bayes, higher order support vector machine, machine learning, text classification, statistical relational learning
64Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre Winning Regions of Higher-Order Pushdown Games. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF higher-order pushdown automata, mu-calculus model-checking, parity games, higher-order recursion schemes
61Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre Collapsible Pushdown Automata and Recursion Schemes. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Higher-order pushdown automata, game semantics, higher-order recursion schemes
61Naoki Kobayashi 0001, Naoshi Tabuchi, Hiroshi Unno 0001 Higher-order multi-parameter tree transducers and recursion schemes for program verification. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF higher-order tree transducers, tree-processing programs, program verification, higher-order recursion scheme
61Makoto Hamana Higher-order semantic labelling for inductive datatype systems. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF categorical semantics, higher-order rewriting, modularity, termination, higher-order abstract syntax, initial algebra semantics
61Alan Schmitt, Jean-Bernard Stefani The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. Search on Bibsonomy Global Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF higher-order bisimulation, components, distributed programming, mobile code, Process calculi, ambients, higher-order languages
60Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu Extending VLSI design with higher-order logic. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Cambridge Higher-Order Logic theorem-prover, microprogram sequencer, Am2910, VLSI, formal verification, formal verification, logic testing, theorem proving, logic design, logic CAD, VLSI design, higher-order logic, theorem-prover, design environment, instruction-set architecture, VLSI CAD
58Thomas Schultz 0001, Andrea Fuster, Aurobrata Ghosh, Rachid Deriche, Luc Florack, Lek-Heng Lim Higher-Order Tensors in Diffusion Imaging. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
56William M. Pottenger D-HOTM: distributed higher order text mining. Search on Bibsonomy DG.O The full citation details ... 2007 DBLP  BibTeX  RDF higher order associations, higher order classification
52Naoki Kobayashi 0001 Types and higher-order recursion schemes for verification of higher-order programs. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, type system, higher-order recursion scheme
52Andrew Gacek Relating nominal and higher-order abstract syntax specifications. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF higher-order abstract syntax, proof search, nominal logic
49Xian Xu 0001 Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF encoding, bisimulation, full abstraction, process calculus, higher order
48Jean-Pierre Jouannaud, Albert Rubio Polymorphic higher-order recursive path orderings. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus
48Mariya Ishteva, Lieven De Lathauwer, Pierre-Antoine Absil, Sabine Van Huffel Differential-geometric Newton method for the best rank-(R1, R2, R3) approximation of tensors. Search on Bibsonomy Numer. Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Higher-order tensor, Higher-order singular value decomposition, Rank-(R 1, R 2, R 3) reduction, Quotient manifold, Differential-geometric optimization, Newton’s method, Tucker compression, Multilinear algebra
47Kevin Donnelly, Hongwei Xi Combining higher-order abstract syntax with first-order abstract syntax in ATS. Search on Bibsonomy MERLIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ATS/LF, theorem proving, dependent types, higher-order abstract syntax, ATS
47Lauri Hella, Jose Maria Turull Torres Complete Problems for Higher Order Logics. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Lindström Quantifiers, Complete Problems, Higher Order Logics
47Daniel Jörgens, Rodrigo Moreno Tensor Voting: Current State, Challenges and New Trends in the Context of Medical Image Analysis. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Cem Yolcu, Evren Özarslan Diffusion-Weighted Magnetic Resonance Signal for General Gradient Waveforms: Multiple Correlation Function Framework, Path Integrals, and Parallels Between Them. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Jasper J. van de Gronde, Mikola Lysenko, Jos B. T. M. Roerdink Path-Based Mathematical Morphology on Tensor Fields. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Carmeliza Navasca, Deonnia N. Pompey Random Projections for Low Multilinear Rank Tensors. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Maxime Taquet, Benoit Scherrer, Simon K. Warfield A Framework for the Analysis of Diffusion Compartment Imaging (DCI). Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Lauren J. O'Donnell, Thomas Schultz 0001 Statistical and Machine Learning Methods for Neuroimaging: Examples, Challenges, and Extensions to Diffusion Imaging Data. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Andreas Kleefeld, Bernhard Burgeth Processing Multispectral Images via Mathematical Morphology. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Marc Schöneich, Andrea Kratz, Valentin Zobel, Gerik Scheuermann, Markus Stommel, Ingrid Hotz Tensor Lines in Engineering: Success, Failure, and Open Questions. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Vesna Prckovska, Magí Andorrà, Pablo Villoslada, Eloy Martinez-Heras, Remco Duits, David Fortin, Paulo Reis Rodrigues, Maxime Descoteaux Contextual Diffusion Image Post-processing Aids Clinical Applications. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Olivier Vaillancourt, Maxime Chamberland, Jean-Christophe Houde, Maxime Descoteaux Visualization of Diffusion Propagator and Multiple Parameter Diffusion Signal. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Valentin Zobel, Jan Reininghaus, Ingrid Hotz Visualizing Symmetric Indefinite 2D Tensor Fields Using the Heat Kernel Signature. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Tobias Isenberg 0001 A Survey of Illustrative Visualization Techniques for Diffusion-Weighted MRI Tractography. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Sujal Bista, Jiachen Zhuo, Rao P. Gullapalli, Amitabh Varshney Visual Knowledge Discovery for Diffusion Kurtosis Datasets of the Human Brain. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Adrian Maries, Timothy Luciani, Patrick H. Pisciuneri, Mehdi B. Nik, Server Levent Yilmaz, Peyman Givi, G. Elisabeta Marai A Clustering Method for Identifying Regions of Interest in Turbulent Combustion Tensor Fields. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Tom C. J. Dela Haije, Andrea Fuster, Luc M. J. Florack Finslerian Diffusion and the Bloch-Torrey Equation. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Maher Moakher, Peter J. Basser Fiber Orientation Distribution Functions and Orientation Tensors for Different Material Symmetries. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Yue Zhang 0009, Jonathan Palacios, Eugene Zhang Topology of 3D Linear Symmetric Tensor Fields. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Luc Florack, Tom C. J. Dela Haije, Andrea Fuster Direction-Controlled DTI Interpolation. Search on Bibsonomy Visualization and Processing of Higher Order Descriptors for Multi-Valued Data The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
47Luc Florack, Andrea Fuster Riemann-Finsler Geometry for Diffusion Weighted Magnetic Resonance Imaging. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Yogesh Rathi, Martha Elizabeth Shenton, Carl-Fredrik Westin Preliminary Findings in Diagnostic Prediction of Schizophrenia Using Diffusion Tensor Imaging. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Eugene Zhang Tensors in Geometry Processing. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Andrea Kratz, Cornelia Auer, Ingrid Hotz Tensor Invariants and Glyph Design. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Thomas C. J. Dela Haije, Remco Duits, Chantal M. W. Tax Sharpening Fibers in Diffusion Weighted MRI via Erosion. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Neda Sepasian, Jan H. M. ten Thije Boonkkamp, Luc M. J. Florack, Bart M. ter Haar Romeny, Anna Vilanova Riemann-Finsler Multi-valued Geodesic Tractography for HARDI. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Mario Hlawitschka, Ingrid Hotz, Andrea Kratz, G. Elisabeta Marai, Rodrigo Moreno, Gerik Scheuermann, Markus Stommel, Alexander Wiebel, Eugene Zhang Top Challenges in the Visualization of Engineering Tensor Fields. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Hans Knutsson, Carl-Fredrik Westin Monomial Phase: A Matrix Representation of Local Phase. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Ofer Pasternak, Klaus H. Maier-Hein, Christian F. Baumgartner, Martha Elizabeth Shenton, Yogesh Rathi, Carl-Fredrik Westin The Estimation of Free-Water Corrected Diffusion Tensors. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Madhura Ingalhalikar, Parmeshwar Khurd, Ragini Verma Kernel-Based Morphometry of Diffusion Tensor Images. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Alexander Wiebel, Cornelius Müller, Christoph Garth, Thomas R. Knösche A System for Combined Visualization of EEG and Diffusion Tensor Imaging Tractography Data. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Rodrigo Moreno, Magnus Borga, Örjan Smedby Techniques for Computing Fabric Tensors: A Review. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Bernhard Burgeth, Andreas Kleefeld Order Based Morphology for Color Images via Matrix Fields. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Aurobrata Ghosh, Rachid Deriche Fourth Order Symmetric Tensors and Positive ADC Modeling. Search on Bibsonomy Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Faron Moller, Graham M. Birtwistle (eds.) Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, Banff, Canada, August 27 - September 3, 1995, Proceedings) Search on Bibsonomy Banff Higher Order Workshop The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
47E. Allen Emerson Automated Temporal Reasoning about Reactive Systems. Search on Bibsonomy Banff Higher Order Workshop The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
47Yoram Hirshfeld, Faron Moller Decidability Results in Automata and Process Theory. Search on Bibsonomy Banff Higher Order Workshop The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
47Moshe Y. Vardi An Automata-Theoretic Approach to Linear Temporal Logic. Search on Bibsonomy Banff Higher Order Workshop The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
47Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan Specification Structures and Propositions-as-Types for Concurrency. Search on Bibsonomy Banff Higher Order Workshop The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
47Colin Stirling Modal and Temporal Logics for Processes. Search on Bibsonomy Banff Higher Order Workshop The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
47Zhenyu Qian Higher-Order Equational Logic Programming. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
45Xian Xu 0001 On Bisimulation Theory in Linear Higher-Order pi-Calculus. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bisimulation, Linear, ?-Calculus, Process calculi, Higher-order
45Dimitris A. Karras, Basil G. Mertzios On the Integration of Neural Classifiers through Similarity Analysis of Higher Order Features. Search on Bibsonomy ICDM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Combination of Neural classifiers, higher order features, hybrid and modular structures, statistical moments, similarity, shape recognition, feature extraction methods, committee machines
45Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi Deterministic Higher-Order Patterns for Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Higher-order pattern matching, Fusion transformation, Program transformation, Functional programming, Program derivation
44Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt On the Expressiveness and Decidability of Higher-Order Process Calculi. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages
44Nobuko Yoshida Channel dependent types for higher-order mobile processes. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF the higher-order ?-calculus, access control, types, secrecy, mobile processes
44Michael Jurczyk Performance and Implementation Aspects of Higher Order Head-of-Line Blocking Switch Boxes. Search on Bibsonomy ICPP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF central memory buffering, higher order blocking effects, multistage cube network, nonuniform traffic patterns, switch box implementation
43Noam Zeilberger Focusing and higher-order abstract syntax. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pattern-matching, higher-order abstract syntax, focusing
43Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
43Shiho Moriai, Takeshi Shimoyama, Toshinobu Kaneko Higher Order Differential Attack Using Chosen Higher Order Differences. Search on Bibsonomy Selected Areas in Cryptography The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
43Gilles Dowek Proof Normalization for a First-Order Formulation of Higher-Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
42Naoki Kobayashi 0001 Model-checking higher-order functions. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, program verification, higher-order functions, recursion schemes
42Ofri Sadowsky, Jonathan D. Cohen 0001, Russell H. Taylor Rendering Tetrahedral Meshes with Higher-Order Attenuation Functions for Digital Radiograph Reconstruction. Search on Bibsonomy IEEE Visualization The full citation details ... 2005 DBLP  DOI  BibTeX  RDF DRR, higher-order volumetric functions, volume rendering, unstructured grids, projected tetrahedra
42Geoffrey Washburn, Stephanie Weirich Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism
42Robert Bruce Findler, Matthias Felleisen Contracts for higher-order functions. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions
42Ju-Sung Kang, Seongtaek Chee, Choonsik Park A Note on the Higher Order Differential Attack of Block Ciphers with Two-Block Structures. Search on Bibsonomy ICISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF (probabilistic) higher order differential attack, two-block structure, provable security, LC, DC
42Uday S. Reddy Higher-order Aspects of Logic Programming. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Higher-order features, semantics, functional programming, types, lambda calculus, concurrent logic programming, logic variables
41Jia Meng, Lawrence C. Paulson Translating Higher-Order Clauses to First-Order Clauses. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interactive theorem provers, Clause translation, First-order logic, Higher-order logic
41Claude Carlet On the Higher Order Nonlinearities of Boolean Functions and S-Boxes, and Their Generalizations. Search on Bibsonomy SETA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Higher-order nonlinearity, Cryptography, Boolean function, Stream cipher, Block cipher, S-box, Reed-Muller code, Covering radius
41Raymond McDowell, Dale Miller 0001 Reasoning with higher-order abstract syntax in a logical framework. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF induction, Definitions, logical frameworks, higher-order abstract syntax
40Dov M. Gabbay, Andrzej Szalas Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF second-order quantifier elimination, higher-order relations, conditionals
39Kai Schramm, Christof Paar Higher Order Masking of the AES. Search on Bibsonomy CT-RSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Higher Order DPA, Masking Countermeasure, AES
39Zhanquan Sun, Yinglong Wang Traffic congestion identification by combining PCA with higher-order Boltzmann machine. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Higher-order Boltzmann machine, Principal component analysis (PCA), Intelligent transport system (ITS), Traffic congestion
39Meng Wang 0002, Kung Chen, Siau-Cheng Khoo Type-directed weaving of aspects for higher-order functional languages. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type inference, functional language, aspect oriented, higher-order, weaving
39Marcel Weiher, Stéphane Ducasse Higher order messaging. Search on Bibsonomy DLS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF higher order messaging, methods, messages
39Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining. Search on Bibsonomy Euro-Par The full citation details ... 1999 DBLP  DOI  BibTeX  RDF parallelization, functional programming, Haskell, skeletons, inlining, higher-order function
39Henry Cejtin, Suresh Jagannathan, Richard Kelsey Higher-Order Distributed Objects. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF concurrency, message-passing, SCHEME, continuations, higher-order languages
38Barak A. Pearlmutter, Jeffrey Mark Siskind Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF forward-mode AD, higher-order AD, higher-order functional languages, program transformation, reflection, Closures, derivatives, Jacobian
37Zhiqiang Cai 0001, Jim Douglas Jr., Moongyu Park Development and Analysis of Higher Order Finite Volume Methods over Rectangles for Elliptic Equations. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF rectangular element, finite volume method, higher order
37Naijun Zhan Completeness of Higher-Order Duration Calculus. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF duration calculus higher-order logic interval temporal logic completeness
37Willi Schönauer, Torsten Adolph Higher Order May Be Better or May Not Be Better: Investigations with the FDEM (Finite Difference Element Method). Search on Bibsonomy J. Sci. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF selfadaptation, black-box solver, finite difference method, higher order
37Flavio Antonio Ferrarotti, Jose Maria Turull Torres Arity and Alternation: A Proper Hierarchy in Higher Order Logics. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Martin Burger 0001, Christina Stöcker, Axel Voigt Finite Element-Based Level Set Methods for Higher Order Flows. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Higher-order geometric flows, Semi-implicit time stepping, Finite element methods, Level set methods, Energy dissipation
37Steve M. Shaner, Gary T. Leavens, David A. Naumann Modular verification of higher-order methods with mandatory calls specified by model programs. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF grey-box approach, higher order method, mandatory call, model program, verification, specification languages, hoare logic, refinement calculus
37Jahangheer S. Shaik, Mohammed Yeasin Ranking Function Based on Higher Order Statistics (RF-HOS) for Two-Sample Microarray Experiments. Search on Bibsonomy ISBRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Two-sample microarray data, Differentially expressed genes, Higher order statistics
37Alberto Momigliano, Frank Pfenning Higher-order pattern complement and the strict lambda-calculus. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF higher-order patterns, strict ?-calculus, Complement
36Bienvenido Jiménez, Vicente Novo Higher-order optimality conditions for strict local minima. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Strict minimizer of higher order, Optimality conditions
36Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain Side Channel Cryptanalysis of a Higher Order Masking Scheme. Search on Bibsonomy CHES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Higher Order DPA, Masking Scheme, Side Channel Attacks, Differential Power Analysis, Template Attacks
36Claude Carlet On the Higher Order Nonlinearities of Algebraic Immune Functions. Search on Bibsonomy CRYPTO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF higher order nonlinearity, Boolean function, stream cipher, block cipher, algebraic attack, algebraic immunity, algebraic degree
36Ugo Dal Lago The geometry of linear higher-order recursion. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF higher-order recursion, type systems, lambda calculus, implicit computational complexity, Geometry of interaction
36Hiromi Miyajima, Noritaka Shigei, Shuji Yatsuki Higher Order Neurodynamics of Associative Memory for Sequential Patterns. Search on Bibsonomy ISNN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Higher order neural network, Associative memory, Sequential pattern, Statistical method, Storage capacity
36Jirí Adámek, Stefan Milius, Jirí Velebil Semantics of Higher-Order Recursion Schemes. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF infinite ?-terms, sets in context, rational tree, Higher-order recursion schemes
36Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha Algorithms for regular solutions of higher-order linear differential systems. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF frobenius method, higher-order linear differential systems, matrix polynomials, regular formal solutions, computer algebra
36John F. Roddick, Myra Spiliopoulou, Daniel Lister, Aaron Ceglar Higher order mining. Search on Bibsonomy SIGKDD Explor. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF higher order mining, mining data synopses, mining derived data, mining patterns, rule semantics
36Huajun Huang, Shaohong Zhong, Xingming Sun Steganalysis of Information Hidden in Webpage Based on Higher-order Statistics. Search on Bibsonomy ISECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF offse, steganography, steganalysis, higher-order statistics, webpage
36François Pottier Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Proofs of programs, hidden local state, higher-order frame rule, separation logic, dynamic memory allocation
Displaying result #1 - #100 of 10506 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license