Artículos de revistas sobre el tema "Assertion generation"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Assertion generation".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Li, Pengyi, Jing Sun y Hai Wang. "Formal Approach to Assertion-Based Code Generation". International Journal of Software Engineering and Knowledge Engineering 27, n.º 09n10 (noviembre de 2017): 1637–62. http://dx.doi.org/10.1142/s0218194017400162.
Texto completoBoulé, M., J. S. Chenard y Z. Zilic. "Debug enhancements in assertion-checker generation". IET Computers & Digital Techniques 1, n.º 6 (2007): 669. http://dx.doi.org/10.1049/iet-cdt:20060209.
Texto completoWitharana, Hasini, Yangdi Lyu y Prabhat Mishra. "Directed Test Generation for Activation of Security Assertions in RTL Models". ACM Transactions on Design Automation of Electronic Systems 26, n.º 4 (abril de 2021): 1–28. http://dx.doi.org/10.1145/3441297.
Texto completoTong, Jason G., Marc Boulé y Zeljko Zilic. "Test compaction techniques for assertion-based test generation". ACM Transactions on Design Automation of Electronic Systems 19, n.º 1 (diciembre de 2013): 1–29. http://dx.doi.org/10.1145/2534397.
Texto completoKerpedjiev, Stephan. "Model-Driven, Assertion-Based Generation of Multimedia Weather Information". Bulletin of the American Meteorological Society 76, n.º 10 (octubre de 1995): 1791–800. http://dx.doi.org/10.1175/1520-0477(1995)076<1791:mdabgo>2.0.co;2.
Texto completoSalehi Fathabadi, Asieh, Mohammadsadegh Dalvandi, Michael Butler y Bashir M. Al-Hashimi. "Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation". IEEE Embedded Systems Letters 12, n.º 3 (septiembre de 2020): 83–86. http://dx.doi.org/10.1109/les.2019.2955316.
Texto completoCrowley, Timothy J. "On the “Perceptible Bodies” at De Generatione et Corruptione II.1". Revista Archai, n.º 27 (1 de septiembre de 2019): e2703. http://dx.doi.org/10.14195/1984-249x_27_3.
Texto completoPečiuliauskienė, Palmira. "The Structure of Interpersonal Communication Skills of the New Generation Senior School Students: The Case of Generations X and Z". Pedagogika 130, n.º 2 (20 de junio de 2018): 116–30. http://dx.doi.org/10.15823/p.2018.26.
Texto completoBennett, Tyler James. "Second-Generation Semiology and Detotalization". Linguistic Frontiers 4, n.º 2 (1 de septiembre de 2021): 44–53. http://dx.doi.org/10.2478/lf-2021-0010.
Texto completoHolt, Marilyn E., Kathleen F. Mittendorf, Michele LeNoue-Newton, Neha M. Jain, Ingrid Anderson, Christine M. Lovly, Travis Osterman, Christine Micheel y Mia Levy. "My Cancer Genome: Coevolution of Precision Oncology and a Molecular Oncology Knowledgebase". JCO Clinical Cancer Informatics, n.º 5 (septiembre de 2021): 995–1004. http://dx.doi.org/10.1200/cci.21.00084.
Texto completoAhdar, Rex. "The Empty Idea of Equality Meets the Unbearable Fullness of Religion". Journal of Law, Religion and State 4, n.º 2 (23 de junio de 2016): 146–78. http://dx.doi.org/10.1163/22124810-00402002.
Texto completoYang, D. y Z. Liu. " Study on Chinese farmer cooperative economy organization and agricultural specialization". Agricultural Economics (Zemědělská ekonomika) 58, No. 3 (3 de abril de 2012): 135–46. http://dx.doi.org/10.17221/17/2011-agricecon.
Texto completoFleischmann, Fenella, Karen Phalet y Marc Swyngedouw. "Dual Identity Under Threat". Zeitschrift für Psychologie 221, n.º 4 (enero de 2013): 214–22. http://dx.doi.org/10.1027/2151-2604/a000151.
Texto completoArikuma, Takeshi, Sumi Yoshikawa, Ryuzo Azuma, Kentaro Watanabe, Kazumi Matsumura y Akihiko Konagaya. "Drug interaction prediction using ontology-driven hypothetical assertion framework for pathway generation followed by numerical simulation". BMC Bioinformatics 9, Suppl 6 (2008): S11. http://dx.doi.org/10.1186/1471-2105-9-s6-s11.
Texto completoMarples, David R. "National Awakening and National Consciousness in Belarus". Nationalities Papers 27, n.º 4 (diciembre de 1999): 565–78. http://dx.doi.org/10.1080/009059999108830.
Texto completoPizani, Paulo S., M. R. Joya, F. M. Pontes, L. P. S. Santos, M. Godinho Jr, E. R. Leite y Elson Longo. "Defect-Induced Photoluminescence of Powdered Silica Glass". Defect and Diffusion Forum 273-276 (febrero de 2008): 479–84. http://dx.doi.org/10.4028/www.scientific.net/ddf.273-276.479.
Texto completoCardwell, Richard A. "From aesthetic idealism to national concerns?" Journal of Romance Studies 21, n.º 1 (1 de marzo de 2021): 1–30. http://dx.doi.org/10.3828/jrs.2021.1.
Texto completoCooley, John R., David C. Marshall y Chris Simon. "Documenting Single-Generation Range Shifts of Periodical Cicada Brood VI (Hemiptera: Cicadidae: Magicicada spp.)". Annals of the Entomological Society of America 114, n.º 4 (13 de abril de 2021): 477–88. http://dx.doi.org/10.1093/aesa/saab007.
Texto completoEckert, Candice, Brian Cham, Pengyi Li, Jing Sun y Gillian Dobbie. "Linking Design Model with Code". International Journal of Software Engineering and Knowledge Engineering 26, n.º 09n10 (noviembre de 2016): 1473–91. http://dx.doi.org/10.1142/s0218194016400131.
Texto completoKayapınar, M. Akif. "Ibn Khaldun's Concept of Assabiyya: An Alternative Tool for Understanding Long-Term Politics". Asian Journal of Social Science 36, n.º 3-4 (2008): 375–407. http://dx.doi.org/10.1163/156853108x327010.
Texto completoSedikides, Constantine y John J. Skowronski. "In Human Memory, Good Can Be Stronger Than Bad". Current Directions in Psychological Science 29, n.º 1 (14 de enero de 2020): 86–91. http://dx.doi.org/10.1177/0963721419896363.
Texto completoWalker, Edward A. "An Alternative to the Alcubierre Theory: Warp Fields by the Gravitation via Accelerated Particles Assertion". Applied Physics Research 8, n.º 5 (30 de septiembre de 2016): 44. http://dx.doi.org/10.5539/apr.v8n5p44.
Texto completoWaqar, Basharat Hussain. "A Conjucture About the Compiler/Author of “Sarf Bahaai”". Negotiations 2, n.º 1 (23 de marzo de 2022): 87–93. http://dx.doi.org/10.54064/negotiations.v2i1.48.
Texto completoFergusson, David G. "Counterpoint: If Libraries Don't Change, They Won't Be the Place to Get the Books". North Carolina Libraries 62, n.º 1 (20 de enero de 2009): 27. http://dx.doi.org/10.3776/ncl.v62i1.149.
Texto completoSubramanian, Ajantha. "Making Merit: The Indian Institutes of Technology and the Social Life of Caste". Comparative Studies in Society and History 57, n.º 2 (20 de marzo de 2015): 291–322. http://dx.doi.org/10.1017/s0010417515000043.
Texto completoHarrington, Neil y Charles Pickles. "Mindfulness and Cognitive Behavioral Therapy: Are They Compatible Concepts?" Journal of Cognitive Psychotherapy 23, n.º 4 (noviembre de 2009): 315–23. http://dx.doi.org/10.1891/0889-8391.23.4.315.
Texto completoWright, Ben. "Confederate Statues and Their Dirty Laundry". Journal of the Gilded Age and Progressive Era 18, n.º 03 (julio de 2019): 349–59. http://dx.doi.org/10.1017/s1537781419000070.
Texto completoTilenbaeva, Gulnara, Samara Karabaeva, Nurzada Kambarova, Asanbek Akmataliev, Damirbek Yrazakov, Erkaiym Sharipova y Rustambek Salimov. "The spiritual culture of the younger generation - the key to the development of society". E3S Web of Conferences 284 (2021): 08021. http://dx.doi.org/10.1051/e3sconf/202128408021.
Texto completoPriori, Andrea. "Young people first! The multiple inscriptions of a generational discourse of Muslimness among Italian-Bangladeshi youths". Migration Letters 18, n.º 1 (28 de enero de 2021): 97–109. http://dx.doi.org/10.33182/ml.v18i1.1058.
Texto completoWong, Elaine. "Translingual Poets in Colonial and Postcolonial Taiwan". Polylinguality and Transcultural Practices 19, n.º 1 (16 de marzo de 2022): 28–35. http://dx.doi.org/10.22363/2618-897x-2022-19-1-28-35.
Texto completoReddy, Peter y Vanessa Parson. "Student Response to a Pub Quiz Style First Year Psychology Assessment". Psychology Learning & Teaching 6, n.º 2 (septiembre de 2007): 154–59. http://dx.doi.org/10.2304/plat.2007.6.2.154.
Texto completoBarnes, Candice Dowd, Patty Kohler-Evans y Rachel A. Wingfield. "Are we Effectively Teaching Today’s College Student?" International Journal of Education (IJE) 8, n.º 4 (30 de diciembre de 2020): 45–54. http://dx.doi.org/10.5121/ije.2020.8405.
Texto completoSin, Bong-Kee y Jin H. Kim. "Network-Based Approach to Korean Handwriting Analysis". International Journal of Pattern Recognition and Artificial Intelligence 12, n.º 02 (marzo de 1998): 233–49. http://dx.doi.org/10.1142/s0218001498000166.
Texto completoVeg, Sebastian. "Creating a Textual Public Space: Slogans and Texts from Hong Kong's Umbrella Movement". Journal of Asian Studies 75, n.º 3 (agosto de 2016): 673–702. http://dx.doi.org/10.1017/s0021911816000565.
Texto completoEdwards, M. J. "Treading the Aether: Lucretius,De Rerum Natura1.62–79". Classical Quarterly 40, n.º 2 (diciembre de 1990): 465–69. http://dx.doi.org/10.1017/s0009838800043032.
Texto completoBukowczyk, John J. "The Transforming Power of the Machine: Popular Religion, Ideology, and Secularization among Polish Immigrant Workers in the United States, 1880–1940". International Labor and Working-Class History 34 (1988): 22–38. http://dx.doi.org/10.1017/s0147547900005019.
Texto completoBrooks, Nicholas. "Why is the Anglo-Saxon Chronicle About Kings?" Anglo-Saxon England 39 (diciembre de 2010): 43–70. http://dx.doi.org/10.1017/s0263675110000050.
Texto completoDavis-Mendelow, Sammy, Jorge Baier y Sheila McIlraith. "Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge". Proceedings of the AAAI Conference on Artificial Intelligence 27, n.º 1 (30 de junio de 2013): 209–16. http://dx.doi.org/10.1609/aaai.v27i1.8687.
Texto completoVan der Merwe, C. y N. J. Snyman. "Semiotiese fokus op die gedig as estetiese teken-objek". Literator 11, n.º 2 (6 de mayo de 1990): 95–108. http://dx.doi.org/10.4102/lit.v11i2.804.
Texto completoDutta, Dilip. "Sustained human development as a psycho-social evolution from individuality to personality". International Journal of Development Issues 13, n.º 3 (26 de agosto de 2014): 188–203. http://dx.doi.org/10.1108/ijdi-06-2014-0050.
Texto completoOgunlola, Layo. "The Pre-colonial Yoruba Education System: Catalyst Against Immorality". Yoruba Studies Review 5, n.º 1.2 (21 de diciembre de 2021): 1–15. http://dx.doi.org/10.32473/ysr.v5i1.2.130109.
Texto completoLipski, John M. "Reconstructing the life-cycle of a mixed language: An exploration of Ecuadoran Media Lengua". International Journal of Bilingualism 24, n.º 2 (26 de abril de 2019): 410–36. http://dx.doi.org/10.1177/1367006919842668.
Texto completoPuczyłowski, Tomasz. "Fictional names, their use and pragmatic interpretations". Semiotica 2021, n.º 240 (24 de marzo de 2021): 165–85. http://dx.doi.org/10.1515/sem-2020-0005.
Texto completoWashio, S., S. Kikui y S. Takahashi. "Nucleation and subsequent cavitation in a hydraulic oil poppet valve". Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science 224, n.º 4 (1 de abril de 2010): 947–58. http://dx.doi.org/10.1243/09544062jmes1618.
Texto completoLincicome, Mark E. "Nationalism, Imperialism, and the International Education Movement in Early Twentieth-Century Japan". Journal of Asian Studies 58, n.º 2 (mayo de 1999): 338–60. http://dx.doi.org/10.2307/2659400.
Texto completoHuang, Zhe, Viet Cao, Esther Laurentine Nya, Willis Gwenzi y Chicgoua Noubactep. "Kanchan Arsenic Filters and the Future of Fe0-Based Filtration Systems for Single Household Drinking Water Supply". Processes 9, n.º 1 (29 de diciembre de 2020): 58. http://dx.doi.org/10.3390/pr9010058.
Texto completoRobinson, Greg. "Nisei in Gotham: The JACD and Japanese Americans in 1940s New York". Prospects 30 (octubre de 2005): 581–95. http://dx.doi.org/10.1017/s0361233300002180.
Texto completoPálmai, Gergely, Szabolcs Csernyák y Zoltán Erdélyi. "Authentic and Reliable Data in the Service of National Public Data Asset". Pénzügyi Szemle = Public Finance Quarterly 66, Special edition 2021/1 (2021): 52–67. http://dx.doi.org/10.35551/pfq_2021_s_1_3.
Texto completoBhavani J y Ravichandran S. "Underlying antioxidant activity in the anticonvulsant potency of polyherbal tonic". International Journal of Pharmaceutical Research and Life Sciences 7, n.º 2 (6 de julio de 2020): 25–29. http://dx.doi.org/10.26452/ijprls.v7i2.1219.
Texto completoLyons, Sean T., Linda Schweitzer y Eddy S. W. Ng. "How have careers changed? An investigation of changing career patterns across four generations". Journal of Managerial Psychology 30, n.º 1 (9 de febrero de 2015): 8–21. http://dx.doi.org/10.1108/jmp-07-2014-0210.
Texto completo