45 research outputs found
Resolving climate impacts on fish stocks
Evidence is accumulating that the increase in CO2 is affecting the global climate, with far‐reaching implications for biological processes and ecosystem services. Recent studies suggest that there is evidence for a northward shift in the distributional range of fish species, but the mechanisms underlying these changes remain uncertain. Hence, it is largely unknown whether the observed distributional shifts are caused by a relocation of the spawning and feeding grounds, a change in the local survival of fish, or immigration into new habitats
Libro de Resumenes V Simposio Internacional de Ciencias del Mar Aliicante (Espana), 20-22 Julio 2016
From speech to song: an interdisciplinary investigation of rhythm in English and Spanish
The general theoretical frame of this dissertation has to do with the study, from an
interdisciplinary and interlinguistic point of view, of the typological dichotomy
between stress-timed and syllable-timed languages, inasmuch as this distinction is
valid at all. As a preliminary step, I carry out a comparative examination of the basic
prosodic characteristics of English and Spanish, in order to then analyse the standard
versification systems of these two languages. In the central part of my dissertation, I
explore the most important text-setting Optimality Theory constraints as applied to a
corpus of English and Spanish folk and art songs.My main objective in carrying out these three-level analyses is to check
whether the actual setting of verse to music responds to some kind of underlying
rhythmic constraints common to language prosody, verse prosody and music, and
whether those constraints are ranked differently from language to language.The conclusions have to do with a correspondence between the timing
typologies of language and the rhythmic typologies of music. I find clear
inconsistencies or mismatches between speech prosody, on the one hand, and verse
and music rhythm, on the other. These inconsistencies work differently in a syllabletimed language like Spanish than in a stress-timed language like English. While in
the first type of languages I find a natural counterpoint or dialogue between speech
prosody and musical rhythm, in the second type this counterpoint tends to be
considered arhythmic. In other words, I establish a difference in kind in relation to
the dialogue between prosody and music for each of the two types of languages. In
English, the level of agreement between the two stress-patterns is really high, while
in Spanish the counterpoint between the two patterns is used as an expressive device
Produttivita primaria dell' ecosistema marino, turbolenza oceanica e cicli biogeochimici globali
Il ciclo globale del carbonio e la concentrazione atmosferica di CO2 sono influenzati dai flussi biogeochimici fra oceano ed atmosfera. Questi flussi dipendono dal funzionamento dell’ecosistema marino; modifiche significative nella dinamica del plancton e nella produttività primaria possono avere rilevanti effetti sul clima. La dinamica del plancton, a sua volta, risente degli effetti di trasporto e rimescolamento indotti dalle strutture a mesoscala quali vortici e fronti, che per questo motivo sono uno degli attori sulla scena della dinamica del clim
LIPIcs, Volume 261, ICALP 2023, Complete Volume
LIPIcs, Volume 261, ICALP 2023, Complete Volum
Recommended from our members
Proceedings of RIKEN BNL Research Center Workshop, Volume 91, RBRC Scientific Review Committee Meeting
The ninth evaluation of the RIKEN BNL Research Center (RBRC) took place on Nov. 17-18, 2008, at Brookhaven National Laboratory. The members of the Scientific Review Committee (SRC) were Dr. Dr. Wit Busza (Chair), Dr. Miklos Gyulassy, Dr. Akira Masaike, Dr. Richard Milner, Dr. Alfred Mueller, and Dr. Akira Ukawa. We are pleased that Dr. Yasushige Yano, the Director of the Nishina Institute of RIKEN, Japan participated in this meeting both in informing the committee of the activities of the Nishina Institute and the role of RBRC and as an observer of this review. In order to illustrate the breadth and scope of the RBRC program, each member of the Center made a presentation on his/her research efforts. This encompassed three major areas of investigation, theoretical, experimental and computational physics. In addition the committee met privately with the fellows and postdocs to ascertain their opinions and concerns. Although the main purpose of this review is a report to RIKEN Management (Dr. Ryoji Noyori, RIKEN President) on the health, scientific value, management and future prospects of the Center, the RBRC management felt that a compendium of the scientific presentations are of sufficient quality and interest that they warrant a wider distribution. Therefore we have made this compilation and present it to the community for its information and enlightenment
Biology and fisheries of swordfish, Xiphias gladius: Papers from the International Symposium on Pacific Swordfish, Ensenada, Mexico, 11-14 December 1994
The swordfish, Xiphias gladius, is a large migratory
oceanic species. It is widely distributed in tropical,
temperate, and sometimes cold waters of all oceans, and is usually found in areas with sea-surface temperatures above 13°C. It can reach a maximum size of 540 kg, and is a favorite food fish in many countries. It is excellent for steaks, canning, or teriyaki, the Japanese dish of meat grilled with sugar, soy sauce, and rice wine. Swordfish is harvested commercially throughout its distribution, in both coastal and high-seas fisheries. Sport fisheries for swordfish are very small compared to those for other billfishes, accounting for no more than a few hundred fish per year. (PDF file contains 284 pages.
Sur l'analyse statique des requêtes SPARQL avec la logique modale
Static analysis is a core task in query optimization and knowledge base verification. We study static analysis techniques for SPARQL, the standard language for querying Semantic Web data. Specifically, we investigate the query containment problem and the query-update independence analysis. We are interested in developing techniques through reductions to the validity problem in logic.We address SPARQL query containment with optional matching. We focus on the class of well-designed SPARQL queries, proposed in the literature as a fragment of the language with good properties regarding query evaluation. SPARQL is interpreted over graphs, hence we encode it in a graph logic, specifically the modal logic K interpreted over label transition systems. We show that this logic is powerful enough to deal with query containment for the well-designed fragment of SPARQL. We show how to translate RDF graphs into transition systems and SPARQL queries into K-formulae. Therefore, query containment in SPARQL can be reduced to unsatisfiability in K.We also report on a preliminary overview of the SPARQL query-update problem. A query is independent of an update when the execution of the update does not affect the result of the query. Determining independence is especially useful in the contest of huge RDF repositories, where it permits to avoid expensive yet useless re-evaluation of queries. While this problem has been intensively studied for fragments of relational calculus, no works exist for the standard query language for the semantic web. We report on our investigations on how a notion of independence can be defined in the SPARQL contextL’analyse statique est une tâche essentielle dans l’optimisation des requêtes et la vérification de la base de graphes RDF. Nous étudions des techniques d’analyse statique pour SPARQL, le langage standard pour l’interrogation des données du Web sémantique. Plus précisément, nous étudions le problème d’inclusion des requêtes et de l’analyse de l’indépendance entre les requêtes et la mise à jour de la base de graphes RDF.Nous sommes intéressés par le développement de techniques grâce à des réductions au problème de la satisfaisabilité de la logique.Nous nous traitons le problème d’inclusion des requêtes SPARQL en présence de l’opérateur OPTIONAL. L’optionalité est l’un des constructeurs les plus compliqués dans SPARQL et aussi celui qui rend ce langage plus expressif que les langages de requêtes classiques, comme SQL.Nous nous concentrons sur la classe de requêtes appelée "well-designed SPARQL", proposées dans la littérature comme un fragment du langage avec de bonnes propriétés en matière d’évaluation des requêtes incluent l’opération OPTIONAL. À ce jour, l’inclusion de requête a été testée à l’aide de différentes techniques: homomorphisme de graphes, bases de données canoniques, techniques de la théorie des automates et réduction au problème de la validité d’une logique. Dans cette thèse, nous utilisons la dernière technique pour tester l’inclusion des requêtes SPARQL avec OPTIONAL utilisant une logique expressive appelée «logique K». En utilisant cette technique, il est possible de régler le problème d’inclusion des requêtes pour plusieurs fragment de SPARQL, même en présence de schémas. Cette extensibilité n’est pas garantie par les autres méthodes.Nous montrons comment traduire a graphe RDF en un système de transitions, ainsi que une requête SPARQL en une formula K. Avec ces traductions, l’inclusion des requêtes dans SPARQL peut être réduite au test de la validité d’une formule logique. Un avantage de cette approche est d’ouvrir la voie pour des implémentations utilisant solveurs de satisfiabilité pour K.Nous présentons un banc d’essais de tests d’inclusion pour les requêtes SPARQL avec OPTIONAL. Nous avons effectué des expériences pour tester et comparer des solveurs d’inclusion de l’état de l’art.Nous présentons également un aperçu préliminaire du problème d’indépendance entre requête et mise à jour. Une requête est indépendante de la mise à jour lorsque l’exécution de la mise à jour ne modifie pas le résultat de la requête. Bien que ce problème ait été intensivement étudié pour des fragments de calcul relationnel, il n’existe pas de travaux pour le langage de requêtes standard pour le web sémantique. Nous proposons une définition de la notion de l’indépendance dans le contexte de SPARQL et nous établissons des premières pistes de analyse statique dans certains situations d’inclusion entre une requête et une mise à jour
TRP Channels in Health and Disease
Almost 25 years ago, the first mammalian transient receptor potential (TRP) channel was cloned and published. TRP channels now represent an extended family of 28 members fulfilling multiple roles in the living organism. Identified functions include control of body temperature, transmitter release, mineral homeostasis, chemical sensing, and survival mechanisms in a challenging environment. The TRP channel superfamily covers six families: TRPC with C for “canonical”, TRPA with A for “ankyrin”, TRPM with M for “melastatin”, TRPML with ML for “mucolipidin”, TRPP with P for “polycystin”, and TRPV with V for “vanilloid”. Over the last few years, new findings on TRP channels have confirmed their exceptional function as cellular sensors and effectors. This Special Book features a collection of 8 reviews and 7 original articles published in “Cells” summarizing the current state-of-the-art on TRP channel research, with a main focus on TRP channel activation, their physiological and pathophysiological function, and their roles as pharmacological targets for future therapeutic options
Lenguaje moral y sociedad en Fortunata y Jacinta de Galdós
Tesis Univ. Complutense. Madrid.Fac. de FilologíaTRUEProQuestpu