Статті в журналах з теми "Logic-important model"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Logic-important model".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Jiang, Yaozhi. "Dialectical Logic K-Model: A Mathematical Model for Machine." Journal of Mathematics Research 9, no. 6 (October 27, 2017): 82. http://dx.doi.org/10.5539/jmr.v9n6p82.
Повний текст джерелаFu, Lihua, Dan Wang, and Jinyun Kuang. "Parametric Analysis of Flexible Logic Control Model." Discrete Dynamics in Nature and Society 2013 (2013): 1–14. http://dx.doi.org/10.1155/2013/610186.
Повний текст джерелаWang, Huan, Jie Ao Zhu, Xue Liu, and Jeffrey Zheng. "3D Visualization Model and Sample Implementation of 0-1 Function on Variant Logic." Advanced Materials Research 718-720 (July 2013): 480–83. http://dx.doi.org/10.4028/www.scientific.net/amr.718-720.480.
Повний текст джерелаCHARALAMBIDIS, ANGELOS, ZOLTÁN ÉSIK, and PANOS RONDOGIANNIS. "Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation." Theory and Practice of Logic Programming 14, no. 4-5 (July 2014): 725–37. http://dx.doi.org/10.1017/s1471068414000313.
Повний текст джерелаZunaidi, Achmad, and Kurniawan Santoso. "PENERAPAN LOGIC MODEL DAN PENGANGGARAN BERBASIS KINERJA DALAM PERATURAN PENGANGGARAN." Indonesian Treasury Review: Jurnal Perbendaharaan, Keuangan Negara dan Kebijakan Publik 6, no. 3 (September 30, 2021): 195–210. http://dx.doi.org/10.33105/itrev.v6i3.206.
Повний текст джерелаBezhanishvili, Nick, and Tim Henke. "A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem." Journal of Logic and Computation 30, no. 7 (August 26, 2020): 1331–55. http://dx.doi.org/10.1093/logcom/exaa040.
Повний текст джерелаYe, Ming. "Novel Protocol Model Design of Wireless Sensor Real-Time Control Network." Key Engineering Materials 460-461 (January 2011): 741–46. http://dx.doi.org/10.4028/www.scientific.net/kem.460-461.741.
Повний текст джерелаZhu, Weijun, Changwei Feng, and Huanmei Wu. "Model Checking Temporal Logic Formulas Using Sticker Automata." BioMed Research International 2017 (2017): 1–33. http://dx.doi.org/10.1155/2017/7941845.
Повний текст джерелаHamasu, Claire, and Elizabeth Kelly. "The logic model: more than a planning tool." Performance Measurement and Metrics 18, no. 2 (July 10, 2017): 158–64. http://dx.doi.org/10.1108/pmm-08-2017-0032.
Повний текст джерелаChen, Zhen Zi, and Yi Chen. "A Customer Credit Visual Analytics Model Based on Markov Logic Networks." Key Engineering Materials 474-476 (April 2011): 1874–80. http://dx.doi.org/10.4028/www.scientific.net/kem.474-476.1874.
Повний текст джерелаKaraşahin, Mustafa, and Serdal Terzi. "PERFORMANCE MODEL FOR ASPHALT CONCRETE PAVEMENT BASED ON THE FUZZY LOGIC APPROACH." TRANSPORT 29, no. 1 (March 25, 2014): 18–27. http://dx.doi.org/10.3846/16484142.2014.893926.
Повний текст джерелаDiaconescu, Răzvan. "Completeness of category-based equational deduction." Mathematical Structures in Computer Science 5, no. 1 (March 1995): 9–40. http://dx.doi.org/10.1017/s0960129500000621.
Повний текст джерелаZhou, Beihai. "Grafted frames and S1 -completeness." Journal of Symbolic Logic 64, no. 3 (September 1999): 1324–38. http://dx.doi.org/10.2307/2586633.
Повний текст джерелаKnijnenburg, Peter, and Frank Nordemann. "Partial hyperdoctrines: categorical models for partial function logic and Hoare logic." Mathematical Structures in Computer Science 4, no. 2 (June 1994): 117–46. http://dx.doi.org/10.1017/s0960129500000414.
Повний текст джерелаBOUDIAF, NOURA, FARID MOKHATI, and MOURAD BADRI. "SUPPORTING FORMAL VERIFICATION OF DIMA MULTI-AGENTS MODELS: TOWARDS A FRAMEWORK BASED ON MAUDE MODEL CHECKING." International Journal of Software Engineering and Knowledge Engineering 18, no. 07 (November 2008): 853–75. http://dx.doi.org/10.1142/s021819400800391x.
Повний текст джерелаPerháč, Ján, Valerie Novitzká, William Steingartner, and Zuzana Bilanová. "Formal Model of IDS Based on BDI Logic." Mathematics 9, no. 18 (September 17, 2021): 2290. http://dx.doi.org/10.3390/math9182290.
Повний текст джерелаCox, Ruth J. "Using Programme Logic Models in Evaluation: A Review of the Literature and the Spinal Outreach Team Experience." British Journal of Occupational Therapy 63, no. 3 (March 2000): 115–20. http://dx.doi.org/10.1177/030802260006300305.
Повний текст джерелаHintikka, Jaakko. "Truth Definitions, Skolem Functions and Axiomatic Set Theory." Bulletin of Symbolic Logic 4, no. 3 (September 1998): 303–37. http://dx.doi.org/10.2307/421033.
Повний текст джерелаLetts, Lori, and Lynda Dunal. "Tackling Evaluation: Applying a Programme Logic Model to Community Rehabilitation for Adults with Brain Injury." Canadian Journal of Occupational Therapy 62, no. 5 (December 1995): 268–77. http://dx.doi.org/10.1177/000841749506200506.
Повний текст джерелаVENNEKENS, JOOST. "Actual causation in CP-logic." Theory and Practice of Logic Programming 11, no. 4-5 (July 2011): 647–62. http://dx.doi.org/10.1017/s1471068411000226.
Повний текст джерелаJanková, Zuzana, Dipak Kumar Jana, and Petr Dostál. "Investment Decision Support Based on Interval Type-2 Fuzzy Expert System." Engineering Economics 32, no. 2 (April 29, 2021): 118–29. http://dx.doi.org/10.5755/j01.ee.32.2.24884.
Повний текст джерелаEmbree, Robert A. "Personal Beliefs Scale Redux: A Model for Hypothesis Testing." Psychological Reports 78, no. 1 (February 1996): 195–203. http://dx.doi.org/10.2466/pr0.1996.78.1.195.
Повний текст джерелаSaicheur, Koraphon, and Chayanon Hansapinyo. "Structural Repair Prioritization of Buildings Damaged After Earthquake Using Fuzzy Logic Model." Journal of Disaster Research 11, no. 3 (June 1, 2016): 559–65. http://dx.doi.org/10.20965/jdr.2016.p0559.
Повний текст джерелаBahcall, J. N., and M. Cribier. "The Standard Solar Model." International Astronomical Union Colloquium 121 (1990): 21–41. http://dx.doi.org/10.1017/s0252921100067798.
Повний текст джерелаPang, Ngou In, Ruixue Bie, Carolina Oi Lam Ung, and Hao Hu. "Development and Validation of a Logic Model for Utilization of Nutrition Support among Patients with Cancer." BioMed Research International 2020 (June 25, 2020): 1–10. http://dx.doi.org/10.1155/2020/4513719.
Повний текст джерелаAcar, Erman, Massimo Benerecetti, and Fabio Mogavero. "Satisfiability in Strategy Logic Can Be Easier than Model Checking." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 2638–45. http://dx.doi.org/10.1609/aaai.v33i01.33012638.
Повний текст джерелаJiang, Yaozhi. "Dialectical Logic K-Model: the Discrete Time Dynamical Sampling System, Multidimensional Logic Variable and Associate Database(ADB)." Journal of Mathematics Research 10, no. 2 (March 5, 2018): 88. http://dx.doi.org/10.5539/jmr.v10n2p88.
Повний текст джерелаPolyakov, O. M. "Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 5. Introduction to Logic." Discourse 6, no. 3 (July 20, 2020): 109–17. http://dx.doi.org/10.32603/2412-8562-2020-6-3-109-117.
Повний текст джерелаDou, Fei, Limin Jia, Li Wang, Jie Xu, and Yakun Huang. "Fuzzy Temporal Logic Based Railway Passenger Flow Forecast Model." Computational Intelligence and Neuroscience 2014 (2014): 1–9. http://dx.doi.org/10.1155/2014/950371.
Повний текст джерелаMAO, MING-YI, ZHI-CHENG CHEN, and HUA-CAN HE. "A NEW UNIFORM NEURON MODEL OF GENERALIZED LOGIC OPERATORS BASED ON [a,b]." International Journal of Pattern Recognition and Artificial Intelligence 20, no. 02 (March 2006): 159–71. http://dx.doi.org/10.1142/s0218001406004582.
Повний текст джерелаRodrigues, Renato Pontes, Alexandre Ferreira de Pinho, and David Custódio Sena. "Application of Hybrid Simulation in production scheduling in job shop systems." SIMULATION 96, no. 3 (July 11, 2019): 253–68. http://dx.doi.org/10.1177/0037549719861724.
Повний текст джерелаSonis, Jonathan D., Emily L. Aaronson, Allison Castagna, and Benjamin White. "A Conceptual Model for Emergency Department Patient Experience." Journal of Patient Experience 6, no. 3 (August 21, 2018): 173–78. http://dx.doi.org/10.1177/2374373518795415.
Повний текст джерелаScherbaum, Frank, and Nicolas M. Kuehn. "Logic Tree Branch Weights and Probabilities: Summing up to One is not Enough." Earthquake Spectra 27, no. 4 (November 2011): 1237–51. http://dx.doi.org/10.1193/1.3652744.
Повний текст джерелаWang, Rui, Wanwei Liu, Tun Li, Xiaoguang Mao, and Ji Wang. "Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives." Journal of Applied Mathematics 2013 (2013): 1–12. http://dx.doi.org/10.1155/2013/462532.
Повний текст джерелаCheney, James. "Completeness and Herbrand theorems for nominal logic." Journal of Symbolic Logic 71, no. 1 (March 2006): 299–320. http://dx.doi.org/10.2178/jsl/1140641176.
Повний текст джерелаCHUNG, KI-SEOK, TAEWHAN KIM, and C. L. LIU. "A COMPLETE MODEL FOR GLITCH ANALYSIS IN LOGIC CIRCUITS." Journal of Circuits, Systems and Computers 11, no. 02 (April 2002): 137–53. http://dx.doi.org/10.1142/s0218126602000367.
Повний текст джерелаWang, Y., Y. Zhang, Y. Zhou, and M. Zhang. "Knowledge Forgetting in Answer Set Programming." Journal of Artificial Intelligence Research 50 (May 19, 2014): 31–70. http://dx.doi.org/10.1613/jair.4297.
Повний текст джерелаÖzger, Mehmet, and Mehmet Burak Kabataş. "Sediment load prediction by combined fuzzy logic-wavelet method." Journal of Hydroinformatics 17, no. 6 (July 31, 2015): 930–42. http://dx.doi.org/10.2166/hydro.2015.148.
Повний текст джерелаRamya, H. R., and B. K. Sujatha. "Real Time Image Fusion Based Technique for Medical Images." Journal of Computational and Theoretical Nanoscience 17, no. 9 (July 1, 2020): 4500–4508. http://dx.doi.org/10.1166/jctn.2020.9105.
Повний текст джерелаMARTÍ -OLIET, NARCISO, and JOSÉ MESEGUER. "FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY." International Journal of Foundations of Computer Science 02, no. 04 (December 1991): 297–399. http://dx.doi.org/10.1142/s0129054191000182.
Повний текст джерелаYang, Shun Kun, and Guo Qi Li. "Using Model Checking to Verify the Logic Module of Flight Control Software." Applied Mechanics and Materials 341-342 (July 2013): 655–59. http://dx.doi.org/10.4028/www.scientific.net/amm.341-342.655.
Повний текст джерелаBaareh, Abdel Karim M. "Temperature Forecasting System Using Fuzzy Mathematical Model." International Journal of Applied Evolutionary Computation 9, no. 3 (July 2018): 48–57. http://dx.doi.org/10.4018/ijaec.2018070105.
Повний текст джерелаHaynes, Kyle. "Simulating the Bargaining Model of War." PS: Political Science & Politics 48, no. 04 (October 2015): 626–29. http://dx.doi.org/10.1017/s1049096515000888.
Повний текст джерелаHrytsiuk, Petro, and Larysa Bachyshyna. "FORECASTING THE YIELD OF GRAIN CROPS USING FUZZY LOGIC SYSTEMS." International Journal of New Economics and Social Sciences 4, no. 2 (December 30, 2016): 61–70. http://dx.doi.org/10.5604/01.3001.0010.4541.
Повний текст джерелаBarr, Michael. "*-Autonomous categories and linear logic." Mathematical Structures in Computer Science 1, no. 2 (July 1991): 159–78. http://dx.doi.org/10.1017/s0960129500001274.
Повний текст джерелаRABE, FLORIAN. "A logical framework combining model and proof theory." Mathematical Structures in Computer Science 23, no. 5 (March 1, 2013): 945–1001. http://dx.doi.org/10.1017/s0960129512000424.
Повний текст джерелаMadival, Santosh, Manjunath Lingappa Halappa, Mohammed Riyaz Ahmed, and Lokesha Marulaiah. "Application Potential of Fuzzy and Regression in Optimization of MRR and Surface Roughness during Machining of C45 Steel." Periodica Polytechnica Mechanical Engineering 63, no. 2 (March 18, 2019): 132–39. http://dx.doi.org/10.3311/ppme.13171.
Повний текст джерелаIbrahim, A. S., A. S. AL Buloshi, S. S. AL Zaabi, and L. A. AL Yafai. "Mathematical Model Describes Treatment of Waste Water Using Modified Activated Carbon." Journal of Engineering Research [TJER] 14, no. 1 (March 1, 2017): 94. http://dx.doi.org/10.24200/tjer.vol14iss1pp94-104.
Повний текст джерелаScott, Suzi J., Louise D. Denne, and Richard P. Hastings. "Developing a logic model to guide evaluation of impact for learning disability projects: the case of the Positive Behavioural Support (PBS) Academy." Tizard Learning Disability Review 23, no. 3 (July 2, 2018): 125–32. http://dx.doi.org/10.1108/tldr-10-2017-0038.
Повний текст джерелаLevine, Sydney, Max Kleiman-Weiner, Laura Schulz, Joshua Tenenbaum, and Fiery Cushman. "The logic of universalization guides moral judgment." Proceedings of the National Academy of Sciences 117, no. 42 (October 2, 2020): 26158–69. http://dx.doi.org/10.1073/pnas.2014505117.
Повний текст джерела