Bibliographies thématiques / Tableau Method

Littérature scientifique sur le sujet « Tableau Method »

Auteur : Grafiati

Publié le 11 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Tableau Method ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Tableau Method"

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Leszczyńska-Jasion, Dorota, et Szymon Chlebowski. « Synthetic Tableaux with Unrestricted Cut for First-Order Theories ». Axioms 8, n^o 4 (29 novembre 2019) : 133. http://dx.doi.org/10.3390/axioms8040133.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Vassiliev, Nikolay, Vasilii Duzhin et Artem Kuzmin. « On the convergence of bumping routes to their limit shapes in the RSK algorithm : numerical experiments ». Information and Control Systems, n^o 6 (16 décembre 2021) : 2–9. http://dx.doi.org/10.31799/1684-8853-2021-6-2-9.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Athiemoolam, Logamurthie. « Students’ viewpoints on using tableaux to analyse short stories ». English Teaching : Practice & ; Critique 17, n^o 3 (13 août 2018) : 245–56. http://dx.doi.org/10.1108/etpc-03-2018-0030.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

MacCaull, Wendy. « Tableau method for residuated logic ». Fuzzy Sets and Systems 80, n^o 3 (juin 1996) : 327–37. http://dx.doi.org/10.1016/0165-0114(95)00199-9.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Datig, Ilka, et Paul Whiting. « Telling your library story : tableau public for data visualization ». Library Hi Tech News 35, n^o 4 (4 juin 2018) : 6–8. http://dx.doi.org/10.1108/lhtn-02-2018-0008.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Bourahla, Mustapha. « Using Rough Set Theory for Reasoning on Vague Ontologies ». International Journal of Intelligent Systems and Applications 14, n^o 4 (8 août 2022) : 21–36. http://dx.doi.org/10.5815/ijisa.2022.04.03.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Tableau Method"

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Levy, Michel Trilling Laurent Sifakis Joseph. « Contribution à l'analyse de la methode des tableaux ». S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00340419.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Gabrielsson, Jon. « Multivariate methods in tablet formulation ». Doctoral thesis, Umeå : Univ, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-268.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Livres sur le sujet "Tableau Method"

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Brünnler, Kai, et George Metcalfe, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Olivetti, Nicola, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Galmiche, Didier, et Dominique Larchey-Wendling, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "Tableau Method"

Degtyarev, Anatoli, et Andrei Voronkov. « Equality elimination for the tableau method ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Balbiani, Philippe, Hans van Ditmarsch, Andreas Herzig et Tiago de Lima. « A Tableau Method for Public Announcement Logics ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Roos, Nico. « A Semantic Tableau Method for Argument Construction ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Goranko, Valentin, Angelo Montanari et Guido Sciavicco. « A General Tableau Method for Propositional Interval Temporal Logics ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Tableau Method"

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Andriani, Desi, et Kristina Sisilia. « Analysis of Consumer Data in Diff’s Reflexology with Tableau Method ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Beeson, Bradley K., John J. Kurtz et Kevin G. Bonner. « Tableau method for reactive path planning in an obstacle avoidance system ». Dans AeroSense '99, sous la direction de Grant R. Gerhart, Robert W. Gunderson et Chuck M. Shoemaker. SPIE, 1999. http://dx.doi.org/10.1117/12.354463.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Tableau Method"

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Texte intégral

Résumé :

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!