• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 26
  • 26
  • 4
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 69
  • 13
  • 12
  • 12
  • 10
  • 10
  • 9
  • 9
  • 9
  • 8
  • 7
  • 7
  • 7
  • 7
  • 6
  • 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.
41

A comparative study of the form and structure of the prooemia to some trecento commentaries on the Divina commedia

Jenaro-MacLennan, Luis January 1967 (has links)
No description available.
42

Por trás do espelho de Alice : narrativas visuais de inclusão de criancas com transtorno do espectro do autismo

Monte, Barbara Terra do January 2015 (has links)
A participação e a interação da criança com Transtorno do Espectro do Autismo (TEA) no período da Educação Infantil possibilita seu desenvolvimento social, cognitivo e cultural quando é um tempo cheio de significados que contribuem para uma inclusão efetiva. Assim, esse tempo vem a promover aprendizados para preparar esses sujeitos para as próximas etapas de escolarização ao envolver ações realizadas em conjunto com outros sujeitos e através do meio. O participar e o interagir não estão focados somente na linguagem falada, mas na comunicação compreendida pelo próximo. Essa investigação tem um caráter qualitativo e a partir do estudo de caso de três sujeitos com autismo, tendo como cenário uma creche vinculada à Rede Municipal de Porto Alegre-RS, que atende crianças de 0 a 6 anos em turno integral. Objetiva analisar a apropriação das narrativas visuais mediadas pelo SCALA (Sistema de Comunicação Alternativa para o Letramento no Autismo) no processo de inclusão de crianças com TEA na primeira infância. O embasamento teórico centra-se na perspectiva Sócio-histórica e seus conceitos de mediação e linguagem. A partir das observações e análises dos dados gerados, percebe-se que 1) a mediação do sistema proposto fornece apoio à inclusão a partir da participação e da interação, permitidas pela comunicação de gestos, movimentos inquietantes, palavras intraduzíveis e olhares penetrantes; 2) a mediação do sistema permite antecipar um aprender a partir de leituras de pictogramas, baseado na Comunicação Alternativa, que nos detalhes possibilitou uma efetividade de um processo complexo do ler - nos detalhes e nas entrelinhas habilita-se um sujeito ativo e interativo - um agente; e 3) o sistema revela-se como uma ferramenta capaz de extrapolar as telas, em que associado à baixa tecnologia também possibilita um novo/outro modo de interagir e participar. A partir dessa experiência, entre uma narrativa e outra, é proporcionada uma reflexão sobre a importância do papel do professor para sustentar as várias formas de "ser" e "estar" na escola. Os movimentos das crianças com TEA não são indícios de limitações deles, mas da limitação da compreensão do outro através de uma comunicação corporal. Verifica-se também a medicalização como um limitante do corpo, que influencia o processo de ensino e aprendizado. Por fim, evidencia-se que a mediação do sistema permite que todos os sujeitos envolvidos sejam agentes ativos de um percurso repleto de leituras do outro, do eu e do livro, que entre a imaginação e os significados fizeram-se presentes. Esses sujeitos são autônomos e cúmplices de um fabular permeados pelos signos e instrumentos que foram compartilhados pelas ações e invenções - uma apropriação intensa e significativa que potencializa e efetiva uma inclusão constituída por inúmeras leituras. / Participation and interaction of children with Autism Spectrum Disorders (ASDs) in Kindergarten enables their social, cognitive and cultural development as it is a period full of meanings that contribute to effective inclusion. Such period promotes learning and preparation for future schooling stages through engaging actions carried out in cooperation with other subjects and the environment. Participation and interaction are not solely built from spoken language, but communication understood by each other. This research is a qualitative case study involving three subjects with autism enrolled in a full time nursery school. This school joins the Municipal Network of Education of Porto Alegre in Rio Grande do Sul (Brazil) serving children from 0 to 6. Investigation aims to analyze the appropriation of visual narratives mediated by SCALA (System of Alternative Communication for Literacy in Autism) in the inclusion of children with ASDs in early childhood. Theoretical foundation lies on a sociohistorical perspective and its concepts of mediation and language. From the observations and analysis of the data generated, it is derived that 1) the mediation of the proposed system provides support for inclusion through participation and interaction by means of communication of gestures, restless movements, unclear words and staring looks; 2) the mediation of system allows to anticipate a learning process emerging from pictogram reading (Alternative Communication), which provides evidences of effectiveness through the details of the complex reading process - in the details and between the lines, it triggers them to become active and interactive subjects - agents; and 3) the system acts as a tool extrapolating the screen; when in association with low technology, it also enables a new and alternative way to interact and participate. The experience in the field, from narrative to narrative, evokes a reflection on the importance of the teacher's role in providing support to varied forms of "being" in school. The movements of students with ASD are not evidence of their limitations, but evidence of the limitation to understanding through body communication. Medicalization has been perceived as body limiting factor with impacts on teaching and learning processes. Finally, it becomes evident that the system's mediation allows all those involved to be active agents of a trajectory full of readings of others, the self and the book, all present amidst imagination and meanings. Those subjects are autonomous and accomplices of a fable permeated by the signs and tools that have been shared through actions and inventions - an intense meaningful and, yet, effective appropriation that consists of several readings and leverages inclusion.
43

Por trás do espelho de Alice : narrativas visuais de inclusão de criancas com transtorno do espectro do autismo

Monte, Barbara Terra do January 2015 (has links)
A participação e a interação da criança com Transtorno do Espectro do Autismo (TEA) no período da Educação Infantil possibilita seu desenvolvimento social, cognitivo e cultural quando é um tempo cheio de significados que contribuem para uma inclusão efetiva. Assim, esse tempo vem a promover aprendizados para preparar esses sujeitos para as próximas etapas de escolarização ao envolver ações realizadas em conjunto com outros sujeitos e através do meio. O participar e o interagir não estão focados somente na linguagem falada, mas na comunicação compreendida pelo próximo. Essa investigação tem um caráter qualitativo e a partir do estudo de caso de três sujeitos com autismo, tendo como cenário uma creche vinculada à Rede Municipal de Porto Alegre-RS, que atende crianças de 0 a 6 anos em turno integral. Objetiva analisar a apropriação das narrativas visuais mediadas pelo SCALA (Sistema de Comunicação Alternativa para o Letramento no Autismo) no processo de inclusão de crianças com TEA na primeira infância. O embasamento teórico centra-se na perspectiva Sócio-histórica e seus conceitos de mediação e linguagem. A partir das observações e análises dos dados gerados, percebe-se que 1) a mediação do sistema proposto fornece apoio à inclusão a partir da participação e da interação, permitidas pela comunicação de gestos, movimentos inquietantes, palavras intraduzíveis e olhares penetrantes; 2) a mediação do sistema permite antecipar um aprender a partir de leituras de pictogramas, baseado na Comunicação Alternativa, que nos detalhes possibilitou uma efetividade de um processo complexo do ler - nos detalhes e nas entrelinhas habilita-se um sujeito ativo e interativo - um agente; e 3) o sistema revela-se como uma ferramenta capaz de extrapolar as telas, em que associado à baixa tecnologia também possibilita um novo/outro modo de interagir e participar. A partir dessa experiência, entre uma narrativa e outra, é proporcionada uma reflexão sobre a importância do papel do professor para sustentar as várias formas de "ser" e "estar" na escola. Os movimentos das crianças com TEA não são indícios de limitações deles, mas da limitação da compreensão do outro através de uma comunicação corporal. Verifica-se também a medicalização como um limitante do corpo, que influencia o processo de ensino e aprendizado. Por fim, evidencia-se que a mediação do sistema permite que todos os sujeitos envolvidos sejam agentes ativos de um percurso repleto de leituras do outro, do eu e do livro, que entre a imaginação e os significados fizeram-se presentes. Esses sujeitos são autônomos e cúmplices de um fabular permeados pelos signos e instrumentos que foram compartilhados pelas ações e invenções - uma apropriação intensa e significativa que potencializa e efetiva uma inclusão constituída por inúmeras leituras. / Participation and interaction of children with Autism Spectrum Disorders (ASDs) in Kindergarten enables their social, cognitive and cultural development as it is a period full of meanings that contribute to effective inclusion. Such period promotes learning and preparation for future schooling stages through engaging actions carried out in cooperation with other subjects and the environment. Participation and interaction are not solely built from spoken language, but communication understood by each other. This research is a qualitative case study involving three subjects with autism enrolled in a full time nursery school. This school joins the Municipal Network of Education of Porto Alegre in Rio Grande do Sul (Brazil) serving children from 0 to 6. Investigation aims to analyze the appropriation of visual narratives mediated by SCALA (System of Alternative Communication for Literacy in Autism) in the inclusion of children with ASDs in early childhood. Theoretical foundation lies on a sociohistorical perspective and its concepts of mediation and language. From the observations and analysis of the data generated, it is derived that 1) the mediation of the proposed system provides support for inclusion through participation and interaction by means of communication of gestures, restless movements, unclear words and staring looks; 2) the mediation of system allows to anticipate a learning process emerging from pictogram reading (Alternative Communication), which provides evidences of effectiveness through the details of the complex reading process - in the details and between the lines, it triggers them to become active and interactive subjects - agents; and 3) the system acts as a tool extrapolating the screen; when in association with low technology, it also enables a new and alternative way to interact and participate. The experience in the field, from narrative to narrative, evokes a reflection on the importance of the teacher's role in providing support to varied forms of "being" in school. The movements of students with ASD are not evidence of their limitations, but evidence of the limitation to understanding through body communication. Medicalization has been perceived as body limiting factor with impacts on teaching and learning processes. Finally, it becomes evident that the system's mediation allows all those involved to be active agents of a trajectory full of readings of others, the self and the book, all present amidst imagination and meanings. Those subjects are autonomous and accomplices of a fable permeated by the signs and tools that have been shared through actions and inventions - an intense meaningful and, yet, effective appropriation that consists of several readings and leverages inclusion.
44

Zpracování síťové komunikace v prostředí Apache Spark / Network Traces Analysis Using Apache Spark

Béder, Michal January 2018 (has links)
The aim of this thesis is to show how to design and implement an application for network traces analysis using Apache Spark distributed system. Implementation can be divided into three parts - loading data from a distributed HDFS storage, supported network protocols analysis and distributed data processing. As a data visualization tool is used web-based notebook Apache Zeppelin. The resulting application is able to analyze individual packets as well as the entire flows. It supports JSON and pcap as input data formats. The goal of the application is to allow Big Data processing. The greatest impact on its performance has the input data format and allocation of the available cores.
45

Constraining future extensions of immutable classes / Begränsning av framtida arv från omuterbara klasser

Blomstrand, Mikael January 2018 (has links)
Immutable data and persistent data structures are seeing more and more use. Many common programming errors can be solved by simply using immutable data, and in concurrent and parallel programming, they remove the need for data synchronization. There are many benefits of immutable data, but few modern languages provide a way to declare or control immutability. By analyzing a class, it is possible to know whether creating an object of that specific class will make an immutable object. This means that for final classes, which can't be extended, immutability can be inferred from the type. The same is not true for non-final classes. A mutable subclass can be made without recompiling the original, immutable superclass, making it possible to make mutable objects of the previously immutable class. This makes all non-final classes potentially mutable, ruling out many interesting class hierarchies. This thesis explores how the use of such unwanted class extensions could be detected. The solution introduces \emph{phantom classes}, synthetic final classes that are used in place of the original classes. These classes are essentially empty class extensions, behaving exactly the same as the original classes, but since they are final, can not be extended. An object can be verified by downcasting. If the cast fails, the object have been created in foreign code.A proof-of-concept is implemented as a fork of Dotty, what will become version 3 of the Scala compiler. The implementation is called Mållgan.Mållgan is able to compile real code, and produces executable JVM bytecode.Tests show that the code compiled with Mållgan can still be used normally by code compiled with regular Dotty, indicating that the solution is transparent to any code not aware of it. Overall the study shows that the solution is feasible, but a formal proof would be needed to provide definite proof for the correctness. / Omuterbar data och beständiga datastrukturer används mer och mer. Många vanliga programmeringsfel kan undvikas genom att använda omuterbar data, och i parallell och flertrådig programmering slipper man datasynkronisering. Det finns många fördelar med omuterbar data, men få moderna programmeringsspråk stödjer ett sätt att deklarera eller kontrollera omuterbarhet. Genom att analysera en klass är det möjligt att ta reda på om ett objekt som skapats från klassen är omuterbar. För klasser som inte går att ärva går det alltså att härleda om ett objekt är omuterbart eller inte från typen. För klasser som går att ärva finns inga garantier för att subklasserna är omuterbara, och subklasser kan skapas utan att orginalklassen måste kompileras om. Det här gör att alla klasser som går att ärva är potentiellt muterbara, vilket omöjliggör många intressanta klasshierarkier. Den här uppsatsen utforskar hur sådana oönskade subklasser kan upptäckas. Lösningen heter \emph{fantomklasser} (phantom classes), syntetiska klasser som inte går att ärva. Dessa är i grund och botten tomma subklasser som beter sig exakt likadant som orginalklasserna. Ett objekt kan verifieras genom att verifiera typen. Om de inte kan göras till fantomklassen måste de ha gjorts av främmande kod. Som proof-of-concept implementerades lösningen som en fork av Dotty, det som kommer att bli version 3 av Scala-kompilatorn. Implementationen heter Mållgan. Mållgan klarar att kompilera verklig kod och producerar exekverbar JVM bytekod. Tester visar att kod kompilerad med Mållgan fortfarande kan användas som vanligt med vanlig Dotty. Det här indikerar att lösningen är transparent för kod som inte är medveten om implementationen. Studien visar att lösningen är genomförbar, men ett mer formellt bevis krävs för att visa att lösningen är korrekt.
46

La Scala-domen och dess konsekvenser för svenska exploateringsförhållanden / The La Scala judgment and its consequences for the Swedish land development process

Landeman, Marc January 2014 (has links)
The municipalities in Sweden can use the PBL-legislation to request a land developer to fund new public infrastructure in the dwelling area where the developer are active. The municipality have had two options to choose between. To purchase a contract with an entrepreneur that build the infrastructure paid by the developer, or let the developer both build and pay the infrastructure. The La Scala-judgment came 2001 from the EG-tribunal. This judgment have by many people been interpreted as that as public infrastructure in Sweden should be purchased by the municipalities through LOU. Therefore, the purpose of this report is to discuss how the land development process has changed and which problems that have arisen since 2010, when it became customary that the municipality should procure public streets and sewage facilities under the Swedish Public Procurement Act (“LOU”). The purpose is also to discuss if this way to proceed satisfies the purpose of LOU and also discuss if their can be any alternative interpretations of the La Scalajudgment than have been done so far for Swedish conditions. The questions that became a consequence of the purpose where answered as follow in the report: Changes Today, the general rule is that the municipality is to purchase all public streets itself in the land development process. This rule has replaced the freedom of choosing whether to do so, that previously existed. Necessary land transfers take place today at an early stage of the process, often when the zoning plan becomes valid, as compared to before when it took place late in the land development process. Problems Some problems have arisen in cases when the municipality procures. This leads to the conclusion that the land development process today has become more risky, significantly more expensive, and that it takes longer time before the houses are ready for occupants to move in to, than previously was the case. To what extent does this new procedure implement LOU’s purpose? LOU's purpose, to get an effectively use of tax money, is not fulfilled by this procedure because the municipalities do not have any expenditures, which means that there are no funds which can be considered “effectively used”. As the municipality has no cost, it is questionable whether it really is to the municipality that an entrepreneur sells his services, rather than to the land developer paying for the services. Overall, this means that the purpose is probably not fulfilled by this new procedure. In what situations can the LOU procedure be questioned? The consequences of LOU can be questioned where it leads to major problems that would not occur if the legislation was more flexible. An example of this is when there is a lone land developer, who builds on his own property. If the municipality procures this, as happens today, problems arise in terms of money, time and coordination problems. This because it is more efficient if the developer that are already active in the area build all necessary infrastructure. Can any other interpretations of the La Scala-judgment and it´s relationship to the Swedish development process be found? One alternative interpret is that the municipal should use LOU on this kind of contracts when there is a risk that the municipal lose financial resources if they don´t do it. In the Italian development process there is always a risk that the municipal lose financial resources if they don´t purchase the contracts. The Swedish land development legislation are structured so the municipality never take a risk to lose financial recourses if they let the developer build everything in the area and therefore the municipality never can lose financial recourses in these cases. The Swedish municipalities don’t get any advantages if they use LOU here because the developer pays the real cost for all parts of the contract. Therefore, LOU is irrelevant in this part of the development process
47

Static Performance Guarantees Through Storage Modes and Multi-Stage Programming

Anxhelo Xhebraj (18423639) 23 April 2024 (has links)
<p dir="ltr">This thesis explores two approaches to bridge the gap between expressiveness and performance in programming languages. It presents two complementary directions that reconcile performance and expressiveness: retrofitting static performance guarantees into an expressive general-purpose language like Scala, and transparently extending a restricted language like Datalog with features like polymorphism and user-defined functions while generating specialized and efficient code.</p><p dir="ltr">We first introduce storage modes, lightweight type qualifiers that enable statically tracking the lifetime of values in Scala programs. This enables stack allocating them and reduce memory pressure on the garbage collector. A key novelty is delaying the popping of the stack frames when returning dynamically-sized stack-allocated values, overcoming limitations of previous approaches.</p><p dir="ltr">Second, we present Flan, a Datalog compiler and embedding in Scala implemented as a multi-stage interpreter. Through staging, Flan can generate highly specialized code for different execution strategies and indexing structures, achieving performance on par with state-of-the-art domain-specific compilers like Soufflé. Moreover, by leveraging the host language, Flan enables seamless extension of Datalog with powerful features like user-defined functions, lattices and polymorphism, retaining the expressiveness of languages like Flix.</p><p dir="ltr">Overall, this work advances the design space for expressive and efficient programming languages, through lightweight annotations in an expressive host language, and transparent compiler specialization of an embedded domain-specific language. The techniques intoduced bridghe the gap between low-level performance and high-level programming abstractions.</p>
48

Balettmapp Kungliga Operan : Operahusens design och arkitektur

Age, Katrin January 2005 (has links)
En presentation av Kungliga Svenska Baletten. Denna ska distribueras till operahus världen över innan ny turné påbörjas. Shanghais operahus var det första som fick den färdiga produkten.Fördjupningen rör olika operahus design och arkitektur ut- och invändigt. Även en del av husens relevanta historia tas upp.
49

Smart task logging : Prediction of tasks for timesheets with machine learning

Bengtsson, Emil, Mattsson, Emil January 2018 (has links)
Every day most people are using applications and services that are utilising machine learning, in some way, without even knowing it. Some of these applications and services could, for example, be Google’s search engine, Netflix’s recommendations, or Spotify’s music tips. For machine learning to work it needs data, and often a large amount of it. Roughly 2,5 quintillion bytes of data are created every day in the modern information society. This huge amount of data can be utilised to make applications and systems smarter and automated. Time logging systems today are usually not smart since users of these systems still must enter data manually. This bachelor thesis will explore the possibility of applying machine learning to task logging systems, to make it smarter and automated. The machine learning algorithm that is used to predict the user’s task, is called multiclass logistic regression, which is categorical. When a small amount of training data was used in the machine learning process the predictions of a task had a success rate of about 91%.
50

Sistema scala e deficiência motora : contribuições na inclusão de uma aluna com paralisia cerebral na rede regular de ensino

Sitoe, Sheila António January 2014 (has links)
A presente pesquisa vinculada ao grupo TEIAS (Tecnologia em Educação para Inclusão e Aprendizagem em Sociedade: http://www.ufrgs.br/teias/) procurou desenvolver uma tecnologia assistiva (sistema de varredura) e um estudo de caso com uma criança com Paralisia Cerebral e não oralizada, matriculada em uma escola regular do Rio Grande do Sul. A pesquisa teve como objetivo desenvolver um sistema de varredura para o SCALA (Sistema de Comunicação Alternativa para Letramento de Pessoas com Autismo: http://scala.ufrgs.br/siteScala/projetoScala/) de modo a possibilitar seu uso por pessoas com deficiência motora bem como compreender como ocorre o processo de inclusão de um aluno com Paralisia Cerebral na escola mediado por um sistema de comunicação alternativa. Participou do estudo uma criança com Paralisia Cerebral, duas professoras e seus colegas de turma (2 ciclo). A pesquisa foi desenvolvida com base na teoria sócio histórica, por entender que a estrutura humana é produto de um processo de desenvolvimento profundamente enraizado nas ligações entre a história individual e história social. A coleta foi realizada por meio de observações sistemáticas e entrevistas informais gravadas em vídeos com o complemento do diário de bordo. Assim, se desenvolveu um estudo de caso de caráter qualitativo que apresentou dois momentos de observação do sujeito, antes da introdução do sistema de Comunicação Alternativa e depois da introdução do mesmo. A pesquisa permitiu engendrar algumas pistas sobre a relação entre o uso da comunicação alternativa e o sujeito com Paralisia Cerebral no contexto da inclusão escolar. A partir dos resultados, ficou evidente que, embora a Paralisia Cerebral evidencie alguns limites motores, ao mesmo tempo, se percebe que é possível viabilizar a inclusão social, principalmente quando se imbrica o uso de novas tecnologias com a inclusão considerando que os meios de comunicação alternativa permitem dar voz às pessoas sem fala funcional quando há mediação e partilha entre uma rede de pessoas (professores, familiares, comunidade) e instituições que se disponibilizam a dar visibilidade à diversidade. / This research is linked to TEIAS project (Technology in Education Inclusion and Learning in Society: http://www.ufrgs.br/teias/). It sought to develop assistive technology (Scanning System) and a case study on the inclusion of a nonverbal child diagnosed with Cerebral Palsy enrolled in a regular school in Rio Grande do Sul. The research aimed at (1) contemplating users with motor disabilities in the use of SCALA (Alternative Communication System for Literacy of People with Autism: http://scala.ufrgs.br/siteScala/projetoScala/) by developing a scanning system as an additional means to access SCALA; and, (2) understanding the process of including a student with cerebral palsy at school whose communication is mediated by an alternative communication system. A nonverbal child with Cerebral Palsy, two teachers and her classmates (4th grade) participated in the study. The survey was developed based on historical social theory. Data were collected through systematic observations, informal interviews recorded on video and research notes. The qualitative case study comprised two phases: before and after the introduction of Alternative Communication System. The study engendered clues about the relationship between the use of alternative communication with subjects with Cerebral Palsy in the school context. Results show that although cerebral palsy imposes limits to body movements, it is possible to make social inclusion feasible for nonverbal people with Cerebral Palsy and to develop possibilities for social inclusion, especially through the use of new technologies for alternative communication which made interaction possible among a network of people (teachers, family, community) and institutions interested in giving visibility to diversity.

Page generated in 0.0324 seconds