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

Зміст

  1. Статті в журналах
  2. Дисертації
  3. Книги
  4. Частини книг
  5. Тези доповідей конференцій
  6. Звіти організацій

Добірка наукової літератури з теми "Tableau Method"

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

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

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

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Tableau Method".

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

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

Статті в журналах з теми "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 (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 та ін.
Більше джерел

Дисертації з теми "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.

Повний текст джерела
Анотація:
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 theoretical part provides a description of the Cloud computing and the BI system. In the practical part are selected following products: IBM Watson Analytics, Qlik Sense Cloud, Zoho Reports, Tableau Public and Microsoft Power BI. Practical testing of these applications was based on evaluation of the selected metrics with weights calculated by using the Fuller's triangle. Analyses and the information form the basis for comparison of selected applications. The contribution of this thesis is in discovering the strengths and weaknesses of these BI solutions. The output of this thesis can be used as a source for the selection of BI applications for SMEs.
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 étudions les possibilités offertes par les techniques de synthèse modale, puis nous examinons les principaux concepts nécessaires à la mise en forme d'un problème d'optimisation. À partir de cette dernière, nous proposons un développement particulier du calcul des sensibilités paramétriques basé sur la dérivation d'une équation de synthèse modale. Nous confrontons cette nouvelle approche à des techniques usuelles a partir d'un cas test élémentaire. Nous définissons ensuite les hypothèses de passage d'une optimisation de l'ensemble de la planche de bord, vers une optimisation séparée des éléments modifiables. Nous spécifions alors une modélisation des restrictions locales relatives aux problèmes d'optimisation des éléments modifiables. Nous abordons ensuite la validation expérimentale de la stratégie d'optimisation proposée, sur la base d'une structure minimale représentative du comportement vibratoire d'une planche de bord réelle. En conclusion, nous présentons l'optimisation de la planche de bord du véhicule zx, qui constitue l'aboutissement de la stratégie d'optimisation sur des planches de bord réelles.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Анотація:
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 та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 pen-based interface and the special features of the pen have been taken under consideration. Evaluation showed that the developed interaction methods were usable.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Анотація:
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éthode B génèrent généralement des milliers d'obligation de preuve. La faisabilité et la rapidité du développement dépendent donc fortement d'outils automatiques pour prouver ces formules mathématiques. Un outil logiciel, appelé Atelier B, spécialement développé pour aider au développement de projet avec la Méthode B, aide les utilisateurs a se décharger des obligations de preuve, automatiquement ou interactivement. Améliorer la vérification automatique des obligations de preuve est donc une tache importante. La solution que nous proposons est d'utiliser Zenon, un outils de déduction automatique pour la logique du premier ordre et qui implémente la méthode des tableaux. La particularité de Zenon est de générer des certificats de preuve, des preuves écrites dans un certain format et qui permettent leur vérification automatique par un outil tiers. La théorie des ensembles de la Méthode B est une théorie des ensembles en logique du premier ordre qui fait appel à des schémas d'axiomes polymorphes. Pour améliorer la preuve automatique avec celle-ci, nous avons étendu l'algorithme de recherche de preuve de Zenon au polymorphisme et à la déduction modulo théorie. Ce nouvel outil, qui constitue le cœur de notre contribution, est appelé Zenon Modulo. L'extension de Zenon au polymorphisme nous a permis de traiter, efficacement et sans encodage, les problèmes utilisant en même temps plusieurs types, par exemple les booléens et les entiers, et des axiomes génériques, tels ceux de la théorie des ensembles de B. La déduction modulo théorie est une extension de la logique du premier ordre à la réécriture des termes et des propositions. Cette méthode est parfaitement adaptée à la recherche de preuve dans les théories axiomatiques puisqu'elle permet de transformer des axiomes en règles de réécriture. Par ce moyen, nous passons d'une recherche de preuve dans des axiomes à du calcul, réduisant ainsi l'explosion combinatoire de la recherche de preuve en présence d'axiomes et compressant la taille des preuves en ne gardant que les étapes intéressantes. La certification des preuves de Zenon Modulo, une autre originalité de nos travaux, est faite à l'aide de Dedukti, un vérificateur universel de preuve qui permet de certifier les preuves provenant de nombreux outils différents, et basé sur la déduction modulo théorie. Ce travail fait parti d'un projet plus large appelé BWare, qui réunit des organismes de recherche académique et des industriels autour de la démonstration automatique d'obligations de preuve dans l'Atelier B. Les partenaires industriels ont fournit à BWare un ensemble d'obligation de preuve venant de vrais projets industriels utilisant la Méthode B, nous permettant ainsi de tester notre outil Zenon Modulo.Les résultats expérimentaux obtenus sur cet ensemble de référence sont particulièrement convaincant puisque Zenon Modulo prouve plus d'obligation de preuve que les outils de déduction automatique de référence au premier ordre. De plus, tous les certificats de preuve produits par Zenon Modulo ont été validés par Dedukti, nous permettant ainsi d'être très confiant dans la correction de notre travail
The B Method is a formal method heavily used in the railway industry to specify and develop safety-critical software. It allows the development of correct-by-construction programs, thanks to a refinement process from an abstract specification to a deterministic implementation of the program. The soundness of the refinement steps depends on the validity of logical formulas called proof obligations, expressed in a specific typed set theory. Typical industrial projects using the B Method generate thousands of proof obligations, thereby relying on automated tools to discharge as many as possible proof obligations. A specific tool, called Atelier B, designed to implement the B Method and provided with a theorem prover, helps users verify the validity of proof obligations, automatically or interactively. Improving the automated verification of proof obligations is a crucial task for the speed and ease of development. The solution developed in our work is to use Zenon, a first-orderlogic automated theorem prover based on the tableaux method. The particular feature of Zenon is to generate proof certificates, i.e. proof objects that can be verified by external tools. The B Method is based on first-order logic and a specific typed set theory. To improve automated theorem proving in this theory, we extend the proof-search algorithm of Zenon to polymorphism and deduction modulo theory, leading to a new tool called Zenon Modulo which is the main contribution of our work. The extension to polymorphism allows us to deal with problems combining several sorts, like booleans and integers, and generic axioms, like B set theory axioms, without relying on encodings. Deduction modulo theory is an extension of first-order logic with rewriting both on terms and propositions. It is well suited for proof search in axiomatic theories, as it turns axioms into rewrite rules. This way, we turn proof search among axioms into computations, avoiding unnecessary combinatorial explosion, and reducing the size of proofs by recording only their meaningful steps. To certify Zenon Modulo proofs, we choose to rely on Dedukti, a proof-checker used as a universal backend to verify proofs coming from different theorem provers,and based on deduction modulo theory. This work is part of a larger project called BWare, which gathers academic entities and industrial companies around automated theorem proving for the B Method. These industrial partners provide to BWare a large benchmark of proof obligations coming from real industrial projects using the B Method and allowing us to test our tool Zenon Modulo. The experimental results obtained on this benchmark are particularly conclusive since Zenon Modulo proves more proof obligations than state-of-the-art first-order provers. In addition, all the proof certificates produced by Zenon Modulo on this benchmark are well checked by Dedukti, increasing our confidence in the soundness of our work
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Ivarsson, Kristoffer. "Pile foundation, calculation method and design tables according to Eurocode." Thesis, Linköpings universitet, Medie- och Informationsteknik, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-94549.

Повний текст джерела
Анотація:
Because of the transition to a common standard for building regulations in Europe called Eurocodes, there is a need to update old reports that was written when old national standards were in use. A pile foundation is needed if the ground beneath a building does not have enough loadbearing capacity. The function of the pile cap is to distribute the load from the above construction on to the piles in the ground. The goal of this thesis is to create design tables with a number of type caps that can be use to quickly get a grip of the size, quantity of reinforcement steel and loadbearing capacity of the cap without the need to do any calculations. To create the values for the design tables the cantilever truss model was used. The truss is made up of the strut between the pile head-compression zone under the wall/pillar and the tie that is the reinforcement steel. The choice of this model makes it relatively simple to calculate the height and loadbearing capacity for the cap.The model from the theory part of the thesis is further explained by a calculation example that shows how the model has been implemented to create the design tables. The work with this thesis has been carried out at WSP and has it’s grounds in an handbook that they have there.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Tableau Method"

1

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Tableau Method"

1

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Анотація:
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 pigeonhole principle.
Стилі APA, Harvard, Vancouver, ISO та ін.
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, 43–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73099-6_6.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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, 54–69. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-24312-2_5.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Tableau Method"

1

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Lu, Yang, Lina Yang, Haoliang Yuan, Yulong Wang, Huiwu Luo, and Yuan Yan Tang. "A novel method for protein structure retrieval using tableau representation and sparse coding." In 2014 IEEE International Conference on Systems, Man and Cybernetics - SMC. IEEE, 2014. http://dx.doi.org/10.1109/smc.2014.6974565.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Mamalis, Basilis, Grammati Pantziou, Georgios Dimitropoulos, and Dimitrios Kremmydas. "Reexamining the Parallelization Schemes for Standard Full Tableau Simplex Method on Distributed Memory Environments." In Parallel and Distributed Computing and Networks / Software Engineering. Calgary,AB,Canada: ACTAPRESS, 2011. http://dx.doi.org/10.2316/p.2011.719-028.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Liu, Quan, Zhi-ming Cui, Ji-gui Sun, and Wan-jun Yu. "A Boolean Pruning Method for Improving Tableau Reasoning Efficiency in First-Order Multiple-Valued Logics." In 2006 International Conference on Machine Learning and Cybernetics. IEEE, 2006. http://dx.doi.org/10.1109/icmlc.2006.258847.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Tableau Method"

1

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

Повний текст джерела
Анотація:
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 та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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, May 2022. http://dx.doi.org/10.37766/inplasy2022.5.0093.

Повний текст джерела
Анотація:
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 characteristics (age, gestational week, American society of Anesthesiologist grade (ASA), body mass index(BMI), etc.), study design, anesthesia methods, and analgesic efficacy outcomes. The data were extracted from the text, tables, and graphs of each study.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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.

Повний текст джерела
Анотація:
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 pavement distress, particularly as seen by patch settling. This method was far more promising. In addition, algorithms were developed for segmentation of the GPR data and for classification of the ambient pavement and the locations and types of patches found in it. The results so far are promising but far from perfect, with a relatively high rate of false alarms. The two project parts were combined to produce a fused patching table. Several hundred miles of data was captured with the Waylink System to compare with a much more limited GPR dataset. The primary dataset was captured on I-74. A software application for MATLAB has been written to aid in automation of patch table creation.
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 pavement distress, particularly as seen by patch settling. This method was far more promising. In addition, algorithms were developed for segmentation of the GPR data and for classification of the ambient pavement and the locations and types of patches found in it. The results so far are promising but far from perfect, with a relatively high rate of false alarms. The two project parts were combined to produce a fused patching table. Several hundred miles of data was captured with the Waylink System to compare with a much more limited GPR dataset. The primary dataset was captured on I-74. A software application for MATLAB has been written to aid in automation of patch table creation.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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, April 2020. http://dx.doi.org/10.30573/ks--2020-mp03.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Pecinovsky, Ken, and Jeff Cook. Water Table Level as Influenced by Rainfall, Crop Requirements, and Tiling Method During the Past Two Years. Ames: Iowa State University, Digital Repository, 2017. http://dx.doi.org/10.31274/farmprogressreports-180814-1650.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Tableau Method" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії