Relevant bibliographies by topics / UML Graph / Dissertations / Theses
To see the other types of publications on this topic, follow the link: UML Graph.

Dissertations / Theses on the topic 'UML Graph'

Author: Grafiati
Published: 28 June 2021
Last updated: 29 July 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'UML Graph.'

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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Ziemann, Paul. "An integrated operational semantics for a UML core based on graph transformation /." Berlin : Logos-Verl, 2006. http://deposit.ddb.de/cgi-bin/dokserv?id=2774091&prov=M&dok_var=1&dok_ext=htm.

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

Ziemann, Paul. "An integrated operational semantics for a UML core based on graph transformation." Berlin Logos-Verl, 2005. http://deposit.ddb.de/cgi-bin/dokserv?id=2774091&prov=M&dok_var=1&dok_ext=htm.

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

El, Musleh Mohammad. "Transformation of UML State Machine Diagram into Graph Database to Generate Test Cases." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-426060.

Full text
Abstract:
The manual approach in software testing is considered as expensive, error-prone, and time-consuming activity since it depends highly on the test engineers. As well, the process of software testing requires proper planning and resources to design the test cases. For this reason, any approach that can be used to enhance or automate the current testing process is necessary. This thesis introduces an approach to transform the Unified Modeling Language (UML) behavioral state machines diagram into a graph database inside Neo4j, a graph database software. Moreover, a framework is proposed that fetche
APA, Harvard, Vancouver, ISO, and other styles
4

O'Keefe, Greg, and gregokeefe@netspace net au. "The Meaning of UML Models." The Australian National University. Computer Science Laboratory, Research School of Information Sciences and Engineering, 2010. http://thesis.anu.edu.au./public/adt-ANU20100614.175427.

Full text
Abstract:
The Unified Modelling Language (UML) is intended to express complex ideas in an intuitive and easily understood way. It is important because it is widely used in software engineering and other disciplines. Although an official definition document exists, there is much debate over the precise meaning of UML models. ¶ In response, the academic community have put forward many different proposals for formalising UML, but it is not at all obvious how to decide between them. Indeed, given that UML practitioners are inclined to reject formalisms as non-intuitive, it is not even obvious that the defin
APA, Harvard, Vancouver, ISO, and other styles
5

Amer, Hoda. "Automatic transformation of UML software specification into LQN performance models using graph grammar techniques." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ61015.pdf.

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

Liu, Yun. "UML 2.0 with VizzAnalyzer - Visualization of class diagrams." Thesis, Växjö University, School of Mathematics and Systems Engineering, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-1589.

Full text
Abstract:
<p>Abstract</p><p>The program analysis tool, VizzAnalyzer, works good for visualizing the program structure as graphs, but currently it does not allow for a UML conform visualization, which allows a effective communication among software engineers. In this thesis we describe the extension of the VizzAnalyzer to allow the visualization of software systems as UML class diagrams.</p><p>The Eclipse platform provides an open source platform for creating an extensible integrated development environment. We create a plug-in that can be seamlessly integrated in the Eclipse platform through the third p
APA, Harvard, Vancouver, ISO, and other styles
7

Wang, Chao. "Grail to XMI and Back." Thesis, Växjö University, School of Mathematics and Systems Engineering, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2298.

Full text
Abstract:
<p>Grail is an open source graph library, which is developed at the MSI of Växjö University, tools like the VizzAnalyzer and vizz3d use Grail for representing their internal structures.</p><p>In this thesis, an adapter serializing and deserializing Grail graphs to and from XMI is introduced. XMI is short for XML Metadata Interchange; it is developed by the Object Management Group (OMG).</p>
APA, Harvard, Vancouver, ISO, and other styles
8

af, Sandeberg Joakim. "Graphical system visualization and flow display : A visual representation of an authentication, authorization, and accounting backend." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-190007.

Full text
Abstract:
Displaying the architecture of a software system is not a simple task. Showing all of the available information will unnecessarily complicate the view, while showing too little might render the view unhelpful. Furthermore, showing the dynamics of the operation of such a system is even more challenging. This thesis project describes the development of a graphical tool that can both display the configuration of an advanced authentication, authorization, and accounting (AAA) system and the messages passed between nodes in the system.  The solution described uses force-based graph layouts coupled
APA, Harvard, Vancouver, ISO, and other styles
9

Ondrák, Lukáš. "Převod UML diagramů mezi Visual Paradigm a textovými formáty." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445491.

Full text
Abstract:
This master's thesis deals with possibilities of modifying and extending functionality of Visual Paradigm with plug-ins as well as the study of tools for creating UML diagrams. The primary goal of this thesis is to describe graphical tools and simultaneously, the less known variants of creating UML diagrams. Those are tools that process text UML formats. Special attention is given to text tool PlantUML and to the graphical tool Visual Paradigm. Furthermore, the thesis deals with use of the Visual Paradigm open interface for programmers to create plug-ins. The main output is an implemented plug
APA, Harvard, Vancouver, ISO, and other styles
10

Turki, Skander. "Ingénierie système guidée par les modèles : Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniques." Phd thesis, Toulon, 2008. https://theses.hal.science/tel-00344722/fr/.

Full text
Abstract:
La conception des systèmes mécatroniques, vu leur complexité, nécessite d'entreprendre une approche systémique qui implique l'utilisation d'une méthodologie permettant, en premier lieu, de considérer le système avec toutes ces composantes (mécanique, électronique, informatique, etc. ), de concevoir et de spécifier ce système par la définition de ces composants et des liens qui existent entre eux. D'autre part, elle doit aussi donner la possibilité de décrire ces composants avec les outils existants des différents domaines technologiques. Nous nous sommes tournés vers des technologies orientées
APA, Harvard, Vancouver, ISO, and other styles
11

Ouelhadj, Sarra. "Définition d'un processus durable pour l’enrichissement sémantique des open data territoriales." Electronic Thesis or Diss., Lyon 1, 2025. http://www.theses.fr/2025LYO10014.

Full text
Abstract:
Avec l'essor des technologies de l'information et le mouvement Open Data, l'accessibilité aux données publiques a fortement progressé, encouragée par des initiatives visant à accroître la transparence et l'innovation. Cependant, malgré ces avancées, les défis d'interopérabilité des données demeurent, notamment en raison de l'hétérogénéité des données. La Métropole de Lyon, engagée dans une politique d'ouverture des données, a reconnu ces enjeux, mais les obstacles liés à l'hétérogénéité sémantique des données limitent la capacité à intégrer et exploiter pleinement les données territoriales dis
APA, Harvard, Vancouver, ISO, and other styles
12

Turki, Skander. "Ingénierie système guidée par les modèles : Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniques." Phd thesis, Université du Sud Toulon Var, 2008. http://tel.archives-ouvertes.fr/tel-00344722.

Full text
Abstract:
La conception des systèmes mécatroniques, vu leur complexité, nécessite d'entreprendre une approche systémique qui implique l'utilisation d'une méthodologie permettant, en premier lieu, de considérer le système avec toutes ces composantes (mécanique, électronique, informatique, etc.), de concevoir et de spécifier ce système par la définition de ces composants et des liens qui existent entre eux. D'autre part, elle doit aussi donner la possibilité de décrire ces composants avec les outils existants des différents domaines technologiques. Nous nous sommes tournés vers des technologies orientées-
APA, Harvard, Vancouver, ISO, and other styles
13

Lucca, Luiz Carlos. "GGraph: Uma ferramenta para aplicações que envolvem grafos." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14032013-145240/.

Full text
Abstract:
Diversas são as aplicações que podem ser expressas por meio de grafos [2]. Algoritmos [3] e modelos de visualização [15] podem ser encontrados amplamente na literatura. Todos os problemas de grafos possuem uma base em comum: um modelo genérico que nasce da própria natureza dos elementos e das relações que podem ser expressas entre eles, diferindo apenas pelo tipo de resposta que queremos obter desta complexa malha. Além disso, é natural que, para problemas que sejam de áreas distintas, mas que sejam semelhantes quanto ao processamento interno, apenas o que mude, seja a visualização dos element
APA, Harvard, Vancouver, ISO, and other styles
14

Srinivaasan, Gayathri. "Malicious Entity Categorization using Graph modelling." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-202980.

Full text
Abstract:
Today, malware authors not only write malicious software but also employ obfuscation, polymorphism, packing and endless such evasive techniques to escape detection by Anti-Virus Products (AVP). Besides the individual behavior of malware, the relations that exist among them play an important role for improving malware detection. This work aims to enable malware analysts at F-Secure Labs to explore various such relationships between malicious URLs and file samples in addition to their individual behavior and activity. The current detection methods at F-Secure Labs analyze unknown URLs and file s
APA, Harvard, Vancouver, ISO, and other styles
15

Obando, Forero Catalina. "Statistical graph models of temporal brain networks." Electronic Thesis or Diss., Sorbonne université, 2018. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2018SORUS454.pdf.

Full text
Abstract:
La discipline encore naissante des réseaux complexes est vecteur d’un changement de paradigme dans la neuroscience. Les connectomes estimés à partir de mesures de neuroimagerie comme l’électroencéphalographie, la magnétoencéphalographie ou encore l’imagerie par résonance magnétique fonctionnelle fournissent une représentation abstraite du cerveau sous la forme d’un graphe, ce qui a permis des percées décisives dans la compréhension compacte et objective des propriétés topologiques et physiologiques des cerveaux sains. Cependant, les approches de pointe ignorent souvent l'incertitude et la natu
APA, Harvard, Vancouver, ISO, and other styles
16

Albin, Aaron. "Building an online UMLS knowledge discovery platform using graph indexing." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1398946883.

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

Li, Yifan. "Edge partitioning of large graphs." Electronic Thesis or Diss., Paris 6, 2017. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2017PA066346.pdf.

Full text
Abstract:
Dans cette thèse nous étudions un problème fondamental, le partitionnement de graphe, dans le contexte de la croissance rapide des données, le volume des données continues à augmenter, allant des réseaux sociaux à l'internet des objets. En particulier, afin de vaincre les propriétés intraitables existant dans de nombreuses graphies, par exemple, la distribution des degrés en loi de puissance, nous appliquons un nouveau mode pour coupe de sommet, à la place de la méthode traditionnelle (coupe de bord), ainsi que pour assurer une charge de travail équilibrée et raisonnablement dans le traitement
APA, Harvard, Vancouver, ISO, and other styles
18

Bertei, Alex. "Uma abordagem relacional para gramática de grafos Fuzzy." Universidade Federal de Pelotas, 2017. http://repositorio.ufpel.edu.br:8080/handle/prefix/3838.

Full text
Abstract:
Submitted by Aline Batista (alinehb.ufpel@gmail.com) on 2018-04-18T14:30:20Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Alex_Bertei.pdf: 2631033 bytes, checksum: 64d9253595f75230a7d83432fb89d6e9 (MD5)<br>Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2018-04-19T14:42:33Z (GMT) No. of bitstreams: 2 Dissertacao_Alex_Bertei.pdf: 2631033 bytes, checksum: 64d9253595f75230a7d83432fb89d6e9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Made available in DSpace on 2018-04-1
APA, Harvard, Vancouver, ISO, and other styles
19

JOSHI, ABHIJIT PURSHOTTAM. "CONTEXTUAL DECOMPOSITION OF WEB RESOURCES: APPLYING SEMANTIC GRAPH ANALYSIS TO PERSONAL URL SETS." University of Cincinnati / OhioLINK, 2003. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1070633035.

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

Joshi, Abhijit P. "Contextual decomposition of web resources applying semantic graph analysis to personal URL sets /." Cincinnati, Ohio : University of Cincinnati, 2002. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=ucin.

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

Nikjoo, Soukhtabandani Ali. "Partial shape matching using CCP map and weighted graph transformation matching." Thesis, Université Laval, 2014. http://www.theses.ulaval.ca/2014/30611/30611.pdf.

Full text
Abstract:
La détection de la similarité ou de la différence entre les images et leur mise en correspondance sont des problèmes fondamentaux dans le traitement de l'image. Pour résoudre ces problèmes, on utilise, dans la littérature, différents algorithmes d'appariement. Malgré leur nouveauté, ces algorithmes sont pour la plupart inefficaces et ne peuvent pas fonctionner correctement dans les situations d’images bruitées. Dans ce mémoire, nous résolvons la plupart des problèmes de ces méthodes en utilisant un algorithme fiable pour segmenter la carte des contours image, appelée carte des CCPs, et une nou
APA, Harvard, Vancouver, ISO, and other styles
22

Silva, J?nior Odilon Magno da. "Colora??o em grafos: uma experi?ncia no ensino m?dio." Universidade Federal Rural do Rio de Janeiro, 2016. https://tede.ufrrj.br/jspui/handle/jspui/1864.

Full text
Abstract:
Submitted by Celso Magalhaes (celsomagalhaes@ufrrj.br) on 2017-07-11T12:30:26Z No. of bitstreams: 1 2016 - Odilon Magno da Silva J?nior.pdf: 3269429 bytes, checksum: b0bdf0f0a5612790959d29453f0ac06d (MD5)<br>Made available in DSpace on 2017-07-11T12:30:26Z (GMT). No. of bitstreams: 1 2016 - Odilon Magno da Silva J?nior.pdf: 3269429 bytes, checksum: b0bdf0f0a5612790959d29453f0ac06d (MD5) Previous issue date: 2016-08-03<br>The main objective of this work is to describe an experience with problems related to graph coloring with a group of 2nd year high school students. The survey worked wit
APA, Harvard, Vancouver, ISO, and other styles
23

Tackx, Raphaël. "Analyse de la structure communautaire des réseaux bipartis." Electronic Thesis or Diss., Sorbonne université, 2018. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2018SORUS550.pdf.

Full text
Abstract:
Il existe dans le monde réel un nombre important de réseaux qui apparaissent naturellement, on les retrouve un peu partout, dans de nombreuses disciplines, par exemple en informatique avec les réseaux de routeurs, les réseaux de satellites, les réseaux de pages Web, en biologie avec les réseaux des neurones, en écologie avec les réseaux d’interactions biologiques, en linguistiques avec les réseaux de synonymes, en droit avec les réseaux de décisions juridiques, en économie avec les réseaux interbancaires, en sciences humaines avec les réseaux sociaux. De manière générale, un réseau reflète les
APA, Harvard, Vancouver, ISO, and other styles
24

Pretz, Eduardo. "Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2000. http://hdl.handle.net/10183/70704.

Full text
Abstract:
Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de dados, que apresenta as relações entre as estruturas de dados estáticas do sistema e a visão dinâmica, que mostra as transformações que o sistema pode sofrer ao longo do tempo. Alguns modelos procuram integrar mais de uma visão, mas, em geral, os modelos possuem sérias deficiências ao tentarem representar mais de um aspecto do sistema ao mesmo tempo, sendo necessário o apoio de o
APA, Harvard, Vancouver, ISO, and other styles
25

You, Di. "Attributed Multi-Relational Attention Network for Fact-checking URL Recommendation." Digital WPI, 2019. https://digitalcommons.wpi.edu/etd-theses/1321.

Full text
Abstract:
To combat fake news, researchers mostly focused on detecting fake news and journalists built and maintained fact-checking sites (e.g., Snopes.com and Politifact.com). However, fake news dissemination has been greatly promoted by social media sites, and these fact-checking sites have not been fully utilized. To overcome these problems and complement existing methods against fake news, in this thesis, we propose a deep-learning based fact-checking URL recommender system to mitigate impact of fake news in social media sites such as Twitter and Facebook. In particular, our proposed framework consi
APA, Harvard, Vancouver, ISO, and other styles
26

Silva, Itamar Pífano. "Modelagem e identificação de uma máquina de extrusão através de bond-graphs." Instituto Tecnológico de Aeronáutica, 2005. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=249.

Full text
Abstract:
Este trabalho tem como objetivo a modelagem por grafo de ligação (Bond Graph) de uma máquina de extrusão de borracha para pneumáticos e a identificação experimental dos parâmetros do modelo BG. Esta modelagem possibilita modelos contínuos no espaço de estados que podem ser convertidos para modelos contínuos em função de transferência. A metodologia de identificação de sistemas fornece modelos discretos de função de transferência que podem ser convertidos, apropriadamente, em modelos contínuos em função de transferência, sendo esses comparados com os modelos contínuos em função de transferência
APA, Harvard, Vancouver, ISO, and other styles
27

Dias, Delane Pereira de Oliveira. "Uma ferramenta para a visualização de ESTs." Universidade de São Paulo, 2007. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08052007-100008/.

Full text
Abstract:
Expressed Sequence Tags (ESTs) são amostras de trechos de genes, que funcionam como moldes na síntese de proteínas. Como a quantidade de ESTs coletados nos últimos anos é muito grande, o uso de computadores tornou-se imprescindível para a identificação de genes, proteínas e para a descoberta de genes homólogos. Este trabalho propõe uma metodologia e implementa uma ferramenta para a visualização de ESTs através de um grafo para auxiliar biólogos na exploração e na descoberta de conhecimento sobre estas seqüências. A metodologia inclui agrupamento usando um programa montador de seqüências e, con
APA, Harvard, Vancouver, ISO, and other styles
28

Mansard, Alexandre. "Automates infinis et traces de Mazurkiewicz." Thesis, La Réunion, 2020. https://elgebar.univ-reunion.fr/login?url=http://thesesenligne.univ.run/20_22_A_Mansard.pdf.

Full text
Abstract:
Nous introduisons la notion de régularité par niveaux pour des langages de traces de Mazurkiewicz et nous considérons des systèmes reconnaissables de réécriture de traces, à contextes réguliers par niveaux (RTL). Nous prouvons qu’un automate dont le graphe sous-jacent est le graphe de réécriture d’un système RTL et dont les ensembles de sommets initiaux et finaux sont réguliers par niveaux (automate RTL), est mot-automatique. En particulier, la théorie du premier ordre d’un automate RTL est décidable. Ensuite, nous prouvons que, enrichi de la relation d’accessibilité, un automate dont le graph
APA, Harvard, Vancouver, ISO, and other styles
29

Medrado, Ramon Gomes. "Formalização de uma linguagem visual para descrição de sistemas biológicos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2009. http://hdl.handle.net/10183/27661.

Full text
Abstract:
Vias biológicas representam interações entre entidades químicas complexas (proteínas, substratos, metabólitos etc.) que ocorrem no nível molecular das células. A representação e compreensão do comportamento destas vias é o principal alvo de estudos da Biologia Sistêmica. Esta área de estudos envolve a construção de modelos matemáticos que possam simular in silico (computacionalmente) o comportamento destes sistemas biológicos verificados in vivo (experimentalmente). Do ponto de vista computacional é evidente que tais sistemas são complexos para abordar e descrever de modo intuitivo. São necess
APA, Harvard, Vancouver, ISO, and other styles
30

Chauveau, Emmanuel. "Management des risques dans les projets et les processus logiciel." Bordeaux 1, 2006. http://www.theses.fr/2006BOR13143.

Full text
Abstract:
Cette thèse s'intéresse au management des risques dans les projets et processus logiciel. Après avoir fait le point sur l'existant, nous étudions les caractéristiques des risques avant de nous intéresser aux impacts temporels des risques. Nous proposons une méthode permettant de calculer la distribution probabiliste de la durée du projet/processus en fonction de ces risques. Nous developpons ensuite la notion de dépendance entre les risques et les prenons en compte dans le calcul de la durée d'un projet/processus. Enfin nous proposons une modélisation ULM d'un projet/processus avec ses risques
APA, Harvard, Vancouver, ISO, and other styles
31

ALVES, Victor Leite. "Caminhos em Grafos: uma experi?ncia no Ensino M?dio." Universidade Federal Rural do Rio de Janeiro, 2016. https://tede.ufrrj.br/jspui/handle/jspui/2005.

Full text
Abstract:
Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2017-08-29T17:44:42Z No. of bitstreams: 1 2016 - Victor Leite Alves.pdf: 3650645 bytes, checksum: 38df3227b0440f1bbe6403a506d9a55e (MD5)<br>Made available in DSpace on 2017-08-29T17:44:42Z (GMT). No. of bitstreams: 1 2016 - Victor Leite Alves.pdf: 3650645 bytes, checksum: 38df3227b0440f1bbe6403a506d9a55e (MD5) Previous issue date: 2016-08-03<br>CAPES<br>The aim of this work is to describe an experience using problems on paths in Graphs with students of the first year of high school from two schools through a case study. There were 48 st
APA, Harvard, Vancouver, ISO, and other styles
32

Marcoux, Héli. "Jeux de poursuite policier-voleur sur un graphe - Le cas du voleur rapide." Thesis, Université Laval, 2014. http://www.theses.ulaval.ca/2014/30386/30386.pdf.

Full text
Abstract:
Les problèmes de recherche sur un graphe peuvent être exprimés sous la forme d’un jeu où un ensemble de chercheurs tentent de capturer un ensemble de fugitifs. Lorsqu’un tel jeu est joué en alternance par les deux ensembles de joueurs, nous parlons alors de jeux des policiers et des voleurs (« Cops and Robbers games ») ou plus simplement de jeux policiers-voleurs. Nowakowski et Winkler [28], et indépendamment Quilliot [45], ont introduit la première version des jeux policiers-voleurs dans laquelle un seul policier tente de capturer un seul voleur, les deux se déplaçant à tour de rôle vers des
APA, Harvard, Vancouver, ISO, and other styles
33

Araujo, Marcus Vinicius. "Gráficos estatísticos: uma postura crítica". Universidade Federal de Juiz de Fora (UFJF), 2016. https://repositorio.ufjf.br/jspui/handle/ufjf/3849.

Full text
Abstract:
Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-03-24T12:22:13Z No. of bitstreams: 1 marcusviniciusaraujo.pdf: 4473223 bytes, checksum: 20a2e9096b36c11bf249fc1b9983987e (MD5)<br>Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-03-24T12:55:51Z (GMT) No. of bitstreams: 1 marcusviniciusaraujo.pdf: 4473223 bytes, checksum: 20a2e9096b36c11bf249fc1b9983987e (MD5)<br>Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-03-24T12:56:01Z (GMT) No. of bitstreams: 1 marcusviniciusaraujo.pdf: 4473223 bytes, checks
APA, Harvard, Vancouver, ISO, and other styles
34

Luong, Hong-Viet. "Construction Incrémentale de Spécifications de Systèmes Critiques intégrant des Procédures de Vérification." Phd thesis, Université Paul Sabatier - Toulouse III, 2010. http://tel.archives-ouvertes.fr/tel-00527631.

Full text
Abstract:
Cette thèse porte sur l'aide à la construction de machines d'états UML de systèmes réactifs. Elle vise à définir un cadre théorique et pragmatique pour mettre en oeuvre une approche incrémentale caractérisée par une succession de phases de construction, évaluation et correction de modèles. Ce cadre offre des moyens de vérifier si un nouveau modèle est conforme à ceux définis durant les étapes précédentes sans avoir à demander une description explicite des propriétés à vérifier. Afin de pouvoir analyser les machines d'états, nous leur associons une sémantique LTS ce qui nous a conduit à définir
APA, Harvard, Vancouver, ISO, and other styles
35

Malta, Gláucia Helena Sarmento. "Grafos no ensino médio: uma inserção possível." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2008. http://hdl.handle.net/10183/14829.

Full text
Abstract:
o objetivo principal deste trabalho é apresentar uma proposta de inserção de Teoria de Grafos no Ensino Médio. Para tanto, será feita uma fundamentação de alguns aspectos acerca da Teoria de Grafos e Resolução de Problemas. Apresentaremos uma prática realizada em dois grupos de segundo ano do Ensino Médio, numa escola particular de Porto Alegre, no ano de 2006. A Teoria de Grafos apresenta aspectos pertinentes que merecem espaço no currículo da Escola Básica. Apresentaremos uma seleção de possíveis atividades a serem implementadas numa perspectiva metodológica de Resolução de Problemas. A esco
APA, Harvard, Vancouver, ISO, and other styles
36

Souza, Vera Helena Giusti de. "O uso de vários registros na resolução de inequações: uma abordagem funcional gráfica." Pontifícia Universidade Católica de São Paulo, 2008. https://tede2.pucsp.br/handle/handle/11294.

Full text
Abstract:
Made available in DSpace on 2016-04-27T16:58:35Z (GMT). No. of bitstreams: 1 Vera Helena Giusti de Souza.pdf: 12711167 bytes, checksum: 489a773af6271fca8adf323a66895dcd (MD5) Previous issue date: 2008-02-14<br>Unsatisfied with the algebraic resolutions to one unknown inequations presented by most of our sophomore students we decided to research ways of contributing to the teaching of inequations algebraic resolutions by means of a graphic functional approach. While interviewing some Mathematics teachers we realized they did not know such approach. We decided to discuss it in two groups
APA, Harvard, Vancouver, ISO, and other styles
37

Silva, Nelson Antonio. "Sobre G-aplicações entre esferas em cohomologia e uma representação do Grafo de Reeb como subcomplexo de uma variedade." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/55/55135/tde-03012017-104140/.

Full text
Abstract:
Bartsch (BARTSCH, 1993) introduziu uma teoria de índice cohomológico, conhecida como o length, para G-espaços, no qual G é um grupo de Lie compacto. Apresentamos o cálculo do length de G-espaços os quais são esferas de cohomologia e G = (Z2)k, (Zp)k ou (S1)k, k &ge; 1. Como consequências, obtemos um teorema de Borsuk-Ulam neste contexto e damos condições suficientes para a existência de aplicações G-equivariantes entre uma esfera de cohomologia e uma esfera de representação quando G = (Zp)<sup<k. Também, uma versão Bourgin-Yang do teorema de Borsuk-Ulam é apresentada. Como segunda parte desta
APA, Harvard, Vancouver, ISO, and other styles
38

Pereira, Lilian Lima. "Linhas, pontos e costuras de uma colcha de retalhos: narrativas docentes do cotidiano na escola Grapi?na." Universidade Estadual de Feira de Santana, 2014. http://localhost:8080/tede/handle/tede/74.

Full text
Abstract:
Submitted by Natalie Mendes (nataliermendes@gmail.com) on 2015-07-23T00:25:16Z No. of bitstreams: 1 DISSERTA??O LILIAN - REVISADO ap?s revis?o oficial Digital ok.pdf: 2916089 bytes, checksum: 4162cf836466f411aa5b1dcaba2863db (MD5)<br>Made available in DSpace on 2015-07-23T00:25:16Z (GMT). No. of bitstreams: 1 DISSERTA??O LILIAN - REVISADO ap?s revis?o oficial Digital ok.pdf: 2916089 bytes, checksum: 4162cf836466f411aa5b1dcaba2863db (MD5) Previous issue date: 2014-05-30<br>La presente pesquisa aprehende, a partir de las narraciones de los profesores y profesoras, las implicaciones de los
APA, Harvard, Vancouver, ISO, and other styles
39

Guedes, Victor Emanuel Pinto. "Uma abordagem para o ensino de teoria dos grafos no ensino médio." Universidade Federal de Juiz de Fora, 2014. https://repositorio.ufjf.br/jspui/handle/ufjf/770.

Full text
Abstract:
Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-02-17T14:13:30Z No. of bitstreams: 1 victoremanuelpintoguedes.pdf: 1012385 bytes, checksum: b255f491e5beb63bcf201beae74d43db (MD5)<br>Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-02-26T13:07:06Z (GMT) No. of bitstreams: 1 victoremanuelpintoguedes.pdf: 1012385 bytes, checksum: b255f491e5beb63bcf201beae74d43db (MD5)<br>Made available in DSpace on 2016-02-26T13:07:06Z (GMT). No. of bitstreams: 1 victoremanuelpintoguedes.pdf: 1012385 bytes, checksum: b255f491e5beb63bcf201beae74d43db (MD5)
APA, Harvard, Vancouver, ISO, and other styles
40

Lima, Daniel Mário de. "Análise visual de dados relacionais: uma abordagem interativa suportada por teoria dos grafos." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-05052014-155415/.

Full text
Abstract:
Bancos de dados relacionais são fontes de dados rigidamente estruturadas, caracterizadas por relacionamentos complexos entre um conjunto de relações (tabelas). Entender tais relacionamentos é um desafio, porque os usuários precisam considerar múltiplas relações, entender restrições de integridade, interpretar vários atributos, e construir consultas SQL para cada tentativa de exploração. Neste cenário, introduz-se uma metodologia em duas etapas; primeiro utiliza-se um grafo organizado como uma estrutura hierárquica para modelar os relacionamentos do banco de dados, e então, propõe-se uma nova t
APA, Harvard, Vancouver, ISO, and other styles
41

Moura, Larissa. "Agrupamento espectral através de grafos Laplacianos e uma aplicação no cultivo da soja." Universidade Estadual Paulista (UNESP), 2018. http://hdl.handle.net/11449/152828.

Full text
Abstract:
Submitted by Larissa Moura null (moura.larie@gmail.com) on 2018-02-26T11:39:11Z No. of bitstreams: 1 moura_larissa_sjrp.pdf: 1591130 bytes, checksum: 7997e476e0c0da8c86b51d6ce91c8898 (MD5)<br>Approved for entry into archive by Elza Mitiko Sato null (elzasato@ibilce.unesp.br) on 2018-02-26T19:05:03Z (GMT) No. of bitstreams: 1 moura_l_me_sjrp.pdf: 1591130 bytes, checksum: 7997e476e0c0da8c86b51d6ce91c8898 (MD5)<br>Made available in DSpace on 2018-02-26T19:05:04Z (GMT). No. of bitstreams: 1 moura_l_me_sjrp.pdf: 1591130 bytes, checksum: 7997e476e0c0da8c86b51d6ce91c8898 (MD5) Previous issue d
APA, Harvard, Vancouver, ISO, and other styles
42

Nass, Daniel Perdigão. "Gráficos como representações visuais relevantes no processo ensino-aprendizagem: uma análise de livros didáticos de Química do Ensino Médio." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/75/75132/tde-11092008-151037/.

Full text
Abstract:
O uso de representações visuais constitui parte fundamental da prática de ensino de Ciências. Vários pesquisadores constatam que tais representações desempenham papel pedagógico essencial no processo ensino-aprendizagem das disciplinas científicas. Desta forma, surpreende notar que pouco se tenha investigado sobre o uso e o papel dessas representações no ensino-aprendizagem de Química. Diante deste quadro, a presente dissertação analisa uma forma de representação visual, o gráfico cartesiano, existente em livros didáticos de Química destinados ao nível Médio de ensino. Buscamos conhecer a prev
APA, Harvard, Vancouver, ISO, and other styles
43

Ferreira, Verônica Craveiro de Santana. "De grafos a emparelhamentos : uma possibilidade viável de encantar-se com a matemática." Universidade Federal de Sergipe, 2014. https://ri.ufs.br/handle/riufs/6510.

Full text
Abstract:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES<br>This thesis aims to show that the theory of graphs, especially matching, can be studied in high school and gradually as the implementation of this theory in the classroom can foster in students interest in mathematics. Thus, this paper aims to demystify the idea that mathematics content ends with high school approaching students the theories recently developed in academy. The graph theory is considered an e cient tool to solve problems in various areas. There are numerous situations that can be modeled by that enable
APA, Harvard, Vancouver, ISO, and other styles
44

Ivo, Rafael Fernandes. "Uma Nova EstratÃgia para Renderizar Descontinuidades e SuperfÃcies Intersectantes em Modelos Baseados em Splats." Universidade Federal do CearÃ, 2011. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6351.

Full text
Abstract:
nÃo hÃ<br>Modelos baseados em splats tÃm ganhado crescente atenÃÃo devido a seu potencial para renderizaÃÃes de modelos geomÃtricos complexos de forma eficiente e com alta qualidade. A ausÃncia de informaÃÃes de conectividade desses modelos permite operaÃÃes de modelagem complexas, como operaÃÃes booleanas, e fraturas em simulaÃÃes fÃsicas. Entretanto, essas operaÃÃes geralmente geram modelos com arestas e cantos que nÃo podem ser representados corretamente com um nÃmero finito de splats sem que um tratamento seja feito. Neste trabalho, um grafo de vizinhanÃa utiliza uma estimativa que garante
APA, Harvard, Vancouver, ISO, and other styles
45

Lohr, Christophe. "Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2002. http://tel.archives-ouvertes.fr/tel-00005228.

Full text
Abstract:
Ce mémoire de thèse s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie propose un éventail de méthodes formelles pour la spécification et la validation de systèmes temps-réel. Elle présente également le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. Elle dé
APA, Harvard, Vancouver, ISO, and other styles
46

Vianna, Andréa Carla Gonçalves. "Problemas de Corte e Empacotamento: Uma abordagem em Grafo E/OU." Universidade de São Paulo, 2000. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12042016-153927/.

Full text
Abstract:
O problema de corte consiste no corte de objetos maiores para produção de peças menores, de modo que uma certa função objetivo seja otimizada, por exemplo, a perda seja minimizada. O problema de empacotamento pode também ser visto como um problema de corte, onde as peças menores são arranjadas dentro dos objetos. Uma abordagem em grafo E/OU para a resolução de problemas de corte e empacotamento foi proposta inicialmente por Morabito (1989) para problemas de corte bidimensionais e, mais tarde, estendida para problemas tridimensionais (Morabito, 1992). Nesta abordagem foi utilizada uma técnica d
APA, Harvard, Vancouver, ISO, and other styles
47

Mauri, Rone. "Uma abordagem da Teoria de Grafos no Ensino Médio." Universidade Federal do Espírito Santo, 2013. http://repositorio.ufes.br/handle/10/6471.

Full text
Abstract:
Made available in DSpace on 2016-12-23T14:34:47Z (GMT). No. of bitstreams: 1 Rone Mauri.pdf: 1614722 bytes, checksum: 9403a819f35ef1a182bd8772f7204a6f (MD5) Previous issue date: 2013-08-16<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>This work shows a proposal to approach Graph Theory, which is rarely taught at public high schools, and looks for working the theme through the resolution of problems, providing opportunities to the pupil for effective participation on the building of arguments and challenging them to search for solutions, instigating the curiosity and requi
APA, Harvard, Vancouver, ISO, and other styles
48

Souza, Alinne Cristinne Corrêa. "Uma contribuição à automatização da atividade de teste para sistemas de realidade virtual." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27092017-090602/.

Full text
Abstract:
O teste de software é considerado uma atividade importante para a revelação de falhas. Apesar desta vantagem, tem sido pouco explorado no âmbito de aplicações de Realidade Virtual (RV). Dentre as lacunas existentes, a definição e automatização de critérios de teste de software para esse domínio foi identificada, uma vez que esses sistemas possuem características próprias que requerem definição ou adaptação de técnicas de teste, fazendo com que aplicações nesse domínio constituam sistemas de alta complexidade. Diante disso, o objetivo desta tese é apresentar uma abordagem denominada Virtual Rea
APA, Harvard, Vancouver, ISO, and other styles
49

Faxina, Maria Lúcia Beltrami. "Uma sequência didática sobre porcentagem e tratamento da informação utilizando problemas das OBMEP." Universidade Federal de São Carlos, 2016. https://repositorio.ufscar.br/handle/ufscar/8432.

Full text
Abstract:
Submitted by Alison Vanceto (alison-vanceto@hotmail.com) on 2017-01-16T10:53:42Z No. of bitstreams: 1 DissMLBF.pdf: 4611947 bytes, checksum: 6e6adc5972250a5579a1f54806f1aed7 (MD5)<br>Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2017-01-17T12:22:20Z (GMT) No. of bitstreams: 1 DissMLBF.pdf: 4611947 bytes, checksum: 6e6adc5972250a5579a1f54806f1aed7 (MD5)<br>Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2017-01-17T12:22:27Z (GMT) No. of bitstreams: 1 DissMLBF.pdf: 4611947 bytes, checksum: 6e6adc5972250a5579a1f54806f1aed7 (MD5)<br>Made av
APA, Harvard, Vancouver, ISO, and other styles
50

Lima, Marcelo Machado de. "Uma proposta de análise dos gráficos das funções seno, cosseno e tangente usando o software geogebra." Universidade Federal de Goiás, 2017. http://repositorio.bc.ufg.br/tede/handle/tede/7525.

Full text
Abstract:
Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2017-07-03T11:47:36Z No. of bitstreams: 2 Dissertação - Marcelo Machado de Lima - 2017.pdf: 1874559 bytes, checksum: f24752927f810c9e49c1d1e7b537fa3d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-07-10T11:30:35Z (GMT) No. of bitstreams: 2 Dissertação - Marcelo Machado de Lima - 2017.pdf: 1874559 bytes, checksum: f24752927f810c9e49c1d1e7b537fa3d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Mad
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'UML Graph' for other source types:
Journal articles
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