Littérature scientifique sur le sujet « Higher-order term »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Higher-order term ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Higher-order term"
Pientka, Brigitte. « Higher-order term indexing using substitution trees ». ACM Transactions on Computational Logic 11, no 1 (octobre 2009) : 1–40. http://dx.doi.org/10.1145/1614431.1614437.
Texte intégralBurshtein, 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.
Texte intégralIto, Akihiro. « Derivation of Skyrme Lagrangian and higher-order term ». Physical Review D 41, no 9 (1 mai 1990) : 2930–32. http://dx.doi.org/10.1103/physrevd.41.2930.
Texte intégralD’Abbicco, Marcello, et Enrico Jannelli. « A damping term for higher-order hyperbolic equations ». Annali di Matematica Pura ed Applicata (1923 -) 195, no 2 (29 janvier 2015) : 557–70. http://dx.doi.org/10.1007/s10231-015-0477-z.
Texte intégralAstesiano, Egidio, et Maura Cerioli. « Partial Higher-Order Specifications1 ». Fundamenta Informaticae 16, no 2 (1 mars 1992) : 101–26. http://dx.doi.org/10.3233/fi-1992-16203.
Texte intégralBALDAN, PAOLO, CLARA BERTOLISSI, HORATIU CIRSTEA et CLAUDE KIRCHNER. « A rewriting calculus for cyclic higher-order term graphs ». Mathematical Structures in Computer Science 17, no 3 (juin 2007) : 363–406. http://dx.doi.org/10.1017/s0960129507006093.
Texte intégralBertolissi, C., P. Baldan, H. Cirstea et C. Kirchner. « A Rewriting Calculus for Cyclic Higher-order Term Graphs ». Electronic Notes in Theoretical Computer Science 127, no 5 (mai 2005) : 21–41. http://dx.doi.org/10.1016/j.entcs.2005.01.034.
Texte intégralBartušek, Miroslav, Zuzana Došlá et 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.
Texte intégralYang, Chunxiao, Feiyu Ji et Qingyan Yin. « Fujita phenomenon in higher-order parabolic equation with nonlocal term ». Applicable Analysis 97, no 6 (6 mars 2017) : 1042–48. http://dx.doi.org/10.1080/00036811.2017.1298744.
Texte intégralBartušek, M., M. Cecchi, Z. Došlá et M. Marini. « Asymptotics for higher order differential equations with a middle term ». Journal of Mathematical Analysis and Applications 388, no 2 (avril 2012) : 1130–40. http://dx.doi.org/10.1016/j.jmaa.2011.10.059.
Texte intégralThèses sur le sujet "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.
Texte intégralGyftodimos, 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.
Texte intégralBroadway, 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.
Texte intégralCHIBA, Yuki, et 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.
Texte intégralBroadway, 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.
Texte intégralIWAMI, Munehiro, Masahiko SAKAI et Yoshihito TOYAMA. « An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems ». IEICE, 1998. http://hdl.handle.net/2237/9576.
Texte intégralRaghunandan, 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.
Texte intégralKUSAKARI, Keiichirou, Masahiko SAKAI et Toshiki SAKABE. « Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting ». IEICE, 2005. http://hdl.handle.net/2237/9580.
Texte intégralGioev, 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.
Texte intégralGioev, 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.
Texte intégralLivres sur le sujet "Higher-order term"
Heering, Jan, Karl Meinke, Bernhard Möller et Tobias Nipkow, dir. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg : Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9.
Texte intégralDowek, Gilles, Jan Heering, Karl Meinke et Bernhard Möller, dir. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg : Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8.
Texte intégralGilles, Dowek, et International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany), dir. Higher-order algebra, logic, and term rewriting : Second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers. Berlin : Springer, 1996.
Trouver le texte intégralJ, Heering, et International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands), dir. 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.
Trouver le texte intégralMironov, Rinat, Sergey Zubarev et Marsel' Valeev. Law enforcement and judicial authorities. ru : INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1891021.
Texte intégralTyulin, Andrey, et Aleksandr Chursin. Management of competitiveness of products. ru : INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1081761.
Texte intégralHeering, Jan, Karl Meinke et Gilles Dowek. Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers. Springer, 2014.
Trouver le texte intégralHeering, Jan, Karl Meinke et 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.
Trouver le texte intégralHigher-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.
Trouver le texte intégralLogic, 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.
Trouver le texte intégralChapitres de livres sur le sujet "Higher-order term"
Klop, Jan Willem. « Term graph rewriting ». Dans 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.
Texte intégralFang, Wenchang, et Jung-Hong Kao. « Set-of-support strategy for higher-order logic ». Dans Conditional Term Rewriting Systems, 498–501. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56393-8_40.
Texte intégralSteggles, L. J. « Higher-order algebra with transfinite types ». Dans 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.
Texte intégralPol, Jaco. « Termination proofs for higher-order rewrite systems ». Dans 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.
Texte intégralBerghammer, Rudolf, Thomas F. Gritzner et Gunther Schmidt. « Prototyping relational specifications using higher-order objects ». Dans 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.
Texte intégralDeursen, Arie, et T. B. Dinesh. « Origin tracking for higher-order term rewriting systems ». Dans 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.
Texte intégralvan Klink, J. M. M., M. S. Spruijt et Enrico Lopriore. « Cerebral Palsy and Long-Term Neurodevelopmental Impairment in Complicated Monochorionic Twin Pregnancy ». Dans Twin and Higher-order Pregnancies, 391–408. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-47652-6_27.
Texte intégralMöller, Bernhard. « Ordered and continuous models of higher-order specifications ». Dans 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.
Texte intégralBlom, Stefan. « A complete proof system for Nested Term Graphs ». Dans 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.
Texte intégralSpringintveld, Jan. « Third-order matching in the polymorphic lambda calculus ». Dans 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.
Texte intégralActes de conférences sur le sujet "Higher-order term"
Manna, Sukanya, Zoltan Petres et Tom Gedeon. « Significant term extraction by Higher Order SVD ». Dans 2009 7th International Symposium on Applied Machine Intelligence and Informatics (SAMI 2009). IEEE, 2009. http://dx.doi.org/10.1109/sami.2009.4956610.
Texte intégralBendersky, Michael, et W. Bruce Croft. « Modeling higher-order term dependencies in information retrieval using query hypergraphs ». Dans the 35th international ACM SIGIR conference. New York, New York, USA : ACM Press, 2012. http://dx.doi.org/10.1145/2348283.2348408.
Texte intégralJiang, Jiangfeng, Gengfeng Li, Zhaohong Bie et Huan Xu. « Short-term load forecasting based on higher order partial least squares (HOPLS) ». Dans 2017 IEEE Electrical Power and Energy Conference (EPEC). IEEE, 2017. http://dx.doi.org/10.1109/epec.2017.8286222.
Texte intégralCheng, Yih-Shyang. « Higher-order analysis of the interference patterns in cross-grating interferometers ». Dans OSA Annual Meeting. Washington, D.C. : Optica Publishing Group, 1989. http://dx.doi.org/10.1364/oam.1989.thaa4.
Texte intégralSangeetha, S., S. K. Thamilvanan et Ethiraju Thandapani. « The oscillation measures for higher order difference equation having a superlinear neutral term ». Dans 2ND INTERNATIONAL CONFERENCE ON MATHEMATICAL TECHNIQUES AND APPLICATIONS : ICMTA2021. AIP Publishing, 2022. http://dx.doi.org/10.1063/5.0108646.
Texte intégralPadhy, Saraju Prasad, Madhusmita Panda, Srinivas Sethi et Aruna Tripathy. « Impact of Higher Order Horizontal Sectorisation on a Real 4G Long Term Evolution Network ». Dans 2020 International Conference on Electronics and Sustainable Communication Systems (ICESC). IEEE, 2020. http://dx.doi.org/10.1109/icesc48915.2020.9155608.
Texte intégralFronk, Matthew, et Michael J. Leamy. « Waveform Invariance in Nonlinear Periodic Systems Using Higher-Order Multiple Scales ». Dans 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.
Texte intégralHaider, Syed Tabish, et Tadeusz W. Patzek. « Higher-Order Derivatives of Production Rate and Convolutional Neural Network for Production Forecasts ». Dans International Petroleum Technology Conference. IPTC, 2022. http://dx.doi.org/10.2523/iptc-22486-ms.
Texte intégralHorner, Joseph L., et Bahram Javidi. « Theory of the binary phase-only filters for optical pattern recognition ». Dans OSA Annual Meeting. Washington, D.C. : Optica Publishing Group, 1990. http://dx.doi.org/10.1364/oam.1990.thk3.
Texte intégralBaralon, Stephane, Lars-Erik Eriksson et Ulf Håll. « Evaluation of Higher-Order Terms in the Throughflow Approximation Using 3D Navier-Stokes Computations of a Transonic Compressor Rotor ». Dans 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.
Texte intégralRapports d'organisations sur le sujet "Higher-order term"
Busso, Matías, et Juan Pablo Chauvin. Long-term Effects of Weather-induced Migration on Urban Labor and Housing Markets. Inter-American Development Bank, janvier 2023. http://dx.doi.org/10.18235/0004714.
Texte intégralQian, Yi, Hui Xie et Anthony Koschmann. Should Copula Endogeneity Correction Include Generated Regressors for Higher-order Terms ? No, It Hurts. Cambridge, MA : National Bureau of Economic Research, avril 2022. http://dx.doi.org/10.3386/w29978.
Texte intégralSela, Shlomo, et Michael McClelland. Desiccation Tolerance in Salmonella and its Implications. United States Department of Agriculture, mai 2013. http://dx.doi.org/10.32747/2013.7594389.bard.
Texte intégralVanderGheynst, Jean, Michael Raviv, Jim Stapleton et Dror Minz. Effect of Combined Solarization and in Solum Compost Decomposition on Soil Health. United States Department of Agriculture, octobre 2013. http://dx.doi.org/10.32747/2013.7594388.bard.
Texte intégralWillis, Craig. Why Scottish and Welsh Speakers Will Miss European Structural Funds. European Centre for Minority Issues, août 2021. http://dx.doi.org/10.53779/jkwo3330.
Texte intégralPerera, Duminda, Ousmane Seidou, Jetal Agnihotri, Mohamed Rasmy, Vladimir Smakhtin, Paulin Coulibaly et Hamid Mehmood. Flood Early Warning Systems : A Review Of Benefits, Challenges And Prospects. United Nations University Institute for Water, Environment and Health, août 2019. http://dx.doi.org/10.53328/mjfq3791.
Texte intégralShani, Uri, Lynn Dudley, Alon Ben-Gal, Menachem Moshelion et 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, octobre 2007. http://dx.doi.org/10.32747/2007.7592119.bard.
Texte intégralShenker, Moshe, Paul R. Bloom, Abraham Shaviv, Adina Paytan, Barbara J. Cade-Menun, Yona Chen et Jorge Tarchitzky. Fate of Phosphorus Originated from Treated Wastewater and Biosolids in Soils : Speciation, Transport, and Accumulation. United States Department of Agriculture, juin 2011. http://dx.doi.org/10.32747/2011.7697103.bard.
Texte intégralHaddock, John E., Reyhaneh Rahbar-Rastegar, M. Reza Pouranian, Miguel Montoya et Harsh Patel. Implementing the Superpave 5 Asphalt Mixture Design Method in Indiana. Purdue University, 2020. http://dx.doi.org/10.5703/1288284317127.
Texte intégralOlsson, Olle. Industrial decarbonization done right : identifying success factors for well-functioning permitting processes. Stockholm Environment Institute, novembre 2021. http://dx.doi.org/10.51414/sei2021.034.
Texte intégral