Добірка наукової літератури з теми "Higher-order term"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Higher-order term".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "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.
Повний текст джерелаBurshtein, 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.
Повний текст джерелаIto, 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.
Повний текст джерелаD’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.
Повний текст джерелаAstesiano, 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.
Повний текст джерелаBALDAN, 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.
Повний текст джерелаBertolissi, 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.
Повний текст джерелаBartuš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.
Повний текст джерелаYang, 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.
Повний текст джерелаBartuš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.
Повний текст джерелаДисертації з теми "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.
Повний текст джерелаGyftodimos, 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.
Повний текст джерелаBroadway, 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.
Повний текст джерелаCHIBA, 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.
Повний текст джерелаBroadway, 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.
Повний текст джерелаIWAMI, Munehiro, Masahiko SAKAI, and Yoshihito TOYAMA. "An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems." IEICE, 1998. http://hdl.handle.net/2237/9576.
Повний текст джерелаRaghunandan, 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.
Повний текст джерелаKUSAKARI, 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.
Повний текст джерелаGioev, 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.
Повний текст джерелаGioev, 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.
Повний текст джерелаКниги з теми "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.
Повний текст джерелаDowek, 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.
Повний текст джерелаGilles, 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.
Знайти повний текст джерелаJ, 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.
Знайти повний текст джерелаMironov, 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.
Повний текст джерелаTyulin, Andrey, and Aleksandr Chursin. Management of competitiveness of products. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1081761.
Повний текст джерелаHeering, 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.
Знайти повний текст джерелаHeering, 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.
Знайти повний текст джерелаHigher-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.
Знайти повний текст джерелаLogic, 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.
Знайти повний текст джерелаЧастини книг з теми "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.
Повний текст джерелаFang, 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.
Повний текст джерелаSteggles, 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.
Повний текст джерелаPol, 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.
Повний текст джерелаBerghammer, 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.
Повний текст джерелаDeursen, 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.
Повний текст джерелаvan 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.
Повний текст джерелаMö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.
Повний текст джерелаBlom, 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.
Повний текст джерелаSpringintveld, 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.
Повний текст джерелаТези доповідей конференцій з теми "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.
Повний текст джерелаBendersky, 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.
Повний текст джерелаJiang, 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.
Повний текст джерелаCheng, 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.
Повний текст джерелаSangeetha, 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.
Повний текст джерелаPadhy, 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.
Повний текст джерелаFronk, 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.
Повний текст джерелаHaider, 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.
Повний текст джерелаHorner, 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.
Повний текст джерелаBaralon, 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.
Повний текст джерелаЗвіти організацій з теми "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.
Повний текст джерелаQian, 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.
Повний текст джерелаSela, 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.
Повний текст джерелаVanderGheynst, 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.
Повний текст джерелаWillis, 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.
Повний текст джерелаPerera, 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.
Повний текст джерелаShani, 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.
Повний текст джерелаShenker, 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.
Повний текст джерелаHaddock, 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.
Повний текст джерелаOlsson, 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.
Повний текст джерела