Articles de revues sur le sujet « Tableau Method »
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 « Tableau Method ».
À 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.
Özdemir, Mehmet Hakan. « Application of Change of Basis in the Simplex Method ». European Journal of Social Sciences Education and Research 11, no 1 (10 juin 2017) : 41. http://dx.doi.org/10.26417/ejser.v11i1.p41-49.
Texte intégralLeszczyńska-Jasion, Dorota, et Szymon Chlebowski. « Synthetic Tableaux with Unrestricted Cut for First-Order Theories ». Axioms 8, no 4 (29 novembre 2019) : 133. http://dx.doi.org/10.3390/axioms8040133.
Texte intégralVassiliev, Nikolay, Vasilii Duzhin et Artem Kuzmin. « On the convergence of bumping routes to their limit shapes in the RSK algorithm : numerical experiments ». Information and Control Systems, no 6 (16 décembre 2021) : 2–9. http://dx.doi.org/10.31799/1684-8853-2021-6-2-9.
Texte intégralAthiemoolam, Logamurthie. « Students’ viewpoints on using tableaux to analyse short stories ». English Teaching : Practice & ; Critique 17, no 3 (13 août 2018) : 245–56. http://dx.doi.org/10.1108/etpc-03-2018-0030.
Texte intégralMacCaull, Wendy. « Tableau method for residuated logic ». Fuzzy Sets and Systems 80, no 3 (juin 1996) : 327–37. http://dx.doi.org/10.1016/0165-0114(95)00199-9.
Texte intégralLI, RENWEI, et AMÍLCAR SERNADAS. « Reasoning About Objects Using a Tableau Method ». Journal of Logic and Computation 1, no 5 (1991) : 575–611. http://dx.doi.org/10.1093/logcom/1.5.575.
Texte intégralQianer, Zhang, et Li Xiangzhu. « Bonded tableau method for many-electron systems ». Journal of Molecular Structure 198 (juillet 1989) : 413–25. http://dx.doi.org/10.1016/0022-2860(89)80053-5.
Texte intégralDatig, Ilka, et Paul Whiting. « Telling your library story : tableau public for data visualization ». Library Hi Tech News 35, no 4 (4 juin 2018) : 6–8. http://dx.doi.org/10.1108/lhtn-02-2018-0008.
Texte intégralBourahla, Mustapha. « Using Rough Set Theory for Reasoning on Vague Ontologies ». International Journal of Intelligent Systems and Applications 14, no 4 (8 août 2022) : 21–36. http://dx.doi.org/10.5815/ijisa.2022.04.03.
Texte intégralMohapatra, Pramoda K. « Modest step towards a Young-tableau method forE6 ». Physical Review D 33, no 10 (15 mai 1986) : 3142–44. http://dx.doi.org/10.1103/physrevd.33.3142.
Texte intégralAucher, Guillaume, Bastien Maubert et François Schwarzentruber. « Tableau Method and NEXPTIME-Completeness of DEL-Sequents ». Electronic Notes in Theoretical Computer Science 278 (novembre 2011) : 17–30. http://dx.doi.org/10.1016/j.entcs.2011.10.003.
Texte intégralXiang-Zhu, Li, et Zhang Qian-Er. « Bonded Tableau Method for Interaction Theory of Chemical Subsystems ». Acta Physico-Chimica Sinica 6, no 02 (1990) : 151–58. http://dx.doi.org/10.3866/pku.whxb19900206.
Texte intégralBabenyshev, Sergey, Vladimir Rybakov, Renate A. Schmidt et Dmitry Tishkovsky. « A Tableau Method for Checking Rule Admissibility in S4 ». Electronic Notes in Theoretical Computer Science 262 (mai 2010) : 17–32. http://dx.doi.org/10.1016/j.entcs.2010.04.003.
Texte intégralAmati, Giambattista, et Fiora Pirri. « A uniform tableau method for intuitionistic modal logics I ». Studia Logica 53, no 1 (1994) : 29–60. http://dx.doi.org/10.1007/bf01053021.
Texte intégralMEADOWS, TOBY. « INFINITARY TABLEAU FOR SEMANTIC TRUTH ». Review of Symbolic Logic 8, no 2 (8 avril 2015) : 207–35. http://dx.doi.org/10.1017/s175502031500012x.
Texte intégralEgly, Uwe, et Leopold Haller. « A SAT Solver for Circuits Based on the Tableau Method ». KI - Künstliche Intelligenz 24, no 1 (11 février 2010) : 15–23. http://dx.doi.org/10.1007/s13218-010-0008-4.
Texte intégralBorger, E. « A description of the tableau method using abstract state machines ». Journal of Logic and Computation 7, no 5 (1 octobre 1997) : 659–81. http://dx.doi.org/10.1093/logcom/7.5.659.
Texte intégralTanwir, Taufik Dwi Saputra, et Johan Setiawan. « Visualisasi Perbandingan Anggaran Pendapatan Dan Belanja Daerah (APBD) Pemerintah Provinsi Kabupaten Dan Kota Di Indonesia Periode 2010-2014 ». Jurnal ULTIMA InfoSys 7, no 2 (12 décembre 2016) : 100–105. http://dx.doi.org/10.31937/si.v7i2.547.
Texte intégralParhusip, Hanna Arini, Suryasatriya Trihandaru, Adrianus Herry Heriadi, Petrus Priyo Santosa et Magdalena Dwi Puspasari. « Data Exploration Using Tableau and Principal Component Analysis ». JOIV : International Journal on Informatics Visualization 6, no 4 (31 décembre 2022) : 911. http://dx.doi.org/10.30630/joiv.6.4.952.
Texte intégralLei Liu, Xin Zhang, Mengmeng Wang et Shuai Lu. « An improved propositional tableau method based on ordering and indexing strategies ». International Journal of Advancements in Computing Technology 5, no 8 (30 avril 2013) : 971–78. http://dx.doi.org/10.4156/ijact.vol5.issue8.107.
Texte intégralHu Kun-Ming et Wang Jian-Bo. « A new Young tableau method of obtaining equivalent-electron Young basis ». Acta Physica Sinica 56, no 3 (2007) : 1253. http://dx.doi.org/10.7498/aps.56.1253.
Texte intégralNardi, Danielle. « Formal synthesis of a unification algorithm by the deductive-tableau method ». Journal of Logic Programming 7, no 1 (juillet 1989) : 1–43. http://dx.doi.org/10.1016/0743-1066(89)90008-3.
Texte intégralJärvisalo, Matti, Tommi Junttila et Ilkka Niemelä. « Unrestricted vs restricted cut in a tableau method for Boolean circuits ». Annals of Mathematics and Artificial Intelligence 44, no 4 (août 2005) : 373–99. http://dx.doi.org/10.1007/s10472-005-7034-1.
Texte intégralKrdzavac, Nenad, Dragan Gasevic et Vladan Devedzic. « Model driven engineering of a tableau algorithm for description logics ». Computer Science and Information Systems 6, no 1 (2009) : 23–43. http://dx.doi.org/10.2298/csis0901023k.
Texte intégralKaur, Manpreet, Sangeet Kumar et Jasdev Bhatti. « Numerical Solution to Sixth Order Ordinary Differential Equation Using Three Stage Eighth Order Runge-Kutta Type Method ». ECS Transactions 107, no 1 (24 avril 2022) : 5081–90. http://dx.doi.org/10.1149/10701.5081ecst.
Texte intégralLorenc, Augustyn, et Aurelija Burinskiene. « Improve the orders picking in e-commerce by using WMS data and BigData analysis ». FME Transactions 49, no 1 (2021) : 233–43. http://dx.doi.org/10.5937/fme2101233l.
Texte intégralLokaadinugroho, Indrabudhi, Abba Suganda Girsang et Burhanudin Burhanudin. « Tableau Business Intelligence Using the 9 Steps of Kimball’s Data Warehouse & ; Extract Transform Loading of the Pentaho Data Integration Process Approach in Higher Education ». Engineering, MAthematics and Computer Science (EMACS) Journal 3, no 1 (31 janvier 2021) : 1–11. http://dx.doi.org/10.21512/emacsjournal.v3i1.6816.
Texte intégralNour, Abir. « The Tableau Method for a Logical System Based on a Finite Poset ». Journal of Applied Non-Classical Logics 12, no 1 (janvier 2002) : 43–62. http://dx.doi.org/10.3166/jancl.12.43-62.
Texte intégralVana, Leonardo B., et Marcelo da S. Corrêa. « A Tableau Method for the Lambek Calculus based on a Matrix Characterization ». Electronic Notes in Theoretical Computer Science 84 (septembre 2003) : 190–204. http://dx.doi.org/10.1016/s1571-0661(04)80855-7.
Texte intégralGoranko, V., A. Montanari, P. Sala et G. Sciavicco. « A general tableau method for propositional interval temporal logics : Theory and implementation ». Journal of Applied Logic 4, no 3 (septembre 2006) : 305–30. http://dx.doi.org/10.1016/j.jal.2005.06.012.
Texte intégralIwahara, M., H. Muramoto et F. Miyazawa. « A Numerical Method for Three Phase Transformer Circuits Using the Tableau Form ». IEEE Translation Journal on Magnetics in Japan 1, no 7 (octobre 1985) : 854–56. http://dx.doi.org/10.1109/tjmj.1985.4548990.
Texte intégralWooldridge, Michael, Clare Dixon et Michael Fisher. « A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief ». Journal of Applied Non-Classical Logics 8, no 3 (janvier 1998) : 225–58. http://dx.doi.org/10.1080/11663081.1998.10510944.
Texte intégralCourtault, J. R., H. van Ditmarsch et D. Galmiche. « A public announcement separation logic ». Mathematical Structures in Computer Science 29, no 06 (15 avril 2019) : 828–71. http://dx.doi.org/10.1017/s0960129518000348.
Texte intégralIdowu, A. J., et A. O. Morris. « Some combinatorial results for Weyl groups ». Mathematical Proceedings of the Cambridge Philosophical Society 101, no 3 (mai 1987) : 405–20. http://dx.doi.org/10.1017/s0305004100066792.
Texte intégralBiber Sampaio, Frederico Martins, et Moisés Henrique Ramos Pereira. « PROVA AUTOMATIZADA DE TEOREMA EM LÓGICA PROPOSICIONAL ». e-xacta 6, no 1 (2 juin 2013) : 83. http://dx.doi.org/10.18674/exacta.v6i1.964.
Texte intégralDinesha, K. V., et P. C. P. Bhatt. « Method to rank and unrank semi-standard Young tableau for a partition ofn ». International Journal of Computer Mathematics 82, no 1 (janvier 2005) : 41–45. http://dx.doi.org/10.1080/00207160412331291062.
Texte intégralLi, Yueqing, Acyut Kaneria, Chao Qian et Brian Craig. « Learning Drivers’ Behavior From Social Networking ». Proceedings of the Human Factors and Ergonomics Society Annual Meeting 63, no 1 (novembre 2019) : 1792–96. http://dx.doi.org/10.1177/1071181319631479.
Texte intégralGuil, Francisco, José F. Hidalgo et José M. García. « Boosting the extraction of elementary flux modes in genome-scale metabolic networks using the linear programming approach ». Bioinformatics 36, no 14 (10 juillet 2020) : 4163–70. http://dx.doi.org/10.1093/bioinformatics/btaa280.
Texte intégralIwahara, M., H. Muramoto et Y. Hondou. « Analysis of a three-phase ferro-resonant voltage stabilizer using nonlinear phasor tableau method ». Journal of Magnetism and Magnetic Materials 112, no 1-3 (juillet 1992) : 466–68. http://dx.doi.org/10.1016/0304-8853(92)91233-j.
Texte intégralPimenov, V. G., et A. S. Hendy. « Numerical Studies for Fractional Functional Differential Equations with Delay Based on BDF-Type Shifted Chebyshev Approximations ». Abstract and Applied Analysis 2015 (2015) : 1–12. http://dx.doi.org/10.1155/2015/510875.
Texte intégralHough, C. L., et Y. Chang. « Constrained Cutting Rate-Tool Life Characteristic Curve, Part 2 : Convex Programs ». Journal of Manufacturing Science and Engineering 120, no 1 (1 février 1998) : 160–65. http://dx.doi.org/10.1115/1.2830093.
Texte intégralS., Tomy Gurtama, et Mesha Mesha. « Analisis Kinerja Reksa Dana Nusantara PT Bhakti Asset Management dan Penyusunan Portfolio Optimum Teoritis Periode Januari – April 2005 ». Winners 8, no 1 (30 mars 2007) : 38. http://dx.doi.org/10.21512/tw.v8i1.743.
Texte intégralElisa, Elisa, et Latersia Br Gurusinga. « Pengaruh Pengawasan , Keselamatan dan Kepemimpinan Terhadap Kinerja Karyawan Bagian produksi PT.Tjokie Permata Lestari ». Jurnal Administrasi dan Manajemen 12, no 2 (30 juin 2022) : 191–98. http://dx.doi.org/10.52643/jam.v12i2.1978.
Texte intégralHH NGU, A., R. MEERSMAN et H. WEIGAND. « SPECIFICATION AND VERIFICATION OF COMMUNICATION CONSTRAINTS FOR INTEROPERABLE TRANSACTIONS ». International Journal of Cooperative Information Systems 03, no 01 (mars 1994) : 47–65. http://dx.doi.org/10.1142/s0218215794000041.
Texte intégralJarmużek, Tomasz. « Defining Cognitive Logics by Non-Classical Tableau Rules ». Studies in Logic, Grammar and Rhetoric 48, no 1 (1 décembre 2016) : 151–70. http://dx.doi.org/10.1515/slgr-2016-0060.
Texte intégralJunker, Susanne. « Vanitas Reloaded : a Remote Tableau Composition from the Corona "Home Wunderkammer" ». INSAM Journal of Contemporary Music, Art and Technology, no 5 (15 décembre 2020) : 74–88. http://dx.doi.org/10.51191/issn.2637-1898.2020.3.5.74.
Texte intégralTupan, Tupan, et Nur Rizzal Rosiyan. « Analisis Bibliometrik Data Publikasi Penanganan Covid-19 ii Indonesia Menggunakan Software Vosviewer dan Tableau ». VISI PUSTAKA : Buletin Jaringan Informasi Antar Perpustakaan 23, no 3 (20 juillet 2022) : 221–32. http://dx.doi.org/10.37014/visipustaka.v23i3.1247.
Texte intégralCerrito, Serenella, Amélie David et Valentin Goranko. « Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL + ». ACM Transactions on Computational Logic 17, no 1 (10 décembre 2015) : 1–34. http://dx.doi.org/10.1145/2811261.
Texte intégralNguyen, Linh Anh, et Joanna Golińska-Pilarek. « An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ ». Fundamenta Informaticae 135, no 4 (2014) : 433–49. http://dx.doi.org/10.3233/fi-2014-1133.
Texte intégralClain, S., et G. J. Machado. « A very high-order finite volume method for the time-dependent convection–diffusion problem with Butcher Tableau extension ». Computers & ; Mathematics with Applications 68, no 10 (novembre 2014) : 1292–311. http://dx.doi.org/10.1016/j.camwa.2014.09.001.
Texte intégral