Relevant bibliographies by topics / Tableau Method

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Tableau Method"

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

Dissertations / Theses on the topic "Tableau Method"

1

Slavětínský, Radek. "Analýza cloudových řešení Business Intelligence pro SME." Master's thesis, Vysoká škola ekonomická v Praze, 2017. http://www.nusl.cz/ntk/nusl-358847.

Full text
Abstract:
The thesis is focused on the analysis of presently offered products supporting Business Intelligence (BI) which are affordable for small and medium-sized enterprises (SMEs). Current BI solutions available to SMEs are mostly offered via Cloud computing, specifically in the form of Software as a Service (SaaS) as it requires low initial acquisition costs. The objectives of this thesis are to analyse the work in applications for BI in cloud that can be used by SMEs and to analyse in detail the comparison the worldwide extended reporting tools distributed as SaaS in the lower price category. The t
APA, Harvard, Vancouver, ISO, and other styles
2

Mahieux, Bruno. "Contribution à l'optimisation en masse de structures complexes sous contraintes vibratoires : application à la conception des planches de bord en phase d'études préliminaires." Valenciennes, 1996. http://www.theses.fr/1996VALE0031.

Full text
Abstract:
Dans le cadre de la conception des planches de bord en phase d'études préliminaires, nous proposons une stratégie d'optimisation permettant de réaliser des gains en masse rapidement à partir d'un cahier des charges. Ce cahier des charges comprend en particulier des critères vibratoires. En fonction des besoins d'études ainsi que des caractéristiques d'une planche de bord, la stratégie développée fait appel à une utilisation conjointe des techniques de sous-structuration et d'optimisation. Elle consiste à optimiser séparément les éléments (ou sous-structures) modifiables. Pour cela, nous étudio
APA, Harvard, Vancouver, ISO, and other styles
3

Vadaparty, Sirisha Lakshmi. "Semantic tableaux program." CSUSB ScholarWorks, 2006. https://scholarworks.lib.csusb.edu/etd-project/2953.

Full text
Abstract:
This project created a program that takes predicate calculus formulas and creates a visual Semantic Tableaux truth tree, thereby proving or disproving a conclusion. Formal methods used in developing and verifying software and hardware are mathematically based techniques for describing and reasoning about system properties. Such formal methods provide frameworks within which people specify, develop, and verify systems in a systematic, rather than ad hoc, manner. Formal methods include the more specific activities of program specification, program verification and hardware verification.
APA, Harvard, Vancouver, ISO, and other styles
4

Levy, Michel Trilling Laurent Sifakis Joseph. "Contribution à l'analyse de la methode des tableaux." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00340419.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lévy, Michel. "Contribution a l'analyse de la methode des tableaux." Université Joseph Fourier (Grenoble), 1991. http://tel.archives-ouvertes.fr/tel-00340419.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lévy, Michel. "Contribution a l'analyse de la methode des tableaux." Grenoble 1, 1991. https://theses.hal.science/tel-00340419.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gabrielsson, Jon. "Multivariate methods in tablet formulation." Doctoral thesis, Umeå : Univ, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-268.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lönroth, Lisa. "Tablet-based interaction methods for VR." Thesis, Linköpings universitet, Institutionen för teknik och naturvetenskap, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-97142.

Full text
Abstract:
Interaction with virtual environments has for a long time been a subject of research and many different techniques and interaction-devices have been developed. Both 3D interaction devices such as wands, gloves etc are in use, but also traditional 2D interaction with a mouse and a keyboard exist. In this work we explore the possibility to use a TabletPC as an interaction-device for virtual environments. Several methods of interaction for tasks like selection and value manipulation were developed, using the human ability of spatial knowledge as an aid. The methods have been developed to suit a p
APA, Harvard, Vancouver, ISO, and other styles
9

Halmagrand, Pierre. "Automated deduction and proof certification for the B method." Thesis, Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1064/document.

Full text
Abstract:
La Méthode B est une méthode formelle de spécification et de développement de logiciels critiques largement utilisée dans l'industrie ferroviaire. Elle permet le développement de programmes dit corrects par construction, grâce à une procédure de raffinements successifs d'une spécification abstraite jusqu'à une implantation déterministe du programme. La correction des étapes de raffinement est garantie par la vérification de la correction de formules mathématiques appelées obligations de preuve et exprimées dans la théorie des ensembles de la Méthode B. Les projets industriels utilisant la Méth
APA, Harvard, Vancouver, ISO, and other styles
10

Halmagrand, Pierre. "Automated deduction and proof certification for the B method." Electronic Thesis or Diss., Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1064.

Full text
Abstract:
La Méthode B est une méthode formelle de spécification et de développement de logiciels critiques largement utilisée dans l'industrie ferroviaire. Elle permet le développement de programmes dit corrects par construction, grâce à une procédure de raffinements successifs d'une spécification abstraite jusqu'à une implantation déterministe du programme. La correction des étapes de raffinement est garantie par la vérification de la correction de formules mathématiques appelées obligations de preuve et exprimées dans la théorie des ensembles de la Méthode B. Les projets industriels utilisant la Méth
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Tableau Method"

1

D'Agostino, Marcello. Handbook of Tableau Methods. Springer Netherlands, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

D’Agostino, Marcello, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, eds. Handbook of Tableau Methods. Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-017-1754-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Marcello, D'Agostino, ed. Handbook of tableau methods. Kluwer, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jim, Richey, ed. Tablesaw: Methods of work. Taunton Press, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Das, Anupam, and Sara Negri, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-86059-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Brünnler, Kai, and George Metcalfe, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22119-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Schmidt, Renate A., and Cláudia Nalon, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66902-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Olivetti, Nicola, ed. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73099-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Galmiche, Didier, ed. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0027400.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Galmiche, Didier, and Dominique Larchey-Wendling, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40537-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Tableau Method"

1

Degtyarev, Anatoli, and Andrei Voronkov. "Equality elimination for the tableau method." In Design and Implementation of Symbolic Computation Systems. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61697-7_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sochański, Michał, Dorota Leszczyńska-Jasion, Szymon Chlebowski, Agata Tomczyk, and Marcin Jukiewicz. "Synthetic Tableaux: Minimal Tableau Search Heuristics." In Automated Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_25.

Full text
Abstract:
AbstractWe discuss the results of our work on heuristics for generating minimal synthetic tableaux. We present this proof method for classical propositional logic and its implementation in Haskell. Based on mathematical insights and exploratory data analysis we define heuristics that allows building a tableau of optimal or nearly optimal size. The proposed heuristics has been first tested on a data set with over 200,000 short formulas (length 12), then on 900 formulas of length 23. We describe the results of data analysis and examine some tendencies. We also confront our approach with the pige
APA, Harvard, Vancouver, ISO, and other styles
3

Balbiani, Philippe, Hans van Ditmarsch, Andreas Herzig, and Tiago de Lima. "A Tableau Method for Public Announcement Logics." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73099-6_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Batens, Diderik, and Joke Meheus. "A Tableau Method for Inconsistency-Adaptive Logics." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10722086_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bonichon, Richard. "TaMeD: A Tableau Method for Deduction Modulo." In Automated Reasoning. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-25984-8_33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Roos, Nico. "A Semantic Tableau Method for Argument Construction." In Communications in Computer and Information Science. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-76640-5_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bowman, Howard, and Simon Thompson. "A Tableau Method for Interval Temporal Logic with Projection." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69778-0_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Goranko, Valentin, Angelo Montanari, and Guido Sciavicco. "A General Tableau Method for Propositional Interval Temporal Logics." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45206-5_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Araragi, Tadashi. "A Uniform Theorem Proving Tableau Method for Modal Logic." In Lecture Notes in Logic. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/978-3-662-21963-8_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Sioutis, Michael, Jean-François Condotta, Yakoub Salhi, and Bertrand Mazure. "Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method." In Lecture Notes in Computer Science. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-24312-2_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Tableau Method"

1

Sibychan, Jerrin Job, Nicola Sorace, Jason Melnick, et al. "Use of Discrete Element Method to Troubleshoot Aesthetic Defects in Pharmaceutical Tablets." In Foundations of Computer-Aided Process Design. PSE Press, 2024. http://dx.doi.org/10.69997/sct.148066.

Full text
Abstract:
Pharmaceutically elegant tablets are an expectation from pharmacists, health care providers and consumers for solid oral dosage forms. The presence of non-aesthetically pleasing defects in solid oral dosage forms can result in complaints back to the manufacturer and potentially non-compliance with medicines. The purpose of this study was to simulate and analyze the design of a tablet core and the aqueous film-coating process, to gain a better understanding of tablet defect generation, and to help eliminate the defects from the finished product. This evaluation employs Discrete Element Method (
APA, Harvard, Vancouver, ISO, and other styles
2

Oikawa, Daisuke, Humihiko Gotou, Yukari Aoki, Yuji Shindo, and Ryu Noda. "Estimation of Young's modulus for members of Timber bridge by vibration measurement test." In IABSE Symposium, Tokyo 2025: Environmentally Friendly Technologies and Structures: Focusing on Sustainable Approaches. International Association for Bridge and Structural Engineering (IABSE), 2025. https://doi.org/10.2749/tokyo.2025.2795.

Full text
Abstract:
<p>In this study we proposes a method to estimate Young's modulus for members of timber bridges from the natural frequencies of the entire bridge using tablet devices which are familiar to everyone, so that anyone can carry out simple initial inspection. The validity of this method will be considered by comparing the Young’s modulus estimated from the natural frequency measured by the tablets with Young's modulus calculated from the transit time of stress wave measured by Microsecond Timer (FAKOPP), which can directly measure the Young’s modulus for each member. This estimation method wa
APA, Harvard, Vancouver, ISO, and other styles
3

Angelov, Plamen, Maya Rankova, and Borislav Vuchkov. "MODERN METHODS OF DETERMINING OF THE MOMENTS WATER QUALITY. COMPARING THE RESULTS WITH TRADITIONAL METHOD." In 24th SGEM International Multidisciplinary Scientific GeoConference 2024. STEF92 Technology, 2024. https://doi.org/10.5593/sgem2024/3.1/s12.19.

Full text
Abstract:
Hydrometric propeller methods, is device that responds and measuring the velocity of the water current at the point where its sensor axis is located. Mechanical hydrometric propellers are widely used in our country, in which the current causes rotation of a screw vane with an angular velocity proportional to the velocity of the current, in this method the depth of the river profile must be taken into account in order to comply with the measurement condition in 1, 2, or 3 points namely 0.2h, 0.6h and 0.8h, h-depth of flow [2] . In the present topic, a comparison will be made between a hydrometr
APA, Harvard, Vancouver, ISO, and other styles
4

Cheng, Xiao-Hong. "A Simple and practical Sorting Tableau Mark-Method." In 2010 International Conference on Computer Application and System Modeling (ICCASM 2010). IEEE, 2010. http://dx.doi.org/10.1109/iccasm.2010.5620251.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Andriani, Desi, and Kristina Sisilia. "Analysis of Consumer Data in Diff’s Reflexology with Tableau Method." In International Conference on Business, Economy, Management and Social Studies towards Sustainable Economy (BEMSS). RSF Press & RESEARCH SYNERGY FOUNDATION, 2020. http://dx.doi.org/10.31098/bemss.v1i1.2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Andriani, Desi, and Kristina Sisilia. "Analysis of Consumer Data in Diff’s Reflexology with Tableau Method." In International Conference on Business, Economy, Management and Social Studies towards Sustainable Economy (BEMSS). RSF Press & RESEARCH SYNERGY FOUNDATION, 2020. http://dx.doi.org/10.31098/bemss.v1i1.4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Svetlov, Gennady V., Aleksey I. Baranchikov, Natalya N. Grinchenko, Nataliy S. Fokina, and Boris V. Kostrov. "Using a Tableau Method for Checking the Database Logical Structure Correctness." In 2018 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2018. http://dx.doi.org/10.1109/ewdts.2018.8524864.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Beeson, Bradley K., John J. Kurtz, and Kevin G. Bonner. "Tableau method for reactive path planning in an obstacle avoidance system." In AeroSense '99, edited by Grant R. Gerhart, Robert W. Gunderson, and Chuck M. Shoemaker. SPIE, 1999. http://dx.doi.org/10.1117/12.354463.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Li, Xia-Miao, Jie Tang, and Ming-Ming Qi. "Computing Shortest Path Problem with Subtractive Weight Based on Tableau Method." In 2007 3rd International Conference on Wireless Communications, Networking, and Mobile Computing - WiCOM '07. IEEE, 2007. http://dx.doi.org/10.1109/wicom.2007.1060.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Mamalis, Basilis, and Marios Perlitis. "Hybrid Parallelization of Standard Full Tableau Simplex Method with MPI and OpenMP." In the 18th Panhellenic Conference. ACM Press, 2014. http://dx.doi.org/10.1145/2645791.2645802.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Tableau Method"

1

Peñaloza, Rafael. Pinpointing in Tableaus. Aachen University of Technology, 2006. http://dx.doi.org/10.25368/2022.158.

Full text
Abstract:
Tableau-based decision procedures have been successfully used for solving a wide variety of problems. For some applications, nonetheless, it is desirable not only to obtain a Boolean answer, but also to detect the causes for such a result. In this report, a method for finding explanations on tableau-based procedures is explored, generalizing previous results on the field. The importance and use of the method is shown by means of examples.
APA, Harvard, Vancouver, ISO, and other styles
2

Walmsley, Terrie, and Robert McDougall. Using Entropy to Compare IO tables. GTAP Research Memoranda, 2005. http://dx.doi.org/10.21642/gtap.rm09.

Full text
Abstract:
The importance of obtaining quality I-O tables for the GTAP Data Base has prompted the need for a method to compare contributed I-O tables. Comparisons are useful for a number of reasons. a) Time comparisons can be used to show how an economy has changed over time. b) Country comparisons may be used to show differences in cost or use structures between countries. c) Comparisons may also be used to highlight errors in construction procedures or mappings and therefore assist us in improving the quality of the data. In this document we look out how entropy can be used to compare I-O tables. The p
APA, Harvard, Vancouver, ISO, and other styles
3

Colvin, Thomas S., Jeffery D. Cook, and Kenneth T. Pecinovsky. Water Table Level as Influenced by Tiling Method. Iowa State University, Digital Repository, 2003. http://dx.doi.org/10.31274/farmprogressreports-180814-2472.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

White, R. H. FEEST: A method for tabulating equation of state and opacity tables. Office of Scientific and Technical Information (OSTI), 1993. http://dx.doi.org/10.2172/10173340.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Duan, Yuanqiong, Xin Huang, Ailing Liang, Rutie Yin, and Mengpei Zhang. A comparison of the efficacy and feasibility of different regional anesthesia modes in cesarean section：A systematic review and network meta-analysis. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, 2022. http://dx.doi.org/10.37766/inplasy2022.5.0093.

Full text
Abstract:
Review question / Objective: To investigate the efficacy and feasibility of different regional anesthesia techniques in patients who received cesarean section. Condition being studied: The current study aims to perform a network meta-analysis to comprehensively compare the regional anesthesia methods for postoperative pain in patients scheduled for elective cesarean section and try to find an optimal method that can serve as a reference in clinical practice. Information sources: Two investigators (YY and SS) independently extracted the data. Information was extracted about participant characte
APA, Harvard, Vancouver, ISO, and other styles
6

Cheng, Peng, James V. Krogmeier, Mark R. Bell, Joshua Li, and Guangwei Yang. Detection and Classification of Concrete Patches by Integrating GPR and Surface Imaging. Purdue University, 2021. http://dx.doi.org/10.5703/1288284317320.

Full text
Abstract:
This research considers the detection, location, and classification of patches in concrete and asphalt-on-concrete pavements using data taken from ground penetrating radar (GPR) and the WayLink 3D Imaging System. In particular, the project seeks to develop a patching table for “inverted-T” patches. A number of deep neural net methods were investigated for patch detection from 3D elevation and image observation, but the success was inconclusive, partly because of a dearth of training data. Later, a method based on thresholding IRI values computed on a 12-foot window was used to localize pavemen
APA, Harvard, Vancouver, ISO, and other styles
7

Cheng, Peng, James V. Krogmeier, Mark R. Bell, Joshua Li, and Guangwei Yang. Detection and Classification of Concrete Patches by Integrating GPR and Surface Imaging. Purdue University, 2021. http://dx.doi.org/10.5703/1288284317320.

Full text
Abstract:
This research considers the detection, location, and classification of patches in concrete and asphalt-on-concrete pavements using data taken from ground penetrating radar (GPR) and the WayLink 3D Imaging System. In particular, the project seeks to develop a patching table for “inverted-T” patches. A number of deep neural net methods were investigated for patch detection from 3D elevation and image observation, but the success was inconclusive, partly because of a dearth of training data. Later, a method based on thresholding IRI values computed on a 12-foot window was used to localize pavemen
APA, Harvard, Vancouver, ISO, and other styles
8

Cook, Jeffery D., and Kenneth T. Pecinovsky. Water Table Level as Influenced by Rainfall, Crop Requirements, and Tiling Method. Iowa State University, Digital Repository, 2006. http://dx.doi.org/10.31274/farmprogressreports-180814-2308.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Sasao, Tsutomu, and Jon T. Butler. A Design Method for Look-up Table Type FPGA by Pseudo-Kronecker Expansion. Defense Technical Information Center, 1994. http://dx.doi.org/10.21236/ada593069.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Havrlant, David, and Mehmet Ali Soytas. Saudi Vision 2030 Dynamic Input-Output Table: Combining Macroeconomic Forecasts With the RAS Method. King Abdullah Petroleum Studies and Research Center, 2020. http://dx.doi.org/10.30573/ks--2020-mp03.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Tableau Method' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography