Добірка наукової літератури з теми "Parametrized"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Parametrized".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Parametrized":
de Oliveira Guimarães, José. "Parametrized methods." ACM SIGPLAN Notices 28, no. 11 (November 1993): 28–32. http://dx.doi.org/10.1145/165564.165572.
Ay, Nihat, Jürgen Jost, Hông Vân Lê, and Lorenz Schwachhöfer. "Parametrized measure models." Bernoulli 24, no. 3 (August 2018): 1692–725. http://dx.doi.org/10.3150/16-bej910.
Moore, Justin Tatch, Michael Hrušák, and Mirna Džamonja. "Parametrized $\diamondsuit $ principles." Transactions of the American Mathematical Society 356, no. 6 (October 8, 2003): 2281–306. http://dx.doi.org/10.1090/s0002-9947-03-03446-9.
Couceiro, Miguel, Erkko Lehtonen, and Tamás Waldhauser. "Parametrized Arity Gap." Order 30, no. 2 (April 21, 2012): 557–72. http://dx.doi.org/10.1007/s11083-012-9261-5.
Pawlikowski, Janusz. "Parametrized Ellentuck theorem." Topology and its Applications 37, no. 1 (October 1990): 65–73. http://dx.doi.org/10.1016/0166-8641(90)90015-t.
Sánchez, Alejandro, and César Sánchez. "Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems." Annals of Mathematics and Artificial Intelligence 80, no. 3-4 (November 15, 2016): 249–82. http://dx.doi.org/10.1007/s10472-016-9531-9.
Atmaca, Serkan, and İdris Zorlutuna. "On Topological Structures of Fuzzy Parametrized Soft Sets." Scientific World Journal 2014 (2014): 1–8. http://dx.doi.org/10.1155/2014/164176.
FAN, HONG-YI, and SHUAI WANG. "MUTUAL TRANSFORMATION BETWEEN DIFFERENT s-PARAMETRIZED QUANTIZATION SCHEMES BASED ON s-ORDERED WIGNER OPERATOR." Modern Physics Letters A 27, no. 16 (May 24, 2012): 1250089. http://dx.doi.org/10.1142/s0217732312500897.
Kassenova, Т. К. "PARAMETRIZED EIGHT-VERTEX MODEL AND KNOT INVARIANT." Eurasian Physical Technical Journal 19, no. 1 (39) (March 28, 2022): 119–26. http://dx.doi.org/10.31489/2022no1/119-126.
Carr, Arielle, Eric de Sturler, and Serkan Gugercin. "Preconditioning Parametrized Linear Systems." SIAM Journal on Scientific Computing 43, no. 3 (January 2021): A2242—A2267. http://dx.doi.org/10.1137/20m1331123.
Дисертації з теми "Parametrized":
Shah, Jay (Jay Hungfai Gautam). "Parametrized higher category theory." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/112894.
Cataloged from PDF version of thesis.
Includes bibliographical references (page 99).
We develop foundations for the category theory of [infinity]-categories parametrized by a base occategory. Our main contribution is a theory of parametrized homotopy limits and colimits, which recovers and extends the Dotto-Moi theory of G-colimits for G a finite group when the base is chosen to be the orbit category of G. We apply this theory to show that the G-[infinity]-category of G-spaces is freely generated under G-colimits by the contractible G-space, thereby affirming a conjecture of Mike Hill.
by Jay Shah.
Ph. D.
Dever, Christopher W. (Christopher Walden) 1972. "Parametrized maneuvers for autonomous vehicles." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/30328.
Includes bibliographical references (p. 197-209).
This thesis presents a method for creating continuously parametrized maneuver classes for autonomous vehicles. These classes provide useful tools for motion planners, bundling sets of related vehicle motions based on a low-dimensional parameter vector that describes the fundamental high-level variations within the trajectory set. The method follows from a relaxation of nonlinear parametric programming necessary conditions that discards the objective function, leaving a simple coordinatized feasible space including all dynamically admissible vehicle motions. A trajectory interpolation algorithm uses projection and integration methods to create the classes, starting from arbitrary user-provided maneuver examples, including those obtained from standard nonlinear optimization or motion capture of human-piloted vehicle flights. The interpolation process, which can be employed for real-time trajectory generation, efficiently creates entire maneuver sets satisfying nonlinear equations of motion and nonlinear state and control constraints without resorting to iterative optimization. Experimental application to a three degree-of-freedom rotorcraft testbed and the design of a stable feedforward control framework demonstrates the essential features of the method on actual hardware. Integration of the trajectory classes into an existing hybrid system motion planning framework illustrates the use of parametrized maneuvers for solving vehicle guidance problems. The earlier relaxation of strict optimality conditions makes possible the imposition of affine state transformation constraints, allowing maneuver sets to fit easily into a mixed integer-linear programming path planner.
(cont.) The combined scheme generalizes previous planning techniques based on fixed, invariant representations of vehicle equilibrium states and maneuver elements. The method therefore increases the richness of available guidance solutions while maintaining problem tractability associated with hierarchical system models. Application of the framework to one and two-dimensional path planning examples demonstrates its usefulness in practical autonomous vehicle guidance scenarios.
by Christopher Walden Dever.
Ph.D.
Seiß, Matthias [Verfasser]. "Root parametrized differential equations / Matthias Seiß." Kassel : Universitätsbibliothek Kassel, 2012. http://d-nb.info/1028081170/34.
Nguyen, T. A. "Introducing parametrized statetransition descriptions into communicating processes." Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=61716.
Knutsen, Henrik Holenbakken. "Enhancing Software Portability with Hardware Parametrized Autotuning." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for datateknikk og informasjonsvitenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-24568.
Eftang, Jens Lohne. "Reduced basis methods for parametrized partial differential equations." Doctoral thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for matematiske fag, 2011. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-12550.
Rakowska, Joanna. "Tracing parametrized optima for inequality constrained nonlinear minimization problems." Diss., Virginia Tech, 1992. http://hdl.handle.net/10919/39714.
Kuai, Le. "Parametrized Finite Element Simulation of Multi-Storey Timber Structures." Thesis, Linnéuniversitetet, Institutionen för skog och träteknik (SOT), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-66825.
Li, Chengbo. "Parametrized Curves in Lagrange Grassmannians and Sub-Riemannian Geometry." Doctoral thesis, SISSA, 2009. http://hdl.handle.net/20.500.11767/4625.
Sung, Yih. "Holomorphically parametrized L2 Cramer's rule and its algebraic geometric applications." Thesis, Harvard University, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=3567083.
Suppose f,g1,[special characters omitted] ,gp are holomorphic functions over Ω ⊂ [special characters omitted]n. Then there raises a natural question: when can we find holomorphic functions h1, [special characters omitted] , hp such that f = Σg jhj? The celebrated Skoda theorem solves this question and gives a L2 sufficient condition. In general, we can consider the vector bundle case, i.e. to determine the sufficient condition of solving fi(x) = Σ gij(x)h j(x) with parameter x ∈ Ω. Since the problem is related to solving linear equations, the answer naturally connects to the Cramer's rule. In the first part we will give a proof of division theorem by projectivization technique and study the generalized fundamental inequalities. In the second part we will apply the skills and the results of the division theorems to show some applications.
Книги з теми "Parametrized":
May, J. Peter. Parametrized homotopy theory. Providence, R.I: American Mathematical Society, 2006.
Fanchi, John R. Parametrized Relativistic Quantum Theory. Dordrecht: Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-1944-3.
Fanchi, John R. Parametrized relativistic quantum theory. Dordrecht: Kluwer Academic, 1993.
Pedregal, Pablo. Parametrized measures and variational principles. Basel: Springer, 1997.
Benner, Peter, Mario Ohlberger, Anthony Patera, Gianluigi Rozza, and Karsten Urban, eds. Model Reduction of Parametrized Systems. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-58786-8.
Pedregal, Pablo. Parametrized Measures and Variational Principles. Basel: Birkhäuser Basel, 1997. http://dx.doi.org/10.1007/978-3-0348-8886-8.
Pedregal, Pablo. Parametrized measures and variational principles. Basel: Birkhäuser Verlag, 1997.
Rheinboldt, Werner C. Numerical analysis of parametrized nonlinear equations. New York: Wiley, 1986.
Anastassiou, George A. Parametrized, Deformed and General Neural Networks. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-43021-3.
Ulrich, Hanno. Fixed Point Theory of Parametrized Equivariant Maps. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/bfb0079799.
Частини книг з теми "Parametrized":
Pedregal, Pablo. "Parametrized Measures." In Parametrized Measures and Variational Principles, 95–114. Basel: Birkhäuser Basel, 1997. http://dx.doi.org/10.1007/978-3-0348-8886-8_6.
Shurman, Jerry. "Parametrized Curves." In Calculus and Analysis in Euclidean Space, 375–408. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-49314-5_8.
Walter, Dennis, Lutz Schröder, and Till Mossakowski. "Parametrized Exceptions." In Algebra and Coalgebra in Computer Science, 424–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11548133_27.
Younes, Laurent. "Parametrized Plane Curves." In Shapes and Diffeomorphisms, 1–42. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-12055-8_1.
Gonçalves, Ricardo, and José Júlio Alferes. "Parametrized Equilibrium Logic." In Logic Programming and Nonmonotonic Reasoning, 236–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20895-9_25.
Ay, Nihat, Jürgen Jost, Hông Vân Lê, and Lorenz Schwachhöfer. "Parametrized Measure Models." In Ergebnisse der Mathematik und ihrer Grenzgebiete 34, 121–84. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-56478-4_3.
Hesthaven, Jan S., Gianluigi Rozza, and Benjamin Stamm. "Parametrized Differential Equations." In SpringerBriefs in Mathematics, 15–25. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22470-1_2.
Smietanski, Frédéric. "A Parametrized Nullstellensatz." In Computational Algebraic Geometry, 287–300. Boston, MA: Birkhäuser Boston, 1993. http://dx.doi.org/10.1007/978-1-4612-2752-6_20.
Gonçalves, Ricardo, and José Júlio Alferes. "Parametrized Logic Programming." In Logics in Artificial Intelligence, 182–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15675-5_17.
Younes, Laurent. "Parametrized Plane Curves." In Shapes and Diffeomorphisms, 1–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 2019. http://dx.doi.org/10.1007/978-3-662-58496-5_1.
Тези доповідей конференцій з теми "Parametrized":
Opara, Karol R., Anas A. Hadi, and Ali W. Mohamed. "Parametrized Benchmarking." In GECCO '20: Genetic and Evolutionary Computation Conference. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3377929.3389944.
Sanchez, Alejandro, and Cesar Sanchez. "Parametrized Verification Diagrams." In 2014 21st International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2014. http://dx.doi.org/10.1109/time.2014.11.
Skelin, Mladen, Marc Geilen, Francky Catthoor, and Sverre Hendseth. "Parametrized dataflow scenarios." In 2015 International Conference on Embedded Software (EMSOFT). IEEE, 2015. http://dx.doi.org/10.1109/emsoft.2015.7318264.
Tracz, Will. "Parametrized programming in LILEANNA." In the 1993 ACM/SIGAPP symposium. New York, New York, USA: ACM Press, 1993. http://dx.doi.org/10.1145/162754.162815.
Zabrodskii, Ilia, and Arkadi Ponossov. "Approximations of parametrized functions." In INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2017). Author(s), 2018. http://dx.doi.org/10.1063/1.5044096.
Linton, C., W. Holderbaum, and J. Biggs. "Time parametrized motion planning." In IMA Conference on Mathematics of Robotics. Institute of Mathematics and its Applications, 2015. http://dx.doi.org/10.19124/ima.2015.001.09.
Houlis, Pantazis, and Victor Sreeram. "A Parametrized Controller Reduction Technique." In Proceedings of the 45th IEEE Conference on Decision and Control. IEEE, 2006. http://dx.doi.org/10.1109/cdc.2006.377676.
Heibel, T. H., B. Glocker, M. Groher, N. Paragios, N. Komodakis, and N. Navab. "Discrete tracking of parametrized curves." In 2009 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, 2009. http://dx.doi.org/10.1109/cvprw.2009.5206714.
Keviczky, L., and Cs Banyasz. "Youla-parametrized regulator with observer." In 2011 9th IEEE International Conference on Control and Automation (ICCA). IEEE, 2011. http://dx.doi.org/10.1109/icca.2011.6137901.
Heibela, Tim Hauke, Ben Glockera, Martin Grohera, Nikos Paragios, Nikos Komodakis, and Nassir Navaba. "Discrete tracking of parametrized curves." In 2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPR Workshops). IEEE, 2009. http://dx.doi.org/10.1109/cvpr.2009.5206714.
Звіти організацій з теми "Parametrized":
Annaswamy, Anuradha M. Adaptive Control of Nonlinearly Parametrized Systems. Fort Belvoir, VA: Defense Technical Information Center, March 2002. http://dx.doi.org/10.21236/ada414371.
Mehmood, Khawar, and Muhammad Ahsan Binyamin. Bimodal Singularities of Parametrized Plane Curves. "Prof. Marin Drinov" Publishing House of Bulgarian Academy of Sciences, August 2019. http://dx.doi.org/10.7546/crabs.2019.08.02.
Rheinboldt, Werner C. On the Sensitivity of Solutions of Parametrized Equations. Fort Belvoir, VA: Defense Technical Information Center, March 1991. http://dx.doi.org/10.21236/ada234265.
Tsuchiya, Takuya, and Ivo Babuska. A Priori Error Estimates of Finite Element Solutions of Parametrized Nonlinear Equations. Fort Belvoir, VA: Defense Technical Information Center, November 1992. http://dx.doi.org/10.21236/ada260013.
Tsuchiya, Takuya, and Ivo Babuska. A Posteriori Error Estimates of Finite Element Solutions of Parametrized Nonlinear Equations. Fort Belvoir, VA: Defense Technical Information Center, November 1992. http://dx.doi.org/10.21236/ada260014.
Saydy, Lahcen, Andre Tits, and Eyad H. Abed. Guardian Maps and the Generalized Stability of Parametrized Families of Matrices and Polynomials. Fort Belvoir, VA: Defense Technical Information Center, March 1989. http://dx.doi.org/10.21236/ada454727.
Hesthaven, Jan S., and Anthony T. Patera. Reduced Basis Approximation and A Posteriori Error Estimation for Parametrized Partial Differential Equations. Fort Belvoir, VA: Defense Technical Information Center, September 2010. http://dx.doi.org/10.21236/ada563403.
D'Elia, Marta, Michael L. Parks, Guofei Pang, and George Karniadakis. nPINNs: nonlocal Physics-Informed Neural Networks for a parametrized nonlocal universal Laplacian operator. Algorithms and Applications. Office of Scientific and Technical Information (OSTI), April 2020. http://dx.doi.org/10.2172/1614899.
Patera, Anthony T. Parameter Space: The Final Frontier. Certified Reduced Basis Methods for Real-Time Reliable Solution of Parametrized Partial Differential Equations. Fort Belvoir, VA: Defense Technical Information Center, March 2007. http://dx.doi.org/10.21236/ada467167.