Статті в журналах з теми "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 (November 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 (April 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 (December 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 (October 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 (September 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 (June 20, 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 (September 1, 2021): 44–53. http://dx.doi.org/10.2478/lf-2021-0010.
Повний текст джерелаHolt, Marilyn E., Kathleen F. Mittendorf, Michele LeNoue-Newton, Neha M. Jain, Ingrid Anderson, Christine M. Lovly, Travis Osterman, Christine Micheel, and Mia Levy. "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 (June 23, 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 (April 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 (January 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 (December 1999): 565–78. http://dx.doi.org/10.1080/009059999108830.
Повний текст джерелаPizani, Paulo S., M. R. Joya, F. M. Pontes, L. P. S. Santos, M. Godinho Jr, E. R. Leite, and Elson Longo. "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 (March 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 (April 13, 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 (November 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 (January 14, 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 (September 30, 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 (March 23, 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 (January 20, 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 (March 20, 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 (November 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 (July 2019): 349–59. http://dx.doi.org/10.1017/s1537781419000070.
Повний текст джерелаTilenbaeva, Gulnara, Samara Karabaeva, Nurzada Kambarova, Asanbek Akmataliev, Damirbek Yrazakov, Erkaiym Sharipova, and 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.
Повний текст джерелаPriori, Andrea. "Young people first! The multiple inscriptions of a generational discourse of Muslimness among Italian-Bangladeshi youths." Migration Letters 18, no. 1 (January 28, 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 (March 16, 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 (September 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 (December 30, 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 (March 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 (August 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 (December 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 (June 30, 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 (May 6, 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 (August 26, 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 (December 21, 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 (April 26, 2019): 410–36. http://dx.doi.org/10.1177/1367006919842668.
Повний текст джерелаPuczyłowski, Tomasz. "Fictional names, their use and pragmatic interpretations." Semiotica 2021, no. 240 (March 24, 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 (April 1, 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 (May 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 (December 29, 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 (July 6, 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 (February 9, 2015): 8–21. http://dx.doi.org/10.1108/jmp-07-2014-0210.
Повний текст джерела