Увійти

Готові списки джерел за темами / Tableau Method / Статті в журналах

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Tableau Method.

Статті в журналах з теми "Tableau Method"

Автор: Grafiati

Опубліковано: 11 березня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Tableau Method".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

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

Повний текст джерела

Анотація:

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 та ін.

2

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

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 bumping routes to the limit shape has not been previously investigated either theoretically or by numerical experiments. Purpose: Carrying out computer experiments to study the dynamics of the bumping routes produced by the RSK algorithm on Young tableaux as their sizes increase. Calculation of statistical means and variances of deviations of bumping routes from their limit shapes in the L2 metric for various values fed to the input of the RSK algorithm. Results: A series of computer experiments have been carried out on Young tableaux, consisting of up to 10 million boxes. We used 300 tableaux of each size. Different input values (0.1, 0.3, 0.5, 0.7, 0.9) were added to each such tableau using the RSK algorithm, and the deviations of the bumping routes built from these values from the corresponding limit shapes were calculated. The graphs of the statistical mean values and variances of these deviations were produced. It is noticed that the deviations decrease in proportion to the fourth root of the tableau size n. An approximation of the dependence of the mean values of deviations on n was obtained using the least squares method.

Стилі APA, Harvard, Vancouver, ISO та ін.

4

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

Повний текст джерела

Анотація:

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 participants’ detailed accounts of their learning during the process of tableau creation and their viewpoints on the use of such an approach in the teaching of literature within secondary school contexts. The “rich, thick data” extracted from the written narratives were analysed thematically. Findings The findings indicated that although pre-service teachers were initially sceptical towards the use of tableaux as a strategy to teach a short story, as they grew in their understanding of the practices involved their insights into the themes, motifs and characters’ emotional, personal and psychological states of being were enhanced. Originality/value Research in the use of tableaux as a strategy for pre-service teachers to critically analyse and engage with short stories is a novel approach to teaching and limited research has been conducted in the field.

Стилі APA, Harvard, Vancouver, ISO та ін.

5

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

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

Повний текст джерела

Анотація:

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 that enables librarians with no data science expertise to build beautiful and interactive data visualizations, which can be shared with staff, administration and other stakeholders. Originality/value This paper should be of use to any librarians interested in finding new and effective ways of communicating their library statistics. Tableau Public can be used to visualize data from a variety of library departments, including circulation, reference, instruction and collection management.

Стилі APA, Harvard, Vancouver, ISO та ін.

9

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

Повний текст джерела

Анотація:

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 defined on approximation spaces to be used by extended Tableau algorithm for automatic reasoning. A prototype of Tableau's extended algorithm is developed and tested on examples where encouraging results are given by this method to demonstrate that unlike other methods, it is possible to answer queries even in the presence of incomplete information.

Стилі APA, Harvard, Vancouver, ISO та ін.

10

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

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

Повний текст джерела

Анотація:

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 (Welch, 2009).

Стилі APA, Harvard, Vancouver, ISO та ін.

16

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

17

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

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 (December 12, 2016): 100–105. http://dx.doi.org/10.31937/si.v7i2.547.

Повний текст джерела

Анотація:

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 allows an interactive, easy-to-use dashboard for analyzing lots of data. Besides, Tableau is already supported by many platform such as web based, iPhone app, also Android app, and this application is one of the common for visualization so there are a lot of sources to get more information and to develop visualization. The result of this research could help the government in reevaluating the APBD financial budget in every region in Indonesia. This research can help the people to know the APBD budget applied in every region. Index Terms-Regional Income and Expenditure Budget (APBD), financial, visualization.

Стилі APA, Harvard, Vancouver, ISO та ін.

19

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 (December 31, 2022): 911. http://dx.doi.org/10.30630/joiv.6.4.952.

Повний текст джерела

Анотація:

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 wear during each engine's use in the 2015-2021 period. Because there are three categories in each element in the oil sample, namely wear metals, contaminants, and oil additives, a technique is needed to obtain these elements using Principal Component Analysis. Therefore, Oil Sampling Analysis through data exploration using Tableau resulted in a new approach to data analysis of elements recorded by heavy vehicles. The main findings as a result of the analysis are given by the visualization of Tableau, in which there are five machines analyzed to obtain the main components that cause engine wear. From the visualization results, it is shown that there is one engine coded MSD 012 that experienced wear and tear in 2018 and 2019. This shows where two main components, Ca and Mg, dominate engine wear. These results have been confirmed with the related companies. The company then carried out further studies on the machine to get special treatment because of these results.

Стилі APA, Harvard, Vancouver, ISO та ін.

20

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 (April 30, 2013): 971–78. http://dx.doi.org/10.4156/ijact.vol5.issue8.107.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

23

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 (August 2005): 373–99. http://dx.doi.org/10.1007/s10472-005-7034-1.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

24

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.

Повний текст джерела

Анотація:

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 metamodels. The presented approach is based on the use of a MOF-based model repository and QVT-like transformations, which transform models compliant to the DL metamodel taken from the OMG's Ontology Definition Metamodel specification into models compliant to the Tableau metamodel defined in this paper. .

Стилі APA, Harvard, Vancouver, ISO та ін.

25

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 (April 24, 2022): 5081–90. http://dx.doi.org/10.1149/10701.5081ecst.

Повний текст джерела

Анотація:

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 of RKSD8 with effective values of weights and nodes in the form of Butcher tableau.

Стилі APA, Harvard, Vancouver, ISO та ін.

26

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.

Повний текст джерела

Анотація:

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 total picking time. The method delivered by authors could be in a typical warehouse, where forklifts and employees do the order picking process. The plan after an upgrade could be used for automatic picking, and implemented WMS. For BigData analysis, Tableau is connected to WMS database. Such solution could be used for everyday analysis and planning the allocation of products. The presented method is easy to use; there is no need to invest in expensive software and automation of the picking process to achieve the high performance of the orders picking process. However, its application allows the increase of efficiency rates. Storekeepers can select more products at the same time. The presented research is original because of using simple methods and analysis of specific data, which until now are only used to calculate employee performance indicators.

Стилі APA, Harvard, Vancouver, ISO та ін.

27

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 (January 31, 2021): 1–11. http://dx.doi.org/10.21512/emacsjournal.v3i1.6816.

Повний текст джерела

Анотація:

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 of Kimball’s data warehouse and the Pentaho Data Integration (PDI). The result is a tableau as a tool of BI that does not have complete ETL tools. So, the process approach in combining PDI and DW as a data source certainly makes a tableau as a BI tool more useful in presenting data thus minimizing the time needed to obtain strategic data from 2-3 weeks to 77 minutes.

Стилі APA, Harvard, Vancouver, ISO та ін.

28

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

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 (September 2006): 305–30. http://dx.doi.org/10.1016/j.jal.2005.06.012.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

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 (October 1985): 854–56. http://dx.doi.org/10.1109/tjmj.1985.4548990.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

32

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 (January 1998): 225–58. http://dx.doi.org/10.1080/11663081.1998.10510944.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

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

Повний текст джерела

Анотація:

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 та ін.

34

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

Повний текст джерела

Анотація:

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 та ін.

35

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

Повний текст джерела

Анотація:

<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">Abstract</p><p align="justify">This work describes the development of an automated theorem proving system of propositional logic. The paper presents the theoretical foundations, operational issues and structure of a theorem proving software, developed with academic and didactic purposes, using proof methods based on three semantics tableaux: Smullyan tableau, Lema tableau e KE tableau. Experiments were performed to verify the correctness of the results of the proofs, using automatically generating formulas.</p>

Стилі APA, Harvard, Vancouver, ISO та ін.

36

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 (January 2005): 41–45. http://dx.doi.org/10.1080/00207160412331291062.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

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 (November 2019): 1792–96. http://dx.doi.org/10.1177/1071181319631479.

Повний текст джерела

Анотація:

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 throughout the world. It proved to be a strong approach towards learning traf-fic accident behaviors.

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Guil, Francisco, José F. Hidalgo, and 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 (July 10, 2020): 4163–70. http://dx.doi.org/10.1093/bioinformatics/btaa280.

Повний текст джерела

Анотація:

Abstract Motivation Elementary flux modes (EFMs) are a key tool for analyzing genome-scale metabolic networks, and several methods have been proposed to compute them. Among them, those based on solving linear programming (LP) problems are known to be very efficient if the main interest lies in computing large enough sets of EFMs. Results Here, we propose a new method called EFM-Ta that boosts the efficiency rate by analyzing the information provided by the LP solver. We base our method on a further study of the final tableau of the simplex method. By performing additional elementary steps and avoiding trivial solutions consisting of two cycles, we obtain many more EFMs for each LP problem posed, improving the efficiency rate of previously proposed methods by more than one order of magnitude. Availability and implementation Software is freely available at https://github.com/biogacop/Boost_LP_EFM. Contact fguil@um.es Supplementary information Supplementary data are available at Bioinformatics online.

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Iwahara, M., H. Muramoto, and 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 (July 1992): 466–68. http://dx.doi.org/10.1016/0304-8853(92)91233-j.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Pimenov, V. G., and 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.

Повний текст джерела

Анотація:

Fractional functional differential equations with delay (FDDEs) have recently played a significant role in modeling of many real areas of sciences such as physics, engineering, biology, medicine, and economics. FDDEs often cannot be solved analytically so the approximate and numerical methods should be adapted to solve these types of equations. In this paper we consider a new method of backward differentiation formula- (BDF-) type for solving FDDEs. This approach is based on the interval approximation of the true solution using the Clenshaw and Curtis formula that is based on the truncated shifted Chebyshev polynomials. It is shown that the new approach can be reformulated in an equivalent way as a Runge-Kutta method and the Butcher tableau of this method is given. Estimation of local and global truncating errors is deduced and this leads to the proof of the convergence for the proposed method. Illustrative examples of FDDEs are included to demonstrate the validity and applicability of the proposed approach.

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Hough, C. L., and Y. Chang. "Constrained Cutting Rate-Tool Life Characteristic Curve, Part 2: Convex Programs." Journal of Manufacturing Science and Engineering 120, no. 1 (February 1, 1998): 160–65. http://dx.doi.org/10.1115/1.2830093.

Повний текст джерела

Анотація:

Based on the concept in Part 1, Theory and General Case, algorithms to determine the constrained R-T characteristic curve are established for convex constrained machining economics problems. The first algorithm is for posynomial problems with the linear-logarithmic tool life equation. The R-T curve may be determined by applying the simplex method to the log-dual problems. Sensitivity analysis of the optimal simplex tableau enables obtaining the loci of optima easily. The second algorithm is for the quadratic posylognomial problems with quadratic-logarithmic tool life equation using the property of primal-dual feasibility. End milling examples constructed in Part 1 illustrate the algorithm comparing to the exhaustive method.

Стилі APA, Harvard, Vancouver, ISO та ін.

42

S., Tomy Gurtama, and Mesha Mesha. "Analisis Kinerja Reksa Dana Nusantara PT Bhakti Asset Management dan Penyusunan Portfolio Optimum Teoritis Periode Januari – April 2005." Winners 8, no. 1 (March 30, 2007): 38. http://dx.doi.org/10.21512/tw.v8i1.743.

Повний текст джерела

Анотація:

The research objective is to find theoritical optimum portfolio of the Reksa Dana Nusantara (RDN) of BAM, using data from January – April 2005 (60 workdays). The coefficient of variance (CV) will be used to determine the stock rank, then it will be optimize with 3 methods ; linear programing, trial-error, and tableau method. The research found that RDN has Sharpe Performance Index (SPI) of 1.15 but the market can reach 1.60. The linear programing can not find optimum solution of portfolios consist of 9-5 stocks, but it can find the best portfolio consist in 3 stocks (TLKM, TKIM an CMNP) with SPI of 2.19. Overall, the research summarizes that RDN is still below the market performance.

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Elisa, Elisa, and Latersia Br Gurusinga. "Pengaruh Pengawasan , Keselamatan dan Kepemimpinan Terhadap Kinerja Karyawan Bagian produksi PT.Tjokie Permata Lestari." Jurnal Administrasi dan Manajemen 12, no. 2 (June 30, 2022): 191–98. http://dx.doi.org/10.52643/jam.v12i2.1978.

Повний текст джерела

Анотація:

AbstrakSetiap organisasi/perusahaan memiliki kewajiban untuk memastikan bahwa pekerja dan orang lain akan terlibat tetap berada dalam kondisi aman sepanjang waktu. Penelitian ini bertujuan untuk mengetahui : Didalam Sebuah Perusahaan Pengaruh Pengawasan terhadap kinerja karyawan PT.Tjokie Permata Lestari ,Pengaruh Keselamatan terhadap kinerja karyawan PT.Tjokie Permata Lestari, Pengaruh Kepemimpinan terhadap kinerja karyawan PT.Tjokie Permata Lestari, Pengaruh Pengawasan,Keselamatan,dan Kepemimpinan secara simultan terhadap Kinerja Karyawan PT.Tjokie Permata Lestari. Metode penelitian yang digunakan adalah metode kuantitatif yang pengumpulan datanya dengan Teknik penyebaran kuisioner. Teknik analisis data dalam penelitian ini adalah Uji Asumsi Klasik, Regresi Linear Berganda dan Uji Hipotesis dengan software SPSS 25. Populasinya adalah seluruh karyawan yang berjumlah 70 karyawan dengan sampel 70 karyawan. Uji hipotesis menggunakan uji t (partial) dan uji F (simultan). Hasil uji t (partial) menunjukkan bahwa T hitung 0.597< T tabel 1.997 artinya tidak terdapat pengaruh variabel pengawasan terhadap kinerja karyawan, kemudian variabel keselamatan diperoleh nilai T hitung 2.442 > T tabel 1.997 artinya terdapat pengaruh variabel keselamatan terhadap kinerja karyawan,dan variabel Kepemimpinan diperoleh T hitung 3.690 > T tabel 1.997 artinya terdapat pengaruh Kepemimpinan terhadap kinerja karyawan. Berdasarkan hasil Uji F nilai F hitung 26.024 > F tabel 2.742 hal ini dapat disimpulkan bahwa pengawasan,keselamatan dan kepemimpinan secara simultan berpengaruh terhadap kinerja karyawan.Kata kunci: Pengawasan, Keselamatan, Kepemimpinan, Kinerja KaryawanAbstractEvery organization has an obligation to ensure that workers and others will be involved in staying safe at all times. This research aims to find out: In a Company The Influence of Supervision on employee performance of PT. Tjokie Permata Lestari , Safety Influence on employee performance of PT. Tjokie Permata Lestari, Leadership Influence on employee performance of PT. Tjokie Permata Lestari, The Influence of Supervision, Safety, and Leadership simultaneously on employee performance of PT. Tjokie Permata Lestari. The research method used is a quantitative method whose data collection is with questionnaire deployment techniques. The data analysis techniques in this study are Classic Assumption Test, Multiple Linear Regression and Hypothesis Test with SPSS 25 software. The population is all 70 employees with a sample of 70 employees. Hypothesis tests use the t (partial) and F (simultaneous) tests. Les résultats du test t (partiel) ont montré que T a calculé 0,597< T le tableau 1 997, ce qui signifie qu’il n’y avait aucune influence des variables de supervision sur le rendement des employés, puis les variables de sécurité obtenues T ont calculé 2 442 > le tableau T 1 997 signifie qu’il y a une influence des variables de sécurité sur le rendement des employés, et les variables de leadership obtenues T comptent 3 690 > T tableau 1 997 signifie qu’il y a une influence du leadership sur le rendement des employés. Sur la base des résultats de la valeur du test F calculée 26 024 > tableau F 2 742, on peut conclure que la supervision, la sécurité et le leadership affectent simultanément le rendement des employés. Mots-clés : Supervision, Sécurité, Leadership, Rendement des employés.Keywords : Supervision, Safety, Leadership, Employee Performance

Стилі APA, Harvard, Vancouver, ISO та ін.

44

HH NGU, A., R. MEERSMAN, and H. WEIGAND. "SPECIFICATION AND VERIFICATION OF COMMUNICATION CONSTRAINTS FOR INTEROPERABLE TRANSACTIONS." International Journal of Cooperative Information Systems 03, no. 01 (March 1994): 47–65. http://dx.doi.org/10.1142/s0218215794000041.

Повний текст джерела

Анотація:

The specification of communication behavior is fundamental in developing interoperable transactions. In particular, the temporal ordering of messages exchanged between different communicating agents must be declaratively specified and verified in order to guarantee consistency of data in the various component systems. This paper shows that by expressing communication constraints in propositional temporal logic, the tableau method can be applied to construct a dependency graph. If the specification is correct, this method guarantees that all possible execution paths satisfying the specification will be generated. The declarative specification and verification of communication constraints in interoperable transactions is demonstrated using the classic business trip. It is argued that the specification formalism provides an improvement over the Flexible Transaction Model.

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Jarmużek, Tomasz. "Defining Cognitive Logics by Non-Classical Tableau Rules." Studies in Logic, Grammar and Rhetoric 48, no. 1 (December 1, 2016): 151–70. http://dx.doi.org/10.1515/slgr-2016-0060.

Повний текст джерела

Анотація:

Abstract In the paper we propose a new approach to formalization of cognitive logics. By cognitive logics we understand supraclassical, but non-trivial consequence operations, defined in a propositional language. We extend some paradigm of tableau methods, in which classical consequence Cn is defined, to stronger logics - monotonic, as well as non-monotonic ones - by specific use of non-classical tableau rules. So far, in that context tableaus have been treated as a way of formalizing other approaches to supraclassical logics, but we use them autonomically to generate various consequence operations. It requires a description of the hierarchy of non-classical tableau rules that result in different supraclassical consequence operations, so we give it.

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Junker, Susanne. "Vanitas Reloaded: a Remote Tableau Composition from the Corona "Home Wunderkammer"." INSAM Journal of Contemporary Music, Art and Technology, no. 5 (December 15, 2020): 74–88. http://dx.doi.org/10.51191/issn.2637-1898.2020.3.5.74.

Повний текст джерела

Анотація:

Visuals – images – are a globally understandable exchange and copyable transmission of information. “O God, I could be bounded in a nutshell and count myself a king of infinite space,” Hamlet noticed. We also use our Coronavirus home office for experimental journeys in the Renaissance and Baroque periods. As in the 15th / 16th / 17th Century, worlds far away from us were discovered, and we embark on digital adventures that are temporary, simultaneous, synchronous, asynchronous, independent of location. We decided to work with digital photography as a visual method for mainly two reasons. First, taking photos can be done relatively easy during a shut down in the home office. We can train creativity and visual perception without being in a university's studio. Second, photographs can be analyzed and compared with paintings and therefore criticized by their motifs, aesthetic representation, and within their time frame. Our visual souvenirs are photographs and videos in the mirror of illusion, immersion, and imagination

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Tupan, Tupan, and 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 (July 20, 2022): 221–32. http://dx.doi.org/10.37014/visipustaka.v23i3.1247.

Повний текст джерела

Анотація:

Bibliometric analysis of publicity data on the handling of Covid-19 in Indonesia was carried out using Tableau and Vosviewer software. The research was conducted by using the literature search method using Google Scholar. The search was carried out from March 2020 to September 2020 using the keywords Covid-19 and Indonesia. The search results are then grouped based on author name, title and publication source. The results of grouping publications for Covid-19 handlers using Microsof Exel are grouped based on handling criteria. For publication sources analyzed using Software Tableau. Meanwhile, writer collaboration and keyword mapping were analyzed using the VosViewer software. The results of the analysis based on the criteria for handling Covid-19 show that most publications are in the form of treatment / prevention then followed by the impact / effect. Collaboration analysis using VosViewer software shows that Ian Huang is the most collaborative writer with 20 publications, followed by Raymond Pranata with 15 publications. The most publications on handling Covid-19 were published in Medica Hospitalia with 29 articles, followed by SALAM: Syar'i Social and Cultural Journal with 18 articles. Mapping results using VosViewer show that the handling of Covid-19 is divided into 4 clusters. Based on the visualization map, it is known that the most widely carried out research publications on Covid-19 are prevention / control in the context of accelerating the handling of the Covid pandemic, then followed by government policies in dealing with Covid-19 and economic policies during the Covid-19 pandemic.

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Cerrito, Serenella, Amélie David, and 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 (December 10, 2015): 1–34. http://dx.doi.org/10.1145/2811261.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Nguyen, Linh Anh, and 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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Clain, S., and 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 (November 2014): 1292–311. http://dx.doi.org/10.1016/j.camwa.2014.09.001.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!