Bibliografías temáticas / Tableau Method

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias
  6. Informes

Literatura académica 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 las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas 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.

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

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.
Más fuentes

Tesis sobre el tema "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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Tableau Method"

1

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Das, Anupam y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Brünnler, Kai y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Schmidt, Renate A. y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Galmiche, Didier y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "Tableau Method"

1

Degtyarev, Anatoli y Andrei Voronkov. "Equality elimination for the tableau method". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Balbiani, Philippe, Hans van Ditmarsch, Andreas Herzig y Tiago de Lima. "A Tableau Method for Public Announcement Logics". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Roos, Nico. "A Semantic Tableau Method for Argument Construction". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Goranko, Valentin, Angelo Montanari y Guido Sciavicco. "A General Tableau Method for Propositional Interval Temporal Logics". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

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

Actas de conferencias sobre el tema "Tableau Method"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Andriani, Desi y Kristina Sisilia. "Analysis of Consumer Data in Diff’s Reflexology with Tableau Method". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Andriani, Desi y Kristina Sisilia. "Analysis of Consumer Data in Diff’s Reflexology with Tableau Method". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

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

Informes sobre el tema "Tableau Method"

1

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Colvin, Thomas S., Jeffery D. Cook y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Duan, Yuanqiong, Xin Huang, Ailing Liang, Rutie Yin y 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, mayo de 2022. http://dx.doi.org/10.37766/inplasy2022.5.0093.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Cook, Jeffery D. y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Pecinovsky, Ken y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Tableau Method" para tipos de fuentes particulares:
Artículos de revistas Tesis Libros
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!

Pasar a la bibliografía