Search results for "higher-order"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Bart Preneel, René Govaerts, Joos Vandewalle	Boolean Functions Satisfying Higher Order Propagation Criteria.	EUROCRYPT	1991	DBLP DOI BibTeX RDF
16	Olaf Muliawan	Extending a Model Transformation Language Using Higher Order Transformations.	WCRE	2008	DBLP DOI BibTeX RDF
16	Oliver Pell, Wayne Luk	Generating Parametrised Hardware Libraries from Higher-Order Descriptions.	FCCM	2006	DBLP DOI BibTeX RDF
16	Lars Birkedal, Noah Torp-Smith, Hongseok Yang	Semantics of Separation-Logic Typing and Higher-Order Frame Rules.	LICS	2005	DBLP DOI BibTeX RDF
16	Bernard Haasdonk, Mario Ohlberger, Martin Rumpf, Alfred Schmidt, Kunibert G. Siebert	Multiresolution Visualization of Higher Order Adaptive Finite Element Simulations.	Computing	2003	DBLP DOI BibTeX RDF	AMS Subject Classifications: 76M27, 65S05, 65N30
16	Farhad Mehta, Tobias Nipkow	Proving Pointer Programs in Higher-Order Logic.	CADE	2003	DBLP DOI BibTeX RDF
15	Osman Hasan, Sanaz Khan Afshar, Sofiène Tahar	Formal Analysis of Optical Waveguides in HOL.	TPHOLs	2009	DBLP DOI BibTeX RDF
15	Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal	A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.	LOPSTR	2008	DBLP DOI BibTeX RDF
15	Luis Govinda García-Valdovinos, Vicente Parra-Vega, Marco A. Arteaga	Observer-based Higher-Order Sliding Mode Impedance Control of Bilateral Teleoperation under Constant Unknown Time Delay.	IROS	2006	DBLP DOI BibTeX RDF
15	Relja Vulanovic	A Higher-Order Scheme for Quasilinear Boundary Value Problems with Two Small Parameters.	Computing	2001	DBLP DOI BibTeX RDF	65L20, 65L12, AMS Subject Classifications: 65L10
15	Christoph Benzmüller	Extensional Higher-Order Paramodulation and RUE-Resolution.	CADE	1999	DBLP DOI BibTeX RDF
15	Christoph Benzmüller, Michael Kohlhase	Extensional Higher-Order Resolution.	CADE	1998	DBLP DOI BibTeX RDF
15	Anna Mikhajlova, Joakim von Wright	Proving Isomorphism of First-Order Logic Proof Systems in HOL.	TPHOLs	1998	DBLP DOI BibTeX RDF
15	Tobias Nipkow, Zhenyu Qian	Modular Higher-Order E-Unification.	RTA	1991	DBLP DOI BibTeX RDF
15	Amy P. Felty	Proof Search with Set Variable Instantiation in the Calculus of Constructions.	CADE	1996	DBLP DOI BibTeX RDF
15	J. W. de Bakker, Franck van Breugel	Topological Models for Higher Ordr Control Flow.	MFPS	1993	DBLP DOI BibTeX RDF
15	Adam Liwo, Jaroslaw Pillardy, Cezary Czaplewski, Jooyoung Lee 0002, Daniel R. Ripoll, Malgorzata Groth, Sylwia Rodziewicz-Motowidlo, Rajmund Kazmierkiewicz, Ryszard J. Wawak, Stanislaw Oldziej, Harold A. Scheraga	UNRES: a united-residue force field for energy-based prediction of protein structure - orgin and significance of multibody terms.	RECOMB	2000	DBLP DOI BibTeX RDF
15	Jiandong Huang, Dinghui Yang, Xijun He	A unified higher-order unsplit CFS-PML technique for solving second-order seismic equations using discontinuous Galerkin method.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
15	Mukhtar Fatihu Hamza	Improved Decentralized Fractional-Order Control of Higher-Order Systems Using Modified Flower Pollination Optimization.	Algorithms	2024	DBLP DOI BibTeX RDF
15	Lili Bao, Jiahao Lu, Shihui Ying, Stefan Sommer	Sliding at First-Order: Higher-Order Momentum Distributions for Discontinuous Image Registration.	SIAM J. Imaging Sci.	2024	DBLP DOI BibTeX RDF
15	Jehad O. Alzabut, Said R. Grace, Jagan Mohan Jonnalagadda, Shyam Sundar Santra, Bahaaeldin Abdalla	Higher-Order Nabla Difference Equations of Arbitrary Order with Forcing, Positive and Negative Terms: Non-Oscillatory Solutions.	Axioms	2023	DBLP DOI BibTeX RDF
15	Bing Liu, Wenjun Zhang	Research Progress of Topological Quantum Materials: From First-Order to Higher-Order.	Symmetry	2023	DBLP DOI BibTeX RDF
15	Christian Amor, Philipp Schlatter, Ricardo Vinuesa, Soledad Le Clainche	Higher-order dynamic mode decomposition on-the-fly: A low-order algorithm for complex fluid flows.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
15	Sudarshan Santra, Jugal Mohapatra, Pratibhamoy Das, Debajyoti Choudhuri	Higher order approximations for fractional order integro-parabolic partial differential equations on an adaptive mesh with error analysis.	Comput. Math. Appl.	2023	DBLP DOI BibTeX RDF
15	Zhihui Tian, Maohua Ran, Yang Liu 0237	Higher-order energy-preserving difference scheme for the fourth-order nonlinear strain wave equation.	Comput. Math. Appl.	2023	DBLP DOI BibTeX RDF
15	Chunlan An, Housheng Su, Shiming Chen 0001	Leader-Following Exponential Consensus for Higher-Order Fractional-Order MASs With Mismatched Disturbances and Event-Triggered Input.	IEEE Trans. Syst. Man Cybern. Syst.	2023	DBLP DOI BibTeX RDF
15	RamaKoteswara Rao Alla, Kandipati Rajani, Ravindranath Tagore Yadlapalli	Design of FOPID controller for higher order MIMO systems using model order reduction.	Int. J. Syst. Assur. Eng. Manag.	2023	DBLP DOI BibTeX RDF
15	Lili Bao, Jiahao Lu, Shihui Ying, Stefan Sommer	Sliding at first order: Higher-order momentum distributions for discontinuous image registration.	CoRR	2023	DBLP DOI BibTeX RDF
15	Sebastiano Boscarino	High-Order Semi-implicit Schemes for Evolutionary Partial Differential Equations with Higher Order Derivatives.	J. Sci. Comput.	2023	DBLP DOI BibTeX RDF
15	Zhuo Chen, Hongyu Yang, Yanli Liu	An Order Reduction Design Framework for Higher-Order Binary Markov Random Fields.	Entropy	2023	DBLP DOI BibTeX RDF
15	Aastha Gupta, Aditya Kaushik	A higher-order hybrid finite difference method based on grid equidistribution for fourth-order singularly perturbed differential equations.	J. Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
15	Jianxiong Li, Xinjian Liu, Miao Xu, Yiming Fang	Continuous Higher-Order Sliding Mode Control for a Class of n-th Order Perturbed Systems.	IEEE Trans. Circuits Syst. II Express Briefs	2022	DBLP DOI BibTeX RDF
15	Xiaojie Li, Peng Shi 0001, Yiguang Wang, Shuoyu Wang	Cooperative Tracking Control of Heterogeneous Mixed-Order Multiagent Systems With Higher-Order Nonlinear Dynamics.	IEEE Trans. Cybern.	2022	DBLP DOI BibTeX RDF
15	Douglas R. Q. Pacheco, Olaf Steinbach	On the initial higher-order pressure convergence in equal-order finite element discretizations of the Stokes system.	Comput. Math. Appl.	2022	DBLP DOI BibTeX RDF
15	Bhartendu Chaturvedi, Jitendra Mohan	First-Order Current-Mode Fully Cascadable All-Pass Frequency Selective Structure, Its Higher-Order Extension and Tunable Transformation Possibilities.	J. Circuits Syst. Comput.	2022	DBLP DOI BibTeX RDF
15	Víctor Beltrán, Soledad Le Clainche, José Manuel Vega	An Adaptive Data-Driven Reduced Order Model Based on Higher Order Dynamic Mode Decomposition.	J. Sci. Comput.	2022	DBLP DOI BibTeX RDF
15	Maryam Munir, Qudrat Khan, Safeer Ullah, Tayyaba Maryam Syeda, Abdullah A. Algethami	Control Design for Uncertain Higher-Order Networked Nonlinear Systems via an Arbitrary Order Finite-Time Sliding Mode Control Law.	Sensors	2022	DBLP DOI BibTeX RDF
15	Yanhui Li, Weijun Shen, Tengchao Wu, Lin Chen 0015, Di Wu 0014, Yuming Zhou, Baowen Xu	How higher order mutant testing performs for deep learning models: A fine-grained evaluation of test effectiveness and efficiency improved from second-order mutant-classification tuples.	Inf. Softw. Technol.	2022	DBLP DOI BibTeX RDF
15	Xinxin Ma	Riemann-Hilbert approach for a higher-order Chen-Lee-Liu equation with high-order poles.	Commun. Nonlinear Sci. Numer. Simul.	2022	DBLP DOI BibTeX RDF
15	Hao Tian, Shengmin Jin, Reza Zafarani	Exploiting Cross-Order Patterns and Link Prediction in Higher-Order Networks.	ICDM (Workshops)	2022	DBLP DOI BibTeX RDF
15	Ying Cathy Liu, Xiaolu Lucia Li, Chi K. Tse, Chunbo Zhu	Connecting Second-Order and Higher Order Compensated Capacitive Power Transfer Converters.	IECON	2022	DBLP DOI BibTeX RDF
15	Alexander Bentkamp	The Embedding Path Order for Lambda-Free Higher-Order Terms.	FLAP	2021	DBLP BibTeX RDF
15	Mufan (Bill) Li, Maxime Gazeau	Higher Order Generalization Error for First Order Discretization of Langevin Diffusion.	CoRR	2021	DBLP BibTeX RDF
15	Mien Van	Higher-order terminal sliding mode controller for fault accommodation of Lipschitz second-order nonlinear systems using fuzzy neural network.	Appl. Soft Comput.	2021	DBLP DOI BibTeX RDF
15	Jean-Marie Madiot, Damien Pous, Davide Sangiorgi	Modular coinduction up-to for higher-order languages via first-order transition systems.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
15	Noor Aida Husaini, Rozaida Ghazali, Nureize Arbaiy, Ayodele Lasisi	Effects of the Number of Network's Order Used in a Higher Order Neural Network on Time Series Prediction.	RoViSP	2021	DBLP DOI BibTeX RDF
15	Zahra Farzaneh Bonab, Mohammad Javidi	Higher order methods for fractional differential equation based on fractional backward differentiation formula of order three.	Math. Comput. Simul.	2020	DBLP DOI BibTeX RDF
15	Jean-Marie Madiot, Damien Pous, Davide Sangiorgi	Modular coinduction up-to for higher-order languages via first-order transition systems.	CoRR	2020	DBLP BibTeX RDF
15	Fangyuan Lei, Xun Liu, Qingyun Dai, Bingo Wing-Kuen Ling, Huimin Zhao 0001, Yan Liu 0042	Hybrid Low-Order and Higher-Order Graph Convolutional Networks.	Comput. Intell. Neurosci.	2020	DBLP DOI BibTeX RDF
15	William Mansky, Wolf Honoré, Andrew W. Appel	Connecting Higher-Order Separation Logic to a First-Order Outside World.	ESOP	2020	DBLP DOI BibTeX RDF
15	Quang-Vu Nguyen 0001	Increasing Mutation Testing Effectiveness by Combining Lower Order Mutants to Construct Higher Order Mutants.	ICCCI	2020	DBLP DOI BibTeX RDF
15	Yuan Xie 0007, Kan Xie, Shengli Xie	Source Number Estimation and Effective Channel Order Determination Based on Higher-Order Tensors.	Circuits Syst. Signal Process.	2019	DBLP DOI BibTeX RDF
15	Parimala Sivakumar, Jayakumar Jayaraman 0001	Efficient Two-Step Fifth-Order and Its Higher-Order Algorithms for Solving Nonlinear Systems with Applications.	Axioms	2019	DBLP DOI BibTeX RDF
15	Asma Izzati Asnor, Siti Ainor Mohd Yatim, Zarina Bibi Ibrahim	Solving Directly Higher Order Ordinary Differential Equations by Using Variable Order Block Backward Differentiation Formulae.	Symmetry	2019	DBLP DOI BibTeX RDF
15	Fangyuan Lei, Xun Liu, Qingyun Dai, Bingo Wing-Kuen Ling, Huimin Zhao 0001, Yan Liu 0042	Hybrid Low-order and Higher-order Graph Convolutional Networks.	CoRR	2019	DBLP BibTeX RDF
15	Promila Kumar, Bharti Sharma	Second order duality for variational problem via efficiency of higher order.	Int. J. Math. Oper. Res.	2019	DBLP DOI BibTeX RDF
15	Chang Li, Dongjin Song, Dacheng Tao	Multi-task Recurrent Neural Networks and Higher-order Markov Random Fields for Stock Price Movement Prediction: Multi-task RNN and Higer-order MRFs for Stock Price Classification.	KDD	2019	DBLP DOI BibTeX RDF
15	Petr Socha, Vojtech Miskovský, Martin Novotný	First-Order and Higher-Order Power Analysis: Computational Approaches and Aspects.	MECO	2019	DBLP DOI BibTeX RDF
15	Angelos K. Marnerides, Dimitrios P. Pezaros, David Hutchison 0001	Internet traffic characterisation: Third-order statistics & higher-order spectra for precise traffic modelling.	Comput. Networks	2018	DBLP DOI BibTeX RDF
15	Takashi Goda, Kosuke Suzuki, Takehito Yoshiki	Optimal Order Quadrature Error Bounds for Infinite-Dimensional Higher-Order Digital Sequences.	Found. Comput. Math.	2018	DBLP DOI BibTeX RDF
15	Sanjoy Mondal, Jawhar Ghommam, Maarouf Saad	Homogeneous Finite-Time Consensus Control for Higher-Order Multi-Agent Systems by Full Order Sliding Mode.	J. Syst. Sci. Complex.	2018	DBLP DOI BibTeX RDF
15	Alexander Bentkamp	Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Heath J. LeBlanc, Xenofon D. Koutsoukos	Resilient First-Order Consensus and Weakly Stable, Higher Order Synchronization of Continuous-Time Networked Multiagent Systems.	IEEE Trans. Control. Netw. Syst.	2018	DBLP DOI BibTeX RDF
15	Quang-Vu Nguyen 0001, Duong-Thu-Hang Pham	Is Higher Order Mutant Harder to Kill Than First Order Mutant? An Experimental Study.	ACIIDS (1)	2018	DBLP DOI BibTeX RDF
15	Peter Bella, Benjamin J. Fehrman, Julian Fischer, Felix Otto	Stochastic Homogenization of Linear Elliptic Equations: Higher-Order Error Estimates in Weak Norms Via Second-Order Correctors.	SIAM J. Math. Anal.	2017	DBLP DOI BibTeX RDF
15	Swapan K. Pandit, Anirban Chattopadhyay	A robust higher order compact scheme for solving general second order partial differential equation with derivative source terms on nonuniform curvilinear meshes.	Comput. Math. Appl.	2017	DBLP DOI BibTeX RDF
15	Thorben Moos, Amir Moradi 0001	On the Easiness of Turning Higher-Order Leakages into First-Order.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
15	Flavio Ferrarotti, Senén González, José Maria Turull Torres	On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order.	WoLLIC	2017	DBLP DOI BibTeX RDF
15	Thorben Moos, Amir Moradi 0001	On the Easiness of Turning Higher-Order Leakages into First-Order.	COSADE	2017	DBLP DOI BibTeX RDF
15	Nalin Kumar Sharma, Sivaramakrishnan Janardhanan	Reduced output feedback based discrete-time first-order and higher-order sliding mode control.	ASCC	2017	DBLP DOI BibTeX RDF
15	Qudrat Khan, Rini Akmeliawati	Robust cooperative tracking protocol design for networked higher order nonlinear systems via adaptive second order sliding mode.	ASCC	2017	DBLP DOI BibTeX RDF
15	Branislava Perunicic-Drazenovic, Senad Huseinbegovic, Cedomir Milosavljevic, Boban Veselic	Higher order sliding mode based finite-time order zeroing control for MIMO LTI systems.	ICAT	2017	DBLP DOI BibTeX RDF
15	Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand	A Lambda-Free Higher-Order Recursive Path Order.	FoSSaCS	2017	DBLP DOI BibTeX RDF
15	Nenad Savic, Dragan Doder, Zoran Ognjanovic	A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities.	ECSQARU	2017	DBLP DOI BibTeX RDF
15	Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand	A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms.	CADE	2017	DBLP DOI BibTeX RDF
15	Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres	On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic.	CoRR	2016	DBLP BibTeX RDF
15	Ali Parsai, Alessandro Murgia, Serge Demeyer	A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage.	CoRR	2016	DBLP BibTeX RDF
15	Robert Mansel Gower, Artur L. Gower	Higher-order reverse automatic differentiation with emphasis on the third-order.	Math. Program.	2016	DBLP DOI BibTeX RDF
15	Ali Parsai, Alessandro Murgia, Serge Demeyer	A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage.	QRS	2016	DBLP DOI BibTeX RDF
15	Quang Vu Nguyen 0001, Lech Madeyski	On the Relationship Between the Order of Mutation Testing and the Properties of Generated Higher Order Mutants.	ACIIDS (1)	2016	DBLP DOI BibTeX RDF
15	J. Avellar, A. L. G. C. Claudino, L. G. S. Duarte, L. A. C. P. da Mota	Finding higher order Darboux polynomials for a family of rational first order ordinary differential equations.	Comput. Phys. Commun.	2015	DBLP DOI BibTeX RDF
15	Martin Avanzini, Ugo Dal Lago, Georg Moser	Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version).	CoRR	2015	DBLP BibTeX RDF
15	Martin Avanzini, Ugo Dal Lago, Georg Moser	Analysing the complexity of functional programs: higher-order meets first-order.	ICFP	2015	DBLP DOI BibTeX RDF
15	Sato Kentaro	Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories.	J. Symb. Log.	2014	DBLP DOI BibTeX RDF
15	Fleurianne Bertrand, Steffen Münzenmaier, Gerhard Starke	First-order System Least Squares on Curved Boundaries: Higher-order Raviart-Thomas Elements.	SIAM J. Numer. Anal.	2014	DBLP DOI BibTeX RDF
15	Arthur Milchior	A Note on Higher Order and Variable Order Logic over Finite Models.	CoRR	2014	DBLP BibTeX RDF
15	Alexander Kartzow	First-Order Logic on Higher-Order Nested Pushdown Trees.	ACM Trans. Comput. Log.	2013	DBLP DOI BibTeX RDF
15	Guillaume Lio, Philippe Boulinguez	Greater robustness of second order statistics than higher order statistics algorithms to distortions of the mixing matrix in blind source separation of human EEG: Implications for single-subject and group analyses.	NeuroImage	2013	DBLP DOI BibTeX RDF
15	H. Sedaghat	Reduction of order, periodicity and boundedness in a class of nonlinear, higher order difference equations.	Comput. Math. Appl.	2013	DBLP DOI BibTeX RDF
15	Robert Mansel Gower, Artur L. Gower	Higher-order Reverse Automatic Differentiation with emphasis on the third-order.	CoRR	2013	DBLP BibTeX RDF
15	Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio	The recursive path and polynomial ordering for first-order and higher-order terms.	J. Log. Comput.	2013	DBLP DOI BibTeX RDF
15	Jan F. Kiviet, Garry D. A. Phillips	Higher-order asymptotic expansions of the least-squares estimation bias in first-order dynamic regression models.	Comput. Stat. Data Anal.	2012	DBLP DOI BibTeX RDF
15	Chao-hong Pan, Xue-Na Zhu, Zheng-rong Liu	A simple approach for reducing the order of equations with higher order nonlinearity.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
15	Xian Xu 0001	Distinguishing and relating higher-order and first-order processes by expressiveness.	Acta Informatica	2012	DBLP DOI BibTeX RDF
15	Vasileios Koutavas, Matthew Hennessy	First-order reasoning for higher-order concurrency.	Comput. Lang. Syst. Struct.	2012	DBLP DOI BibTeX RDF
15	Alexander Kartzow	First-Order Logic on Higher-Order Nested Pushdown Trees	CoRR	2012	DBLP BibTeX RDF
15	Gemma Boleda, Eva Maria Vecchi, Miquel Cornudella, Louise McNally	First Order vs. Higher Order Modification in Distributional Semantics.	EMNLP-CoNLL	2012	DBLP BibTeX RDF
15	Christopher H. Broadbent, Stefan Göller	On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two.	FSTTCS	2012	DBLP DOI BibTeX RDF
15	Moussa Smadi, Derradji Bahloul	A compact split step Padé scheme for higher-order nonlinear Schrödinger equation (HNLS) with power law nonlinearity and fourth order dispersion.	Comput. Phys. Commun.	2011	DBLP DOI BibTeX RDF
15	Yuan-Ming Wang, Wen-Jia Wu, Ravi P. Agarwal	A fourth-order compact finite difference method for nonlinear higher-order multi-point boundary value problems.	Comput. Math. Appl.	2011	DBLP DOI BibTeX RDF