Acceder

Bibliografías temáticas / Tableau Method / Artículos de revistas

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Tableau Method.

Artículos de revistas sobre el tema "Tableau Method"

Autor: Grafiati

Publicado: 11 de marzo de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Tableau Method".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

LI, RENWEI y AMÍLCAR SERNADAS. "Reasoning About Objects Using a Tableau Method". Journal of Logic and Computation 1, n.º 5 (1991): 575–611. http://dx.doi.org/10.1093/logcom/1.5.575.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

Xiang-Zhu, Li y Zhang Qian-Er. "Bonded Tableau Method for Interaction Theory of Chemical Subsystems". Acta Physico-Chimica Sinica 6, n.º 02 (1990): 151–58. http://dx.doi.org/10.3866/pku.whxb19900206.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Amati, Giambattista y Fiora Pirri. "A uniform tableau method for intuitionistic modal logics I". Studia Logica 53, n.º 1 (1994): 29–60. http://dx.doi.org/10.1007/bf01053021.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

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

Texto completo

Resumen

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).

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

Tanwir, Taufik Dwi Saputra y Johan Setiawan. "Visualisasi Perbandingan Anggaran Pendapatan Dan Belanja Daerah (APBD) Pemerintah Provinsi Kabupaten Dan Kota Di Indonesia Periode 2010-2014". Jurnal ULTIMA InfoSys 7, n.º 2 (12 de diciembre de 2016): 100–105. http://dx.doi.org/10.31937/si.v7i2.547.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Hu Kun-Ming y Wang Jian-Bo. "A new Young tableau method of obtaining equivalent-electron Young basis". Acta Physica Sinica 56, n.º 3 (2007): 1253. http://dx.doi.org/10.7498/aps.56.1253.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

Krdzavac, Nenad, Dragan Gasevic y Vladan Devedzic. "Model driven engineering of a tableau algorithm for description logics". Computer Science and Information Systems 6, n.º 1 (2009): 23–43. http://dx.doi.org/10.2298/csis0901023k.

Texto completo

Resumen

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. .

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

Lorenc, Augustyn y Aurelija Burinskiene. "Improve the orders picking in e-commerce by using WMS data and BigData analysis". FME Transactions 49, n.º 1 (2021): 233–43. http://dx.doi.org/10.5937/fme2101233l.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

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

Texto completo

Resumen

<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>

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

Dinesha, K. V. y P. C. P. Bhatt. "Method to rank and unrank semi-standard Young tableau for a partition ofn". International Journal of Computer Mathematics 82, n.º 1 (enero de 2005): 41–45. http://dx.doi.org/10.1080/00207160412331291062.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

Guil, Francisco, José F. Hidalgo y José M. García. "Boosting the extraction of elementary flux modes in genome-scale metabolic networks using the linear programming approach". Bioinformatics 36, n.º 14 (10 de julio de 2020): 4163–70. http://dx.doi.org/10.1093/bioinformatics/btaa280.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Iwahara, M., H. Muramoto y Y. Hondou. "Analysis of a three-phase ferro-resonant voltage stabilizer using nonlinear phasor tableau method". Journal of Magnetism and Magnetic Materials 112, n.º 1-3 (julio de 1992): 466–68. http://dx.doi.org/10.1016/0304-8853(92)91233-j.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

Tupan, Tupan y 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, n.º 3 (20 de julio de 2022): 221–32. http://dx.doi.org/10.37014/visipustaka.v23i3.1247.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

Nguyen, Linh Anh y 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, n.º 4 (2014): 433–49. http://dx.doi.org/10.3233/fi-2014-1133.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

Clain, S. y 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, n.º 10 (noviembre de 2014): 1292–311. http://dx.doi.org/10.1016/j.camwa.2014.09.001.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!