Relevant bibliographies by topics / Analytical tableaux

Contents

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

Academic literature on the topic 'Analytical tableaux'

Author: Grafiati
Published: 4 June 2021
Last updated: 14 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Analytical tableaux.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Analytical tableaux"

1

D'Ottaviano, Itala M. Loffredo, and Milton Augustinis de Castro. "Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics." Electronic Notes in Theoretical Computer Science 143 (January 2006): 27–44. http://dx.doi.org/10.1016/j.entcs.2005.06.033.

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

Loffredo D'Ottaviano, Itala M., and Milton Augustinis de Castro. "Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω." Journal of Applied Non-Classical Logics 15, no. 1 (January 2005): 69–103. http://dx.doi.org/10.3166/jancl.15.69-103.

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

Arai, Noriko H., Toniann Pitassi, and Alasdair Urquhart. "The complexity of analytic tableaux." Journal of Symbolic Logic 71, no. 3 (September 2006): 777–90. http://dx.doi.org/10.2178/jsl/1154698576.

Full text
Abstract:
AbstractThe method of analytic tableaux is employed in many introductory texts and has also been used quite extensively as a basis for automated theorem proving. In this paper, we discuss the complexity of the system as a method for refuting contradictory sets of clauses, and resolve several open questions. We discuss the three forms of analytic tableaux: clausal tableaux, generalized clausal tableaux, and binary tableaux. We resolve the relative complexity of these three forms of tableaux proofs and also resolve the relative complexity of analytic tableaux versus resolution. We show that there is a quasi-polynomial simulation of tree resolution by analytic tableaux; this simulation is close to optimal, since we give a matching lower bound that is tight to within a polynomial.
APA, Harvard, Vancouver, ISO, and other styles
4

Laplante, Stacie K., and Mary E. Vernon. "Incorporating Data Analytics in a Technical Tax Setting: A Case Using Excel and Tableau to Examine a Firm's Schedule M-3 and Tax Risk." Issues in Accounting Education 36, no. 2 (January 22, 2021): 129–39. http://dx.doi.org/10.2308/issues-2020-007.

Full text
Abstract:
ABSTRACT New tax accountants are expected to possess strong technical tax and data analytic skills. This case provides an opportunity to improve students' corporate tax and accounting for income taxes knowledge and experience with professional tax workpapers. It also provides exposure to two powerful data analytic platforms, Tableau and Excel. Students must complete a set of tax workpapers, including a Schedule M-3 reconciliation. Students begin to view tax through an analytical mindset, gaining familiarity with descriptive data for tax analyses. This case helps students calculate GAAP and cash effective tax rates, taxable income, temporary and permanent book-tax differences, and formulate a professional written communication. Students also complete tax workpapers; benchmark tax data across time and industry peers; clean, format, and combine data using Excel and Tableau; analyze and visualize data using Tableau; and access and use the IRS's SOI database. JEL Classification: H29; D89; A22; A23.
APA, Harvard, Vancouver, ISO, and other styles
5

Rajesh, Chitransh, Yash Jain, and J. Jayapradha. "Airport Trends Analytics Engine using the ARIMA Model." International Journal of Engineering & Technology 7, no. 3.12 (July 20, 2018): 239. http://dx.doi.org/10.14419/ijet.v7i3.12.16033.

Full text
Abstract:
Data Analytics is the process of analyzing unprocessed data to draw conclusions by studying and inspecting various patterns in the data. Several algorithms and conceptual methods are often followed to derive legit and accurate results. Efficient data handling is important for interactive visualization of data sets. Considering recent researches and analytical theories on column-oriented Database Management System, we are developing a new data engine using R and Tableau to predict airport trends. The engine uses Univariate datasets (Example, Perth Airport Passenger Movement Dataset, and Newark Airport Cargo Stats Dataset) to analyze and predict accurate trends. Data analyzing and prediction is done with the implementation of Time Series Analysis and respective ARIMA Models for respective modules. Development of modules is done using RStudio whereas Tableau is used for interactive visualization and end-user report generation. The Airport Trends Analytics Engine is an integral part of R and Tableau 10.4 and is optimized for use on desktop and server environments.
APA, Harvard, Vancouver, ISO, and other styles
6

Kim, Eunbi, and Ching-Yu Huang. "Visual Analytics in Effects of Gross Domestic Product to Human Immunodeficiency Virus Using Tableau." International Journal of Machine Learning and Computing 11, no. 3 (May 2021): 219–23. http://dx.doi.org/10.18178/ijmlc.2021.11.3.1038.

Full text
Abstract:
As data becomes more accessible, visualization methods are needed to help make it easier to understand the information. Analyzing and visualizing data makes it easier to understand a dataset without having to read through it, and elucidate connections between two or more different datasets. Tableau is one of the most popular interactive data visualization software. By using Tableau, it is easy to find correlations between datasets, reorganize datasets through pivoting or joining them, and create visualizations such as geo map charts, geo bubble charts, table charts, line charts, pie charts, and treemap charts. This project aims to show the correlation between a country’s gross domestic product (GDP) and human immunodeficiency virus (HIV) through Tableau. Large data sets related to the GDP and HIV were gathered from open data sources. The data will be cleaned through Tableau and Excel, and correlations between datasets will be shown through variable charts with Tableau.
APA, Harvard, Vancouver, ISO, and other styles
7

Babu, Saggurthi Kishor, and S. Vasavi. "Visualization of Feature Engineering Strategies for Predictive Analytics." International Journal of Natural Computing Research 7, no. 4 (October 2018): 20–44. http://dx.doi.org/10.4018/ijncr.2018100102.

Full text
Abstract:
Predictive analytics can forecast trends, determines statistical probabilities and to act upon fraud and security threats for big data applications. Predictive analytics as a service (PAaaS) framework based upon ensemble model that uses Gaussian process with varying hyper parameters, Artificial Neural Networks, Auto Regression algorithm and Gaussian process is discussed in the authors' earlier works. Such framework can make in-depth statistical insights of data that helps in decision making process. This article reports the presentation layer of PAaaS for real time visualization and analytical reporting of these statistical insights. Result from various feature engineering strategies for predictive analytics is visualized in specific to type of feature engineering strategy and visualization technique using Tableau.
APA, Harvard, Vancouver, ISO, and other styles
8

Schafer, Brad A., Sarah Bee, and Margaret Garnsey. "The Lemonade Stand: An Elementary Case for Introducing Data Analytics." AIS Educator Journal 13, no. 1 (January 1, 2018): 29–43. http://dx.doi.org/10.3194/1935-8156-13.1.29.

Full text
Abstract:
Accounting education has been encouraged to increase the business knowledge, analytical skills, and data analytic skills of accounting students. This case blends these areas in a single, multi-part project for Accounting Information Systems (AIS) courses. The case includes the technical function of extracting data from databases, integrating multiple data stores and using multiple software tools (MS Access and Tableau). Additionally, students learn to assess the business needs driving the use of integrated data stores to produce quality information for decision making. Using a basic business scenario (lemonade stand), this case provides a stand-alone project focusing on incorporating data analytics into an AIS course. Students assume the role of a professional consultant to a lemonade stand and will become familiar with the business processes and the data of the company, develop queries to answer various business questions, and integrate internal and external data to graphically analyze the combined data for a business analysis. The case allows integration of the course content of data extraction and reporting elements with data analytics. Students indicated that they perceived that they increased their knowledge about business analysis and data analytics tools. Student also indicated they enjoyed the case and had many positive comments about their experience. Results from a pre-/post-test quiz reflect that students did significantly increase their knowledge of business analysis and data analytics.
APA, Harvard, Vancouver, ISO, and other styles
9

SUNKPHO, Jirapon, and Warit WIPULANUSAT. "The Role of Data Visualization and Analytics of Highway Accidents." Walailak Journal of Science and Technology (WJST) 17, no. 12 (December 1, 2020): 1379–89. http://dx.doi.org/10.48048/wjst.2020.10739.

Full text
Abstract:
Thailand has been ranked as one of the most dangerous countries in terms of death from road accidents, representing ineffective road safety policies. The crucial mission of the Thai government is to provide safety and reduce accidents for road users on the highway system. This paper aims to explore the potential of using Business Intelligence (BI) in accident analysis. The availability of open accident data provides an opportunity for the BI, which can provide an advanced platform for conducting data visualization and analytics in both spatial and temporal dimensions in order to illustrate when and where the accidents occur. The accident data and provincial data were combined by using the Talend Data Integration tool. The combined data was then loaded into a MySQL database for data visualization using Tableau. The dashboard was designed and created by using Tableau as an analytical visualization tool to provide insights into highway accidents. This system is advised to be adopted by the Thai government, which can be used for data visualization and analytics to provide a mechanism to formulate strategy options and formulate appropriate contingency plans to improve the accident situation.
APA, Harvard, Vancouver, ISO, and other styles
10

Männig, Maria. "The Tableau Vivant and Social Media Culture." Acta Universitatis Sapientiae, Film and Media Studies 19, no. 1 (March 1, 2021): 132–55. http://dx.doi.org/10.2478/ausfm-2021-0009.

Full text
Abstract:
Abstract The article aims to analyse the tableau vivant in social media culture by emphasizing its intermedial relation to technical visual media, particularly digital photography and film. By focusing on the living picture’s specific mimetic qualities, the study traces back the tableau vivant’s history in a media archaeological perspective primarily regarding photography. It explores the current revival of the tableau vivant within social media. The article examines living pictures and the aspect of self-staging, relevant to contemporary digital culture. The tableau vivant develops between two polarities: a primarily analytical approach that allows a profound exploration of a particular artwork and the performative aspects of self-staging.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Analytical tableaux"

1

Silvestrini, Luiz Henrique da Cruz. "Tableaux e indução na lógica do plausível /." Marília : [s.n.], 2005. http://hdl.handle.net/11449/91404.

Full text
Abstract:
Orientador: Hércules de Araújo Feitosa
Banca: Maria Cláudia Cabrini Grácio
Banca: Ítala Maria Loffredo D’Ottaviano
Resumo: Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a saber, as Lógicas Moduladas, cuja formalização semântica é dada por um subconjunto do conjunto das partes do universo. Nesta particularização de lógica modulada, é incluído o quantificador do Plausível P, que engendra a formalização de um raciocínio indutivo de maneira que "uma 'boa parte' dos indivíduos possui determinada propriedade". O presente trabalho introduz um novo sistema dedutivo para a Lógica do Plausível, denominado TLP, construído seguindo os princípios de tableaux semânticos clássicos. Na elaboração do sistema de tableaux TLP, há uma forma original de localizar pontos nos ramos de um dado tableau. Ademais, por meio do raciocínio indutivo engendrado por esta lógica, discussões sucederam acerca da indução ser considerada um processo genuinamente lógico, tendo por ponto de partida o problema epistemológico da indução.
Abstract: The Logic of the Plausible was introduced in 1999 by Grácio as a particularization of a family of logical systems characterized by the inclusion of a generalized quantifier in the syntax of the classical logic of predicates, denominated the Modulated Logics, whose semantical interpretation is given by a subset of the power set of the universe. In this particularization of modulated logics, it is included the quantifier of Plausible P that engenders the formalization of a type of inductive reasoning so that "a 'good' number of individuals possesses certain property ". This work introduces a new deductive system for the Logic of the Plausible, denominated TLP, built according to the principles of the classical semantical tableaux. In the construction of the tableaux system TLP, an original form of locating points in the branches of any tableaux is presented. Besides, through the inductive reasoning engendered by this logic, the work also promotes discussions concerning the consideration of the induction as a genuinely logical process, beginning from the epistemological problem of the induction.
Mestre
APA, Harvard, Vancouver, ISO, and other styles
2

Silvestrini, Luiz Henrique da Cruz [UNESP]. "Tableaux e indução na lógica do plausível." Universidade Estadual Paulista (UNESP), 2005. http://hdl.handle.net/11449/91404.

Full text
Abstract:
Made available in DSpace on 2014-06-11T19:25:19Z (GMT). No. of bitstreams: 0 Previous issue date: 2005-09-27Bitstream added on 2014-06-13T18:26:17Z : No. of bitstreams: 1 silvestrini_lhc_me_mar.pdf: 390849 bytes, checksum: 3e56bcae7fb7fbdc04cda1eb30e5f1ea (MD5)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a saber, as Lógicas Moduladas, cuja formalização semântica é dada por um subconjunto do conjunto das partes do universo. Nesta particularização de lógica modulada, é incluído o quantificador do Plausível P, que engendra a formalização de um raciocínio indutivo de maneira que uma 'boa parte' dos indivíduos possui determinada propriedade. O presente trabalho introduz um novo sistema dedutivo para a Lógica do Plausível, denominado TLP, construído seguindo os princípios de tableaux semânticos clássicos. Na elaboração do sistema de tableaux TLP, há uma forma original de localizar pontos nos ramos de um dado tableau. Ademais, por meio do raciocínio indutivo engendrado por esta lógica, discussões sucederam acerca da indução ser considerada um processo genuinamente lógico, tendo por ponto de partida o problema epistemológico da indução.
The Logic of the Plausible was introduced in 1999 by Grácio as a particularization of a family of logical systems characterized by the inclusion of a generalized quantifier in the syntax of the classical logic of predicates, denominated the Modulated Logics, whose semantical interpretation is given by a subset of the power set of the universe. In this particularization of modulated logics, it is included the quantifier of Plausible P that engenders the formalization of a type of inductive reasoning so that a 'good' number of individuals possesses certain property . This work introduces a new deductive system for the Logic of the Plausible, denominated TLP, built according to the principles of the classical semantical tableaux. In the construction of the tableaux system TLP, an original form of locating points in the branches of any tableaux is presented. Besides, through the inductive reasoning engendered by this logic, the work also promotes discussions concerning the consideration of the induction as a genuinely logical process, beginning from the epistemological problem of the induction.
APA, Harvard, Vancouver, ISO, and other styles
3

SIlva, Helen Gomes da [UNESP]. "A lógica da verdade pragmática em um sistema de tableaux." Universidade Estadual Paulista (UNESP), 2018. http://hdl.handle.net/11449/153625.

Full text
Abstract:
Submitted by Helen Gomes da Silva (helen-277@hotmail.com) on 2018-04-19T16:16:53Z No. of bitstreams: 1 Dissert_Helen.pdf: 519297 bytes, checksum: 5cb7a2e4a99a88a45d87901f4e7476cd (MD5)
Approved for entry into archive by Satie Tagara (satie@marilia.unesp.br) on 2018-04-19T17:33:50Z (GMT) No. of bitstreams: 1 silva_hg_me_mar.pdf: 519297 bytes, checksum: 5cb7a2e4a99a88a45d87901f4e7476cd (MD5)
Made available in DSpace on 2018-04-19T17:33:50Z (GMT). No. of bitstreams: 1 silva_hg_me_mar.pdf: 519297 bytes, checksum: 5cb7a2e4a99a88a45d87901f4e7476cd (MD5) Previous issue date: 2018-02-23
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
O professor Newton C. A. da Costa, notável lógico brasileiro, e colaboradores introduziram a noção de quase-verdade no contexto das ciências empíricas, onde há incompletude do conhecimento. Tal abordagem é considerada uma generalização para contextos parciais da proposta de formalização da verdade introduzida por Alfred Tarski. Inspirado nessa noção de quase-verdade, Silvestrini (2011) introduziu uma de nição de quase-verdade através da satisfação pragmática e, no mesmo trabalho apresentou, num sistema axiomático, uma lógica paraconsistente e trivalente, subjacente a essa noção, a qual denominou por Lógica da Verdade Pragmática (LPT- Logic of Pragmatic Truth ). Posteriormente, Feitosa e Silvestrini (2016) apresentaram algumas alterações no conjunto de axiomas de LPT e deram uma demonstração de adequação segundo a semântica matricial da lógica da verdade pragmática. Hoje, sistemas dedutivos alternativos ao axiomático têm sido de grande interesse para a área da teoria da prova e computabilidade, pois esses, em sua maioria, são métodos mais intuitivos. Alguns são caracterizados como algorítmicos, o que possibilita uma fácil implementação do método em computadores. Dentre esses sistemas de provas, destacamos o método dedutivo dos tableaux analíticos, que foi introduzido de uma forma bastante elegante por Smullyan (1968). Neste trabalho, introduzimos um sistema de tableaux analíticos para a Lógica da Verdade Pragmática e veri camos que todos os resultados dedutivos do sistema axiomático da LPT coincidem com os resultados de consequência analítica do sistema de tableaux que aqui introduzimos.
Professor Newton C. A. da Costa, notable Brazilian logician, and collaborators introduced the notion of quasi-truth in the context of the empirical sciences, where there is incompleteness of knowledge. Such an approach is considered a generalization of Tarski's proposal for partial contexts. Inspired by this notion of quasi-truth, Silvestrini (2011) introduced a de nition of quasi-truth through pragmatic satisfaction and, in the same work, presented, in an axiomatic system, a paraconsistent and trivalent logic, underlying this notion, which he called 'Logic of Pragmatic Truth (LPT)'. Later, Feitosa and Silvestrini (2016) presented some changes in the set of axioms of LPT and gave a proof of adequacy according to the trivalent matrix semantics of LPT. Nowadays, alternative axiomatic deductive systems have been of great interest to proof theory and computability, because these are in general intuitive methods. Some of them are characterized as algorithmic, which allows an easy implementation in computers. Among these systems of proof, we highlight the deductive method of analytic tableaux, which was introduced in an elegant way by Smullyan (1968). In this work, we introduce an analytic tableau system for the Logic of Pragmatic Truth and we verify that the results we can develop in the axiomatic system of the LPT coincide with the deductions in this analytic system of tableaux.
APA, Harvard, Vancouver, ISO, and other styles
4

Johnson, Robert David. "Parallel analytic tableaux systems." Thesis, Queen Mary, University of London, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362777.

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

Dabbebi, Ines. "Conception et génération dynamique de tableaux de bord d’apprentissage contextuels." Thesis, Le Mans, 2019. http://www.theses.fr/2019LEMA1040/document.

Full text
Abstract:
Ce travail s’inscrit dans une problématique générale de l’analytique de l’apprentissage numérique et particulièrement dans le contexte du projet ANR HUBBLE, un observatoire national permettant le dépôt de processus d’analyse de haut niveau. Nous nous intéressons principalement à la communication des données d’analyse aux utilisateurs en mettant à leur disposition des tableaux de bord d'apprentissage (TBA). Notre problématique porte sur l’identification de structures génériques dans le but de générer dynamiquement des TBA sur mesure. Ces structures doivent être à la fois génériques et adaptables aux besoins d’utilisateurs. Les travaux existants proposent le plus souvent des TBA trop généraux ou développés de manière adhoc. Au travers du projet HUBBLE, nous souhaitons exploiter les décisions des utilisateurs pour générer dynamiquement des TBA. Nous nous sommes intéressés au domaine de l’informatique décisionnelle en raison de la place des tableaux de bord dans leur processus. La prise de décision exige une compréhension explicite des besoins des utilisateurs. C'est pourquoi nous avons adopté une approche de conception centrée sur l'utilisateur dans le but de lui fournir des TBA adaptés. Nous proposons aussi un processus de capture des besoins qui a permis l’élaboration de nos modèles (indicateur, moyens de visualisation, utilisateur, …). Ces derniers sont utilisés par un processus de génération implémenté dans un prototype de générateur dynamique. Nous avons procédé à une phase d'évaluation itérative dont l’objectif est d'affiner nos modèles et de valider l'efficacité de notre processus de génération ainsi que de démontrer l'impact de la décision sur la génération des TBA
This work is part of a broader issue of Learning Analytics (LA). It is particularly carried out within the context of the HUBBLE project, a national observatory for the design and sharing of data analysis processes. We are interested in communicating data analysis results to users by providing LA dashboards (LAD). Our main issue is the identification of generic LAD structures in order to generate dynamically tailored LAD. These structures must be generic to ensure their reuse, and adaptable to users’ needs. Existing works proposed LAD which remains too general or developed in an adhoc way. According to the HUBBLE project, we want to use identified decisions of end-users to generate dynamically our LAD. We were interested in the business intelligence area because of the place of dashboards in the decision-making process. Decision-making requires an explicit understanding of user needs. That's why we have adopted a user-centered design (UCD) approach to generate adapted LAD. We propose a new process for capturing end-users’ needs, in order to elaborate some models (Indicator, visualization means, user, pattern, …). These models are used by a generation process implemented in a LAD dynamic generator prototype. We conducted an iterative evaluation phase. The objective is to refine our models and validate the efficiency of our generation process. The second iteration demonstrates the impact of the decision on the LAD generation. Thus, we can confirm that the decision is considered as a central element for the generation of LADs
APA, Harvard, Vancouver, ISO, and other styles
6

Asiri, Aisha. "Applications of Game Theory, Tableau, Analytics, and R to Fashion Design." DigitalCommons@Robert W. Woodruff Library, Atlanta University Center, 2018. http://digitalcommons.auctr.edu/cauetds/146.

Full text
Abstract:
This thesis presents various models to the fashion industry to predict the profits for some products. To determine the expected performance of each product in 2016, we used tools of game theory to help us identify the expected value. We went further and performed a simple linear regression and used scatter plots to help us predict further the performance of the products of Prada. We used tools of game theory, analytics, and statistics to help us predict the performance of some of Prada's products. We also used the Tableau platform to visualize an overview of the products' performances. All of these tools were used to aid in finding better predictions of Prada's product performances.
APA, Harvard, Vancouver, ISO, and other styles
7

Miloš, Marek. "Nástroje pro Big Data Analytics." Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-199274.

Full text
Abstract:
The thesis covers the term for specific data analysis called Big Data. The thesis firstly defines the term Big Data and the need for its creation because of the rising need for deeper data processing and analysis tools and methods. The thesis also covers some of the technical aspects of Big Data tools, focusing on Apache Hadoop in detail. The later chapters contain Big Data market analysis and describe the biggest Big Data competitors and tools. The practical part of the thesis presents a way of using Apache Hadoop to perform data analysis with data from Twitter and the results are then visualized in Tableau.
APA, Harvard, Vancouver, ISO, and other styles
8

Carrillo, Rozo Rubiela. "Suivi de l’engagement des apprenants lors de la construction de cartes mentales à partir de traces d’interaction." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSE1030/document.

Full text
Abstract:
A la différence de l'apprentissage par mémorisation (rote learning), l'apprentissage significatif (meaningful learning) vise à associer de nouvelles connaissances à des connaissances déjà acquises. La construction de cartes mentales exige et supporte la mise en place de stratégies d'apprentissage significatif, et permet de rendre visible la structure de connaissances de l'apprenant. Cependant, les enseignants qui intègrent la construction de cartes mentales dans leurs activités pédagogiques doivent se contenter du rendu final des cartes mentales, et risquent de faire de mauvaises interprétations et évaluations de celles-ci par manque d'information sur leur processus de construction. Dans cette thèse, nous nous intéressons à l'observation a posteriori de l'engagement de l'apprenant dans ses dimensions comportementale et cognitive, afin de proposer des indicateurs orientés processus qui permettent de comprendre ses actions et ses choix de construction de carte mentale. Nous avons suivi la méthodologie de recherche orientée par la conception (Design Based Research), qui nous a permis de proposer 3 niveaux de contributions : 1) un modèle théorique d'engagement (comportemental et cognitive) pour les activités de construction de cartes mentales, 2) un ensemble d'indicateurs d'engagement de l'apprenant à partir de traces capturées automatiquement lors de la construction de cartes mentales, et 3) un tableau de bord appelé MindMap Monitor présentant différents indicateurs à l'enseignant pour le suivi de la classe et des apprenants. Le modèle a été obtenu à partir d'une étude de littérature sur les théories de l'engagement de l'apprenant issues notamment de la recherche en psychologie de l'éducation. Les indicateurs ont été définis en croisant le modèle avec les résultats de plusieurs études de terrain avec les enseignants. Le tableau de bord implémentant les indicateurs a été construit en trois itérations. Son interface présente des vues synthétiques permettant de comparer les élèves de la classe et d'identifier ceux en difficulté lors de la construction de leur carte, et des vues détaillées décrivant l'activité de construction d'une carte pour chaque élève. Notre tableau de bord a été évalué au cours d'une expérimentation avec 12 enseignants en comparant son utilisation avec celle des cartes mentales finales associées aux vidéos de leur processus de construction. Les résultats montrent que nos indicateurs sur MindMap Monitor permettent de mieux identifier les élèves en difficulté, les difficultés partagées, ainsi que les difficultés pour un élève. Les résultats concernant la compréhension du processus de construction de la carte mentale sont plus nuancés. Nous avons également pu identifier plusieurs pistes d'amélioration sur le contenu du tableau de bord et sa présentation. Les perspectives de notre travail concernent principalement le suivi de l'engagement des apprenants en temps réel pour l'intervention et l'adaptation de la stratégie pédagogique
In contrast to rote learning, meaningful learning aims to associate new knowledge with knowledge already acquired. Mind mapping activities require and support the implementation of meaningful learning strategies and enlighten the knowledge structure of the learner. However, teachers who integrate mind mapping into their educational activities have to deal with the final rendering of maps, and risk to misinterpret and wrongly evaluate them due to the lack of information about their construction process. In this thesis, we are interested in a posteriori observation of the engagement of learners along its behavioral and cognitive dimensions, in order to propose processoriented indicators that help to understand actions and construction choices of mind maps. We followed the Design Based Research methodology, that allowed us to propose three levels of contributions : 1) a theoretical model of engagement (behavioral and cognitive) for mind mapping activities, 2) a set of indicators of learner engagement constructed from automatically captured map building traces, and 3) a dashboard called MindMap Monitor presenting various indicators to teachers for class and learners monitoring. The model was obtained from a literature review on theories of engagement, including research in educational psychology. The indicators have been defined by comparing the model with the results of several field studies with teachers. The dashboard implementing the indicators was developed following three iterations. Its interface presents synthetic views allowing the comparison of students in the class, the identification of those in difficulty, and detailed views describing the mind mapping activity for each student. Our dashboard was evaluated with an experiment involving 12 teachers. We compared its use with that of final mind maps associated with videos of their construction process. Results show that our indicators on MindMap Monitor are useful to better identify students in difficulty, shared difficulties, as well as difficulties for individual students. Results concerning the understanding of the mind maps construction process are more balanced. We were also able to identify several ways to improve both the content and the visualizations of the dashboard. The perspectives of our work are mainly related to monitoring learners’ engagement in real time for the intervention and adaptation of the teachers’ educational strategies
APA, Harvard, Vancouver, ISO, and other styles
9

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

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

Koné, Malik. "Collaviz : un prototype pour la détection et la visualisation de la dynamique collective dans les forums des MOOC." Thesis, Le Mans, 2020. http://www.theses.fr/2020LEMA1029.

Full text
Abstract:
Les formations à distance en ligne, en particulier les MOOC, voient leurs effectifs augmenter depuis la démocratisation d'Internet. Malgré leur popularité croissante ces cours manquent encore d'outils permettant aux instructeurs et aux chercheurs de guider et d'analyser finement les apprentissages qui s'y passent. Des tableaux de bord récapitulant l'activité des étudiants sont régulièrement proposés aux instructeurs, mais ils ne leur permettent pas d'appréhender les activités collectives, or du point vue socio-constructiviste, les échanges et les interactions que les instructeurs cherchent généralement dans les forums sont essentiels pour les apprentissages (Stephens, 2014). Jusqu'à présent, les études ont analysé les interactions soit sémantiquement mais à petite échelle, soit statistiquement et à grande échelle mais en ignorant la qualité des interactions. La proposition de cette thèse est une nouvelle approche de détection interactive des activités collectives qui prend en compte à la fois leurs dimensions temporelles, sémantiques et sociales. Nous cherchons un moyen de permettre aux instructeurs d'intervenir et d'encourager les dynamiques collectives qui sont favorables pour les apprentissages. Ce que nous entendons par "dynamique collective", c'est l'évolution des interactions à la fois qualitatives et quantitatives, des apprenants dans des forums. Nous nous appuyons sur des études (Boroujeni 2017, Dascalu 2017) qui proposent d'associer l'analyse statistique des interactions et le traitement automatique de la langue, pour étudier les flux d'informations dans les forums. Mais, à la différence des études précédentes, notre approche ne se limite pas à une analyse globale ou centrée sur un individu. Nous proposons une méthode de conception d’indicateurs et de tableaux de bord permettant les changements d'échelles et la personnalisation des vues afin de soutenir les instructeurs et les chercheurs dans leur tâche de détection, d'observation et d'analyse des dynamiques collectives de sous-groupes d'apprenants
Massive Open Online Courses (MOOCs) have seen their numbers increase significantly since the democratization of the Internet. In addition, recently with the COVID-19 pandemic, the trend has intensified. If communication devices such as discussion forums are an integral part of the learning activities of MOOCs, there is still a lack of tools allowing instructors and researchers to guide and finely analyze the learning that takes place there. Dashboards summarizing students' activites are regularly offered to instructors, but they do not allow them to understand collective activities in the forums. From a socio-constructivist point of view, the exchanges and interactions sought by instructors in forums are essential for learning (Stephens, 2014). So far, studies have analyzed interactions in two ways: semantically but on a small scale or statistically and on a large scale but ignoring the quality of the interactions. The scientific contribution of this thesis relates to the proposal of an interactive detection approach of collective activities which takes into account their temporal, semantic and social dimensions. We seek to answer the problem of detecting and observing the collective dynamics that take place in MOOC forums. By collective dynamic, we mean all the qualitative and quantitative interactions of learners in the forums and their temporal changes. We want to allow instructors to intervene to encourage these activities favorable to learning. We rely on studies (Boroujeni 2017, Dascalu 2017) which propose to combine statistical analysis of interactions and automatic language processing to study the flow of information in forums. But, unlike previous studies, our approach is not limited to global or individual-centered analysis. We propose a method of designing indicators and dashboards allowing changes of scales and customization of views in order to support instructors and researchers in their task of detecting, observing and analyzing collective dynamics. To support our approach, we set up questionnaires and conducted semi-structured interviews with the instructors. As for the evaluation of the first indicators built at each iteration of our approach, we used various data sources and formats: Coursera (CSV), Hangout (JSON), Moodle (SQL)
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Analytical tableaux"

1

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.

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

Cerrito, Serenella, and Andrei Popescu, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-29026-9.

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

De Nivelle, Hans, ed. Automated Reasoning with Analytic Tableaux and Related Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-24312-2.

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

Egly, Uwe, and Chritian G. Fermüller, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45616-3.

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

Giese, Martin, and Arild Waaler, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02716-1.

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

Beckert, Bernhard, ed. Automated Reasoning with Analytic Tableaux and Related Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11554554.

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

de Swart, Harrie, ed. Automated Reasoning with Analytic Tableaux and Related Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69778-0.

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

Cialdea Mayer, Marta, and Fiora Pirri, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b12030.

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

Dyckhoff, Roy, ed. Automated Reasoning with Analytic Tableaux and Related Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10722086.

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

Murray, Neil V., ed. Automated Reasoning with Analytic Tableaux and Related Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48754-9.

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

Book chapters on the topic "Analytical tableaux"

1

Meyer, Robert K., Michael A. McRobbie, and Nuel Belnap. "Linear analytic tableaux." In Theorem Proving with Analytic Tableaux and Related Methods, 278–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59338-1_42.

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

Komara, Ján, and Paul J. Voda. "Syntactic reduction of predicate tableaux to propositional tableaux." In Theorem Proving with Analytic Tableaux and Related Methods, 231–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59338-1_39.

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

Kohlhase, Michael. "Higher-order tableaux." In Theorem Proving with Analytic Tableaux and Related Methods, 294–309. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59338-1_43.

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

Wrightson, Graham. "A Bibliography on Analytic Tableaux Theorem Proving." In Handbook of Tableau Methods, 631–55. Dordrecht: Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-017-1754-0_11.

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

Bertossi, Leopoldo, and Camilla Schwind. "Analytic Tableaux and Database Repairs: Foundations." In Lecture Notes in Computer Science, 32–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45758-5_3.

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

Grätz, Lukas. "Analytic Tableaux for Non-deterministic Semantics." In Lecture Notes in Computer Science, 38–55. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-86059-2_3.

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

Massacci, Fabio. "Strongly analytic tableaux for normal modal logics." In Automated Deduction — CADE-12, 723–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58156-1_52.

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

Governatori, Guido. "Labelled tableaux for multi-modal logics." In Theorem Proving with Analytic Tableaux and Related Methods, 79–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59338-1_29.

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

D'Agostino, Marcello, and Dov M. Gabbay. "Fibred tableaux for multi-implication logics." In Theorem Proving with Analytic Tableaux and Related Methods, 16–35. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61208-4_2.

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

Baaz, Matthias, and Christian G. Fermüller. "Combining many-valued and intuitionistic tableaux." In Theorem Proving with Analytic Tableaux and Related Methods, 65–79. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61208-4_5.

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

Conference papers on the topic "Analytical tableaux"

1

Arai, Noriko, Toniann Pitassi, and Alasdair Urquhart. "The complexity of analytic tableaux." In the thirty-third annual ACM symposium. New York, New York, USA: ACM Press, 2001. http://dx.doi.org/10.1145/380752.380822.

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

Ma, Ji, and Mehmet A. Orgun. "Analytic Tableaux for Verifying Agent Beliefs." In 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology. IEEE, 2008. http://dx.doi.org/10.1109/wiiat.2008.79.

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

Dasse-Hartaut, Sandrine, and Pawel Hitczenko. "Some properties of random staircase tableaux." In 2011 Proceedings of the Eighth Workshop on Analytic Algorithmics and Combinatorics (ANALCO). Philadelphia, PA: Society for Industrial and Applied Mathematics, 2011. http://dx.doi.org/10.1137/1.9781611973013.7.

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

Villa, Adam. "TEACHING WITH TABLEAU: INFUSING ANALYTICS INTO YOUR COURSE." In 45th International Academic Conference, London. International Institute of Social and Economic Sciences, 2019. http://dx.doi.org/10.20472/iac.2019.045.043.

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

Rahate, Vikas, Manisha Yadav, Badal Chouhan, Seema Narvare, and Khushboo Sawant. "Data Analytics for Betelnut’s Selling Dataset Using Tableau." In 2021 International Conference on Advances in Electrical, Computing, Communication and Sustainable Technologies (ICAECT). IEEE, 2021. http://dx.doi.org/10.1109/icaect49130.2021.9392501.

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

Wesley, Richard, Matthew Eldridge, and Pawel T. Terlecki. "An analytic data engine for visualization in tableau." In the 2011 international conference. New York, New York, USA: ACM Press, 2011. http://dx.doi.org/10.1145/1989323.1989449.

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

Di Lascio, Luigi. "Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic." In the 14th international conference. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/568760.568783.

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

Sun, Bo, Benjamin Weidner, and Simon Su. "Using Tableau to Discover the Effect of Chemical Release at Wildlife Preserve." In 2018 IEEE Conference on Visual Analytics Science and Technology (VAST). IEEE, 2018. http://dx.doi.org/10.1109/vast.2018.8802430.

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

Dunsmuir, Dustin, Mahshid Z. Baraghoush, Victor Chen, Minoo Erfani Joorabchi, Mona Erfani Joorabchi, Saba Alimadadi, Eric Lee, et al. "CZSaw, IMAS & Tableau: Collaboration among teams: VAST 2010 Grand Challenge award: Excellent student team analysis." In 2010 IEEE Symposium on Visual Analytics Science and Technology (VAST). IEEE, 2010. http://dx.doi.org/10.1109/vast.2010.5653035.

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

Fylstra, Daniel H. "Simulation models in Excel, Tableau, power BI and mobile apps with analytic solver® software." In 2017 Winter Simulation Conference (WSC). IEEE, 2017. http://dx.doi.org/10.1109/wsc.2017.8248150.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Analytical tableaux' for particular source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography