América latina: as coisas para além delas mesmas

If Plato compared the artist's work a reflection of the things, the contemporary art transcends the projection of things beyond themselves by creating unusual pictures, requiring the reader a posture of meanings' digger to establish the signification. Our object is the mestizo, hybrid and heterogeneous Latin America presented by sensitive eyes of art. We chose the route of ambiguous and poetic language of art, selected three works of Brazilian artist Regina Silveira since the last two decades has sought to un/construction of the image from the shadow, reflection, anamorphic projections, which offers unusual images, poetic visual paradoxes. Art as a mirror labyrinth where the reader/viewer as a wanderer without contemporary "gps" to select territories where will step from a map that he will have to build.

Mídia-educação: da criatividade à livre expressão na escola

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Comunicação midiática e educação na cibercultura

This article aims to discuss how communication can contribute effectively with education in cyberculture, by design of educational environments that are configured according to the specific language of cyberspace. We consider digital technologies as language and therefore as forms of communication. As a theoretical basis, we use Peircean semiotics, for questions relating to language; the concept of technologies of intelligence, to the relation of the technique with digital media and the concepts of emergency and of transmiting architecture to think of cyberspace communication interfaces. We made a brief reflection on the political, administrative, social, cultural and economic problems that hinder the development of more appropriate forms of education for cyberculture. Then we point out some similarities between the fields of education and communication and made some observations about qualities of digital media that can contribute to a mbetter use of it as an educational tool. Finally, we indicate an educational and communicational gaming approach as a possible way to make communication technologies interactive audiovisual interfaces, able to educate in the age of cyberculture.

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.