Naive Physics, Event Perception, Lexical Semantics, and Language Acquisition

This thesis proposes a computational model of how children may come to learn the meanings of words in their native language. The proposed model is divided into two separate components. One component produces semantic descriptions of visually observed events while the other correlates those descriptions with co-occurring descriptions of those events in natural language. The first part of this thesis describes three implementations of the correlation process whereby representations of the meanings of whole utterances can be decomposed into fragments assigned as representations of the meanings of individual words. The second part of this thesis describes an implemented computer program that recognizes the occurrence of simple spatial motion events in simulated video input.

Foundations of Actor Semantics

The actor message-passing model of concurrent computation has inspired new ideas in the areas of knowledge-based systems, programming languages and their semantics, and computer systems architecture. The model itself grew out of computer languages such as Planner, Smalltalk, and Simula, and out of the use of continuations to interpret imperative constructs within A-calculus. The mathematical content of the model has been developed by Carl Hewitt, Irene Greif, Henry Baker, and Giuseppe Attardi. This thesis extends and unifies their work through the following observations. The ordering laws postulated by Hewitt and Baker can be proved using a notion of global time. The most general ordering laws are in fact equivalent to an axiom of realizability in global time. Independence results suggest that some notion of global time is essential to any model of concurrent computation. Since nondeterministic concurrency is more fundamental than deterministic sequential computation, there may be no need to take fixed points in the underlying domain of a power domain. Power domains built from incomplete domains can solve the problem of providing a fixed point semantics for a class of nondeterministic programming languages in which a fair merge can be written. The event diagrams of Greif's behavioral semantics, augmented by Baker's pending events, form an incomplete domain. Its power domain is the semantic domain in which programs written in actor-based languages are assigned meanings. This denotational semantics is compatible with behavioral semantics. The locality laws postulated by Hewitt and Baker may be proved for the semantics of an actor-based language. Altering the semantics slightly can falsify the locality laws. The locality laws thus constrain what counts as an actor semantics.

Semantics-Preserving Dimensionality Reduction: Rough and Fuzzy-Rough-Based Approaches

R. Jensen and Q. Shen. Semantics-Preserving Dimensionality Reduction: Rough and Fuzzy-Rough Based Approaches. IEEE Transactions on Knowledge and Data Engineering, 16(12): 1457-1471. 2004.

Aspects of Semantics and Pragmatics of Dialogue. SemDial 2010, 14th Workshop on the Semantics and Pragmatics of Dialogue

The papers collected in this book cover a range of topics in semantics and pragmatics of dialogue. All these papers were presented at SemDial 2010, the 14th Workshop on the Semantics and Pragmatics of Dialogue. This 14th edition in the SemDial series, also known as PozDial, took place in Poznań (Poland) in June 2010, and was organized by the Chair of Logic and Cognitive Science (Institute of Psychology, Adam Mickiewicz University). From over 30 submissions overall, 14 were accepted as full papers for plenary presentation at the workshop, and all are included in this book. In addition, 10 were accepted as posters, and are included here as 2-4 page short papers. Finally, we also include abstracts from our keynote speakers. We hope that the ideas gathered in this book will be a valuable source of up-to-date achievements in the field, and will become a valuable inspiration for new ones. We would like to express our thanks to all those who submitted to and participated in SemDial 2010, especially the invited speakers: Dale Barr (University of Glasgow), Jonathan Ginzburg (King's College London), Jeroen Groenendijk (University of Amsterdam) and Henry Prakken (Utrecht University, The University of Groningen). Last but not least, we would like to thank everybody engaged in the workshop organization -- the chairs, the local organizing committee for their hard work in Poznań, and the programme committee members for their thorough and helpful reviews.

A Formal Semantics for Weak References

A weak reference is a reference to an object that is not followed by the pointer tracer when garbage collection is called. That is, a weak reference cannot prevent the object it references from being garbage collected. Weak references remain a troublesome programming feature largely because there is not an accepted, precise semantics that describes their behavior (in fact, we are not aware of any formalization of their semantics). The trouble is that weak references allow reachable objects to be garbage collected, therefore allowing garbage collection to influence the result of a program. Despite this difficulty, weak references continue to be used in practice for reasons related to efficient storage management, and are included in many popular programming languages (Standard ML, Haskell, OCaml, and Java). We give a formal semantics for a calculus called λweak that includes weak references and is derived from Morrisett, Felleisen, and Harper’s λgc. λgc formalizes the notion of garbage collection by means of a rewrite rule. Such a formalization is required to precisely characterize the semantics of weak references. However, the inclusion of a garbage-collection rewrite-rule in a language with weak references introduces non-deterministic evaluation, even if the parameter-passing mechanism is deterministic (call-by-value in our case). This raises the question of confluence for our rewrite system. We discuss natural restrictions under which our rewrite system is confluent, thus guaranteeing uniqueness of program result. We define conditions that allow other garbage collection algorithms to co-exist with our semantics of weak references. We also introduce a polymorphic type system to prove the absence of erroneous program behavior (i.e., the absence of “stuck evaluation”) and a corresponding type inference algorithm. We prove the type system sound and the inference algorithm sound and complete.

Traffic policing in ATM networks with multimedia traffic: the super leaky bucket

Traffic policing and bandwidth management strategies at the User Network Interface (UNI) of an ATM network are investigated by simulation. The network is assumed to transport real time (RT) traffic like voice and video as well as non-real time (non-RT) data traffic. The proposed policing function, called the super leaky bucket (S-LB), is based on the leaky bucket (LB), but handles the three types of traffic differently according to their quality of service (QoS) requirements. Separate queues are maintained for RT and non-RT traffic. They are normally served alternately, but if the number of RT cells exceeds a threshold, it gets non-pre-emptive priority. Further increase of the RT queue causes low priority cells to be discarded. Non-RT cells are buffered and the sources are throttled back during periods of congestion. The simulations clearly demonstrate the advantages of the proposed strategy in providing improved levels of service (delay, jitter and loss) for all types of traffic.

Issues in delivering multimedia content to mobile devices

The scalability of a computer system is its response to growth. It is also depended on its hardware, its operating system and the applications it is running. Most distributed systems technology today still depends on bus-based shared memory which do not scale well, and systems based on the grid or hypercube scheme requires significantly less connections than a full inter-connection that would exhibit a quadratic growth rate. The rapid convergence of mobile communication, digital broadcasting and network infrastructures calls for rich multimedia content that is adaptive and responsive to the needs of individuals, businesses and the public organisations. This paper will discuss the emergence of mobile Multimedia systems and provides an overview of the issues regarding design and delivery of multimedia content to mobile devices.

Polycyclic aromatic hydrocarbons (PAHS) (I): Toxicity, population exposure and involved foods

Food is one of the main exogenous sources of genotoxic compounds. In heated food products, polycyclic aromatic hydrocarbons (PAHs) represent a priority group of genotoxic, mutagenic and/or carcinogenic chemical pollutants with adverse long-term health effects. People can be exposed to these compounds through different environments and via various routes: inhalation, ingestion of foods and water and even percutaneously. The presence of these compounds in food may be due to environmental contamination, to industrial handling and processing of foods and to oil processing and refining. The highest levels of these compounds are found in smoked foods, in seafood which is found in polluted waters, in grilled meats and, to a lesser extent, in vegetable fats and oils. Lower levels of PAHs are found in vegetables and in cereals and its products.

Las bibliotecas rurales en los medios de comunicación de la Región de Extremadura: un estudio de caso

El objetivo principal de este trabajo es, a través de las noticias publicadas en diversos medios de comunicación de la Región de Extremadura sobre bibliotecas rurales a lo largo de los últimos años, comprobar el impacto y la visibilidad de las bibliotecas en los medios. Para ello, se recopilan un total de 1196 noticias que, tras ser analizadas detalladamente, se reducen a 300 sobre las que versan los resultados del estudio. Esta disminución de noticias finales demuestra que el titular o los primeros párrafos no expresan exactamente el contenido de la noticia siendo necesario un análisis cualitativo de su contenido. Se concluye que: las noticias sobre bibliotecas rurales han decrecido en el periodo analizado (2007, 2008, 2012, 2013), siendo 2007 el año de mayor auge, si bien se ha observado un repunte en 2013 con respecto a 2012; las noticias sobre bibliotecas rurales de ámbito provincial (Badajoz y Cáceres) obtienen mayor porcentaje que las regionales y nacionales (sin representación); y el diario HOY es, con diferencia, el medio que acumula el mayor porcentaje de noticias sobre bibliotecas rurales.

Aplicación de modelos semióticos al análisis de poesía narrativa popular ecuatoriana difundida en audiovisuales

Se expone una fundamentación teórica, lógica y metodológica de tres modelos semióticos: los elementos y funciones de la comunicación de Jakobson; el modelo actancial de Greimas; y los mundos: real, referencia y posible de Eco, aplicados al análisis de poesía narrativa popular difundida en distintos formatos audiovisuales.

Analysis of audiovisual production and music scene in Extremadura through YouTube channels

A study on Extremenian music and audiovisual production has been carried out through YouTube media. The purpose of this study is to analyze all audiovisual products and also assessing what broadcasting processes are conducted by creators to publicize their musical and audiovisual works. A quantitative and qualitative study of audiovisual materials of Extremadura bands was done to find out which processes are most suitable to increase the number of viewers for videos.

La Web Semántica y los archivos de televisión: estado de la cuestión

Se analizan y describen las principales líneas de trabajo de la Web Semántica en el ámbito de los archivos de televisión. Para ello, se analiza y contextualiza la web semántica desde una perspectiva general para posteriormente analizar las principales iniciativas que trabajan con lo audiovisual: Proyecto MuNCH, Proyecto S5T, Semantic Television y VideoActive.

La influencia de las nuevas tecnologías en los hábitos de lectura: análisis de las noticias de "El País", "El Mundo" y "ABC" (2011)

En este texto se explica el cambio de hábitos que ha supuesto la lectura en formato digital. Se indican los factores que determinan la selección un formato u otro, al igual que la situación en la que se encuentra la lectura digital en España. Para ello, se analizan las noticias sobre este tema encontradas en los periódicos: ABC, El País y El Mundo durante el año 2011 -período relevante para la lectura digital- y se comparan con los resultados de las encuestas de AIMC, FGEE, etc., con el fin de sacar conclusiones certeras.