Journal articles on the topic 'Assertion generation'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Assertion generation.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
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.
Full textBoulé, 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.
Full textWitharana, 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.
Full textTong, 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.
Full textKerpedjiev, 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.
Full textSalehi 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.
Full textCrowley, 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.
Full textPeč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.
Full textBennett, 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.
Full textHolt, 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.
Full textAhdar, 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.
Full textYang, 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.
Full textFleischmann, 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.
Full textArikuma, 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.
Full textMarples, 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.
Full textPizani, 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.
Full textCardwell, 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.
Full textCooley, 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.
Full textEckert, 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.
Full textKayapı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.
Full textSedikides, 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.
Full textWalker, 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.
Full textWaqar, 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.
Full textFergusson, 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.
Full textSubramanian, 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.
Full textHarrington, 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.
Full textWright, 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.
Full textTilenbaeva, 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.
Full textPriori, 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.
Full textWong, 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.
Full textReddy, 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.
Full textBarnes, 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.
Full textSin, 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.
Full textVeg, 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.
Full textEdwards, 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.
Full textBukowczyk, 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.
Full textBrooks, Nicholas. "Why is the Anglo-Saxon Chronicle About Kings?" Anglo-Saxon England 39 (December 2010): 43–70. http://dx.doi.org/10.1017/s0263675110000050.
Full textDavis-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.
Full textVan 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.
Full textDutta, 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.
Full textOgunlola, 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.
Full textLipski, 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.
Full textPuczył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.
Full textWashio, 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.
Full textLincicome, 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.
Full textHuang, 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.
Full textRobinson, 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.
Full textPá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.
Full textBhavani 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.
Full textLyons, 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.
Full text