REFEREE PERSONAL MEANING: PERCEPTION of FOOTBALL OFFICIALS

The aim of this study was to evaluate the personal meaning of refereeing for Portuguese football referees. Participants were 47 football referees from the 1st Portuguese Professional Football League evaluated through an open question: "Write down what refereeing means to you". The analysis was made according to Miles & Huberman (1994) procedures. The 5 categories are: relation with the football; costs of the practice; emotion for the arbitration; social interaction and way of life. The results show that be connected to the world of the football, passion and the relationship with other referees are important motivational factors, with that the referees have a high grade of excitement and pleasure in his labor activity. on the other hand the task of refereeing is generating of stress and burnout.

Portadores quentes: modelo browniano

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

Assunto brasileiro: crítica acadêmica e nacionalismo literário. 1960-1990

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

Cochlear implant in postlingual children: functional results 10 years after the surgery

The benefits of cochlear implants (CI) for communication skills are obtained over the years. There are but a few studies regarding the long-term outcomes in postlingual deaf children who grew up using the electronic device. Aim: To assess the functional results in a group of postlingual children, 10 years after using a CI. Methods: Ten postlingual deaf children, implanted before 18 years of age, participated in this study. We assessed: sentence recognition and speech intelligibility. We documented: device use and function and the patient's academic/occupational status. Study design: series. Results: The mean scores were 73% for sentence recognition in silence and 40% in noise. The average write-down intelligibility score was 92% and the average rating-scale intelligibility score was 4.15. There were no cases of device failure. Regarding educational/vocational status, three subjects graduated from the University. Five quit education after completing high school. Eight subjects had a professional activity. Conclusion: This study showed that cochlear implantation is a safe and reliable procedure. The postlingual profoundly hearing-impaired children after 10 years of CI use developed satisfactory levels regarding speech perception and intelligibility, and completed at least high school and were inserted in the labor market. Clinical Trials Registry: NCT01400178.

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.

Las lecturas de Sáenz de Oíza. Desde Torres Blancas al Banco de Bilbao a través de una selección de textos hecha por el propio arquitecto.

El 29 de enero de 2000 Francisco Javier Sáenz de Oíza ofrece su última conferencia en el salón de actos del edificio sede del BBVA en el Paseo de la Castellana de Madrid. Esta conferencia inaugura el ciclo “El arquitecto enseña su obra”, organizado por el Colegio Oficial de Arquitectos de Madrid (C.O.A.M.) y la Escuela Técnica Superior de Arquitectura de Madrid (E.T.S.A.M.). Las obras en concreto que Oíza 'enseña' en este evento son Torres Blancas (Madrid, 1961- 1968) y Banco de Bilbao (Madrid, 1971-1980). Antes de la conferencia, blandiendo una carpeta, Oíza dice: Traigo aquí los textos de siempre, los que siempre he usado, (...) yo no he escrito ni una línea, solo he subrayado ciertos pasajes, en la medida de lo posible me gustaría leer alguno. Pero como aquí hay como para cinco horas, pues no se qué hacer. Citarlo sí, porque de ustedes el que quiera penetrar un poco en mi conocimiento, pues que vea las citas que yo hago aquí, qué pasajes, o qué libros o qué artículos propongo. 1 La carpeta que lleva Oíza en su mano contiene veinticuatro fichas mecanografiadas por él mismo. Las fichas son pasajes de textos; en su mayoría de textos literarios o poéticos, e incluyen una referencia bibliográfica que menciona: título de libro, edición y número de página. Además, en cada ficha están resaltados los pasajes que Oíza pretende leer. 2 Antes del comienzo de la conferencia Oíza dice: Tengo aquí citas de lecturas que le recomendaría a quien quiera enterarse de cómo es este edificio. 3 Durante la conferencia Oíza no parece hablar sobre las obras que debe enseñar; en cambio se dedica, casi exclusivamente, a leer en público. Esta tesis nace de lo sugerido por el propio Oíza. El objetivo general, siguiendo sus propias palabras, es 'penetrar un poco' en su conocimiento a partir de citas y recomendaciones de lecturas realizadas por él mismo al tratar sobre arquitectura. La hipótesis central plantea que por medio de sus lecturas Oíza sí habla de arquitectura, y sostiene también que a partir de sus textos es posible 'enterarse', al menos en parte, de cómo es un edificio, en particular Torres Blancas y Banco de Bilbao. Más aún, se plantea la hipótesis de que Oíza, maestro ágrafo y de carácter socrático, ha construido, no obstante, un 'discurso teórico' arquitectónico suficientemente sistemático. De modo que aún cuando Oíza no ha dejado una 'teoría' escrita es posible reconstruirla, en cierta medida, a partir de su elocución y a partir de la comprensión de sus 'lecturas'. Las fuentes primarias de esta tesis son: a) Las lecturas que Oíza recomienda en su conferencia de enero de 2000. b) Torres Blancas y Banco de Bilbao. c) Las lecturas en público realizadas por Oíza en conferencias, cursos, debates, mesas redondas, programas de TV, etc. El tema que se investiga es la relación entre los textos recomendados por Oíza y su arquitectura, y la pregunta guía de la investigación es cómo y en qué medida los textos pueden contribuir a la comprensión del pensamiento, del discurso y de la obra de Oíza. Torres Blancas y Banco de Bilbao son, en todo momento, las dos principales obras utilizadas para la observación y el contraste de los resultados de la investigación teórica en el desarrollo de la tesis. El soporte teórico y metodológico de la tesis está dado por la hermenéutica en tanto disciplina encargada de la interpretación y correcta comprensión de textos y obras, en particular por la filosofía hermenéutica de Hans-Georg Gadamer expuesta en Verdad y método. La relevancia, el aspecto original y la posible aportación al conocimiento de esta tesis consiste en una aproximación a Oíza y a su arquitectura, desde un punto de vista hasta ahora no investigado de forma sistemática, esto es, a partir de las lecturas de Oíza. ABSTRACT On 29th January 2000 Francisco Javier Sáenz de Oíza gave his last lecture in the Auditorium at BBVA headquarters located in Paseo de la Castellana avenue in Madrid. That lecture opened the series The Architect Shows his Work (El arquitecto enseña su obra) organised by the COAM Official College of Architects and the ETSAM Architecture School of Madrid. The specific works that Oíza 'shows' in his lecture were Torres Blancas (Madrid, 1961- 1968) and Banco de Bilbao (Madrid, 1971-1980). Before the lecture, waving a folder in his hand, Oíza says: I've got here the texts I've always used, (…) I haven't written a line, I've only underlined certain passages, I would like to read some of them to the extent possible. But I have here about five hours of reading, so I don't know what to do. I can cite them, yes, and anyone of you who want to delve a little into my knowledge can look at the citations I make here, the passages, books or articles I recommend. 1 The folder in Oíza's hand contains 24 files typed by the architect himself. The files consist of text passages -most of which are literary or poetry texts- and include the bibliographic citation with book the title, edition and page number. In addition, the passages Oíza intends to read are highlighted. Before starting his lecture Oíza says: I've got here citations of readings I'd recommend to those who want to realise how this building is. 2 During the lecture Oíza doesn't seem to be talking about the works he has to show, on the contrary, he focuses almost exclusively on reading texts to the audience. This thesis is the result of a suggestion made by Oíza himself. The broad aim is to 'delve a little into' his knowledge using citations and reading recommendations made by Oíza when dealing with the architecture subject. The main hypothesis proposes that Oíza talks about architecture through his readings and that starting from 'his' texts it is possible to 'realise', at least in part, how a building is, Torres Blancas and Banco de Bilbao in particular. Moreover, it is proposed the hypothesis that Oíza, as a Socratic teacher reluctant to write down his ideas, has nevertheless built a systematic 'theoretical discourse' on architecture. As a result, even when he has not written a 'theory', it is possible to reconstruct it to a certain degree, starting from his speech and from the understanding of his readings. The primary sources for this thesis are: a) The readings that Oíza recommends in his lecture of January 2000. b) The Torres Blancas and Banco de Bilbao. c) The readings done by Oíza in presentations, lectures, debates, panel discussions, television programmes, etc. The subject under research is the relationship between the texts that Oíza recommends and his architecture. The guiding question for the research is how and to what extent the texts can contribute to the understanding of Oíza's thoughts, discourse and work. Torres Blancas and Banco de Bilbao are the two main works considered along the thesis and they have been used for observation and to test the results of the theoretical research as it progresses. The thesis theoretical and methodological framework is based on the hermeneutics -as the discipline that deals with the interpretation and the correct understanding of texts and works-, in particular the hermeneutics philosophy of Hans-Georg Gadamer in Truth and Method. The relevance, the original element and the possible contribution of this thesis is given by the approach to Oíza and his architecture through Oíza's readings, a perspective that hasn't been yet systematically researched.

Marco de caracterización y cálculo de las métricas de calidad de los componentes web para el desarrollo de aplicaciones de usuario final

En la Web 2.0, donde usuarios finales sin grandes conocimientos de programación pueden interactuar y crear aplicaciones web utilizando componentes publicados en Internet, ofrecidos por una gran variedad de proveedores de servicio. La selección de estos componentes requiere de un análisis exhaustivo por parte de los usuarios sobre las propiedades de estos componentes en referencia a su calidad. En este proyecto, se presentan dos modelos de calidad según una estructura jerárquica, uno para componentes web como elementos autónomos y otro para componentes utilizados en aplicaciones de mashup, basado en un análisis de la emergente Web 2.0. Además, se define una herramienta de medición y anotación de calidad para los distintos niveles de los modelos. Estas herramientas pretenden ser un útil instrumento para los desarrolladores y usuarios de componentes y mashups.---ABSTRACT---In the Web 2.0, where end users without a technical programming background can interact and develop web applications leveraging web components published on the Internet, offered by a great diversity of service providers. This component selection requires an exhaustive analysis by these end users based on the requirements of these components related to their quality. In this work, two quality models are presented according to a hierarchical structure, one for web components as independent elements and another one for web components as parts of web mashup applications, based on an analysis of the emerging Web 2.0. In addition, a measuring and write down quality framework is defined to weigh the quality of all the levels of the models. These tools intend to provide a useful instrument to components and mashup developers and end users.

Aplicación lectora de datos públicos sobre DNIE

Con la llegada de la era de la información, viendo esta era como la necesidad de informatizar, registrar y tratar una gran cantidad de datos mediante la tecnología, se está dando el paso de diversos procesos burocráticos a medios tecnológicos cambiando el papel por los datos almacenados en las computadoras. El DNI electrónico permite a un individuo identificarse mediante un dispositivo donde se almacenan los datos de éste para poder identificarse unívocamente ante aquellos trámites que antaño costaban largos procesos burocráticos en papel. Sabemos que las aplicaciones software son aquellos módulos formado por un conjunto de programas y rutinas que permiten a los diferentes tipos de computadores realizar tareas de manera parcial o totalmente automáticas. Por ello este proyecto demuestra todo el proceso de creación de un módulo software, que cómo comentamos en el primer párrafo, permitiría sobrellevar otros tantos procesos burocráticos como sería la petición del DNI y posterior escritura a mano en distintas situaciones. Todo ello orientado desde un estricto análisis desde el punto de vista de la ingeniería del software. ABSTRACT Due to the fact that we’re in the era of information technology, and from the perspective that this era means to computerize register and treat a big quantity of data through technologic means, we are stepping into a process where all the bureaucracy is being transferred from paper to digital storage models. Hence, the electronic DNI allows the citizen to identify himself univocally against processes that back in time where made through tedious and heavy-paper-work processes. We know that software apps are modules conformed by a set of instructions and programs that make possible the execution of partially or totally automated tasks. That’s why this project shows the process of the creation of a software module (app) that, as we stated before, would allow overcoming many other bureaucratic processes like the request to write down the national identification number. All of it focused to a strict analysis from software engineering’s point of view.

Greek translations by Benjamin Wadsworth, 1766

Two-page handwritten Greek translations created by Harvard sophomore Benjamin Wadsworth on folio-sized paper. The document contains Greek translations of two letters from J. Garretson's "English exercises for school-boys to translate into Latin," copied by Wadsworth in 1766. The first page contains two sections: "As it is in English. A Letter from one friend to another," containing a copy of Garretson's Epistle IV from "E.C.," and a Greek translation of the letter beginning "Kypie..." The second page contains a Greek translation of Garretson's Epistle III from "B.J," and a note by Wadsworth: "A Letter from one Brother to another. Taken out of Garetson's English Exercise. The 3rd Exercise. or 135st page. There is not room or I would write down the English out of which I translated it. September the 2d A.D. 1766. When I was a sophomore." The document is bordered with hand-drawn double lines.

Bail-in Provisions in State Aid and Resolution Procedures: Are they consistent with systemic stability? CEPS Policy Brief No. 318, 21 May 2014

This CEPS Policy Brief examines the provisions for bail-in in the European Union – that is, the principle whereby any public measure to recapitalise a bank with insufficient prudential capital must be preceded by a write-down or conversion into equity of creditors’ claims – in state aid policies and in the new resolution framework for failing banks, with two aims: i) to assess whether and how they are coordinated and ii) more importantly, whether they address satisfactorily the question of systemic stability that may arise when investors fear that creditors’ claims are likely to be bailed-in in a bank crisis. The issue is especially relevant in the present context, as the comprehensive assessment exercise underway for EU banks falling under the direct supervision of the European Central Bank may lead supervisors to require substantial capital injections simultaneously for many of the banks involved, possibly shaking investors’ confidence across EU banking markets. The authors conclude that the two sets of rules are, broadly speaking, mutually consistent and that they already contain sufficient safeguards to address systemic stability concerns. However, the balance of the elements underpinning the European Commission’s decisions in individual cases may not be clear to bank creditors and potential investors in financial markets. The impression of unneeded rigidity on this very sensitive issue has been heightened by official statements over-emphasising that each case will be assessed individually under competition rules, thus feeding the concern that the systemic dimension of the issue may have been underestimated. Therefore, further clarification by the Commission may be needed on how the various criteria will be applied during the ongoing transition to banking union – perhaps through a new communication completing the state aid framework for banks in view of the adoption of the new resolution rules.

Terms of abuse as expression and reinforcement of cultures

In this study terms of abuse are investigated in 11 different cultures. Spontaneous verbal aggression is to a certain extent reminiscent of the values of a certain culture. Almost 3000 subjects from Spain, Germany, France, Italy, Croatia, Poland, Great Britain, USA, Norway, Greece, and The Netherlands were asked to write down terms of abuse that they would use given a certain stimulus situation, and in addition, to give their rating of the offensive character of those terms. A total set of 12,000 expressions was collected. The frequencies of the expressions were established, and the total list of expressions was reduced to 16 categories. Results point to some etic taboos, like sexuality and lack of intelligence. On the other hand clear differences across cultures were found, which cannot easily be explained by existing classifications of national cultures. Explanations are provided in terms of dimensions on which the 11 cultures differ.

Actitudes hacia la variedad caló y sus hablantes : Un estudio sociolingüístico de las opiniones de adolescentes andaluces

Caló is a language/variety spoken by the Spanish Calé (i.e. the Roma). The variety belongs to a group oflanguages referred to as “Para-Romani”, characterized by Romani vocabulary, but largely non-Romani morphology, phonology and syntax, in the case of Caló deriving from Spanish. Much research has been carried out regarding the vocabulary and the grammar of this variety.The conclusions drawn in those studies indicate that Caló is on its way to extinction. However, thereis an expressed interest in reintroducing the variety, in a form called “Romanó-Caló”. Language attitudes play a decisive role for the destiny of endangered languages. In order for arevitalization project to be successful, the attitudes towards the variety being reintroduced have to bepositive. The aim of this study is to measure the attitudes that both Calé and non-Calé have towards Calóand Caló speakers, a type of study never carried out in the past. The methods applied are both direct andindirect. In part one, 231 informants listened to different recordings of voices acting as either a “Spanishspeaking person” or a “Caló speaking person”, a technique referred to as ‘matched guise’. Firstly,the informants were asked to write down their first three impressions of the speakers. Secondly, nineshort questions related to the voices were asked, to which the subjects expressed their answers on attitudescales. They were also asked to match the voices with photos of people. Furthermore, theinformants have answered questions regarding what variety is spoken at home, as well as if he or she hasany knowledge of, or contact with, any language/variety, apart from Spanish. 182 informants continuedwith part two of the questionnaire, which consisted of 20 items – positive and negative statementstowards Caló and Caló speakers. The informants have rated their agreement or disagreement to thesestatements on a Likert scale. Another exercise measured the willingness of the informants to use Calówords for naming various objects. In addition, the subjects were tested on their knowledge of some Calówords, as well as asked whether they thought it was “useful” to know how to speak Caló. Variousstatistical methods have been used in order to establish whether or not the results are statisticallysignificant. The results of the analysis indicate that the attitudes differ towards Caló and Calóspeakers, depending on the informant’s (a) ethnicity (b) contact with Caló as well as with Calóspeakers, and (c) gender. It is those who – in their own opinion – belong to the ethnic group Calé, as wellas those who claim that they have some contact with the variety and its speakers, who show positiveattitudes in both parts of the study. The women also show more positive attitudes than the men. It is alsopossible to note positive attitudes towards the variety and its speakers among the subjects with a highlevel of knowledge of Caló words, as well as among those with the highest willingness to use Caló. These observations suggest that a revitalization project of the variety Caló has a clear chance ofbeing successful.

Herramienta para mejorar la afinación vocal en Android

In this paper, a tool to improve vocal tuning in Android devices is presented. This application aims to offer exercises to practice and improve singing skills. The designed tool includes two main functionalities: sound synthesis, to provide with singing sound references, and fundamental frequency analysis, to analize the sound and check if the user sings the right musical note. The well-known Yin algorithm has been selected to perform the fundamental frequency analysis. Three different singing exercises are included: sing single notes, sing intervals and sing a note in order to complete a chord. The system also includes a graphical interface in which musical notation is employed to write down the singing sound. The system has been evaluated in order to test out its correct performance regarding both the analysis and synthesis of musical sounds.

A escrita e a criança com síndrome de Down: uma relação possível na escola regular

The school inclusion is based on respect for diversity and the belief that everyone has the capacity to learn and develop, for this the school needs to prepare itself to meet the differences and provide a meaningful learning for everyone, including those with Down syndrome. It is in the interaction with others that children develop their skills and exchange substantial experiences to learn the school and non school knowledge. Among the knowledge the school must offer students, there is one that is indispensable to the present society; the writing, because writing is a way to Interact, to communicate and to build autonomy to relate in society. Before exposed, the research that started this study aimed to investigate the level of the writing conceptualization of children with Down syndrome during the literacy process in a regular school of the private school network in the city of Natal/RN. For carrying out this study, initially we conducted a qualitative research, using the bibliographical as a methodological recourse, seeking to the deepening of information, based on the literature about the subject, which allowed us to collect data about people with Down syndrome, their education and the process of the writing acquisition. Later, a case study was performed, involving free observation in the room and interviews with teachers and children, trying to verify how this writing acquisition process occurs by children with Down syndrome. The data analyzed and information recorded demonstrated that the school inclusion, when taken seriously, benefits the learning of writing for children who have intellectual deficit, and, mainly, they develop in this environment and are able to learn to write, as long as their own pace are respected

Down-regulation Of Slc8a1 As A Putative Apoptosis-evasion Mechanism By Modulation Of Calcium Levels In Penile Carcinoma.

The SLC8A1 gene, which encodes the Na(+)/Ca(2+) exchanger, plays a key role in calcium homeostasis. Our previous gene expression oligoarray data revealed SLC8A1 underexpression in penile carcinoma (PeCa). The aim of this study was to investigate whether the dysregulation of SLC8A1 expression is associated with apoptosis and cell proliferation in PeCa, via modulation of calcium concentration. The underlying mechanisms of SLC8A1 underexpression were also explored, focusing on copy number alteration and microRNA. Transcript levels of SLC8A1 gene and miR-223 were evaluated by quantitative PCR, comparing PeCa samples with normal glans tissues. SLC8A1 copy number was evaluated by microarray-based comparative genomic hybridization (array-CGH). Caspase-3 and Ki-67 immunostaining, as well as calcium distribution by Laser Ablation Imaging Inductively Coupled Plasma Mass Spectrometry [LA(i)-ICP-MS], were investigated in both normal and tumor samples. Confirming our previous data, SLC8A1 underexpression was detected in PeCa samples (P=0.001) and was not associated with gene copy number loss. In contrast, overexpression of miR-223 (P=0.002) was inversely correlated with SLC8A1 (P=0.015, r=-0.426), its putative repressor. In addition, SLC8A1 underexpression was associated with decreased calcium distribution, high Ki-67 and low caspase-3 immunoexpression in PeCa when compared with normal tissues. Down-regulation of the SLC8A1 gene, most likely mediated by its regulator miR-223, can lead to reduced calcium levels in PeCa and, consequently, to suppression of apoptosis and increased tumor cell proliferation. These data suggest that the miR-223-NCX1-calcium-signaling axis may represent a potential therapeutic approach in PeCa.