Статті в журналах з теми "Assertion generation"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Assertion generation".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Li, Pengyi, Jing Sun, and Hai Wang. "Formal Approach to Assertion-Based Code Generation." International Journal of Software Engineering and Knowledge Engineering 27, no. 09n10 (2017): 1637–62. http://dx.doi.org/10.1142/s0218194017400162.
Повний текст джерелаBoulé, M., J. S. Chenard, and Z. Zilic. "Debug enhancements in assertion-checker generation." IET Computers & Digital Techniques 1, no. 6 (2007): 669. http://dx.doi.org/10.1049/iet-cdt:20060209.
Повний текст джерелаWitharana, Hasini, Yangdi Lyu, and Prabhat Mishra. "Directed Test Generation for Activation of Security Assertions in RTL Models." ACM Transactions on Design Automation of Electronic Systems 26, no. 4 (2021): 1–28. http://dx.doi.org/10.1145/3441297.
Повний текст джерелаTong, Jason G., Marc Boulé, and Zeljko Zilic. "Test compaction techniques for assertion-based test generation." ACM Transactions on Design Automation of Electronic Systems 19, no. 1 (2013): 1–29. http://dx.doi.org/10.1145/2534397.
Повний текст джерелаKerpedjiev, Stephan. "Model-Driven, Assertion-Based Generation of Multimedia Weather Information." Bulletin of the American Meteorological Society 76, no. 10 (1995): 1791–800. http://dx.doi.org/10.1175/1520-0477(1995)076<1791:mdabgo>2.0.co;2.
Повний текст джерелаSalehi Fathabadi, Asieh, Mohammadsadegh Dalvandi, Michael Butler, and Bashir M. Al-Hashimi. "Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation." IEEE Embedded Systems Letters 12, no. 3 (2020): 83–86. http://dx.doi.org/10.1109/les.2019.2955316.
Повний текст джерелаCrowley, Timothy J. "On the “Perceptible Bodies” at De Generatione et Corruptione II.1." Revista Archai, no. 27 (September 1, 2019): e2703. http://dx.doi.org/10.14195/1984-249x_27_3.
Повний текст джерелаPečiuliauskienė, Palmira. "The Structure of Interpersonal Communication Skills of the New Generation Senior School Students: The Case of Generations X and Z." Pedagogika 130, no. 2 (2018): 116–30. http://dx.doi.org/10.15823/p.2018.26.
Повний текст джерелаBennett, Tyler James. "Second-Generation Semiology and Detotalization." Linguistic Frontiers 4, no. 2 (2021): 44–53. http://dx.doi.org/10.2478/lf-2021-0010.
Повний текст джерелаHolt, Marilyn E., Kathleen F. Mittendorf, Michele LeNoue-Newton, et al. "My Cancer Genome: Coevolution of Precision Oncology and a Molecular Oncology Knowledgebase." JCO Clinical Cancer Informatics, no. 5 (September 2021): 995–1004. http://dx.doi.org/10.1200/cci.21.00084.
Повний текст джерелаAhdar, Rex. "The Empty Idea of Equality Meets the Unbearable Fullness of Religion." Journal of Law, Religion and State 4, no. 2 (2016): 146–78. http://dx.doi.org/10.1163/22124810-00402002.
Повний текст джерелаYang, D., and Z. Liu. " Study on Chinese farmer cooperative economy organization and agricultural specialization." Agricultural Economics (Zemědělská ekonomika) 58, No. 3 (2012): 135–46. http://dx.doi.org/10.17221/17/2011-agricecon.
Повний текст джерелаFleischmann, Fenella, Karen Phalet, and Marc Swyngedouw. "Dual Identity Under Threat." Zeitschrift für Psychologie 221, no. 4 (2013): 214–22. http://dx.doi.org/10.1027/2151-2604/a000151.
Повний текст джерелаArikuma, Takeshi, Sumi Yoshikawa, Ryuzo Azuma, Kentaro Watanabe, Kazumi Matsumura, and 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.
Повний текст джерелаMarples, David R. "National Awakening and National Consciousness in Belarus." Nationalities Papers 27, no. 4 (1999): 565–78. http://dx.doi.org/10.1080/009059999108830.
Повний текст джерелаPizani, Paulo S., M. R. Joya, F. M. Pontes, et al. "Defect-Induced Photoluminescence of Powdered Silica Glass." Defect and Diffusion Forum 273-276 (February 2008): 479–84. http://dx.doi.org/10.4028/www.scientific.net/ddf.273-276.479.
Повний текст джерелаCardwell, Richard A. "From aesthetic idealism to national concerns?" Journal of Romance Studies 21, no. 1 (2021): 1–30. http://dx.doi.org/10.3828/jrs.2021.1.
Повний текст джерелаCooley, John R., David C. Marshall, and Chris Simon. "Documenting Single-Generation Range Shifts of Periodical Cicada Brood VI (Hemiptera: Cicadidae: Magicicada spp.)." Annals of the Entomological Society of America 114, no. 4 (2021): 477–88. http://dx.doi.org/10.1093/aesa/saab007.
Повний текст джерелаEckert, Candice, Brian Cham, Pengyi Li, Jing Sun, and Gillian Dobbie. "Linking Design Model with Code." International Journal of Software Engineering and Knowledge Engineering 26, no. 09n10 (2016): 1473–91. http://dx.doi.org/10.1142/s0218194016400131.
Повний текст джерелаKayapınar, M. Akif. "Ibn Khaldun's Concept of Assabiyya: An Alternative Tool for Understanding Long-Term Politics." Asian Journal of Social Science 36, no. 3-4 (2008): 375–407. http://dx.doi.org/10.1163/156853108x327010.
Повний текст джерелаSedikides, Constantine, and John J. Skowronski. "In Human Memory, Good Can Be Stronger Than Bad." Current Directions in Psychological Science 29, no. 1 (2020): 86–91. http://dx.doi.org/10.1177/0963721419896363.
Повний текст джерелаWalker, Edward A. "An Alternative to the Alcubierre Theory: Warp Fields by the Gravitation via Accelerated Particles Assertion." Applied Physics Research 8, no. 5 (2016): 44. http://dx.doi.org/10.5539/apr.v8n5p44.
Повний текст джерелаWaqar, Basharat Hussain. "A Conjucture About the Compiler/Author of “Sarf Bahaai”." Negotiations 2, no. 1 (2022): 87–93. http://dx.doi.org/10.54064/negotiations.v2i1.48.
Повний текст джерелаFergusson, David G. "Counterpoint: If Libraries Don't Change, They Won't Be the Place to Get the Books." North Carolina Libraries 62, no. 1 (2009): 27. http://dx.doi.org/10.3776/ncl.v62i1.149.
Повний текст джерелаSubramanian, Ajantha. "Making Merit: The Indian Institutes of Technology and the Social Life of Caste." Comparative Studies in Society and History 57, no. 2 (2015): 291–322. http://dx.doi.org/10.1017/s0010417515000043.
Повний текст джерелаHarrington, Neil, and Charles Pickles. "Mindfulness and Cognitive Behavioral Therapy: Are They Compatible Concepts?" Journal of Cognitive Psychotherapy 23, no. 4 (2009): 315–23. http://dx.doi.org/10.1891/0889-8391.23.4.315.
Повний текст джерелаWright, Ben. "Confederate Statues and Their Dirty Laundry." Journal of the Gilded Age and Progressive Era 18, no. 03 (2019): 349–59. http://dx.doi.org/10.1017/s1537781419000070.
Повний текст джерелаTilenbaeva, Gulnara, Samara Karabaeva, Nurzada Kambarova, et al. "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.
Повний текст джерелаPriori, Andrea. "Young people first! The multiple inscriptions of a generational discourse of Muslimness among Italian-Bangladeshi youths." Migration Letters 18, no. 1 (2021): 97–109. http://dx.doi.org/10.33182/ml.v18i1.1058.
Повний текст джерелаWong, Elaine. "Translingual Poets in Colonial and Postcolonial Taiwan." Polylinguality and Transcultural Practices 19, no. 1 (2022): 28–35. http://dx.doi.org/10.22363/2618-897x-2022-19-1-28-35.
Повний текст джерелаReddy, Peter, and Vanessa Parson. "Student Response to a Pub Quiz Style First Year Psychology Assessment." Psychology Learning & Teaching 6, no. 2 (2007): 154–59. http://dx.doi.org/10.2304/plat.2007.6.2.154.
Повний текст джерелаBarnes, Candice Dowd, Patty Kohler-Evans, and Rachel A. Wingfield. "Are we Effectively Teaching Today’s College Student?" International Journal of Education (IJE) 8, no. 4 (2020): 45–54. http://dx.doi.org/10.5121/ije.2020.8405.
Повний текст джерелаSin, Bong-Kee, and Jin H. Kim. "Network-Based Approach to Korean Handwriting Analysis." International Journal of Pattern Recognition and Artificial Intelligence 12, no. 02 (1998): 233–49. http://dx.doi.org/10.1142/s0218001498000166.
Повний текст джерелаVeg, Sebastian. "Creating a Textual Public Space: Slogans and Texts from Hong Kong's Umbrella Movement." Journal of Asian Studies 75, no. 3 (2016): 673–702. http://dx.doi.org/10.1017/s0021911816000565.
Повний текст джерелаEdwards, M. J. "Treading the Aether: Lucretius,De Rerum Natura1.62–79." Classical Quarterly 40, no. 2 (1990): 465–69. http://dx.doi.org/10.1017/s0009838800043032.
Повний текст джерелаBukowczyk, 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.
Повний текст джерелаBrooks, Nicholas. "Why is the Anglo-Saxon Chronicle About Kings?" Anglo-Saxon England 39 (December 2010): 43–70. http://dx.doi.org/10.1017/s0263675110000050.
Повний текст джерелаDavis-Mendelow, Sammy, Jorge Baier, and Sheila McIlraith. "Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge." Proceedings of the AAAI Conference on Artificial Intelligence 27, no. 1 (2013): 209–16. http://dx.doi.org/10.1609/aaai.v27i1.8687.
Повний текст джерелаVan der Merwe, C., and N. J. Snyman. "Semiotiese fokus op die gedig as estetiese teken-objek." Literator 11, no. 2 (1990): 95–108. http://dx.doi.org/10.4102/lit.v11i2.804.
Повний текст джерелаDutta, Dilip. "Sustained human development as a psycho-social evolution from individuality to personality." International Journal of Development Issues 13, no. 3 (2014): 188–203. http://dx.doi.org/10.1108/ijdi-06-2014-0050.
Повний текст джерелаOgunlola, Layo. "The Pre-colonial Yoruba Education System: Catalyst Against Immorality." Yoruba Studies Review 5, no. 1.2 (2021): 1–15. http://dx.doi.org/10.32473/ysr.v5i1.2.130109.
Повний текст джерелаLipski, John M. "Reconstructing the life-cycle of a mixed language: An exploration of Ecuadoran Media Lengua." International Journal of Bilingualism 24, no. 2 (2019): 410–36. http://dx.doi.org/10.1177/1367006919842668.
Повний текст джерелаPuczyłowski, Tomasz. "Fictional names, their use and pragmatic interpretations." Semiotica 2021, no. 240 (2021): 165–85. http://dx.doi.org/10.1515/sem-2020-0005.
Повний текст джерелаWashio, S., S. Kikui, and 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, no. 4 (2010): 947–58. http://dx.doi.org/10.1243/09544062jmes1618.
Повний текст джерелаLincicome, Mark E. "Nationalism, Imperialism, and the International Education Movement in Early Twentieth-Century Japan." Journal of Asian Studies 58, no. 2 (1999): 338–60. http://dx.doi.org/10.2307/2659400.
Повний текст джерелаHuang, Zhe, Viet Cao, Esther Laurentine Nya, Willis Gwenzi, and Chicgoua Noubactep. "Kanchan Arsenic Filters and the Future of Fe0-Based Filtration Systems for Single Household Drinking Water Supply." Processes 9, no. 1 (2020): 58. http://dx.doi.org/10.3390/pr9010058.
Повний текст джерелаRobinson, Greg. "Nisei in Gotham: The JACD and Japanese Americans in 1940s New York." Prospects 30 (October 2005): 581–95. http://dx.doi.org/10.1017/s0361233300002180.
Повний текст джерелаPálmai, Gergely, Szabolcs Csernyák, and 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.
Повний текст джерелаBhavani J and Ravichandran S. "Underlying antioxidant activity in the anticonvulsant potency of polyherbal tonic." International Journal of Pharmaceutical Research and Life Sciences 7, no. 2 (2020): 25–29. http://dx.doi.org/10.26452/ijprls.v7i2.1219.
Повний текст джерелаLyons, Sean T., Linda Schweitzer, and Eddy S. W. Ng. "How have careers changed? An investigation of changing career patterns across four generations." Journal of Managerial Psychology 30, no. 1 (2015): 8–21. http://dx.doi.org/10.1108/jmp-07-2014-0210.
Повний текст джерела