|
|
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 |
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 |
Displaying result #1 - #100 of 10506 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|