• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 58
  • 17
  • 8
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • Tagged with
  • 121
  • 29
  • 25
  • 17
  • 16
  • 15
  • 14
  • 13
  • 13
  • 12
  • 12
  • 11
  • 11
  • 10
  • 10
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
81

Automobil v podnikání / Car in Business

Formánek, Aleš January 2009 (has links)
Cars are tightly connected with daily duties of enterprisers. The goal of this Theses is to clarify legal, tax and accounting environment, focusing on cars, where enterprisers are working in and its borders that should not be crossed. Theoretical situations, that can anytime happen when using cars in business, are shown on practical examples.
82

Android aplikace - slovník s příklady / Android Application - Dictionary with Examples

Maňák, Libor January 2016 (has links)
This master's thesis deals with development of dictionary application for devices with Android operating system. The application provides examples in form of sentences, which can help users decide what translation variant is the right for them. This application is created as alternative for web service benimsozluk.com and there is cooperation between them. This thesis describes theoretical knowledge related to Android and development of this application. Parts of this thesis are dedicated to design as well as implementation of the application. The reader is introduced to testing conclusions. Testing was done for improving the application as well as for making an assessment of the application final state. In the final part potential future development of the application is drafted.
83

The Matrix Sign Function Method and the Computation of Invariant Subspaces

Byers, R., He, C., Mehrmann, V. 30 October 1998 (has links)
A perturbation analysis shows that if a numerically stable procedure is used to compute the matrix sign function, then it is competitive with conventional methods for computing invariant subspaces. Stability analysis of the Newton iteration improves an earlier result of Byers and confirms that ill-conditioned iterates may cause numerical instability. Numerical examples demonstrate the theoretical results.
84

Historická argumentace při hledání národní identity v textech Tomáše Garrigua Masaryka a Romana Dmowského. Komparativní studie / Historical Examples and the Search for National Identity in texts of Tomáš Garrigue Masaryk and Roman Dmowski. A Comparative Study

Scholz, Milan January 2017 (has links)
The doctoral thesis deals with comparative analysis of historical examples in the search for national identity in texts of Tomáš Garrigue Masaryk (1850-1937) and Roman Dmowski (1864-1939). Both Masaryk and Dmowski belonged to prominent representatives of public and political life in their countries at the end of the 19th and in first decades of the 20th centuries. The question of national identity is a theme often associates with their life and work. Masaryk and Dmowski influenced Czech and Polish politics, political and intellectual thought before 1914. During the First World War, they were leaders of Czechoslovak and Polish politics in West European emigration (Masaryk as the president of the Czechoslovak National Committee, Dmowski as the president of the Polish National Committee). Nevertheless, in the postwar period, their career diverged. Masaryk became president of Czechoslovakia and symbol of the Czechoslovak identity, Dmowski represented rather the opposition against mainstream development in postwar Poland. The first and the second parts of the thesis deal with Masaryk's (first part) and Dmowski's (second part) concept of historical examples in search of national identity in context of their thought and life. Therefore, these parts are organized chronologically and pay attention to...
85

A Good Instruction in Mathematics Education should be Open but Structured

Graumann, Olga 15 March 2012 (has links)
No description available.
86

Guide för beräkning av förband i korslimmade träkonstruktioner : inkl. några dimensioneringsexempel / Guideline for calculation of connections in cross-laminated timber structuresFörfattare: : including design examples

Alhadi, Mustafa, Shehadeh, Zijad January 2020 (has links)
Korrslimmat trä (KL-trä) är ett byggnadsmaterial som har ökat i popularitet och användning markant inom byggbranschen de senaste åren. Vid dimensionering av trähus är en av de mest komplicerade delarna att dimensionera förbanden. I stommen utgör förbanden en viktig del eftersom de håller ihop byggnaden. Därför är det viktigt att konstruktörer kan utföra säkra och ekonomiska dimensioneringar. Det saknas idag tydliga och pedagogiska guider med dimensioneringsexempel, vilka konstruktörer kan utgå från vid dimensionering av förband i KL-träkonstruktioner. Genom att granska de mest aktuella KL-trähandböckerna, jämföra dem med varandra och plocka ut de bästa delarna från varje handbok, har en sådan guide tagits fram i detta arbete med kompletterande dimensioneringsexempel. Guiden är tänkt att verka som stöd vid dimensionering av förband i KL-träkonstruktioner och förhoppningarna är att den i framtiden kan verka som underlag för framtagandet av en handbok med samlingar av stödjande beräkningsexempel. / Cross-laminated timber (CLT) is a rather new construction material that has increased its popularity and usage significantly within the building industry in the past years. In timber buildings, the connections are one of the most challenging parts to design. Thus, there are high demands put on structural engineers to make a safe and economic design. Today structural engineers have no specific and clear guideline that they can use as help for design of connections in CLT-buildings. By reviewing the most common CLT-handbooks, comparing them with each other, and picking out the best parts from each of the handbooks, a new guideline for design of connections in CLT-structures was developed in this thesis with complementary design examples. The guidelines main purpose is to act as help for the structural engineer when designing connections in CLT-structures. It is indented that the guideline acts as basis for the development of a future CLT-handbook with a collection of supporting calculation examples.
87

An Investigation of an Example-Based Method for Crowd Simulations

Malmström, David, Kaalen, Stefan January 2017 (has links)
The problem of simulating a crowd to see how it would behave in certain situations or just to create a realistic-looking scene to be used in a movie or video game is important and complex, and there are many different methods to solve it. This project is primarily an investigation of the example-based crowd simulation method described in the article "Crowds by Example" by Lerner et al. In the article, traced video footage of crowds are used to create a data set. The simulation program continuously finds situations in the data set that resembles the current situations in the simulation and updates the simulation thereby. We implemented this for around 10 agents using Unity 3D. Example-based crowd simulations does not only, like some other types of crowd simulation methods (for example ORCA), take collision avoidance into account but also the more complex ways the human mind thinks and therefore does not always behave as one would predict. The main conclusion is that this method of simulating crowds has the potential to create more realistic simulations than other forms of crowd simulations. The downsides are that the time the program spends creating simulations can quickly get very high and to make realistic simulations a lot of video footage must be filmed and then traced.
88

Nätcoaching som ett komplement till lösningsförslag : En undersökning av en ny digital lärmiljö genomundersökande relation / Online coaching as a complement to worked examples : A research of a new digital learning platform through Relationship of Inquiry

Friefeldt, William, Gullberg, Philip January 2019 (has links)
Den tekniska utvecklingen har varit storskalig i världen och människors vardagsliv harändrats mycket det senaste seklet. I kontrast till detta har den svenska skolan inte sett sammahastiga tekniska utveckling. Samtidigt visar resultat från PISA att elevers resultat i matematiksjunker. Här identifieras två problem som måste lösas. Därför syftade denna undersökningtill att underlätta elevers matematikstudier genom att skapa en ny digital lärmiljö. Lärmiljönkom att kombinera matematiska lösningsförslag med nätcoaching. Det gjordes med hjälp avdet digitala läromedlet Mathleaks och lärplattformen TalkMath. Därefter analysera hur entill-en nätcoaching fungerade i denna nya lärmiljö. Undersökningen syftade även ta reda påhur elever uppfattar lärmiljön och om den kan vara ett komplement till lösningsförslag.Lärmiljön skapades med grund i pedagogiska teorier såsom Vygotskijs sociokulturellaperspektiv, teorier om coaching, synkron kommunikation samt teorier om en-till-ennätcoaching. Två metoder användes för att samla denna data. För det första sparades allakonversationer automatiskt i en databas. För det andra så användes en enkät för att samlaelevernas uppfattning av lärmiljön. Ramverket Undersökande relation användes för attanalysera alla konversationerna mellan elev och coach. Studenterna valdes ut från en svenskgymnasieskola där en av författarna jobbar, eleverna var i åldrarna 15-18 år. Resultatenindikerade att denna nya lärmiljö var ett bra komplement till lösningsförslag. Det drogs ävenslutsatsen att lärmiljön hjälpte elevers kognitiva progression. Undersökningen visar att endigital lärmiljö kan vara ett bra komplement för elever som studerar matematik medlösningsförslag. / The digital and technical development of the world have been large-scale and people’s day-to day life has changed immensely the last century. In contrast, the Swedish school system has not been seeing the same rapid technical development. As students’ results in mathematic sare declining an approach to battle this trend can be to apply this technological development on students’ studies in mathematics. Therefore, this thesis sought to ease students’ mathematics studies by creating a digital learning environment. By combining worked examples with online coaching the environment was created through the platforms Mathleaks and TalkMath. Then examine how online one-to-one coaching works in this environment. It also sought to analyse how students perceive this teaching environment and if it can be usedas a complement to worked-examples. The environment was created based on pedagogical theories such as Vygotsky's sociocultural perspective, coach theories, synchronous communication as well as theory around one-to-one online coaching. Two methods were used to gather data. First, the conversations were automatically stored in a database. Secondly, a survey was used to gather the students’ opinion of the teaching environment. The framework Relationship of Inquiry was used to analyse all conversations between students and coaches. Students were chosen from an upper secondary school in the ages of 15-18 where one of the authors worked. Results indicated that the teaching environment that was created was a good complement to worked-examples. The environment was shown to help student’s knowledge progression. This shows that digital teaching environments can be a valuable addition for students when studying mathematics.
89

An Exposition on Group Characters

Margraff, Aaron Thaddeus 02 September 2014 (has links)
No description available.
90

Improving automation in model-driven engineering using examples

Faunes Carvallo, Martin 06 1900 (has links)
Cette thèse a pour but d’améliorer l’automatisation dans l’ingénierie dirigée par les modèles (MDE pour Model Driven Engineering). MDE est un paradigme qui promet de réduire la complexité du logiciel par l’utilisation intensive de modèles et des transformations automatiques entre modèles (TM). D’une façon simplifiée, dans la vision du MDE, les spécialistes utilisent plusieurs modèles pour représenter un logiciel, et ils produisent le code source en transformant automatiquement ces modèles. Conséquemment, l’automatisation est un facteur clé et un principe fondateur de MDE. En plus des TM, d’autres activités ont besoin d’automatisation, e.g. la définition des langages de modélisation et la migration de logiciels. Dans ce contexte, la contribution principale de cette thèse est de proposer une approche générale pour améliorer l’automatisation du MDE. Notre approche est basée sur la recherche méta-heuristique guidée par les exemples. Nous appliquons cette approche sur deux problèmes importants de MDE, (1) la transformation des modèles et (2) la définition précise de langages de modélisation. Pour le premier problème, nous distinguons entre la transformation dans le contexte de la migration et les transformations générales entre modèles. Dans le cas de la migration, nous proposons une méthode de regroupement logiciel (Software Clustering) basée sur une méta-heuristique guidée par des exemples de regroupement. De la même façon, pour les transformations générales, nous apprenons des transformations entre modèles en utilisant un algorithme de programmation génétique qui s’inspire des exemples des transformations passées. Pour la définition précise de langages de modélisation, nous proposons une méthode basée sur une recherche méta-heuristique, qui dérive des règles de bonne formation pour les méta-modèles, avec l’objectif de bien discriminer entre modèles valides et invalides. Les études empiriques que nous avons menées, montrent que les approches proposées obtiennent des bons résultats tant quantitatifs que qualitatifs. Ceux-ci nous permettent de conclure que l’amélioration de l’automatisation du MDE en utilisant des méthodes de recherche méta-heuristique et des exemples peut contribuer à l’adoption plus large de MDE dans l’industrie à là venir. / This thesis aims to improve automation in Model Driven Engineering (MDE). MDE is a paradigm that promises to reduce software complexity by the mean of the intensive use of models and automatic model transformation (MT). Roughly speaking, in MDE vision, stakeholders use several models to represent the software, and produce source code by automatically transforming these models. Consequently, automation is a key factor and founding principle of MDE. In addition to MT, other MDE activities require automation, e.g. modeling language definition and software migration. In this context, the main contribution of this thesis is proposing a general approach for improving automation in MDE. Our approach is based on meta-heuristic search guided by examples. We apply our approach to two important MDE problems, (1) model transformation and (2) precise modeling languages. For transformations, we distinguish between transformations in the context of migration and general model transformations. In the case of migration, we propose a software clustering method based on a search algorithm guided by cluster examples. Similarly, for general transformations, we learn model transformations by a genetic programming algorithm taking inspiration from examples of past transformations. For the problem of precise metamodeling, we propose a meta-heuristic search method to derive well-formedness rules for metamodels with the objective of discriminating examples of valid and invalid models. Our empirical evaluation shows that the proposed approaches exhibit good results. These allow us to conclude that improving automation in MDE using meta-heuristic search and examples can contribute to a wider adoption of MDE in industry in the coming years.

Page generated in 0.0491 seconds