O potencial educativo da linguagem radiofônica

This study aims at comprehending the dialogic potential of language radiophonic, in context of educational radio stations. This work based on a multidisciplinary approach. The study employed concepts of discourse analysis, mainly media related, dialogism and oral language. One of the conclusions is that language radiophonic has an educational potential, to allow interactivity with the listener. After all, audience participation can happen, even in a limited way, in a direct interaction (phone, email) or on the radio statement, aspect of the construction of language, of particular interest to this work.

Paralelo entre fotografia moderna e contemporânea: algumas considerações

The paper provides a discussion of the language of modern and contemporary photography ressaltanto some of its peculiarities. Through a historical survey and an analytical process some images and point it was possible to describe the evolution of the photographic expressive modern to contemporary stage.

O discurso escolar: uma análise sobre o olhar do aluno

Pós-graduação em Letras - FCLAR

Pensamento, linguagem e língua escrita segundo a epistemologia genética: processos e construções análogos

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Condições de otimalidade para controle ótimo via formalismo de Dubovitskii-Milyutin

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Os caminhos movediços de Bandeira

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Pertencer e deslocar virtualmente: Teletandem como espaço antropofágico

Pós-graduação em Estudos Linguísticos - IBILCE

Perigo, probabilidade e oportunidade: a linguagem dos riscos na mídia

Partindo do pressuposto que risco é um conceito central na sociedade contemporânea, este estudo teve por objetivo entender o papel da mídia na circulação e consolidação da linguagem dos riscos. Tendo por base estudos anteriores, optou-se por trabalhar com um único jornal, a Folha de S. Paulo, sendo adotados três procedimentos de pesquisa: 1) mapeamento da diversidade de termos utilizados para falar sobre a possibilidade de ocorrência de eventos concebidos como ocasião para ganho ou perda; 2) análise diacrônica de uma amostra representativa de matérias com a palavra risco no título (1921 e 1998); 3) análise do uso da linguagem de risco por área temática (CD-Rom Folha, 1994-1997). Os resultados sugerem que o uso da linguagem dos riscos na mídia é recente e diversificado, apoiando-se ora na linguagem formal do cálculo de risco, ora no uso metafórico do termo, para falar de desordem na sociedade contemporânea.

Talking Points for "Wake Dance" Dedication

*When the Morrill Act was passed in 1862, creating the land-grant university system which includes our own University of Nebraska, part of the language of the bill read: " ... the leading object shall be, without excluding other scientific and classical studies, and including military tactics, to teach such branches of learning as are related to agriculture and the mechanic arts, in such manner as the legislatures of the States may respectively prescribe, in order to promote the liberal and practical education of the industrial classes in the several pursuits and professions in life.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Von nichtkommutativen Geometrien, ihren Symmetrien und etwas Hochenergiephysik

In den letzten fünf Jahren hat sich mit dem Begriff desspektralen Tripels eine Möglichkeit zur Beschreibungdes an Spinoren gekoppelten Gravitationsfeldes auf(euklidischen) nichtkommutativen Räumen etabliert. Die Dynamik dieses Gravitationsfeldes ist dabei durch diesogenannte spektrale Wirkung, dieSpur einer geeigneten Funktion des Dirac-Operators,bestimmt. Erstaunlicherweise kann man die vollständige Lagrange-Dichtedes (an das Gravitationsfeld gekoppelten) Standardmodellsder Elementarteilchenphysik, also insbesondere auch denmassegebenden Higgs-Sektor, als spektrale Wirkungeines entsprechenden spektralen Tripels ableiten. Diesesspektrale Tripel ist als Produkt des spektralenTripels der (kommutativen) Raumzeit mit einem speziellendiskreten spektralen Tripel gegeben. In der Arbeitwerden solche diskreten spektralen Tripel, die bis vorKurzem neben dem nichtkommutativen Torus die einzigen,bekannten nichtkommutativen Beispiele waren, klassifiziert. Damit kannnun auch untersucht werden, inwiefern sich dasStandardmodell durch diese Eigenschaft gegenüber anderenYang-Mills-Higgs-Theorien auszeichnet. Es zeigt sichallerdings, dasses - trotz mancher Einschränkung - eine sehr große Zahl vonModellen gibt, die mit Hilfe von spektralen Tripelnabgeleitet werden können. Es wäre aber auch denkbar, dass sich das spektrale Tripeldes Standardmodells durch zusätzliche Strukturen,zum Beispiel durch eine darauf ``isometrisch'' wirkendeHopf-Algebra, auszeichnet. In der Arbeit werden, um dieseFrage untersuchen zu können, sogenannte H-symmetrischespektrale Tripel, welche solche Hopf-Isometrien aufweisen,definiert.Dabei ergibt sich auch eine Möglichkeit, neue(H-symmetrische) spektrale Tripel mit Hilfe ihrerzusätzlichen Symmetrienzu konstruieren. Dieser Algorithmus wird an den Beispielender kommutativen Sphäre, deren Spin-Geometrie hier zumersten Mal vollständig in der globalen, algebraischen Sprache der NichtkommutativenGeometrie beschrieben wird, sowie dem nichtkommutativenTorus illustriert.Als Anwendung werden einige neue Beipiele konstruiert. Eswird gezeigt, dass sich für Yang-Mills Higgs-Theorien, diemit Hilfe von H-symmetrischen spektralen Tripeln abgeleitetwerden, aus den zusätzlichen Isometrien Einschränkungen andiefermionischen Massenmatrizen ergeben. Im letzten Abschnitt der Arbeit wird kurz auf dieQuantisierung der spektralen Wirkung für diskrete spektraleTripel eingegangen.Außerdem wird mit dem Begriff des spektralen Quadrupels einKonzept für die nichtkommutative Verallgemeinerungvon lorentzschen Spin-Mannigfaltigkeiten vorgestellt.

Johannes Driessler - Leben und Werk

Die vorliegende Arbeit über den Komponisten Johannes Driessler besteht aus einer Biographie, Werkanalysen und einem Werkverzeichnis inklusive Verlagsangaben. Johannes Driessler - geboren am 26. Januar 1921 in Friedrichsthal, gestorben am 4. Mai 1998 in Detmold - entfaltet, neben seiner pädagogischen Tätigkeit als Kompositionslehrer an der Nordwestdeutschen Musikakademie in Detmold, zwischen 1946 und 1971 ein reiches kompositorisches Schaffen. Sein Werk umfaßt geistliche und weltliche Chormusik - A-cappella-Werke, Kantaten, Oratorien, Opern, eine Messe - Liedkompositionen, Kammermusik, Klavier- und Orgelmusik, Orchesterwerke und Symphonien. Johannes Driesslers Werk ist in der geistlichen Musik verwurzelt, er entwickelt eine eigene Tonsprache: Die Gestaltung von Werken aus einer Grundidee, der Bogen, der Ostinato, das Kontrapunktische im Kanon, in der Fuge, in der Passacaglia und eine ungebundene Harmonik sind Elemente seines intellektuellen Kompositionsstils. Johannes Driesslers ureigenes Feld liegt im Vokalbereich. Hier gibt es hervorragende Werke wie zum Beispiel das erste Oratorium Dein Reich komme. Die zyklischen geistlichen Werke durch das Kirchenjahr sind wichtige Bausteine in den Gattungen Orgelmusik und Evangelienspruch im 20. Jahrhundert. Die frühe Kammermusik und die Opern des Komponisten sollten neu entdeckt werden. Auch die didaktisch wertvolle Musik in den Lehrwerken für Schüler und Studierende hat Bestand.

Il linguaggio degli ambienti virtuali culturali: comunicare la storia di Bologna attraverso il progetto Nu.M.E.

The contemporary media landscape is characterized by the emergence of hybrid forms of digital communication that contribute to the ongoing redefinition of our societies cultural context. An incontrovertible consequence of this phenomenon is the new public dimension that characterizes the transmission of historical knowledge in the twenty-first century. Awareness of this new epistemic scenario has led us to reflect on the following methodological questions: what strategies should be created to establish a communication system, based on new technology, that is scientifically rigorous, but at the same time engaging for the visitors of museums and Internet users? How does a comparative analysis of ancient documentary sources form a solid base of information for the virtual reconstruction of thirteenth century Bologna in the Metaverse? What benefits can the phenomenon of cross-mediality give to the virtual heritage? The implementation of a new version of the Nu.M.E. project allowed for answering many of these instances. The investigation carried out between 2008 and 2010 has shown that, indeed, real-time 3D graphics and collaborative virtual environments can be feasible tools for representing philologically the urban medieval landscape and for communicating properly validated historical data to the general public. This research is focused on the study and implementation of a pipeline that permits mass communication of historical information about an area of vital importance in late medieval Bologna: Piazza di Porta Ravegnana. The originality of the developed project is not limited solely to the methodological dimension of historical research. Adopted technological perspective is an excellent example of innovation that digital technologies can bring to the cultural heritage. The main result of this research is the creation of Nu.ME 2010, a cross-media system of 3D real-time visualization based on some of the most advanced free software and open source technologies available today free of charge.

Thermal relaxation for particle systems in interaction with several bosonic heat reservoirs

The present thesis is concerned with the study of a quantum physical system composed of a small particle system (such as a spin chain) and several quantized massless boson fields (as photon gasses or phonon fields) at positive temperature. The setup serves as a simplified model for matter in interaction with thermal "radiation" from different sources. Hereby, questions concerning the dynamical and thermodynamic properties of particle-boson configurations far from thermal equilibrium are in the center of interest. We study a specific situation where the particle system is brought in contact with the boson systems (occasionally referred to as heat reservoirs) where the reservoirs are prepared close to thermal equilibrium states, each at a different temperature. We analyze the interacting time evolution of such an initial configuration and we show thermal relaxation of the system into a stationary state, i.e., we prove the existence of a time invariant state which is the unique limit state of the considered initial configurations evolving in time. As long as the reservoirs have been prepared at different temperatures, this stationary state features thermodynamic characteristics as stationary energy fluxes and a positive entropy production rate which distinguishes it from being a thermal equilibrium at any temperature. Therefore, we refer to it as non-equilibrium stationary state or simply NESS. The physical setup is phrased mathematically in the language of C*-algebras. The thesis gives an extended review of the application of operator algebraic theories to quantum statistical mechanics and introduces in detail the mathematical objects to describe matter in interaction with radiation. The C*-theory is adapted to the concrete setup. The algebraic description of the system is lifted into a Hilbert space framework. The appropriate Hilbert space representation is given by a bosonic Fock space over a suitable L2-space. The first part of the present work is concluded by the derivation of a spectral theory which connects the dynamical and thermodynamic features with spectral properties of a suitable generator, say K, of the time evolution in this Hilbert space setting. That way, the question about thermal relaxation becomes a spectral problem. The operator K is of Pauli-Fierz type. The spectral analysis of the generator K follows. This task is the core part of the work and it employs various kinds of functional analytic techniques. The operator K results from a perturbation of an operator L0 which describes the non-interacting particle-boson system. All spectral considerations are done in a perturbative regime, i.e., we assume that the strength of the coupling is sufficiently small. The extraction of dynamical features of the system from properties of K requires, in particular, the knowledge about the spectrum of K in the nearest vicinity of eigenvalues of the unperturbed operator L0. Since convergent Neumann series expansions only qualify to study the perturbed spectrum in the neighborhood of the unperturbed one on a scale of order of the coupling strength we need to apply a more refined tool, the Feshbach map. This technique allows the analysis of the spectrum on a smaller scale by transferring the analysis to a spectral subspace. The need of spectral information on arbitrary scales requires an iteration of the Feshbach map. This procedure leads to an operator-theoretic renormalization group. The reader is introduced to the Feshbach technique and the renormalization procedure based on it is discussed in full detail. Further, it is explained how the spectral information is extracted from the renormalization group flow. The present dissertation is an extension of two kinds of a recent research contribution by Jakšić and Pillet to a similar physical setup. Firstly, we consider the more delicate situation of bosonic heat reservoirs instead of fermionic ones, and secondly, the system can be studied uniformly for small reservoir temperatures. The adaption of the Feshbach map-based renormalization procedure by Bach, Chen, Fröhlich, and Sigal to concrete spectral problems in quantum statistical mechanics is a further novelty of this work.

Die Universalität der Hermeneutik

In dieser Dissertation Die Universalität der Hermeneutik wurde die folgenden zwei Fragen behandelt: Erstens: kann die Psychoanalyse - konkreter gesagt, die Übertragungssituation in dem szenischen Verstehen - eine Ausnahme von der Universalität der Hermeneutik darstellen? Zweitens: ist kritische Reflexion überhaupt moglich?, und konnen die Universalität der Hermeneutik und die kritische Reflexion miteinander in Übereinstimmung gebracht werden? Durch das szenische Verstehen erlautert Habermas den Vorgang, wie die Umgangssprache des Patienten von dem Analytiker analysiert wird. Zumal in der Übertragungssituation ist der Gegenstand des Symptoms des Patienten nichts anderes als der Analytiker selbst, und demzufolge kann der Analytiker selbst dann an dem Symptom seines Patienten teilnehmen. Durch diese Teilnahme kann er die Bedeutung des Symptoms seines Patienten genau erfassen. Aber wenn der Analytiker nicht das Unbewusste, das sein Patient ihm offenbart, umgangssprachlich akzeptiert hätte, oder anders gesagt, wenn das Unbewusste des Patienten sich dem Analytiker nicht als "ein Gesagtes" gezeigt hätte, hätte der Analytiker auf keinem Fall daraus etwas erfassen können. Infolgedessen kann die Psychoanalyse nicht das Gegenbeispiel fur die Universalität der Hermeneutik werden. Damit die kritische Reflexion möglich wäre, müssten vor allem unser Bewusstsein und die Sprache voneinander getrennt werden. Deswegen wurde in dieser Arbeit behauptet, dass sie - obwohl es in der Tat selbstverstandlich unmöglich ist - aber sehr wohl rein begrifflich gesehen voneinander getrennt und unterschieden werden können. In diesem Fall kann das Einflussverhältnis zwischen der Sprache und den außersprachlichen Faktoren in das Einflussverhältnis zwischen der "Arbeit und Herrschaft" und der Sprache und unserem Bewusstsein, unterteilt und differenziert werden: Arbeit und Herrschaft übt auf die Sprache Einfluss aus, und die Sprache übt auf unser Bewusstsein Einfluss aus. Und mit der Tatsache, dass die Praxis des Verstehens verändert wird, kann man beweisen, dass unser Bewusstsein auf die Arbeit und Herrschaft Einfluss ausüben kann. Und das bedeutet, dass unser Bewusstsein, obwohl es nur mittelbar ist, auf jeden Fall auch auf die Sprache Einfluss ausüben kann. Infolgedessen, wenn die Universalität der Hermeneutik gültig ist, kann man auch sagen, dass auf dieselbe Weise, die kritische Reflexion Habermas´ möglich ist. Und diese Einflussverhältnisse sind aber in dauernder Zirkulationsbewegung. Und diese Zirkulationsbewegung an sich ist das Wesen des Menschen, und daraus bildet sich seine Geschichte.