Gotowa bibliografia na temat „Symbolic models”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Symbolic models”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Symbolic models"
Weng, Juyang. "Symbolic Models and Emergent Models: A Review". IEEE Transactions on Autonomous Mental Development 4, nr 1 (marzec 2012): 29–53. http://dx.doi.org/10.1109/tamd.2011.2159113.
Pełny tekst źródłaTabuada, Paulo. "Symbolic models for control systems". Acta Informatica 43, nr 7 (16.01.2007): 477–500. http://dx.doi.org/10.1007/s00236-006-0036-6.
Pełny tekst źródłaFang, Meng, Shilong Deng, Yudi Zhang, Zijing Shi, Ling Chen, Mykola Pechenizkiy i Jun Wang. "Large Language Models Are Neurosymbolic Reasoners". Proceedings of the AAAI Conference on Artificial Intelligence 38, nr 16 (24.03.2024): 17985–93. http://dx.doi.org/10.1609/aaai.v38i16.29754.
Pełny tekst źródłaWelleck, Sean, Peter West, Jize Cao i Yejin Choi. "Symbolic Brittleness in Sequence Models: On Systematic Generalization in Symbolic Mathematics". Proceedings of the AAAI Conference on Artificial Intelligence 36, nr 8 (28.06.2022): 8629–37. http://dx.doi.org/10.1609/aaai.v36i8.20841.
Pełny tekst źródłaKelley, Troy D. "Symbolic and Sub-Symbolic Representations in Computational Models of Human Cognition". Theory & Psychology 13, nr 6 (grudzień 2003): 847–60. http://dx.doi.org/10.1177/0959354303136005.
Pełny tekst źródłaPasula, H. M., L. S. Zettlemoyer i L. P. Kaelbling. "Learning Symbolic Models of Stochastic Domains". Journal of Artificial Intelligence Research 29 (21.07.2007): 309–52. http://dx.doi.org/10.1613/jair.2113.
Pełny tekst źródłaLunze, J., i J. Schröder. "Diagnosis Based on Symbolic Dynamical Models". IFAC Proceedings Volumes 33, nr 11 (czerwiec 2000): 285–90. http://dx.doi.org/10.1016/s1474-6670(17)37374-3.
Pełny tekst źródłaBrookes, A., i K. A. Stevens. "Symbolic grouping versus simple cell models". Biological Cybernetics 65, nr 5 (wrzesień 1991): 375–80. http://dx.doi.org/10.1007/bf00216971.
Pełny tekst źródłaOhlsson, Stellan. "Localist models are already here". Behavioral and Brain Sciences 23, nr 4 (sierpień 2000): 486–87. http://dx.doi.org/10.1017/s0140525x00443359.
Pełny tekst źródłaDocquier, N., A. Poncelet i P. Fisette. "ROBOTRAN: a powerful symbolic gnerator of multibody models". Mechanical Sciences 4, nr 1 (2.05.2013): 199–219. http://dx.doi.org/10.5194/ms-4-199-2013.
Pełny tekst źródłaRozprawy doktorskie na temat "Symbolic models"
Porter, Mark A. "Evolving inferential fermentation models using symbolic annealing". Thesis, University of Newcastle Upon Tyne, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.275517.
Pełny tekst źródłaDevereux, Benet. "Finite-state models with multiplicities, symbolic representation and reasoning". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ62961.pdf.
Pełny tekst źródłaTownsend, Duncan Clarke McIntire. "Using a symbolic language parser to Improve Markov language models". Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/100621.
Pełny tekst źródłaThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 31-32).
This thesis presents a hybrid approach to natural language processing that combines an n-gram (Markov) model with a symbolic parser. In concert these two techniques are applied to the problem of sentence simplification. The n-gram system is comprised of a relational database backend with a frontend application that presents a homogeneous interface for both direct n-gram lookup and Markov approximation. The query language exposed by the frontend also applies lexical information from the START natural language system to allow queries based on part of speech. Using the START natural language system's parser, English sentences are transformed into a collection of structural, syntactic, and lexical statements that are uniquely well-suited to the process of simplification. After reducing the parse of the sentence, the resulting expressions can be processed back into English. These reduced sentences are ranked by likelihood by the n-gram model.
by Duncan Clarke McIntire Townsend.
M. Eng.
Zaner, Frederick Steven. "The development of symbolic models and their extension into space". The Ohio State University, 1991. http://rave.ohiolink.edu/etdc/view?acc_num=osu1303495012.
Pełny tekst źródłaKeyton, Michael M. (Michael Murray). "The Development and Interpretation of Several Symbolic Models of Thought". Thesis, North Texas State University, 1986. https://digital.library.unt.edu/ark:/67531/metadc331860/.
Pełny tekst źródłaKamienny, Pierre-Alexandre. "Efficient adaptation of reinforcement learning agents : from model-free exploration to symbolic world models". Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS412.
Pełny tekst źródłaReinforcement Learning (RL) encompasses a range of techniques employed to train autonomous agents to interact with environments with the purpose of maximizing their returns across various training tasks. To ensure successful deployment of RL agents in real-world scenarios, achieving generalization and adaptation to unfamiliar situations is crucial. Although neural networks have shown promise in facilitating in-domain generalization by enabling agents to interpolate desired behaviors, their limitations in generalizing beyond the training distribution often lead to suboptimal performance on out-of-distribution data. These challenges are further amplified in RL settings characterized by non-stationary environments and constant distribution shifts during deployment. This thesis presents novel strategies within the framework of Meta-Reinforcement Learning, aiming to equip RL agents with the ability to adapt at test-time to out-of-domain tasks. The first part of the thesis focuses on model-free techniques to learn effective exploration strategies. We consider two scenarios: one where the agent is provided with a set of training tasks, enabling it to explicitly model and learn generalizable task representations; and another where the agent learns without rewards to maximize its state coverage. In the second part, we investigate into the application of symbolic regression, a powerful tool for developing predictive models that offer interpretability and exhibit enhanced robustness against distribution shifts. These models are subsequently integrated within model-based RL agents to improve their performance. Furthermore, this research contributes to the field of symbolic regression by introducing a collection of techniques that leverage Transformer models, enhancing their accuracy and effectiveness. In summary, by addressing the challenges of adaptation and generalization in RL, this thesis focuses on the understanding and application of Meta-Reinforcement Learning strategies. It provides insights and techniques for enabling RL agents to adapt seamlessly to out-of-domain tasks, ultimately facilitating their successful deployment in real-world scenarios
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.
Pełny tekst źródłaRANJAN, MUKESH. "AUTOMATED LAYOUT-INCLUSIVE SYNTHESIS OF ANALOG CIRCUITS USING SYMBOLIC PERFORMANCE MODELS". University of Cincinnati / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1129922496.
Pełny tekst źródłaIvanova, Elena. "Efficient Synthesis of Safety Controllers using Symbolic Models and Lazy Algorithms". Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG088.
Pełny tekst źródłaThis thesis focuses on the development of efficient abstraction-based controller synthesis approaches for cyber-physical systems (CPS). While abstraction-based methods for CPS design have been the subject of intensive research over the last decades, the scalability of these techniques remains an issue. This thesis focus on developing lazy synthesis algorithms for safety specifications. Safety specifications consist in maintaining the trajectory of the system inside a given safe set. This specification is of the utmost importance in many engineering problems, often prioritized over other performance requirements. Lazy approaches outperform the classical synthesis algorithm [Tabuada, 2009] by avoiding computations, which are non-essential for synthesis goals. Chapter 1 motivates the thesis and discusses the state of the art. Chapter 2 structures the existing lazy synthesis approaches and emphasizes three sources of efficiency: information about a priori controllable states, priorities on inputs, and non-reachable from initial set states. Chapter 3 proposes an algorithm, which iteratively explores states on the boundary of controllable domain while avoiding exploration of internal states, supposing that they are safely controllable a priory. A closed-loop safety controller for the original problem is then defined as follows: we use the abstract controller to push the system from a boundary state back towards the interior, while for inner states, any admissible input is valid. Chapter 4 presents an algorithm that restricts the controller synthesis computations to reachable states only while prioritizing longer-duration transitions. The original system is abstracted by a symbolic model with an adaptive grid. Moreover, a novel type of time sampling is also considered. Instead of using transitions of predetermined duration, the duration of the transitions is constrained by state intervals that must contain the reachable set. Chapter 5 is dedicated to monotone transition systems. The introduced lazy synthesis approach benefits from a monotone property of transition systems and the ordered structure of the state (input) space, and the fact that directed safety specifications are considered. The considered class of specifications is then enriched by intersections of upper and lower-closed safety requirements. Chapter 6 concludes the discussion and raises new issues for future research
Salgado, Mauricio. "More than words : computational models of emergence and evolution of symbolic communication". Thesis, University of Surrey, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.556464.
Pełny tekst źródłaKsiążki na temat "Symbolic models"
Herdt, Vladimir. Complete Symbolic Simulation of SystemC Models. Wiesbaden: Springer Fachmedien Wiesbaden, 2016. http://dx.doi.org/10.1007/978-3-658-12680-3.
Pełny tekst źródłaEdwin, Kreuzer, red. Computerized symbolic manipulation in mechanics. Wien: Springer-Verlag, 1994.
Znajdź pełny tekst źródłaWolf, Holger C. Anti-tax revolutions and symbolic prosecutions. Cambridge, MA: National Bureau of Economic Research, 1993.
Znajdź pełny tekst źródłaWolf, Holger. Anti-tax revolutions and symbolic prosecutions. Cambridge, Mass: National Bureau of EconomicResearch, 1993.
Znajdź pełny tekst źródłaTurner, Raymond. Computable models. London: Springer, 2009.
Znajdź pełny tekst źródłaKossak, Roman. The structure of models of Peano arithmetic. Oxford: Clarendon, 2006.
Znajdź pełny tekst źródłaHeckel, J. S. A methodology for linking symbolic and graphical models for collaborative engineering. [Champaign, IL]: US Army Corps of Engineers, Construction Engineering Research Laboratories, 1996.
Znajdź pełny tekst źródłaHees, Martin van. Rights and decisions: Formal models of law and liberalism. Dordrecht: Kluwer Academic, 1995.
Znajdź pełny tekst źródłaKrynicki, Michał. Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht: Springer Netherlands, 1995.
Znajdź pełny tekst źródłaClote, Peter. Boolean Functions and Computation Models. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002.
Znajdź pełny tekst źródłaCzęści książek na temat "Symbolic models"
Makridis, Odysseus. "Semantic Models for ∏: ∏⧉". W Symbolic Logic, 351–71. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-67396-3_7.
Pełny tekst źródłaChipere, Ngoni. "Connectionist and Symbolic Models". W Understanding Complex Sentences, 70–87. London: Palgrave Macmillan UK, 2003. http://dx.doi.org/10.1057/9780230005884_4.
Pełny tekst źródłaHerdt, Vladimir. "Heuristic Symbolic Subsumption". W Complete Symbolic Simulation of SystemC Models, 69–95. Wiesbaden: Springer Fachmedien Wiesbaden, 2016. http://dx.doi.org/10.1007/978-3-658-12680-3_6.
Pełny tekst źródłaSchreiner, Wolfgang. "Building Models". W Texts & Monographs in Symbolic Computation, 101–38. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-80507-4_4.
Pełny tekst źródłaFloberg, Henrik. "Transistor Models". W Symbolic Analysis in Analog Integrated Circuit Design, 75–82. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-6211-5_7.
Pełny tekst źródłaDeininger, David, Rayna Dimitrova i Rupak Majumdar. "Symbolic Model Checking for Factored Probabilistic Models". W Automated Technology for Verification and Analysis, 444–60. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46520-3_28.
Pełny tekst źródłaCastillo, Enrique, José Manuel Gutiérrez i Ali S. Hadi. "Symbolic Propagation of Evidence". W Expert Systems and Probabilistic Network Models, 443–80. New York, NY: Springer New York, 1997. http://dx.doi.org/10.1007/978-1-4612-2270-5_10.
Pełny tekst źródłaSiddiqui, Junaid Haroon, i Sarfraz Khurshid. "Symbolic Execution of Alloy Models". W Formal Methods and Software Engineering, 340–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24559-6_24.
Pełny tekst źródłaPrzigoda, Nils, Robert Wille, Judith Przigoda i Rolf Drechsler. "A Symbolic Formulation for Models". W Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, 25–94. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-72814-8_3.
Pełny tekst źródłaAberer, Karl. "Combinatory models and symbolic computation". W Design and Implementation of Symbolic Computation Systems, 116–31. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57272-4_29.
Pełny tekst źródłaStreszczenia konferencji na temat "Symbolic models"
Khalil, Amal, i Juergen Dingel. "Incremental symbolic execution of evolving state machines". W 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2015. http://dx.doi.org/10.1109/models.2015.7338231.
Pełny tekst źródłaGreenyer, Joel, i Timo Gutjahr. "Symbolic Execution for Realizability-Checking of Scenario-Based Specifications". W 2017 ACM/IEEE 20th International Conference on Model-Driven Engineering Languages and Systems (MODELS). IEEE, 2017. http://dx.doi.org/10.1109/models.2017.35.
Pełny tekst źródłaChang, Felix Sheng-Ho, i Daniel Jackson. "Symbolic model checking of declarative relational models". W Proceeding of the 28th international conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1134285.1134329.
Pełny tekst źródłaDeVries, Byron, i Betty H. C. Cheng. "Automatic detection of incomplete requirements via symbolic analysis". W MODELS '16: ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2976767.2976791.
Pełny tekst źródłaCederbladh, Johan, Loek Cleophas, Eduard Kamburjan, Lucas Lima i Hans Vangheluwe. "Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering". W 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2023. http://dx.doi.org/10.1109/models-c59198.2023.00117.
Pełny tekst źródłaJames, Steven. "Learning Portable Symbolic Representations". W Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/826.
Pełny tekst źródłaBaras, Karolina, A. Moreira i F. Meneses. "Navigation based on symbolic space models". W 2010 International Conference on Indoor Positioning and Indoor Navigation (IPIN). IEEE, 2010. http://dx.doi.org/10.1109/ipin.2010.5646810.
Pełny tekst źródłaJacomme, Charlie, Steve Kremer i Guillaume Scerri. "Symbolic Models for Isolated Execution Environments". W 2017 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, 2017. http://dx.doi.org/10.1109/eurosp.2017.16.
Pełny tekst źródłaJeon, Jinseong, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster i Armando Solar-Lezama. "Synthesizing framework models for symbolic execution". W ICSE '16: 38th International Conference on Software Engineering. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2884781.2884856.
Pełny tekst źródłaZhao, Siang, Zhongyang Li, Zhenbang Chen i Ji Wang. "Symbolic Verification of Fuzzy Logic Models". W 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2023. http://dx.doi.org/10.1109/ase56229.2023.00087.
Pełny tekst źródłaRaporty organizacyjne na temat "Symbolic models"
VanLehn, Kurt. Analysis of Symbolic Parameter Models. Fort Belvoir, VA: Defense Technical Information Center, marzec 1993. http://dx.doi.org/10.21236/ada261930.
Pełny tekst źródłaYang, Bwolen, Reid Simmons, Randal E. Bryant i David R. O'Hallaron. Optimizing Symbolic Model Checking for Constraint-Rich Models. Fort Belvoir, VA: Defense Technical Information Center, marzec 1999. http://dx.doi.org/10.21236/ada363778.
Pełny tekst źródłaCampos, Sergio V., i Edmund M. Clarke. Real-Time Symbolic Model Checking for Discrete Time Models. Fort Belvoir, VA: Defense Technical Information Center, maj 1994. http://dx.doi.org/10.21236/ada282878.
Pełny tekst źródłaGardner, Daniel. Symbolic Processor Based Models of Neural Networks. Fort Belvoir, VA: Defense Technical Information Center, maj 1988. http://dx.doi.org/10.21236/ada200200.
Pełny tekst źródłaPolk, Thad A., Kurt VanLehn i Dirk Kalp. ASPM2: Progress Toward the Analysis of Symbolic Parameter Models. Fort Belvoir, VA: Defense Technical Information Center, wrzesień 1994. http://dx.doi.org/10.21236/ada284437.
Pełny tekst źródłaVanLehn, Kurt. Analysis of Symbolic Models of Cognition Project (ASPM-Pitt). Fort Belvoir, VA: Defense Technical Information Center, wrzesień 1992. http://dx.doi.org/10.21236/ada255929.
Pełny tekst źródłaSayer, Catherine, i Martin Doherty. The classic model room task: A symbol that doesn’t measure symbolism. Peeref, czerwiec 2023. http://dx.doi.org/10.54985/peeref.2306p4947936.
Pełny tekst źródłaBiere, Armin, Alessandro Cimatti, Edmund Clark i Yunshan Zhu. Symbolic Model Checking without BDDs. Fort Belvoir, VA: Defense Technical Information Center, styczeń 1999. http://dx.doi.org/10.21236/ada360973.
Pełny tekst źródłaGovindaraju, Shankar G., i David L. Dill. Approximate Symbolic Model Checking Using Overlapping Projections. Fort Belvoir, VA: Defense Technical Information Center, styczeń 1999. http://dx.doi.org/10.21236/ada401014.
Pełny tekst źródłaBaader, Franz, i Klaus U. Schulz. Unification Theory - An Introduction. Aachen University of Technology, 1997. http://dx.doi.org/10.25368/2022.135.
Pełny tekst źródła