Search results for "higher-order"

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