Artykuły w czasopismach na temat „MSO logic”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „MSO logic”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
D'agostino, Giovanna, i Marco Hollenberg. "Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski". Journal of Symbolic Logic 65, nr 1 (marzec 2000): 310–32. http://dx.doi.org/10.2307/2586539.
Pełny tekst źródłaAbdul-Adheem, Wameedh Riyadh. "Design and simulation of a normalized fuzzy logic controller for the quadruple-tank process". Indonesian Journal of Electrical Engineering and Computer Science 18, nr 1 (1.04.2020): 227. http://dx.doi.org/10.11591/ijeecs.v18.i1.pp227-234.
Pełny tekst źródłaCARTON, OLIVIER, THOMAS COLCOMBET i GABRIELE PUPPIS. "AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS". Journal of Symbolic Logic 83, nr 3 (wrzesień 2018): 1147–89. http://dx.doi.org/10.1017/jsl.2018.7.
Pełny tekst źródłaJeandel, Emmanuel, i Guillaume Theyssier. "Subshifts as models for MSO logic". Information and Computation 225 (kwiecień 2013): 1–15. http://dx.doi.org/10.1016/j.ic.2013.01.003.
Pełny tekst źródłaDroste, Manfred, i Vitaly Perevoshchikov. "Multi-weighted Automata and MSO Logic". Theory of Computing Systems 59, nr 2 (27.10.2015): 231–61. http://dx.doi.org/10.1007/s00224-015-9658-9.
Pełny tekst źródłaCalvanese, Diego, Giuseppe De Giacomo, Maurizio Lenzerini i Moshe Vardi. "Node Selection Query Languages for Trees". Proceedings of the AAAI Conference on Artificial Intelligence 24, nr 1 (3.07.2010): 279–84. http://dx.doi.org/10.1609/aaai.v24i1.7598.
Pełny tekst źródłaGastin, Paul, Amaldev Manuel i R. Govind. "Reversible Regular Languages: Logical and Algebraic Characterisations". Fundamenta Informaticae 180, nr 4 (30.06.2021): 333–50. http://dx.doi.org/10.3233/fi-2021-2045.
Pełny tekst źródłaEcheverría, Martin. "Experiencing Political Advertising Through Social Media Logic: A Qualitative Inquiry". Media and Communication 11, nr 2 (16.05.2023): 127–36. http://dx.doi.org/10.17645/mac.v11i2.6412.
Pełny tekst źródłaVazquez Gonzalez, Jose Luis, Juan Barrios Aviles, Alfredo Rosado Muñoz i Ruben Alejos Palomares. "An Industrial Automation Course: Common Infrastructure for Physical, Virtual and Remote Laboratories for PLC Programming". International Journal of Online Engineering (iJOE) 14, nr 08 (30.08.2018): 4. http://dx.doi.org/10.3991/ijoe.v14i08.8758.
Pełny tekst źródłaAttia, Hussain. "Fuzzy Logic Controller Effectiveness Evaluation through Comparative Memberships for Photovoltaic Maximum Power Point Tracking Function". International Journal of Power Electronics and Drive Systems (IJPEDS) 9, nr 3 (1.09.2018): 1147. http://dx.doi.org/10.11591/ijpeds.v9.i3.pp1147-1156.
Pełny tekst źródłaCueli, Marisol, Paloma González-Castro, Jennifer Krawec, José C. Núñez i Julio A. González-Pienda. "Hipatia: a hypermedia learning environment in mathematics". Anales de Psicología 32, nr 1 (25.12.2015): 98. http://dx.doi.org/10.6018/analesps.32.1.185641.
Pełny tekst źródłaRiba, Colin. "Monoidal-closed categories of tree automata". Mathematical Structures in Computer Science 30, nr 1 (styczeń 2020): 62–117. http://dx.doi.org/10.1017/s0960129519000173.
Pełny tekst źródłaDROSTE, MANFRED, i BUNDIT PIBALJOMMEE. "WEIGHTED NESTED WORD AUTOMATA AND LOGICS OVER STRONG BIMONOIDS". International Journal of Foundations of Computer Science 25, nr 05 (sierpień 2014): 641–66. http://dx.doi.org/10.1142/s0129054114500269.
Pełny tekst źródłaNaik Dessai, Sanket Suresh. "Design and Implementation of an Ethernet MAC IP Core for Embedded Applications". International Journal of Reconfigurable and Embedded Systems (IJRES) 3, nr 3 (1.11.2014): 85. http://dx.doi.org/10.11591/ijres.v3.i3.pp85-97.
Pełny tekst źródłaBojańczyk, Mikołaj, i Bartek Klin. "Polyregular Functions on Unordered Trees of Bounded Height". Proceedings of the ACM on Programming Languages 8, POPL (5.01.2024): 1326–51. http://dx.doi.org/10.1145/3632887.
Pełny tekst źródłaPujiyanto, Fajar, i Eka Darmana. "ANALISIS PERUBAHAN TEMPERATUR INDUKSI MOTOR 3 PHASE BERBASIS FUZZY INFERENCE SYSTEM (FIS)". JURNAL SAINS DAN TEKNOLOGI MARITIM 23, nr 1 (27.09.2022): 15. http://dx.doi.org/10.33556/jstm.v23i1.319.
Pełny tekst źródłaBroadbent, Christopher H., Arnaud Carayol, C. H. Luke Ong i Olivier Serre. "Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties". ACM Transactions on Computational Logic 22, nr 2 (15.05.2021): 1–37. http://dx.doi.org/10.1145/3452917.
Pełny tekst źródłaOdden, Dave. "Formal Phonology". Nordlyd 40, nr 1 (15.02.2013): 249. http://dx.doi.org/10.7557/12.2476.
Pełny tekst źródłaWalia, Navneet, Harsukhpreet Singh i Anurag Sharma. "Effective Analysis of Lung Infection using Fuzzy Rules". IAES International Journal of Artificial Intelligence (IJ-AI) 5, nr 2 (20.08.2016): 55. http://dx.doi.org/10.11591/ijai.v5.i2.pp55-63.
Pełny tekst źródłaAnnala, Linda, Pia Eva Polsa i Gyöngyi Kovács. "Changing institutional logics and implications for supply chains: Ethiopian rural water supply". Supply Chain Management: An International Journal 24, nr 3 (7.05.2019): 355–76. http://dx.doi.org/10.1108/scm-02-2018-0049.
Pełny tekst źródłaKwak, Wikil, Xiaoyan Cheng i Jinlan Ni. "Predicting Bankruptcy After The Sarbanes-Oxley Act Using Logit Analysis". Journal of Business & Economics Research (JBER) 10, nr 9 (17.08.2012): 521. http://dx.doi.org/10.19030/jber.v10i9.7192.
Pełny tekst źródłaRagavendran, U., i M. Ramachandran. "Low Power and Low Complexity Flip-Flop Design using MIFGMOS". International Journal of Engineering & Technology 7, nr 3.1 (4.08.2018): 183. http://dx.doi.org/10.14419/ijet.v7i3.1.17233.
Pełny tekst źródłaKlinger, Ulrike, i Jakob Svensson. "The end of media logics? On algorithms and agency". New Media & Society 20, nr 12 (25.06.2018): 4653–70. http://dx.doi.org/10.1177/1461444818779750.
Pełny tekst źródłaDroste, Manfred, Temur Kutsia, George Rahonis i Wolfgang Schreiner. "MK-fuzzy Automata and MSO Logics". Electronic Proceedings in Theoretical Computer Science 256 (6.09.2017): 106–20. http://dx.doi.org/10.4204/eptcs.256.8.
Pełny tekst źródłaQuaas, Karin. "MSO logics for weighted timed automata". Formal Methods in System Design 38, nr 3 (20.01.2011): 193–222. http://dx.doi.org/10.1007/s10703-011-0112-6.
Pełny tekst źródłaDroste, Manfred, Temur Kutsia, George Rahonis i Wolfgang Schreiner. "McCarthy-Kleene fuzzy automata and MSO logics". Information and Computation 272 (czerwiec 2020): 104499. http://dx.doi.org/10.1016/j.ic.2019.104499.
Pełny tekst źródłaGupta, Kirti, Neeta Pandey i Maneesha Gupta. "MOS Current Mode Logic with Capacitive Coupling". ISRN Electronics 2012 (5.11.2012): 1–7. http://dx.doi.org/10.5402/2012/473257.
Pełny tekst źródłaVishnoi, Vishal, Sheela Tiwari i Rajesh Kumar Singla. "Controller Design for Temperature Control of MISO Water Tank System". International Journal of Cognitive Informatics and Natural Intelligence 15, nr 4 (październik 2021): 1–13. http://dx.doi.org/10.4018/ijcini.20211001.oa35.
Pełny tekst źródłaIshikawa, Yohei, Sumio Fukai i Masayoshi Aikawa. "Advanced Neuron MOS Variable Logic Circuit". IEEJ Transactions on Electronics, Information and Systems 126, nr 2 (2006): 196–202. http://dx.doi.org/10.1541/ieejeiss.126.196.
Pełny tekst źródłaKotani, K., T. Shibata, M. Imai i T. Ohmi. "Clock-controlled neuron-MOS logic gates". IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 45, nr 4 (kwiecień 1998): 518–22. http://dx.doi.org/10.1109/82.663810.
Pełny tekst źródłaSharmila Devi, S., i V. Bhanumathi. "Reversible Logic Based MOS Current Mode Logic Implementation in Digital Circuits". Computers, Materials & Continua 70, nr 2 (2022): 3609–24. http://dx.doi.org/10.32604/cmc.2022.020426.
Pełny tekst źródłaLiu, Yuchun, i Fuxing Gu. "A wafer-scale synthesis of monolayer MoS2 and their field-effect transistors toward practical applications". Nanoscale Advances 3, nr 8 (2021): 2117–38. http://dx.doi.org/10.1039/d0na01043j.
Pełny tekst źródłaKim, Jeong-Beom. "Design of a Low-Power MOS Current-Mode Logic Circuit". KIPS Transactions:PartA 17A, nr 3 (30.06.2010): 121–26. http://dx.doi.org/10.3745/kipsta.2010.17a.3.121.
Pełny tekst źródłaBauer, Anton J., Martin Lemberger, Tobias Erlbacher i Wenke Weinreich. "High-K: Latest Developments and Perspectives". Materials Science Forum 573-574 (marzec 2008): 165–80. http://dx.doi.org/10.4028/www.scientific.net/msf.573-574.165.
Pełny tekst źródłaHopper, Jeffrey D. "Benefits Of Inmate Employment Programs: Evidence From The Prison Industry Enhancement Certification Program". Journal of Business & Economics Research (JBER) 11, nr 5 (27.04.2013): 213. http://dx.doi.org/10.19030/jber.v11i5.7836.
Pełny tekst źródłaShapiro, Alexander, i Eby Friedman. "MOS Current Mode Logic Near Threshold Circuits". Journal of Low Power Electronics and Applications 4, nr 2 (11.06.2014): 138–52. http://dx.doi.org/10.3390/jlpea4020138.
Pełny tekst źródłaSubrahmanyam, J. S. R., i P. Pal Chaudhuri. "Diagnostic Logic Graph for Testing MOS Circuits". IETE Journal of Research 34, nr 4 (lipiec 1988): 312–18. http://dx.doi.org/10.1080/03772063.1988.11436745.
Pełny tekst źródłaShyh-Jye Jou, Wen-Zen Shen, Chein-Wei Jen i Chung-Len Lee. "Simulatable timing model for MOS logic circuit". IEE Proceedings G (Electronic Circuits and Systems) 134, nr 6 (1987): 276. http://dx.doi.org/10.1049/ip-g-1.1987.0042.
Pełny tekst źródłaTanaka, Masaaki, i Satoshi Sugahara. "MOS-Based Spin Devices for Reconfigurable Logic". IEEE Transactions on Electron Devices 54, nr 5 (maj 2007): 961–76. http://dx.doi.org/10.1109/ted.2007.894375.
Pełny tekst źródłaMizuno, M., M. Yamashina, K. Furuta, H. Igura, H. Abiko, K. Okabe, A. Ono i H. Yamada. "A GHz MOS adaptive pipeline technique using MOS current-mode logic". IEEE Journal of Solid-State Circuits 31, nr 6 (czerwiec 1996): 784–91. http://dx.doi.org/10.1109/4.509864.
Pełny tekst źródłaSharroush, Sherif, i Sherif Nafea. "A Novel Domino Logic Based on Floating-Gate MOS Transistors". Jordan Journal of Electrical Engineering 9, nr 3 (2023): 410. http://dx.doi.org/10.5455/jjee.204-1672498383.
Pełny tekst źródłaAhmed, Irfan, Sebastian Obermeier, Sneha Sudhakaran i Vassil Roussev. "Programmable Logic Controller Forensics". IEEE Security & Privacy 15, nr 6 (listopad 2017): 18–24. http://dx.doi.org/10.1109/msp.2017.4251102.
Pełny tekst źródłaFülöp, Zoltán, i Heiko Vogler. "Characterizing weighted MSO for trees by branching transitive closure logics". Theoretical Computer Science 594 (sierpień 2015): 82–105. http://dx.doi.org/10.1016/j.tcs.2015.04.024.
Pełny tekst źródłaBibilo, P. N., I. V. Vasil'kova, S. N. Kardash, N. A. Kirienko, I. P. Loginova, Ya A. Novikov, V. I. Romanov, N. R. Toropov, D. I. Cheremisinov i L. D. Cheremisinova. "Custom Logic: A Toolkit for the Design of VLSI Custom Control MOS Logic". Russian Microelectronics 33, nr 5 (wrzesień 2004): 310–27. http://dx.doi.org/10.1023/b:rumi.0000043048.18075.db.
Pełny tekst źródłaGupta, Kirti, Neeta Pandey i Maneesha Gupta. "Multithreshold MOS Current Mode Logic Based Asynchronous Pipeline Circuits". ISRN Electronics 2012 (5.12.2012): 1–7. http://dx.doi.org/10.5402/2012/529194.
Pełny tekst źródłaFonseca, Rodolpho Rodrigues, Ivan Carlos Franco, José Pedro Thompson i Flavio Vasconcelos da Silva. "Turbidity control on dissolved air flotation process using fuzzy logic". Water Science and Technology 78, nr 12 (29.12.2018): 2586–96. http://dx.doi.org/10.2166/wst.2019.015.
Pełny tekst źródłaDokic, Branko, Tatjana Pesic-Brdjanin i Rados Dabic. "Analytic models of CMOS logic in various regimes". Serbian Journal of Electrical Engineering 11, nr 2 (2014): 269–90. http://dx.doi.org/10.2298/sjee140106022d.
Pełny tekst źródłaLIU, YUYU, JINGUO QUAN, HUAZHONG YANG i HUI WANG. "MOS CURRENT MODE LOGIC CIRCUITS: DESIGN CONSIDERATION IN HIGH-SPEED LOW-POWER APPLICATIONS AND ITS FUTURE TREND, A TUTORIAL". International Journal of High Speed Electronics and Systems 15, nr 03 (wrzesień 2005): 599–614. http://dx.doi.org/10.1142/s0129156405003351.
Pełny tekst źródłaFeizi, Khadijeh, i Ali Shahhoseini. "Design of Quaternary Half Adder Using Hybrid SETMOS Cell". Applied Mechanics and Materials 110-116 (październik 2011): 5085–89. http://dx.doi.org/10.4028/www.scientific.net/amm.110-116.5085.
Pełny tekst źródłaLiao, Wugang, Lin Wang, Li Chen, Wei Wei, Zhe Zeng, Xuewei Feng, Li Huang i in. "Efficient and reliable surface charge transfer doping of black phosphorus via atomic layer deposited MgO toward high performance complementary circuits". Nanoscale 10, nr 36 (2018): 17007–14. http://dx.doi.org/10.1039/c8nr04420a.
Pełny tekst źródła