Log in

Relevant bibliographies by topics / Tableau Method / Journal articles

To see the other types of publications on this topic, follow the link: Tableau Method.

Journal articles on the topic 'Tableau Method'

Author: Grafiati

Published: 11 March 2023

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Tableau Method.'

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.

1

Özdemir, Mehmet Hakan. "Application of Change of Basis in the Simplex Method." European Journal of Social Sciences Education and Research 11, no. 1 (2017): 41. http://dx.doi.org/10.26417/ejser.v11i1.p41-49.

Full text

Abstract:

The simplex method is a very useful method to solve linear programming problems. It gives us a systematic way of examining the vertices of the feasible region to determine the optimal value of the objective function. It is executed by performing elementary row operations on a matrix that we call the simplex tableau. It is an iterative method that by repeated use gives us the solution to any n variable linear programming model. In this paper, we apply the change of basis to construct following simplex tableaus without applying elementary row operations on the initial simplex tableau.

APA, Harvard, Vancouver, ISO, and other styles

2

Leszczyńska-Jasion, Dorota, and Szymon Chlebowski. "Synthetic Tableaux with Unrestricted Cut for First-Order Theories." Axioms 8, no. 4 (2019): 133. http://dx.doi.org/10.3390/axioms8040133.

Full text

Abstract:

The method of synthetic tableaux is a cut-based tableau system with synthesizing rules introducing complex formulas. In this paper, we present the method of synthetic tableaux for Classical First-Order Logic, and we propose a strategy of extending the system to first-order theories axiomatized by universal axioms. The strategy was inspired by the works of Negri and von Plato. We illustrate the strategy with two examples: synthetic tableaux systems for identity and for partial order.

APA, Harvard, Vancouver, ISO, and other styles

3

Vassiliev, Nikolay, Vasilii Duzhin, and Artem Kuzmin. "On the convergence of bumping routes to their limit shapes in the RSK algorithm: numerical experiments." Information and Control Systems, no. 6 (December 16, 2021): 2–9. http://dx.doi.org/10.31799/1684-8853-2021-6-2-9.

Full text

Abstract:

Introduction: The Robinson — Schensted — Knuth (RSK) algorithm transforms a sequence of elements of a linearly ordered set into a pair of Young tableaux P, Q of the same shape. This transformation is based on the process of bumping and inserting elements in tableau P according to special rules. The trajectory formed by all the boxes of the tableau P shifted in the RSK algorithm is called the bumping route. D. Romik and P. Śniady in 2016 obtained an explicit formula for the limit shape of the bumping route, which is determined by its first element. However, the rate of convergence of the bumpin

APA, Harvard, Vancouver, ISO, and other styles

4

Athiemoolam, Logamurthie. "Students’ viewpoints on using tableaux to analyse short stories." English Teaching: Practice & Critique 17, no. 3 (2018): 245–56. http://dx.doi.org/10.1108/etpc-03-2018-0030.

Full text

Abstract:

Purpose The purpose of the paper is to provide a detailed account of pre-service teachers’ viewpoints on the use of tableaux as pedagogy to analyse short stories in secondary schools based on their exposure to the use of tableaux and their active participation in the process of tableau creation. Design/methodology/approach The study adopted a qualitative approach and a phenomenological design as it provides a detailed account of PGCE English Methodology pre-service teachers’ views on the use of tableaux to teach a short story. The data collection method used was written narratives based on the

APA, Harvard, Vancouver, ISO, and other styles

5

MacCaull, Wendy. "Tableau method for residuated logic." Fuzzy Sets and Systems 80, no. 3 (1996): 327–37. http://dx.doi.org/10.1016/0165-0114(95)00199-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

LI, RENWEI, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Qianer, Zhang, and Li Xiangzhu. "Bonded tableau method for many-electron systems." Journal of Molecular Structure 198 (July 1989): 413–25. http://dx.doi.org/10.1016/0022-2860(89)80053-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Datig, Ilka, and Paul Whiting. "Telling your library story: tableau public for data visualization." Library Hi Tech News 35, no. 4 (2018): 6–8. http://dx.doi.org/10.1108/lhtn-02-2018-0008.

Full text

Abstract:

Purpose Data visualization, the technique of presenting data in a visual context to increase reader understanding, is a method that has been growing in influence for decades. Many libraries are facing increasing pressure (both internal and external) to showcase the statistics in high-impact and visually appealing ways. Tableau Public is a free tool that libraries can use to visualize their data. Design/methodology/approach This paper gives an overview of Tableau Public and discusses best practices for using it in library services. Findings Tableau Public is a free-to-use downloadable software

APA, Harvard, Vancouver, ISO, and other styles

9

Daylight, Edgar Graham. "Tableau with Holes: Clarifying NP-Completeness." Symmetry 17, no. 5 (2025): 677. https://doi.org/10.3390/sym17050677.

Full text

Abstract:

In the context of defining NP-completeness, a tableau represents a hypothetical accepting computation path p of a nondeterministic polynomial time Turing machine N on an input w. The tableau is encoded by the propositional logic formula ψ, defined as ψ=ψcell∧ψrest. The component ψcell enforces the constraint that each cell in the tableau contains exactly one symbol, while ψrest incorporates constraints governing the step-by-step behavior of N on w. Intuitively, ψrest appears to pose a much greater challenge for satisfiability. This raises the question of whether the distinction between ψcell b

APA, Harvard, Vancouver, ISO, and other styles

10

Bourahla, Mustapha. "Using Rough Set Theory for Reasoning on Vague Ontologies." International Journal of Intelligent Systems and Applications 14, no. 4 (2022): 21–36. http://dx.doi.org/10.5815/ijisa.2022.04.03.

Full text

Abstract:

Web ontologies can contain vague concepts, which means the knowledge about them is imprecise and then query answering will not possible due to the open world assumption. A concept description can be very exact (crisp concept) or exact (fuzzy concept) if its knowledge is complete, otherwise it is inexact (vague concept) if its knowledge is incomplete. In this paper, we propose a method based on the rough set theory for reasoning on vague ontologies. With this method, the detection of vague concepts will insert into the original ontology new rough vague concepts where their description is define

APA, Harvard, Vancouver, ISO, and other styles

11

Mohapatra, Pramoda K. "Modest step towards a Young-tableau method forE6." Physical Review D 33, no. 10 (1986): 3142–44. http://dx.doi.org/10.1103/physrevd.33.3142.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Aucher, Guillaume, Bastien Maubert, and François Schwarzentruber. "Tableau Method and NEXPTIME-Completeness of DEL-Sequents." Electronic Notes in Theoretical Computer Science 278 (November 2011): 17–30. http://dx.doi.org/10.1016/j.entcs.2011.10.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Chetcuti-Sperandio, Nathalie, and Luis Fariñas del Cerro. "A Decision Method for Duration Calculus." JUCS - Journal of Universal Computer Science 5, no. (11) (1999): 743–64. https://doi.org/10.3217/jucs-005-11-0743.

Full text

Abstract:

The Duration Calculus is an interval logic introduced for designing real-time systems. This calculus is able to capture important real-time problems like the specification of the behaviours of schedulers and classical examples like a gas burner. From a practical point of view an important challenge becomes to define automated proof procedures for this calculus. Since the propositional calculus is undecidable, we are interested then into isolating decidable fragments of this calculus. A first fragment was given and its decidability proved via regular languages. In this paper we isolate another

APA, Harvard, Vancouver, ISO, and other styles

14

Mukhametshina, Indira I. "LOGICS FOR CROSS-WORLD PREDICATION BASED ON D, T, S4 AND S5." Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya, sotsiologiya, politologiya, no. 82 (2024): 55–67. https://doi.org/10.17223/1998863x/82/5.

Full text

Abstract:

Evgeny Borisov elaborated a first-order modal logic with equality and the λ-operator (CWPL) which solves the problem of crossworld predication. In his two latest articles, he presented the syntax, semantics and tableau proof theory for CWPL, and demonstrated the soundness and completeness of the presented proof method with respect to the corresponding semantics. In CWPL models, no restrictions are imposed on the accessibility relation. In this sense, CWPL is based on the propositional logic K. When restrictions are imposed on the accessibility relation, we get modifications of CWPL based on th

APA, Harvard, Vancouver, ISO, and other styles

15

Xiang-Zhu, Li, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Babenyshev, Sergey, Vladimir Rybakov, Renate A. Schmidt, and Dmitry Tishkovsky. "A Tableau Method for Checking Rule Admissibility in S4." Electronic Notes in Theoretical Computer Science 262 (May 2010): 17–32. http://dx.doi.org/10.1016/j.entcs.2010.04.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Amati, Giambattista, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Saji, Ayahito, Daiki Takao, Yoshihide Kato, and Shigeki Matsubara. "Natural Language Inference Using Neural Network and Tableau Method." Journal of Natural Language Processing 30, no. 2 (2023): 632–63. http://dx.doi.org/10.5715/jnlp.30.632.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

MEADOWS, TOBY. "INFINITARY TABLEAU FOR SEMANTIC TRUTH." Review of Symbolic Logic 8, no. 2 (2015): 207–35. http://dx.doi.org/10.1017/s175502031500012x.

Full text

Abstract:

AbstractWe provide infinitary proof theories for three common semantic theories of truth: strong Kleene, van Fraassen supervaluation and Cantini supervaluation. The value of these systems is that they provide an easy method of proving simple facts about semantic theories. Moreover we shall show that they also give us a simpler understanding of the computational complexity of these definitions and provide a direct proof that the closure ordinal for Kripke’s definition is $\omega _1^{CK}$. This work can be understood as an effort to provide a proof-theoretic counterpart to Welch’s game-theoretic

APA, Harvard, Vancouver, ISO, and other styles

20

Tanwir, Taufik Dwi Saputra, and 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 (2016): 100–105. http://dx.doi.org/10.31937/si.v7i2.547.

Full text

Abstract:

Regional Income and Expenditure Budget (APBD) is a very important thing in the progress of a region. APBD is an indicator of public welfare level in a region. Data of APBD that is shared on the official website data.go.id is still hard to read and understood, and for that reason the author will compare the budget value of APBD in every province, district, and city by using visualization. The method the author used is Visual Data Mining by creating an APBD visualization dashboard according to provinces, districts, and cities. Tableau Software is used to create the dashboard because Tableau allo

APA, Harvard, Vancouver, ISO, and other styles

21

Egly, Uwe, and Leopold Haller. "A SAT Solver for Circuits Based on the Tableau Method." KI - Künstliche Intelligenz 24, no. 1 (2010): 15–23. http://dx.doi.org/10.1007/s13218-010-0008-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Borger, E. "A description of the tableau method using abstract state machines." Journal of Logic and Computation 7, no. 5 (1997): 659–81. http://dx.doi.org/10.1093/logcom/7.5.659.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Parhusip, Hanna Arini, Suryasatriya Trihandaru, Adrianus Herry Heriadi, Petrus Priyo Santosa, and Magdalena Dwi Puspasari. "Data Exploration Using Tableau and Principal Component Analysis." JOIV : International Journal on Informatics Visualization 6, no. 4 (2022): 911. http://dx.doi.org/10.30630/joiv.6.4.952.

Full text

Abstract:

This study aims to determine the dominant chemical elements that may improve the monitoring of the productivity and efficiency of heavy engines in 2015-2021 in the company. The method used is usually Scheduled Oil Sampling. This article proposes a new approach. The research problems are analyzing the recorded chemical elements that are produced by heavy engines and visualizing them through the Tableau program. The basic design of the study is learning the given data after visualization and using the Principal Component Analysis. This method is to obtain chemical elements that affect engine wea

APA, Harvard, Vancouver, ISO, and other styles

24

Hornos, Miguel. "FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking." JUCS - Journal of Universal Computer Science 10, no. (11) (2004): 1498–518. https://doi.org/10.3217/jucs-010-11-1498.

Full text

Abstract:

This paper presents the FBT (FIL to Buechi automaton Translator) tool which automatically translates any formula from FIL (Future Interval Logic) into its semantically equivalent Buechi automaton. There are two advantages of using this logic for specifying and verifying system properties instead of other more traditional and extended temporal logics, such as LTL (Linear Temporal Logic): firstly, it allows a succinct construction of specific temporal contexts, where certain properties must be evaluated, thanks to its key element, the interval, and secondly, it also permits a natural, intuitive,

APA, Harvard, Vancouver, ISO, and other styles

25

Kharismatunnisaa, Fiona, and Yourdan Saputra. "Analysis of Google Play Store Apps Data Using Tableau Data Visualization Application." Journal of Applied Science, Technology & Humanities 1, no. 3 (2024): 280–85. http://dx.doi.org/10.62535/fct2yw28.

Full text

Abstract:

This research aims to enhance understanding of big data management and processing. One of the challenges faced is the complexity and large volume of data, which requires effective tools and techniques for analysis and visualization. The objective of this study is to analyze Google Play Store app data based on categories and ratings, and to visualize the results using Tableau. The research method employs a quantitative approach with a framework that includes problem formulation, data collection from the Google Play Store Apps database obtained from kaggle.com, data processing, and analysis usin

APA, Harvard, Vancouver, ISO, and other styles

26

Setyawan, Adhita Arif, Eki Dudi Darmawan, and Widwi Handari Adji. "Dampak Pemanfaatan Teknologi Business Intelligence untuk Optimalisasi Strategi Penjualan dengan Metode OLAP di Warmindo X." Journal of Practical Computer Science 5, no. 1 (2025): 16–24. https://doi.org/10.37366/jpcs.v5i1.5816.

Full text

Abstract:

This research was conducted simulatively on an MSME business called Warmindo X which was used as a case study to test the application of OLAP in a Business Intelligence system. The purpose of this research is to develop a data warehouse and information dashboard system based on Tableau technology, by utilizing the utilizing the OLAP method to support strategic decision making and increase sales effectiveness at Warmindo X. improve sales effectiveness at Warmindo X. BI implementation implementation is carried out using Pentaho Data Integration for the ETL (Extract, Transform, Load) and Tableau

APA, Harvard, Vancouver, ISO, and other styles

27

Krdzavac, Nenad, Dragan Gasevic, and 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.

Full text

Abstract:

This paper presents a method for implementing tableau algorithm for description logics (DLs). The architectures of the present DL reasoners such as RACER or FaCT were developed using programming languages as Java or LISP. The implementations are not based on original definition of the abstract syntax, but they require transformation of abstract syntax into concrete syntax implementation languages use. In order to address these issues, we propose the use of model-driven engineering principles for the development of a DL reasoner where a definition of a DL abstract syntax is provided by means of

APA, Harvard, Vancouver, ISO, and other styles

28

Lei Liu, Xin Zhang, Mengmeng Wang, and Shuai Lu. "An improved propositional tableau method based on ordering and indexing strategies." International Journal of Advancements in Computing Technology 5, no. 8 (2013): 971–78. http://dx.doi.org/10.4156/ijact.vol5.issue8.107.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Hu Kun-Ming and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Nardi, Danielle. "Formal synthesis of a unification algorithm by the deductive-tableau method." Journal of Logic Programming 7, no. 1 (1989): 1–43. http://dx.doi.org/10.1016/0743-1066(89)90008-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Järvisalo, Matti, Tommi Junttila, and Ilkka Niemelä. "Unrestricted vs restricted cut in a tableau method for Boolean circuits." Annals of Mathematics and Artificial Intelligence 44, no. 4 (2005): 373–99. http://dx.doi.org/10.1007/s10472-005-7034-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Ardiyanto, Yohana Dewi Lulu Widyasari, Satria Perdana Arifin, and Yuliska. "Analysis and Visualization of Tracer Study Data Through Kimball Four-Step Method and Tableau." International Journal Software Engineering and Computer Science (IJSECS) 5, no. 1 (2025): 450–60. https://doi.org/10.35870/ijsecs.v5i1.3718.

Full text

Abstract:

Tracer studies serve as a pivotal survey mechanism to assess the efficacy of educational systems and the compatibility of graduates with labor market requirements. This research leverages Big Data technologies alongside Tableau to scrutinize tracer study data gathered from alumni of Politeknik Caltex Riau (PCR) over the period from 2018 to 2022. Employing the Four-Step Kimball methodology, the study regularly undertakes data collection, processing, validation, and storage within a MongoDB database, prior to generating visual representations through Tableau. The analytical framework incorporate

APA, Harvard, Vancouver, ISO, and other styles

33

Lorenc, Augustyn, and 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.

Full text

Abstract:

The primary purpose of the research is the improvement of the orders picking process without additional investments for the software, employees, tool and inventories. For problem-solving, the data about picking is exported and preprocessed from WMS. The BigData analysis and product clustering in Tableau software is delivered using the data, where the Product Allocation Problem (PAP) is solved. Picking time for reference scenario and new analysed one is calculated and compared. The presented research proves that standard data collected by WMS could be used for solving PAP for the reduction of t

APA, Harvard, Vancouver, ISO, and other styles

34

Lokaadinugroho, Indrabudhi, Abba Suganda Girsang, and 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 (2021): 1–11. http://dx.doi.org/10.21512/emacsjournal.v3i1.6816.

Full text

Abstract:

This paper discusses about how to build a data warehouse (DW) in business intelligence (BI) for a typical marketing division in a university. This study uses a descriptive method that attempts to describe the object or subject under study as it is, with the aim of systematically describing the facts and characteristics of the object under study precisely. In the elaboration of the methodology, there are four phases that include the identification and source data collection phase, the analysis phase, the design phase, and then the results phase of each detail in accordance with the nine steps o

APA, Harvard, Vancouver, ISO, and other styles

35

Lessy, Diana Fitri, Arry Avorizano, and Firman Noor Hasan. "Penerapan Business Intelligence Untuk Menganalisa Data Gempa Bumi di Indonesia Menggunakan Tableau Public." Jurnal Sistem Komputer dan Informatika (JSON) 4, no. 2 (2022): 302. http://dx.doi.org/10.30865/json.v4i2.5316.

Full text

Abstract:

One of the natural disasters that often occurs in Indonesia is an earthquake. This is because Indonesia's geological position is between 3 important lithospheric plates, namely the Pacific, Eurasian and Indo-Australian plates. The forces between the plates are constantly changing, dampening disturbances both on land and at sea. This study aims to focus on visualizing earthquake data in Indonesia and implementing Business Intelligence to display earthquake area data, depth and magnitude. The method of this study uses the Tableau Public platform to process earthquake datasets in Indonesia obtain

APA, Harvard, Vancouver, ISO, and other styles

36

Zhang, Jun, Jingjing Zhang, and Shangyou Zhang. "Explicit Symplectic Runge–Kutta–Nyström Methods Based on Roots of Shifted Legendre Polynomial." Mathematics 11, no. 20 (2023): 4291. http://dx.doi.org/10.3390/math11204291.

Full text

Abstract:

To date, all explicit symplectic Runge–Kutta–Nyström methods of order five or above are derived by numerical solutions of order condition equations and symplectic condition. In this paper, we derive 124 sets of seven-stage fifth-order explicit symplectic Runge–Kutta–Nyström methods with closed-form coefficients in the Butcher tableau using the roots of a degree-3 shifted Legendre polynomial. One method is analyzed and its P-stable interval is derived. Numerical tests on the two newly discovered methods are performed, showing their long-time stability and large step size stability over some exi

APA, Harvard, Vancouver, ISO, and other styles

37

Kaur, Manpreet, Sangeet Kumar, and Jasdev Bhatti. "Numerical Solution to Sixth Order Ordinary Differential Equation Using Three Stage Eighth Order Runge-Kutta Type Method." ECS Transactions 107, no. 1 (2022): 5081–90. http://dx.doi.org/10.1149/10701.5081ecst.

Full text

Abstract:

The present paper provides an innovative approach in developing numerical structure with minimal processing and maximum precision for sixth order ordinary differential equation satisfying underlying associated initial conditions. The algebraic order conditions for the three stage eighth order Runge-Kutta methods (RKSD8) been well designed for evaluating local and global truncated errors towards sixth order ordinary differential equation having form vvi = f (u,v,v',v''). The convergence of a numerical method is well explained and proved beneficial in evaluating norms of error and zero stability

APA, Harvard, Vancouver, ISO, and other styles

38

Courtault, J. R., H. van Ditmarsch, and D. Galmiche. "A public announcement separation logic." Mathematical Structures in Computer Science 29, no. 06 (2019): 828–71. http://dx.doi.org/10.1017/s0960129518000348.

Full text

Abstract:

AbstractWe define a Public Announcement Separation Logic (PASL) that allows us to consider epistemic possible worlds as resources that can be shared or separated, in the spirit of separation logics. After studying its semantics and illustrating its interest for modelling systems, we provide a sound and complete tableau calculus that deals with resource, agent and announcement constraints and give also a countermodel extraction method.

APA, Harvard, Vancouver, ISO, and other styles

39

Nour, Abir. "The Tableau Method for a Logical System Based on a Finite Poset." Journal of Applied Non-Classical Logics 12, no. 1 (2002): 43–62. http://dx.doi.org/10.3166/jancl.12.43-62.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Vana, Leonardo B., and Marcelo da S. Corrêa. "A Tableau Method for the Lambek Calculus based on a Matrix Characterization." Electronic Notes in Theoretical Computer Science 84 (September 2003): 190–204. http://dx.doi.org/10.1016/s1571-0661(04)80855-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Goranko, V., A. Montanari, P. Sala, and G. Sciavicco. "A general tableau method for propositional interval temporal logics: Theory and implementation." Journal of Applied Logic 4, no. 3 (2006): 305–30. http://dx.doi.org/10.1016/j.jal.2005.06.012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Iwahara, M., H. Muramoto, and F. Miyazawa. "A Numerical Method for Three Phase Transformer Circuits Using the Tableau Form." IEEE Translation Journal on Magnetics in Japan 1, no. 7 (1985): 854–56. http://dx.doi.org/10.1109/tjmj.1985.4548990.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Wooldridge, Michael, Clare Dixon, and Michael Fisher. "A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief." Journal of Applied Non-Classical Logics 8, no. 3 (1998): 225–58. http://dx.doi.org/10.1080/11663081.1998.10510944.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Suresh, Martha. "Interactive Visualization to understand COVID Risk Score at a Particular Location using Tableau." International Journal of Innovative Science and Research Technology 7, no. 6 (2022): 84–93. https://doi.org/10.5281/zenodo.6692818.

Full text

Abstract:

A lot has happened in the last few years since the World Health Organization declared COVID-19 as a global pandemic. Forcing every business to change the way they work to survive in this changing world. However, even though the lockdown slowed everything, still a huge amount of data continued to climb with speed and big data grew and become even bigger. As the world was changing and businesses were struggling to find new innovative ways and methods to continue doing business, data, and data analytics have provided a path of light. In this paper, an overview has been provided about Tableau a da

APA, Harvard, Vancouver, ISO, and other styles

45

Idowu, A. J., and A. O. Morris. "Some combinatorial results for Weyl groups." Mathematical Proceedings of the Cambridge Philosophical Society 101, no. 3 (1987): 405–20. http://dx.doi.org/10.1017/s0305004100066792.

Full text

Abstract:

The aim of this paper is to prove some results involving Weyl groups which are useful in an application to give a combinatorial construction of representations of Weyl groups which generalizes the well-known Young tableau method for symmetric groups. A preliminary version of these applications has been given in [12]. As these results seem to be of independent interest they are gathered together in the present paper.

APA, Harvard, Vancouver, ISO, and other styles

46

Biber Sampaio, Frederico Martins, and Moisés Henrique Ramos Pereira. "PROVA AUTOMATIZADA DE TEOREMA EM LÓGICA PROPOSICIONAL." e-xacta 6, no. 1 (2013): 83. http://dx.doi.org/10.18674/exacta.v6i1.964.

Full text

Abstract:

<p align="justify">Este trabalho aborda o desenvolvimento de um sistema para prova automatizada de teoremas em lógica proposicional. O artigo apresenta os fundamentos teóricos gerais, questões operacionais e a estrutura de um software de prova de teoremas, elaborado com propósitos acadêmicos e didáticos, utilizando métodos de prova baseados em três tipos de tableaux semânticos: tableau de Smullyan, tableau com Lema e tableau KE. Experimentos foram realizados para verificar a correção dos resultados das provas, utilizando fórmulas geradas automaticamente.</p><p align="justify"&gt

APA, Harvard, Vancouver, ISO, and other styles

47

Sun, Kaiyuan, Kun Chen, Haifeng Cen, Fucheng Tan, and Xiaohui Ye. "Study of a Numerical Integral Interpolation Method for Electromagnetic Transient Simulations." Energies 17, no. 15 (2024): 3837. http://dx.doi.org/10.3390/en17153837.

Full text

Abstract:

In the fixed time-step electromagnetic transient (EMT)-type program, an interpolation process is applied to deal with switching events. The interpolation method frequently reduces the algorithm’s accuracy when dealing with power electronics. In this study, we use the Butcher tableau to analyze the defects of linear interpolation. Then, based on the theories of Runge–Kutta integration, we propose two three-stage diagonally implicit Runge–Kutta (3S-DIRK) algorithms combined with the trapezoidal rule (TR) and backward Euler (BE), respectively, with TR-3S-DIRK and BE2-3S-DIRK for the interpolation

APA, Harvard, Vancouver, ISO, and other styles

48

Dinesha, K. V., and 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 (2005): 41–45. http://dx.doi.org/10.1080/00207160412331291062.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Guy Ritchie and Susanto Hariyanto. "Implementation of Business Intelligence In Analyzing Data Using Tableau at PT Global Bintan Permata." bit-Tech 6, no. 1 (2023): 40–50. http://dx.doi.org/10.32877/bt.v6i1.875.

Full text

Abstract:

PT Global Bintan Permata is member group Yafindo (Batam, Indonesia) which is engaged in the distribution and import goods consumption and goods consumption throughout Indonesia . one _ business being run is distributing sugar _ throughout modern market and delivery some are via transportation and some are done in a manner independent . The target market namely the big modern market like Alfamart , Alfamidi , Indomarco , Indogrosir , Tiptop, and there is also a small modern market like Totalfruits , Grandlucky , etc. _ Of the many transactions made by the company this company _ This Still Not y

APA, Harvard, Vancouver, ISO, and other styles

50

Li, Yueqing, Acyut Kaneria, Chao Qian, and Brian Craig. "Learning Drivers’ Behavior From Social Networking." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 63, no. 1 (2019): 1792–96. http://dx.doi.org/10.1177/1071181319631479.

Full text

Abstract:

In today’s fast developing civilization, transportation plays an important part in people’s economic growth and daily activities. This study analyzes the driving behavior and accidents related to traffic accidents using Twitter tweets as a tool for text mining. Active users when encounter any traffic incidents, post instant messages on Twitter. Various analyses were performed on these tweets and was represented graphically using tableau analy-sis software and Rstudio. This method proved to be an effective and inexpensive method to study peoples’ real time approach on traffic accident throughou

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!