Artigos de revistas sobre o tema "Symbolic models"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Symbolic models".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
Weng, Juyang. "Symbolic Models and Emergent Models: A Review". IEEE Transactions on Autonomous Mental Development 4, n.º 1 (março de 2012): 29–53. http://dx.doi.org/10.1109/tamd.2011.2159113.
Texto completo da fonteTabuada, Paulo. "Symbolic models for control systems". Acta Informatica 43, n.º 7 (16 de janeiro de 2007): 477–500. http://dx.doi.org/10.1007/s00236-006-0036-6.
Texto completo da fonteFang, Meng, Shilong Deng, Yudi Zhang, Zijing Shi, Ling Chen, Mykola Pechenizkiy e Jun Wang. "Large Language Models Are Neurosymbolic Reasoners". Proceedings of the AAAI Conference on Artificial Intelligence 38, n.º 16 (24 de março de 2024): 17985–93. http://dx.doi.org/10.1609/aaai.v38i16.29754.
Texto completo da fonteWelleck, Sean, Peter West, Jize Cao e Yejin Choi. "Symbolic Brittleness in Sequence Models: On Systematic Generalization in Symbolic Mathematics". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 8 (28 de junho de 2022): 8629–37. http://dx.doi.org/10.1609/aaai.v36i8.20841.
Texto completo da fonteKelley, Troy D. "Symbolic and Sub-Symbolic Representations in Computational Models of Human Cognition". Theory & Psychology 13, n.º 6 (dezembro de 2003): 847–60. http://dx.doi.org/10.1177/0959354303136005.
Texto completo da fontePasula, H. M., L. S. Zettlemoyer e L. P. Kaelbling. "Learning Symbolic Models of Stochastic Domains". Journal of Artificial Intelligence Research 29 (21 de julho de 2007): 309–52. http://dx.doi.org/10.1613/jair.2113.
Texto completo da fonteLunze, J., e J. Schröder. "Diagnosis Based on Symbolic Dynamical Models". IFAC Proceedings Volumes 33, n.º 11 (junho de 2000): 285–90. http://dx.doi.org/10.1016/s1474-6670(17)37374-3.
Texto completo da fonteBrookes, A., e K. A. Stevens. "Symbolic grouping versus simple cell models". Biological Cybernetics 65, n.º 5 (setembro de 1991): 375–80. http://dx.doi.org/10.1007/bf00216971.
Texto completo da fonteOhlsson, Stellan. "Localist models are already here". Behavioral and Brain Sciences 23, n.º 4 (agosto de 2000): 486–87. http://dx.doi.org/10.1017/s0140525x00443359.
Texto completo da fonteDocquier, N., A. Poncelet e P. Fisette. "ROBOTRAN: a powerful symbolic gnerator of multibody models". Mechanical Sciences 4, n.º 1 (2 de maio de 2013): 199–219. http://dx.doi.org/10.5194/ms-4-199-2013.
Texto completo da fonteChacón, Jose Emmanuel, e Oldemar Rodríguez. "Regression Models for Symbolic Interval-Valued Variables". Entropy 23, n.º 4 (6 de abril de 2021): 429. http://dx.doi.org/10.3390/e23040429.
Texto completo da fontePhong, Phạm Hồng, e Bùi Công Cường. "Symbolic Computational Models for Intuitionistic Linguistic Information". Journal of Computer Science and Cybernetics 32, n.º 1 (7 de junho de 2016): 31–45. http://dx.doi.org/10.15625/1813-9663/32/1/5984.
Texto completo da fonteFisette, P., T. Postiau, L. Sass e J. C. Samin. "FULLY SYMBOLIC GENERATION OF COMPLEX MULTIBODY MODELS*". Mechanics of Structures and Machines 30, n.º 1 (31 de janeiro de 2002): 31–82. http://dx.doi.org/10.1081/sme-120001477.
Texto completo da fonteZhanatauov, S. U. "VERBAL, SYMBOLIC, MATHEMATICAL, SEMANTIC, BEHAVIORAL, COGNITIVE MODELS." Theoretical & Applied Science 113, n.º 09 (30 de setembro de 2022): 169–74. http://dx.doi.org/10.15863/tas.2022.09.113.32.
Texto completo da fonteKwatny, H. G., e G. L. Blankenship. "Symbolic construction of models for multibody dynamics". IEEE Transactions on Robotics and Automation 11, n.º 2 (abril de 1995): 271–81. http://dx.doi.org/10.1109/70.370509.
Texto completo da fontePola, Giordano, Pierdomenico Pepe e Maria Domenica Di Benedetto. "Symbolic Models for Networks of Control Systems". IEEE Transactions on Automatic Control 61, n.º 11 (novembro de 2016): 3663–68. http://dx.doi.org/10.1109/tac.2016.2528046.
Texto completo da fonteJagtap, Pushpak, e Majid Zamani. "Symbolic models for retarded jump–diffusion systems". Automatica 111 (janeiro de 2020): 108666. http://dx.doi.org/10.1016/j.automatica.2019.108666.
Texto completo da fonteZeng, Yifeng, e Kim-leng Poh. "Symbolic verification of multiagent graphical decision models". International Journal of Intelligent Systems 23, n.º 11 (novembro de 2008): 1177–95. http://dx.doi.org/10.1002/int.20313.
Texto completo da fonteNavarro, Vicente, Arianna Pucci, Erik Tengblad, Francesca Casini e Laura Asensio. "Symbolic algebra integration of soil elastoplastic models". Computers and Geotechnics 164 (dezembro de 2023): 105834. http://dx.doi.org/10.1016/j.compgeo.2023.105834.
Texto completo da fontedo Nascimento, Rafaella L. S., Renata M. C. R. de Souza e Francisco José de A. Cysneiros. "Generalized linear models for symbolic polygonal data". Knowledge-Based Systems 290 (abril de 2024): 111569. http://dx.doi.org/10.1016/j.knosys.2024.111569.
Texto completo da fonteHan, Sung Ho, Bang Nguyen e Lyndon Simkin. "The dynamic models of consumers’ symbolic needs: in the context of restaurant brands". European Journal of Marketing 50, n.º 7/8 (11 de julho de 2016): 1348–76. http://dx.doi.org/10.1108/ejm-03-2015-0144.
Texto completo da fonteLUCAS, PETER. "Symbolic diagnosis and its formalisation". Knowledge Engineering Review 12, n.º 2 (junho de 1997): 109–46. http://dx.doi.org/10.1017/s0269888997002026.
Texto completo da fonteStepanovic, Ivana, Dragica Pavlovic-Babic e Zora Krnjaic. "The analysis of actual and symbolic models of secondary school students in Serbia". Zbornik Instituta za pedagoska istrazivanja 41, n.º 2 (2009): 401–17. http://dx.doi.org/10.2298/zipi0902401s.
Texto completo da fonteSwikir, Abdalla, Navid Noroozi e Majid Zamani. "Compositional Synthesis of Symbolic Models for Infinite Networks". IFAC-PapersOnLine 53, n.º 2 (2020): 1868–73. http://dx.doi.org/10.1016/j.ifacol.2020.12.2356.
Texto completo da fonteNeto, Eufrásio de A. Lima, Gauss M. Cordeiro e Francisco de A. T. de Carvalho. "Bivariate symbolic regression models for interval-valued variables". Journal of Statistical Computation and Simulation 81, n.º 11 (novembro de 2011): 1727–44. http://dx.doi.org/10.1080/00949655.2010.500470.
Texto completo da fonteSwikir, Abdalla, Antoine Girard e Majid Zamani. "Symbolic Models for a Class of Impulsive Systems". IEEE Control Systems Letters 5, n.º 1 (janeiro de 2021): 247–52. http://dx.doi.org/10.1109/lcsys.2020.3001501.
Texto completo da fonteJackson, Janet L., Aladin Akyürek e John A. Michon. "Symbolic and other Cognitive Models of Temporal Reality". Time & Society 2, n.º 2 (maio de 1993): 241–56. http://dx.doi.org/10.1177/0961463x93002002006.
Texto completo da fonteKirćanski, N., T. Davidović e M. Vukobratović. "A contribution to parallelization of symbolic robot models". Robotica 13, n.º 4 (julho de 1995): 411–21. http://dx.doi.org/10.1017/s0263574700018841.
Texto completo da fonteD�hmen, Gert, Ronald Herrmann e Hergen Pargmann. "Translating VHDL into functional symbolic finite-state models". Formal Methods in System Design 7, n.º 1-2 (agosto de 1995): 125–48. http://dx.doi.org/10.1007/bf01383876.
Texto completo da fontePola, Giordano, Antoine Girard e Paulo Tabuada. "Approximately bisimilar symbolic models for nonlinear control systems". Automatica 44, n.º 10 (outubro de 2008): 2508–16. http://dx.doi.org/10.1016/j.automatica.2008.02.021.
Texto completo da fonteCharrier, Tristan, Sophie Pinchinat e FranÇois Schwarzentruber. "Symbolic model checking of public announcement protocols". Journal of Logic and Computation 29, n.º 8 (dezembro de 2019): 1211–49. http://dx.doi.org/10.1093/logcom/exz023.
Texto completo da fonteMarra, Giuseppe. "Bridging symbolic and subsymbolic reasoning with minimax entropy models". Intelligenza Artificiale 15, n.º 2 (4 de fevereiro de 2022): 71–90. http://dx.doi.org/10.3233/ia-210088.
Texto completo da fonteDesain, Peter. "A connectionist and a traditional AI quantizer, symbolic versus sub-symbolic models of rhythm perception". Contemporary Music Review 9, n.º 1-2 (janeiro de 1993): 239–54. http://dx.doi.org/10.1080/07494469300640471.
Texto completo da fonteFeistel, Rainer. "Self-Organisation of Prediction Models". Entropy 25, n.º 12 (28 de novembro de 2023): 1596. http://dx.doi.org/10.3390/e25121596.
Texto completo da fonteNørreklit, Hanne. "Managing individuality: myths versus art". Proceedings of Pragmatic Constructivism 1, n.º 2 (1 de setembro de 2011): 35–44. http://dx.doi.org/10.7146/propracon.v1i2.16664.
Texto completo da fonteCline, Terry, Harold Abelson e Warren Harris. "Symbolic computing in engineering design". Artificial Intelligence for Engineering Design, Analysis and Manufacturing 3, n.º 3 (agosto de 1989): 195–206. http://dx.doi.org/10.1017/s0890060400001220.
Texto completo da fonteDickens, Charles, Connor Pryor e Lise Getoor. "Modeling Patterns for Neural-Symbolic Reasoning Using Energy-based Models". Proceedings of the AAAI Symposium Series 3, n.º 1 (20 de maio de 2024): 90–99. http://dx.doi.org/10.1609/aaaiss.v3i1.31187.
Texto completo da fonteLiu, Chuang. "Symbolic versus Modelistic Elements in Scientific Modeling". THEORIA. An International Journal for Theory, History and Foundations of Science 30, n.º 2 (20 de junho de 2015): 287. http://dx.doi.org/10.1387/theoria.12863.
Texto completo da fonteGiannarakis, Nick, Alexandra Silva e David Walker. "ProbNV: probabilistic verification of network control planes". Proceedings of the ACM on Programming Languages 5, ICFP (22 de agosto de 2021): 1–30. http://dx.doi.org/10.1145/3473595.
Texto completo da fonteCoelho, A. A., J. Evans, I. Evans, A. Kern e S. Parsons. "The TOPAS symbolic computation system". Powder Diffraction 26, S1 (dezembro de 2011): S22—S25. http://dx.doi.org/10.1154/1.3661087.
Texto completo da fonteSanner, Scott, e Ehsan Abbasnejad. "Symbolic Variable Elimination for Discrete and Continuous Graphical Models". Proceedings of the AAAI Conference on Artificial Intelligence 26, n.º 1 (20 de setembro de 2021): 1954–60. http://dx.doi.org/10.1609/aaai.v26i1.8406.
Texto completo da fonteBen Hassan Saïdi, Ismaïl, Martin Schmelzer, Paola Cinnella e Francesco Grasso. "CFD-driven symbolic identification of algebraic Reynolds-stress models". Journal of Computational Physics 457 (maio de 2022): 111037. http://dx.doi.org/10.1016/j.jcp.2022.111037.
Texto completo da fonteGirard, A., G. Pola e P. Tabuada. "Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems". IEEE Transactions on Automatic Control 55, n.º 1 (janeiro de 2010): 116–26. http://dx.doi.org/10.1109/tac.2009.2034922.
Texto completo da fonteZamani, Majid, Giordano Pola, Manuel Mazo e Paulo Tabuada. "Symbolic Models for Nonlinear Control Systems Without Stability Assumptions". IEEE Transactions on Automatic Control 57, n.º 7 (julho de 2012): 1804–9. http://dx.doi.org/10.1109/tac.2011.2176409.
Texto completo da fonteMeyer, Pierre-Jean, Antoine Girard e Emmanuel Witrant. "Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models". IEEE Transactions on Automatic Control 63, n.º 6 (junho de 2018): 1835–41. http://dx.doi.org/10.1109/tac.2017.2753039.
Texto completo da fonteBozzano, Marco, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri e Stefano Tonetta. "Safety assessment of AltaRica models via symbolic model checking". Science of Computer Programming 98 (fevereiro de 2015): 464–83. http://dx.doi.org/10.1016/j.scico.2014.06.003.
Texto completo da fonteKrupski, Vladimir N. "On symbolic models for Single-Conclusion Logic of Proofs". Sbornik: Mathematics 202, n.º 5 (31 de maio de 2011): 683–95. http://dx.doi.org/10.1070/sm2011v202n05abeh004161.
Texto completo da fonteBalarin, Felice. "Concurrent Symbolic Verification of Liveness Properties for Interleaved Models". Electronic Notes in Theoretical Computer Science 23, n.º 2 (dezembro de 2001): 1–10. http://dx.doi.org/10.1016/s1571-0661(04)80664-9.
Texto completo da fontePrudêncio, Ricardo B. C., Teresa B. Ludermir e Francisco de A. T. de Carvalho. "A Modal Symbolic Classifier for selecting time series models". Pattern Recognition Letters 25, n.º 8 (junho de 2004): 911–21. http://dx.doi.org/10.1016/j.patrec.2004.02.004.
Texto completo da fontePola, Giordano, e Paulo Tabuada. "Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations". SIAM Journal on Control and Optimization 48, n.º 2 (janeiro de 2009): 719–33. http://dx.doi.org/10.1137/070698580.
Texto completo da fonte