Littérature scientifique sur le sujet « Symbolic state space analysis »
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 « Symbolic state space analysis ».
À 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 "Symbolic state space analysis"
Derisavi, Salem, Peter Kemper et William H. Sanders. « Symbolic state-space exploration and numerical analysis of state-sharing composed models ». Linear Algebra and its Applications 386 (juillet 2004) : 137–66. http://dx.doi.org/10.1016/j.laa.2004.01.006.
Texte intégralHe, Xinglu, Pengfei Wang, Kai Lu et Xu Zhou. « EtWExplorer : Multi-Priority Scheduling Path Exploration Technology Based on Abstract Syntax Tree Analysis ». Applied Sciences 12, no 19 (10 octobre 2022) : 10182. http://dx.doi.org/10.3390/app121910182.
Texte intégralMoreno, Ubirajara F., Pedro L. D. Peres et Ivanil S. Bonatti. « Introducing the Analysis of Bifurcation in Dynamical Systems by Symbolic Computation ». International Journal of Electrical Engineering & ; Education 44, no 4 (octobre 2007) : 289–306. http://dx.doi.org/10.7227/ijeee.44.4.1.
Texte intégralSetiawan, Eko, Takuya Hirata et Ichijo Hodaka. « Accurate Symbolic Steady State Modeling of Buck Converter ». International Journal of Electrical and Computer Engineering (IJECE) 7, no 5 (1 octobre 2017) : 2374. http://dx.doi.org/10.11591/ijece.v7i5.pp2374-2381.
Texte intégralSpeck, David, et Michael Katz. « Symbolic Search for Oversubscription Planning ». Proceedings of the AAAI Conference on Artificial Intelligence 35, no 13 (18 mai 2021) : 11972–80. http://dx.doi.org/10.1609/aaai.v35i13.17422.
Texte intégralSuleimenov, Andrey. « Symbolic field of modern Islamism ». Конфликтология / nota bene, no 2 (février 2020) : 57–73. http://dx.doi.org/10.7256/2454-0617.2020.2.33155.
Texte intégralYao, Peisen, Qingkai Shi, Heqing Huang et Charles Zhang. « Program analysis via efficient symbolic abstraction ». Proceedings of the ACM on Programming Languages 5, OOPSLA (20 octobre 2021) : 1–32. http://dx.doi.org/10.1145/3485495.
Texte intégralHayes, Michael. « Lcapy : symbolic linear circuit analysis with Python ». PeerJ Computer Science 8 (18 février 2022) : e875. http://dx.doi.org/10.7717/peerj-cs.875.
Texte intégralGigauri, David Iraklievich. « 2021 State Duma elections : blogs, social networks, and party Identity in the virtual space ». Социодинамика, no 11 (novembre 2021) : 1–21. http://dx.doi.org/10.25136/2409-7144.2021.11.36962.
Texte intégralMakeienko, Maryna. « Symbolic Analysis Applied to the Specification of Spatial Trends and Spatial Dependence ». Entropy 22, no 4 (20 avril 2020) : 466. http://dx.doi.org/10.3390/e22040466.
Texte intégralThèses sur le sujet "Symbolic state space analysis"
Lippolis, Domenico. « How well can one resolve the state space of a chaotic map ? » Diss., Georgia Institute of Technology, 2010. http://hdl.handle.net/1853/33841.
Texte intégralSmario, David J. « Multicorrelation analysis and state space reconstruction / ». Online version of thesis, 1994. http://hdl.handle.net/1850/11443.
Texte intégralShoubaki, Ehab. « UNIFIED LARGE AND SMALL SIGNAL STATE-SPACE BASED MODELING AND SYMBOLIC SIMULATION FOR PWM CONVERTERS ». Doctoral diss., University of Central Florida, 2009. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/3960.
Texte intégralPh.D.
School of Electrical Engineering and Computer Science
Engineering and Computer Science
Electrical Engineering PhD
Freese, John Richard. « A symbolic analysis of state educational policy and reaction in a selected state, 1915-1925 ». Diss., The University of Arizona, 1993. http://hdl.handle.net/10150/186216.
Texte intégralSchmidt, Karsten. « Explicit state space verification ». Doctoral thesis, [S.l. : s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=967940745.
Texte intégralZhu, Kunping. « Stability analysis and stabilization of fuzzy state space models ». [S.l.] : [s.n.], 2006. http://deposit.ddb.de/cgi-bin/dokserv?idn=980973309.
Texte intégralFrühwirth-Schnatter, Sylvia. « Fully Bayesian Analysis of Switching Gaussian State Space Models ». Department of Statistics and Mathematics, WU Vienna University of Economics and Business, 2000. http://epub.wu.ac.at/812/1/document.pdf.
Texte intégralSeries: Forschungsberichte / Institut für Statistik
Agrawal, Sitij. « Linear state-space analysis and optimization of StreamIt programs ». Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/33099.
Texte intégralIncludes bibliographical references (p. 95-97).
The following thesis entails the construction, testing, modification, and analysis of two systems that couple sample ion introduction methods with a Differential Mobility Spectrometer (DMS). The sample ionization methods used with a custom designed interface for the DMS were Electrospray Ionization (ESI) and Atmospheric Pressure Matrix Assisted Laser Desorption Ionization (AP-MALDI). In addition to system development, Fourier transform and decision tree analyses were explored as alternatives to lead-cluster mapping and genetic algorithms for analyzing and classifying data produced by the systems for large biomolecules. Findings from testing and experiments using the prototype system have led to a second generation design of the interface. Results from data analysis have also provided new insights into different methods for classifying data whose form changes drastically for different sample introduction methods.
by Sitij Agrawal.
M.Eng.
Lampka, Kai. « A symbolic approach to the state graph based analysis of high-level Markov reward models ». [S.l.] : [s.n.], 2007. http://deposit.ddb.de/cgi-bin/dokserv?idn=985513926.
Texte intégralZhu, Kunping [Verfasser]. « Stability Analysis and Stabilization of Fuzzy State Space Models / Kunping Zhu ». Aachen : Shaker, 2006. http://d-nb.info/1166513394/34.
Texte intégralLivres sur le sujet "Symbolic state space analysis"
Gerald, Lüttgen, Siminiceanu Radu et Institute for Computer Applications in Science and Engineering., dir. Efficient symbolic state-space construction for asynchronous systems. Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1999.
Trouver le texte intégralGerald, Lüttgen, Siminiceanu Radu et Institute for Computer Applications in Science and Engineering., dir. Efficient symbolic state-space construction for asynchronous systems. Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1999.
Trouver le texte intégralGerald, Lüttgen, Siminiceanu Radu et Institute for Computer Applications in Science and Engineering., dir. Efficient symbolic state-space construction for asynchronous systems. Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1999.
Trouver le texte intégral1942-, Bart H., dir. Factorization of matrix and operator functions : The state space method. Basel : Birkhäuser, 2008.
Trouver le texte intégralBagdasaryan, Vardan. Political symbolics. ru : INFRA-M Academic Publishing LLC., 2017. http://dx.doi.org/10.12737/monography_5943996c30bc51.18834456.
Texte intégralMustafa, D. Minimum entropy H [infinity] control. Berlin : Springer-Verlag, 1990.
Trouver le texte intégralKichian, Maral. Measuring potential output within a state-space framework. [Ottawa, Ont : Dept. of Economics, Carleton University], 1999.
Trouver le texte intégralAoki, Masanao. State space modelling of time series. 2e éd. Berlin : Springer-Verlag, 1990.
Trouver le texte intégralDelchamps, David F. State Space and Input-Output Linear Systems. New York, NY : Springer New York, 1988.
Trouver le texte intégralBart, Harm, Sanne ter Horst, André C. M. Ran et Hugo J. Woerdeman, dir. Operator Theory, Analysis and the State Space Approach. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04269-1.
Texte intégralChapitres de livres sur le sujet "Symbolic state space analysis"
Ciardo, Gianfranco, Gerald Lüttgen et Radu Siminiceanu. « Saturation : An Efficient Iteration Strategy for Symbolic State—Space Generation ». Dans Tools and Algorithms for the Construction and Analysis of Systems, 328–42. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45319-9_23.
Texte intégralCarnevali, Laura, Lorenzo Ridi et Enrico Vicario. « A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models ». Dans Lecture Notes in Computer Science, 409–22. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24270-0_30.
Texte intégralVasilevski, Nikolai. « On commutative C∗-algebras generated by Toeplitz operators with $$ \mathbb{T}^{m}$$ -invariant symbols ». Dans Operator Theory, Analysis and the State Space Approach, 443–64. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04269-1_18.
Texte intégralGroenewald, G. J., S. ter Horst, J. Jaftha et A. C. M. Ran. « A Toeplitz-like operator with rational symbol having poles on the unit circle I : Fredholm properties ». Dans Operator Theory, Analysis and the State Space Approach, 239–68. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04269-1_10.
Texte intégralThierry-Mieg, Yann, Jean-Michel Ilié et Denis Poitrenaud. « A Symbolic Symbolic State Space Representation ». Dans Lecture Notes in Computer Science, 276–91. Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30232-2_18.
Texte intégralHarvey, Andrew. « State space models ». Dans Macroeconometrics and Time Series Analysis, 269–75. London : Palgrave Macmillan UK, 2010. http://dx.doi.org/10.1057/9780230280830_30.
Texte intégralLütkepohl, Helmut. « State Space Models ». Dans Introduction to Multiple Time Series Analysis, 415–45. Berlin, Heidelberg : Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-662-02691-5_13.
Texte intégralLütkepohl, Helmut. « State Space Models ». Dans Introduction to Multiple Time Series Analysis, 415–45. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-61695-2_13.
Texte intégralWurdeman, Shane R. « State-Space Reconstruction ». Dans Nonlinear Analysis for Human Movement Variability, 55–82. Boca Raton : Taylor & Francis, Taylor & Francis, a CRC title, part of the : CRC Press, 2018. http://dx.doi.org/10.1201/9781315370651-3.
Texte intégralBultan, Tevfik, Fang Yu, Muath Alkhalaf et Abdulbaki Aydin. « State Space Exploration ». Dans String Analysis for Software Verification and Security, 23–35. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68670-7_3.
Texte intégralActes de conférences sur le sujet "Symbolic state space analysis"
Carnevali, Laura, Lorenzo Ridi et Enrico Vicario. « Sirio : A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models ». Dans 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST). IEEE, 2011. http://dx.doi.org/10.1109/qest.2011.29.
Texte intégralMartinelli Tabajara, Lucas, et Moshe Y. Vardi. « Partitioning Techniques in LTLf Synthesis ». Dans Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California : International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/777.
Texte intégralButcher, Eric A., Haitao Ma, Ed Bueler, Victoria Averina et Zsolt Szabo. « Stability Analysis of Parametrically Excited Systems With Time-Delay ». Dans ASME 2003 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/detc2003/vib-48574.
Texte intégralKirkland, W. Grant, et S. C. Sinha. « Symbolic Computation of Quantities Associated With Time-Periodic Dynamical Systems ». Dans ASME 2015 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/detc2015-47486.
Texte intégralCatania, Giuseppe, et Nicolo` Mancinelli. « Motorcycle Local Stability Analysis Under Acceleration and Braking by Model Linearization and Eigenproblem Solution ». Dans ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-34824.
Texte intégralYang, Bingen. « Distributed Transfer Function Synthesis of Complex Flexible Systems ». Dans ASME 1993 Design Technical Conferences. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/detc1993-0168.
Texte intégralYu-Tong, Li, et Wang Yu-Xin. « A Systematic Rapid Creative Design Framework for Complex Mechanical Systems From Conceptual Design to 3D Virtual Simulation ». Dans ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/detc2019-98150.
Texte intégralWilhelm, Stephan, et Björn Wachter. « Symbolic state traversal for WCET analysis ». Dans the seventh ACM international conference. New York, New York, USA : ACM Press, 2009. http://dx.doi.org/10.1145/1629335.1629354.
Texte intégralCapra, L. « Colored Petri nets state-space reduction via symbolic execution ». Dans Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05). IEEE, 2005. http://dx.doi.org/10.1109/synasc.2005.26.
Texte intégralBellettini, Carlo, Matteo Camilli, Lorenzo Capra et Mattia Monga. « Symbolic State Space Exploration of RT Systems in the Cloud ». Dans 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE, 2012. http://dx.doi.org/10.1109/synasc.2012.18.
Texte intégralRapports d'organisations sur le sujet "Symbolic state space analysis"
Hacker, Joshua P., Cari G. Kaufman et James Hansen. State-Space Analysis of Model Error : A Probabilistic Parameter Estimation Framework with Spatial Analysis of Variance. Fort Belvoir, VA : Defense Technical Information Center, septembre 2012. http://dx.doi.org/10.21236/ada574466.
Texte intégralSoloviev, Vladimir, Oleksandr Serdiuk, Serhiy Semerikov et Arnold Kiv. Recurrence plot-based analysis of financial-economic crashes. [б. в.], octobre 2020. http://dx.doi.org/10.31812/123456789/4121.
Texte intégralMcIntyre, Phillip, Susan Kerrigan et Marion McCutcheon. Australian Cultural and Creative Activity : A Population and Hotspot Analysis : Albury-Wodonga. Queensland University of Technology, 2020. http://dx.doi.org/10.5204/rep.eprints.206966.
Texte intégralKrushelnytska, Sofiia. UKRAINE’S IMAGE IN THE FRENCH MEDIA DURING THE EVENTS OF 2004. Ivan Franko National University of Lviv, février 2021. http://dx.doi.org/10.30970/vjo.2021.49.11065.
Texte intégralCollins, Clarence O., et Tyler J. Hesser. altWIZ : A System for Satellite Radar Altimeter Evaluation of Modeled Wave Heights. Engineer Research and Development Center (U.S.), février 2021. http://dx.doi.org/10.21079/11681/39699.
Texte intégralBilovska, Natalia. HYPERTEXT : SYNTHESIS OF DISCRETE AND CONTINUOUS MEDIA MESSAGE. Ivan Franko National University of Lviv, mars 2021. http://dx.doi.org/10.30970/vjo.2021.50.11104.
Texte intégralBonomo, Marco, Claudio R. Frischtak et Paulo Ribeiro. Public Investment and Fiscal Crisis in Brazil : Finding Culprits and Solutions. Inter-American Development Bank, avril 2021. http://dx.doi.org/10.18235/0003199.
Texte intégralIatsyshyn, Anna V., Valeriia O. Kovach, Volodymyr O. Lyubchak, Yurii O. Zuban, Andriy G. Piven, Oleksandra M. Sokolyuk, Andrii V. Iatsyshyn, Oleksandr O. Popov, Volodymyr O. Artemchuk et Mariya P. Shyshkina. Application of augmented reality technologies for education projects preparation. [б. в.], juillet 2020. http://dx.doi.org/10.31812/123456789/3856.
Texte intégralChervinchuk, Alina. THE CONCEPT OF ENEMY : REPRESENTATION IN THE UKRAINIAN MILITARY DOCUMENTARIES. Ivan Franko National University of Lviv, février 2021. http://dx.doi.org/10.30970/vjo.2021.49.11063.
Texte intégralDroogan, Julian, Lise Waldek, Brian Ballsun-Stanton et Jade Hutchinson. Mapping a Social Media Ecosystem : Outlinking on Gab & ; Twitter Amongst the Australian Far-right Milieu. RESOLVE Network, septembre 2022. http://dx.doi.org/10.37805/remve2022.6.
Texte intégral