Academic literature on the topic 'Higher-order term'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Higher-order term.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Higher-order term"
Pientka, Brigitte. "Higher-order term indexing using substitution trees." ACM Transactions on Computational Logic 11, no. 1 (October 2009): 1–40. http://dx.doi.org/10.1145/1614431.1614437.
Full textBurshtein, D. "Long-term attraction in higher order neural networks." IEEE Transactions on Neural Networks 9, no. 1 (1998): 42–50. http://dx.doi.org/10.1109/72.655028.
Full textIto, Akihiro. "Derivation of Skyrme Lagrangian and higher-order term." Physical Review D 41, no. 9 (May 1, 1990): 2930–32. http://dx.doi.org/10.1103/physrevd.41.2930.
Full textD’Abbicco, Marcello, and Enrico Jannelli. "A damping term for higher-order hyperbolic equations." Annali di Matematica Pura ed Applicata (1923 -) 195, no. 2 (January 29, 2015): 557–70. http://dx.doi.org/10.1007/s10231-015-0477-z.
Full textAstesiano, Egidio, and Maura Cerioli. "Partial Higher-Order Specifications1." Fundamenta Informaticae 16, no. 2 (March 1, 1992): 101–26. http://dx.doi.org/10.3233/fi-1992-16203.
Full textBALDAN, PAOLO, CLARA BERTOLISSI, HORATIU CIRSTEA, and CLAUDE KIRCHNER. "A rewriting calculus for cyclic higher-order term graphs." Mathematical Structures in Computer Science 17, no. 3 (June 2007): 363–406. http://dx.doi.org/10.1017/s0960129507006093.
Full textBertolissi, C., P. Baldan, H. Cirstea, and C. Kirchner. "A Rewriting Calculus for Cyclic Higher-order Term Graphs." Electronic Notes in Theoretical Computer Science 127, no. 5 (May 2005): 21–41. http://dx.doi.org/10.1016/j.entcs.2005.01.034.
Full textBartušek, Miroslav, Zuzana Došlá, and Mauro Marini. "Oscillation for higher order differential equations with a middle term." Boundary Value Problems 2014, no. 1 (2014): 48. http://dx.doi.org/10.1186/1687-2770-2014-48.
Full textYang, Chunxiao, Feiyu Ji, and Qingyan Yin. "Fujita phenomenon in higher-order parabolic equation with nonlocal term." Applicable Analysis 97, no. 6 (March 6, 2017): 1042–48. http://dx.doi.org/10.1080/00036811.2017.1298744.
Full textBartušek, M., M. Cecchi, Z. Došlá, and M. Marini. "Asymptotics for higher order differential equations with a middle term." Journal of Mathematical Analysis and Applications 388, no. 2 (April 2012): 1130–40. http://dx.doi.org/10.1016/j.jmaa.2011.10.059.
Full textDissertations / Theses on the topic "Higher-order term"
KUSAKARI, Keiichirou. "Higher-Order Path Orders Based on Computability." Institute of Electronics, Information and Communication Engineers, 2004. http://hdl.handle.net/2237/14973.
Full textGyftodimos, Elias. "A probabilistic graphical model framework for higher-order term-based representations." Thesis, University of Bristol, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425088.
Full textBroadway, Jr James M. "Running memory/working memory span tasks and their prediction of higher-order cognition /." Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/22629.
Full textCHIBA, Yuki, and Keiichirou KUSAKARI. "A Higher-Order Knuth-Bendix Procedure and Its Applications." Institute of Electronics, Information and Communication Engineers, 2007. http://hdl.handle.net/2237/14974.
Full textBroadway, James M. Jr. "Running memory/working memory: span tasks and their prediction of higher-order cognition." Thesis, Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/22629.
Full textIWAMI, Munehiro, Masahiko SAKAI, and Yoshihito TOYAMA. "An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems." IEICE, 1998. http://hdl.handle.net/2237/9576.
Full textRaghunandan, Jayshan. "Curry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph Rewriting." Thesis, Imperial College London, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508781.
Full textKUSAKARI, Keiichirou, Masahiko SAKAI, and Toshiki SAKABE. "Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting." IEICE, 2005. http://hdl.handle.net/2237/9580.
Full textGioev, Dimitri. "Generalizations of Szego Limit Theorem : Higher Order Terms and Discontinuous Symbols." Doctoral thesis, KTH, Mathematics, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3123.
Full textGioev, Dimitri. "Generalizations of Szegö limit theorem : higher order terms and discontinuous symbols /." Stockholm : Tekniska högsk, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3123.
Full textBooks on the topic "Higher-order term"
Heering, Jan, Karl Meinke, Bernhard Möller, and Tobias Nipkow, eds. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9.
Full textDowek, Gilles, Jan Heering, Karl Meinke, and Bernhard Möller, eds. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8.
Full textGilles, Dowek, and International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany), eds. Higher-order algebra, logic, and term rewriting: Second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers. Berlin: Springer, 1996.
Find full textJ, Heering, and International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands), eds. Higher-order algebra, logic, and term rewriting: First international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers. Berlin: Springer-Verlag, 1994.
Find full textMironov, Rinat, Sergey Zubarev, and Marsel' Valeev. Law enforcement and judicial authorities. ru: INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1891021.
Full textTyulin, Andrey, and Aleksandr Chursin. Management of competitiveness of products. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1081761.
Full textHeering, Jan, Karl Meinke, and Gilles Dowek. Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers. Springer, 2014.
Find full textHeering, Jan, Karl Meinke, and Bernhard Möller. Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers. Springer, 2014.
Find full textHigher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected (Lecture Notes in Computer Science). Springer, 1994.
Find full textLogic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) International Workshop on Higher-Order Algebra. Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers (Lecture Notes in Computer Science). Springer-Verlag, 1996.
Find full textBook chapters on the topic "Higher-order term"
Klop, Jan Willem. "Term graph rewriting." In Higher-Order Algebra, Logic, and Term Rewriting, 1–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8_16.
Full textFang, Wenchang, and Jung-Hong Kao. "Set-of-support strategy for higher-order logic." In Conditional Term Rewriting Systems, 498–501. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56393-8_40.
Full textSteggles, L. J. "Higher-order algebra with transfinite types." In Higher-Order Algebra, Logic, and Term Rewriting, 238–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8_29.
Full textPol, Jaco. "Termination proofs for higher-order rewrite systems." In Higher-Order Algebra, Logic, and Term Rewriting, 305–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9_14.
Full textBerghammer, Rudolf, Thomas F. Gritzner, and Gunther Schmidt. "Prototyping relational specifications using higher-order objects." In Higher-Order Algebra, Logic, and Term Rewriting, 56–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9_4.
Full textDeursen, Arie, and T. B. Dinesh. "Origin tracking for higher-order term rewriting systems." In Higher-Order Algebra, Logic, and Term Rewriting, 76–95. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9_5.
Full textvan Klink, J. M. M., M. S. Spruijt, and Enrico Lopriore. "Cerebral Palsy and Long-Term Neurodevelopmental Impairment in Complicated Monochorionic Twin Pregnancy." In Twin and Higher-order Pregnancies, 391–408. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-47652-6_27.
Full textMöller, Bernhard. "Ordered and continuous models of higher-order specifications." In Higher-Order Algebra, Logic, and Term Rewriting, 223–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9_11.
Full textBlom, Stefan. "A complete proof system for Nested Term Graphs." In Higher-Order Algebra, Logic, and Term Rewriting, 74–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8_20.
Full textSpringintveld, Jan. "Third-order matching in the polymorphic lambda calculus." In Higher-Order Algebra, Logic, and Term Rewriting, 221–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8_28.
Full textConference papers on the topic "Higher-order term"
Manna, Sukanya, Zoltan Petres, and Tom Gedeon. "Significant term extraction by Higher Order SVD." In 2009 7th International Symposium on Applied Machine Intelligence and Informatics (SAMI 2009). IEEE, 2009. http://dx.doi.org/10.1109/sami.2009.4956610.
Full textBendersky, Michael, and W. Bruce Croft. "Modeling higher-order term dependencies in information retrieval using query hypergraphs." In the 35th international ACM SIGIR conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2348283.2348408.
Full textJiang, Jiangfeng, Gengfeng Li, Zhaohong Bie, and Huan Xu. "Short-term load forecasting based on higher order partial least squares (HOPLS)." In 2017 IEEE Electrical Power and Energy Conference (EPEC). IEEE, 2017. http://dx.doi.org/10.1109/epec.2017.8286222.
Full textCheng, Yih-Shyang. "Higher-order analysis of the interference patterns in cross-grating interferometers." In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1989. http://dx.doi.org/10.1364/oam.1989.thaa4.
Full textSangeetha, S., S. K. Thamilvanan, and Ethiraju Thandapani. "The oscillation measures for higher order difference equation having a superlinear neutral term." In 2ND INTERNATIONAL CONFERENCE ON MATHEMATICAL TECHNIQUES AND APPLICATIONS: ICMTA2021. AIP Publishing, 2022. http://dx.doi.org/10.1063/5.0108646.
Full textPadhy, Saraju Prasad, Madhusmita Panda, Srinivas Sethi, and Aruna Tripathy. "Impact of Higher Order Horizontal Sectorisation on a Real 4G Long Term Evolution Network." In 2020 International Conference on Electronics and Sustainable Communication Systems (ICESC). IEEE, 2020. http://dx.doi.org/10.1109/icesc48915.2020.9155608.
Full textFronk, Matthew, and Michael J. Leamy. "Waveform Invariance in Nonlinear Periodic Systems Using Higher-Order Multiple Scales." In ASME 2016 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/detc2016-59547.
Full textHaider, Syed Tabish, and Tadeusz W. Patzek. "Higher-Order Derivatives of Production Rate and Convolutional Neural Network for Production Forecasts." In International Petroleum Technology Conference. IPTC, 2022. http://dx.doi.org/10.2523/iptc-22486-ms.
Full textHorner, Joseph L., and Bahram Javidi. "Theory of the binary phase-only filters for optical pattern recognition." In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1990. http://dx.doi.org/10.1364/oam.1990.thk3.
Full textBaralon, Stephane, Lars-Erik Eriksson, and Ulf Håll. "Evaluation of Higher-Order Terms in the Throughflow Approximation Using 3D Navier-Stokes Computations of a Transonic Compressor Rotor." In ASME 1999 International Gas Turbine and Aeroengine Congress and Exhibition. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/99-gt-074.
Full textReports on the topic "Higher-order term"
Busso, Matías, and Juan Pablo Chauvin. Long-term Effects of Weather-induced Migration on Urban Labor and Housing Markets. Inter-American Development Bank, January 2023. http://dx.doi.org/10.18235/0004714.
Full textQian, Yi, Hui Xie, and Anthony Koschmann. Should Copula Endogeneity Correction Include Generated Regressors for Higher-order Terms? No, It Hurts. Cambridge, MA: National Bureau of Economic Research, April 2022. http://dx.doi.org/10.3386/w29978.
Full textSela, Shlomo, and Michael McClelland. Desiccation Tolerance in Salmonella and its Implications. United States Department of Agriculture, May 2013. http://dx.doi.org/10.32747/2013.7594389.bard.
Full textVanderGheynst, Jean, Michael Raviv, Jim Stapleton, and Dror Minz. Effect of Combined Solarization and in Solum Compost Decomposition on Soil Health. United States Department of Agriculture, October 2013. http://dx.doi.org/10.32747/2013.7594388.bard.
Full textWillis, Craig. Why Scottish and Welsh Speakers Will Miss European Structural Funds. European Centre for Minority Issues, August 2021. http://dx.doi.org/10.53779/jkwo3330.
Full textPerera, Duminda, Ousmane Seidou, Jetal Agnihotri, Mohamed Rasmy, Vladimir Smakhtin, Paulin Coulibaly, and Hamid Mehmood. Flood Early Warning Systems: A Review Of Benefits, Challenges And Prospects. United Nations University Institute for Water, Environment and Health, August 2019. http://dx.doi.org/10.53328/mjfq3791.
Full textShani, Uri, Lynn Dudley, Alon Ben-Gal, Menachem Moshelion, and Yajun Wu. Root Conductance, Root-soil Interface Water Potential, Water and Ion Channel Function, and Tissue Expression Profile as Affected by Environmental Conditions. United States Department of Agriculture, October 2007. http://dx.doi.org/10.32747/2007.7592119.bard.
Full textShenker, Moshe, Paul R. Bloom, Abraham Shaviv, Adina Paytan, Barbara J. Cade-Menun, Yona Chen, and Jorge Tarchitzky. Fate of Phosphorus Originated from Treated Wastewater and Biosolids in Soils: Speciation, Transport, and Accumulation. United States Department of Agriculture, June 2011. http://dx.doi.org/10.32747/2011.7697103.bard.
Full textHaddock, John E., Reyhaneh Rahbar-Rastegar, M. Reza Pouranian, Miguel Montoya, and Harsh Patel. Implementing the Superpave 5 Asphalt Mixture Design Method in Indiana. Purdue University, 2020. http://dx.doi.org/10.5703/1288284317127.
Full textOlsson, Olle. Industrial decarbonization done right: identifying success factors for well-functioning permitting processes. Stockholm Environment Institute, November 2021. http://dx.doi.org/10.51414/sei2021.034.
Full text