Articles de revues sur le sujet « Assertion abstraction »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Assertion abstraction ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Uchevler, Bahram N., et Kjetil Svarstad. « Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions ». International Journal of Reconfigurable Computing 2018 (10 juillet 2018) : 1–25. http://dx.doi.org/10.1155/2018/3276159.
Texte intégralZheng, Desheng, Xiaoyu Li, Guowu Yang, Hai Wang et Lulu Tian. « An assertion graph based abstraction algorithm in GSTE and Its application ». Integration 63 (septembre 2018) : 1–8. http://dx.doi.org/10.1016/j.vlsi.2018.03.009.
Texte intégralAUGUSTON, M., et P. FRITZSON. « PARFORMAN—AN ASSERTION LANGUAGE FOR SPECIFYING BEHAVIOR WHEN DEBUGGING PARALLEL APPLICATIONS ». International Journal of Software Engineering and Knowledge Engineering 06, no 04 (décembre 1996) : 609–40. http://dx.doi.org/10.1142/s0218194096000259.
Texte intégralRevoy, Bert. « Jevons on measurement. Replay : The mathematisation of economics in the Jevonsonian theory ». Recherches économiques de Louvain 64, no 3 (1998) : 353–56. http://dx.doi.org/10.1017/s0770451800012860.
Texte intégralAlimi, Nejmeddine, Younes Lahbib, Mohsen Machhout et Rached Tourki. « Functional Verification of Large-integers Circuits using a Cosimulation-based Approach ». International Journal of Electrical and Computer Engineering (IJECE) 7, no 4 (1 août 2017) : 2192. http://dx.doi.org/10.11591/ijece.v7i4.pp2192-2205.
Texte intégralMenis, Susanna. « How to Write a Positivist Legal History : Lessons from the 18th and 19th Centuries English Jurists William Blackstone and James Fitzjames Stephen ». Histories 1, no 3 (12 août 2021) : 169–83. http://dx.doi.org/10.3390/histories1030017.
Texte intégralBiro, Andrew. « Reading a water menu : Bottled water and the cultivation of taste ». Journal of Consumer Culture 19, no 2 (12 juillet 2017) : 231–51. http://dx.doi.org/10.1177/1469540517717779.
Texte intégralvan Rooij, Malou. « Carefully Constructed Yet Curiously Real : How Major American Animation Studios Generate Empathy Through a Shared Style of Character Design ». Animation 14, no 3 (novembre 2019) : 191–206. http://dx.doi.org/10.1177/1746847719875071.
Texte intégralGARCÍA-CONTRERAS, ISABEL, JOSÉ F. MORALES et MANUEL V. HERMENEGILDO. « Semantic code browsing ». Theory and Practice of Logic Programming 16, no 5-6 (septembre 2016) : 721–37. http://dx.doi.org/10.1017/s1471068416000417.
Texte intégralHarriger, Katy J. « In Defense of Cooper v. Aaron : Distinguishing among Judicial Supremacy Claims ». Review of Politics 78, no 3 (2016) : 443–65. http://dx.doi.org/10.1017/s0034670516000346.
Texte intégralJONES, JUSTIN. « ‘Acting upon our Religion’ : Muslim women's movements and the remodelling of Islamic practice in India ». Modern Asian Studies 55, no 1 (2 mars 2020) : 40–74. http://dx.doi.org/10.1017/s0026749x1900043x.
Texte intégralMac-Barango, D. O., et P. C. Nwogu. « Ranking of Variables Influencing Construction Project ». WORLD JOURNAL OF FINANCE AND INVESTMENT RESEARCH 6, no 1 (11 août 2022) : 49–61. http://dx.doi.org/10.56201/wjfir.v6.no1.2022.pg49.61.
Texte intégralAddie, Jean-Paul D. « Stuck inside the urban with the dialectical blues again : abstraction and generality in urban theory ». Cambridge Journal of Regions, Economy and Society 13, no 3 (14 août 2020) : 575–92. http://dx.doi.org/10.1093/cjres/rsaa020.
Texte intégralIlina, Irina, et Andrey Klypin. « SCIENTIFIC AND TECHNOLOGICAL ADVANCEMENT OF THE RUSSIAN FEDERATION : CURRENT STATE AND PROSPECTS ». Science Governance and Scientometrics 15, no 4 (1 décembre 2020) : 458–85. http://dx.doi.org/10.33873/2686-6706.2020.15-4.458-485.
Texte intégralHoulgate, Stephen. « Hegel's Critique of the Triumph of Verstand in Modernity ». Hegel Bulletin 18, no 01 (1997) : 54–70. http://dx.doi.org/10.1017/s0263523200001191.
Texte intégralSantiago, Amitha. « NURTURING ABSTRACTIONS OF THE NATION IN RELIGIO-CULTURAL IDENTITY ASSERTIONS AND SPACES OF GENEROSITY IN SUFI DARGHAS OF KARNATAKA ». International Journal of Interreligious and Intercultural Studies 1, no 1 (1 octobre 2018) : 85–94. http://dx.doi.org/10.32795/ijiis.vol1.iss1.2018.33.
Texte intégralFudge, Judy. « What Do We Mean by Law and Social Transformation?. » Canadian journal of law and society 5 (1990) : 47–70. http://dx.doi.org/10.1017/s082932010000171x.
Texte intégralDunning, David. « Get thee to a laboratory ». Behavioral and Brain Sciences 34, no 1 (février 2011) : 18–19. http://dx.doi.org/10.1017/s0140525x10002530.
Texte intégralEKONG, JOSEPH T. « A Ratiocinative Study and Assessment of W. V. O. Quine’s “Criterion of Ontological Commitment” ». International Journal of Philosophy 1, no 1 (7 octobre 2022) : 41–58. http://dx.doi.org/10.47941/ijp.1052.
Texte intégralRAMS, MICHAŁ, et KÁROLY SIMON. « Projections of fractal percolations ». Ergodic Theory and Dynamical Systems 35, no 2 (11 septembre 2013) : 530–45. http://dx.doi.org/10.1017/etds.2013.45.
Texte intégralHoward, Paul. « Unions of well-ordered sets ». Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics 56, no 1 (février 1994) : 117–24. http://dx.doi.org/10.1017/s1446788700034753.
Texte intégralKim, Junyeol. « Does Frege Have a Metalinguistic Truth-Predicate in Begriffsschrift ? » Canadian Journal of Philosophy 51, no 3 (avril 2021) : 191–203. http://dx.doi.org/10.1017/can.2021.3.
Texte intégralCooper, Alan, et Bernard R. Goldstein. « The Cult of the Dead and the Theme of Entry Into the Land ». Biblical Interpretation 1, no 3 (1993) : 285–303. http://dx.doi.org/10.1163/156851593x00179.
Texte intégralAmbos-Spies, Klaus, Bjørn Kjos-Hanssen, Steffen Lempp et Theodore A. Slaman. « Comparing DNR and WWKL ». Journal of Symbolic Logic 69, no 4 (décembre 2004) : 1089–104. http://dx.doi.org/10.2178/jsl/1102022212.
Texte intégralWare, Owen. « Accessing the Moral Law through Feeling ». Kantian Review 20, no 2 (30 juin 2015) : 301–11. http://dx.doi.org/10.1017/s1369415415000060.
Texte intégralWIELENBERG, ERIK J. « Sceptical theism and divine lies ». Religious Studies 46, no 4 (14 juin 2010) : 509–23. http://dx.doi.org/10.1017/s0034412510000247.
Texte intégralHasty, Olga. « Memory, Consciousness, and Time in Nabokov's Lolita ». KronoScope 4, no 2 (2004) : 225–38. http://dx.doi.org/10.1163/1568524042801400.
Texte intégralGostanian, Anthony. « How the FDA Can Overturn Wyeth v. Levine ». American Journal of Law & ; Medicine 36, no 1 (mars 2010) : 249–69. http://dx.doi.org/10.1177/009885881003600106.
Texte intégralRüede, Christian. « Transfinite dependent choice and ω-model reflection ». Journal of Symbolic Logic 67, no 3 (septembre 2002) : 1153–68. http://dx.doi.org/10.2178/jsl/1190150155.
Texte intégralMcCall, Grant S. « Altitude Adjustments : More on Didima Gorge and New Directions in Rock Art Research ». American Antiquity 77, no 4 (octobre 2012) : 813–17. http://dx.doi.org/10.7183/0002-7316.77.4.813.
Texte intégralEngelmann, Sebastian. « Konflikt als Movens – Chancen für Schule, Religion und Demokratie ». Zeitschrift für Pädagogik und Theologie 71, no 2 (1 juin 2019) : 131–41. http://dx.doi.org/10.1515/zpt-2019-0018.
Texte intégralTorres-Martínez, Sergio. « Translating Wittgenstein : A semiotic translation of the Tractatus ». Semiotica 2020, no 233 (26 mars 2020) : 91–123. http://dx.doi.org/10.1515/sem-2017-0111.
Texte intégralGoldberg, Sanford C. « Social Epistemic Normativity : The Program ». Episteme 17, no 3 (22 juin 2020) : 364–83. http://dx.doi.org/10.1017/epi.2019.54.
Texte intégralStudlar, Donley T., et Richard E. Matland. « The Growth of Women's Representation in the Canadian House of Commons and the Election of 1984 : A Reappraisal ». Canadian Journal of Political Science 27, no 1 (mars 1994) : 53–79. http://dx.doi.org/10.1017/s0008423900006211.
Texte intégralPinciroli, F., G. Pozzi et C. Combi. « Managing Different Time Granularities of Clinical Information by an Interval-based Temporal Data Model ». Methods of Information in Medicine 34, no 05 (septembre 1995) : 458–74. http://dx.doi.org/10.1055/s-0038-1634623.
Texte intégralStrączek, Bogumił. « Beyond Contagion of Violence : Passionate Love and Empathy in the Thought of René Girard and Max Scheler ». Human Studies 45, no 1 (7 décembre 2021) : 157–72. http://dx.doi.org/10.1007/s10746-021-09613-3.
Texte intégralVidalie, Julien, Michel Batteux, Faïda Mhenni et Jean-Yves Choley. « Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies ». Applied Sciences 12, no 12 (9 juin 2022) : 5880. http://dx.doi.org/10.3390/app12125880.
Texte intégralNiewolny, Kim L. « Boundary politics and the social imaginary for sustainable food systems ». Agriculture and Human Values 38, no 3 (2 mai 2021) : 621–24. http://dx.doi.org/10.1007/s10460-021-10214-0.
Texte intégralLindhardt, Martin. « ‘If you are saved you cannot forget your parents’ : Agency, Power, and Social Repositioning in Tanzanian born-again Christianity ». Journal of Religion in Africa 40, no 3 (2010) : 240–72. http://dx.doi.org/10.1163/157006610x530330.
Texte intégralMiller, Vincent J. « An Abyss at The Heart of Mediation : Louis-Marie Chauvet's Fundamental Theology of Sacramentality ». Horizons 24, no 2 (1997) : 230–47. http://dx.doi.org/10.1017/s0360966900017151.
Texte intégralThomas, K. Bailey. « Intersectionality and Epistemic Erasure : A Caution to Decolonial Feminism ». Hypatia 35, no 3 (2020) : 509–23. http://dx.doi.org/10.1017/hyp.2020.22.
Texte intégralNolan, Brian. « Computing the meaning of the assertive speech act by a software agent ». Journal of Computer-Assisted Linguistic Research 1, no 1 (26 juin 2017) : 20. http://dx.doi.org/10.4995/jclr.2017.7786.
Texte intégralWatson, Jada, et Lori Burns. « Resisting exile and asserting musical voice : the Dixie Chicks are ‘Not Ready to Make Nice’ ». Popular Music 29, no 3 (octobre 2010) : 325–50. http://dx.doi.org/10.1017/s0261143010000231.
Texte intégralHunt, Julian, Antonio Sanchez, Win Tadd et Sinead O'Mahony. « Organizational culture and performance in health care for older people : a systematic review ». Reviews in Clinical Gerontology 22, no 3 (17 avril 2012) : 218–34. http://dx.doi.org/10.1017/s0959259812000044.
Texte intégralMcKenna, Richard J., et Mark Campbell Williams. « Paradigms and Approaches to Learning Preparing for the Third Millenium ». Journal of Management & ; Organization 3, no 1 (janvier 1997) : 30–50. http://dx.doi.org/10.1017/s1833367200005988.
Texte intégralGrove, DeeAnn. « White Voters, A Key Piece of the Puzzle : Education, Race, and Electoral Politics ». PS : Political Science & ; Politics 51, no 03 (19 mars 2018) : 517–22. http://dx.doi.org/10.1017/s1049096518000100.
Texte intégralMcKenna, Richard J., et Mark Campbell Williams. « Paradigms and Approaches to Learning Preparing for the Third Millenium ». Journal of the Australian and New Zealand Academy of Management 3, no 1 (janvier 1997) : 30–50. http://dx.doi.org/10.5172/jmo.1997.3.1.30.
Texte intégralMartínez-Bascuñán, Máriam. « Misgivings on Deliberative Democracy : Revisiting the Deliberative Framework ». World Political Science 12, no 2 (1 novembre 2016) : 195–218. http://dx.doi.org/10.1515/wps-2016-0006.
Texte intégralSteenbuch, Johannes Aakjær. « From abstraction to unsaying : how the Eunomian controversy changed Gregory of Nyssa’s aphairetic ethics to an apophatic ethics ». Vox Patrum 68 (16 décembre 2018) : 149–64. http://dx.doi.org/10.31743/vp.3339.
Texte intégralBond, Alan H. « A predicate logic approach to CAD/CAM modeling ». Artificial Intelligence for Engineering Design, Analysis and Manufacturing 6, no 1 (février 1992) : 39–58. http://dx.doi.org/10.1017/s0890060400002936.
Texte intégral