Assemblages and isotopic signals of modern ostracodes and host waters from Patagonia, Argentine

Ostracode species assemblages and stable oxygen and carbon isotope ratios of living and recent ostracodes, together with delta18O and delta13C_DIC values of host water samples, provide a first data set that characterizes a wide range of modern aquatic environments in the Laguna Cari-Laufquen (41°S, 68 - 69°W) and the Lago Cardiel area (48 - 49°S, 70 - 71°W) in Patagonia, Argentina. This data set will ultimately be used to interpret and calibrate data acquired from lake sediment cores with the goal of reconstructing past climate. Species assemblages and isotope values can be assigned to three groups; (1) springs, seeps and streams, (2) permanent ponds and lakes, and (3) ephemeral ponds and lakes. Springs, seeps and streams are characterized by Darwinula sp., Heterocypris incongruens, Eucypris fontana, Amphicypris nobilis and Ilyocypris ramirezi. Ostracode and water isotope values range between -13 and -5 per mil for oxygen, and between -15 and -3 per mil for carbon. They are the most negative of the entire sample set, reflecting ground water input with little or no evaporative enrichment. Limnocythere patagonica, Eucypris labyrinthica, Limnocythere sp. and Eucypris aff. fontana are typical species of permanent ponds and lakes. Isotope values indicate high degree of evaporation of lake waters relative to feeder springs and streams and range between -7 and +5 per mil for oxygen, and -5 and +4 per mil for carbon. Limnocythere rionegroensis is the dominant species in ephemeral ponds and lakes. These systems display the most enriched isotope values in both ostracodes and host waters, extending from -5 to +7 per mil for oxygen, and from -5 to +6 per mil for carbon. Living ostracodes show a positive offset from equilibrium values of up to 2 per mil for oxygen. Carbon-isotope values are up to 6? more negative than equilibrium values in highly productive pools. Comparison of ostracode and host water isotope signals permits assessment of the life span of the aquatic environments. Valves from dead ostracodes collected from ephemeral ponds and lakes show a wide scatter with each sample providing a snapshot of the seasonal history of the host water. The presence of the stream species Ilyocypris ramirezi and a wide range of ostracode isotope values suggest that ephemeral ponds and lakes are fed by streams during spring run-off and seasonally dry. A temporary character is also indicated by Heterocypris incongruens, a drought-resistant species that occupies most springs and seeps. In addition, Limnocythere rionegroensis has adjusted its reproduction strategies to its environment. Whereas only females were collected in fresh host waters, males were found in ephemeral ponds and lakes with higher solute content. Sexual reproduction seems to be the more successful reproduction strategy in high and variable salinities and seasonal droughts. The temporary character of the aquatic environments shows that the availability of meteoric water controls the life span of host waters and underlines the sensitivity of the area to changes in precipitation.

Surface sediment samples from several fore-arc basins west and southwest of the Indonesian Archipelago, analyzed by planktonic foraminifera, stable oxygen and carbon isotopic signals and opal and CaCO3 contents in bulk sediment

A total of 69 surface sediment samples from several fore-arc basins located west and southwest of the Indonesian Archipelago was analyzed with respect to the faunal composition of planktonic foraminifera, the stable oxygen and carbon isotopic signal of a surface-dwelling (Globigerinoides ruber) and a thermocline-dwelling (Neogloboquadrina dutertrei) species, and the opal and CaCO3 contents in bulk sediment. Our results show that the distribution pattern of opal in surface sediments corresponds well to the upwelling-induced chlorophyll concentration in the upper water column and thus, represents a reliable proxy for marine productivity in the coastal upwelling area off S and SW Indonesia. Present-day oceanography and marine productivity are also reflected in the tropical to subtropical and upwelling assemblages of planktonic foraminifera in the surface sediments, which in part differ from previous studies in this region probably due to different coring methods and dissolution effects. The average stable oxygen isotopic values (d18O) of G. ruber in surface sediments vary between 2.9 per mill and 3.2 per mill from basin to basin and correspond to the oceanographic settings during the SE monsoon (July-October) off west Sumatra, whereas off southern Indonesia, they reflect the NW monsoon (December-March) or annual average conditions. The d18O values of N. dutertrei show a stronger interbasinal variation between 1.6 per mill and 2.2 per mill and correspond to the upper thermocline hydrology in July-October. In addition, the difference between the shell carbon isotopic values (d13C) of G. ruber and N. dutertrei (Delta d13C) appears to be an appropriate productivity recorder only in the non-upwelling areas off west Sumatra. Consequently, joint interpretation of the isotopic values of these species is distinctive for different fore-arc basins W and SW of Indonesia and should be considered in paleoceanographic studies.

Signals of resilience to ocean change: high thermal tolerance of early stage Antarctic sea urchins (Sterechinus neumayeri) reared under present-day and future pCO2 and temperature

We tested the hypothesis that development of the Antarctic urchin Sterechinus neumayeri under future ocean conditions of warming and acidification would incur physiological costs, reducing the tolerance of a secondary stressor. The aim of this study is twofold: (1) quantify current austral spring temperature and pH near sea urchin habitat at Cape Evans in McMurdo Sound, Antarctica and (2) spawn S. neumayeri in the laboratory and raise early developmental stages (EDSs) under ambient (-0.7 °C; 400 µatm pCO2) and future (+2.6 °C; 650 and 1,000 µatm pCO2) ocean conditions and expose four EDSs (blastula, gastrula, prism, and 4-arm echinopluteus) to a one hour acute heat stress and assess survivorship. Results of field data from 2011 to 2012 show extremely stable inter-annual pH conditions ranging from 7.99 to 8.08, suggesting that future ocean acidification will drastically alter the pH-seascape for S. neumayeri. In the laboratory, S. neumayeri EDSs appear to be tolerant of temperatures and pCO2 levels above their current habitat conditions. EDSs survived acute heat exposures >20 °C above habitat temperatures of -1.9 °C. No pCO2 effect was observed for EDSs reared at -0.7 °C. When reared at +2.6 °C, small but significant pCO2 effects were observed at the blastula and prism stage, suggesting that multiple stressors are more detrimental than single stressors. While surprisingly tolerant overall, blastulae were the most sensitive stage to ocean warming and acidification. We conclude that S. neumayeri may be unexpectedly physiologically tolerant of future ocean conditions.

Abundance patterns and isotopic signals of morphotypes of Globigerinoides ruber

The chemical composition of shells of the planktonic foraminifer Globigerinoides ruber (white) is frequently used to determine past sea surface conditions. Recently, it has been shown that arbitrarily defined morphotypes within this species exhibit different chemical and isotopic signatures. Here, we investigate the occurrence through time and in space of morphological types of G. ruber (white) in late Quaternary and Holocene sediments of the central and the eastern Mediterranean Sea. In 115 samples representing two distinct time intervals (MIS 1-2 and MIS 9-12) at ODP Site 964 and the piston core GeoTü-SL96, we have defined three morphological types within this species and determined their relative abundances and stable isotopic composition. A quantitative analysis of morphological variation within G. ruber (white) in four samples revealed that the subjectively defined morphotypes occupy separate segments of a continuous and homogenous morphospace. We further show that the abundance of the morphotypes changes significantly between glacials and interglacials and that the three morphotypes of G. ruber show significant offsets in their stable isotopic composition. These offsets are consistent within glacial and interglacial stages but their sign is systematically reversed between the two Sites. Since the isotopic shifts among the three G. ruber morphotypes are systematic and often exceed 1per mil, their understanding is essential for the interpretation of all G. ruber-based proxy records for the paleoceanographic development of the Mediterranean during the late Quaternary.

Two Different Approaches of Feature Extraction for Classifying the EEG Signals

The electroencephalograph (EEG) signal is one of the most widely used signals in the biomedicine field due to its rich information about human tasks. This research study describes a new approach based on i) build reference models from a set of time series, based on the analysis of the events that they contain, is suitable for domains where the relevant information is concentrated in specific regions of the time series, known as events. In order to deal with events, each event is characterized by a set of attributes. ii) Discrete wavelet transform to the EEG data in order to extract temporal information in the form of changes in the frequency domain over time- that is they are able to extract non-stationary signals embedded in the noisy background of the human brain. The performance of the model was evaluated in terms of training performance and classification accuracies and the results confirmed that the proposed scheme has potential in classifying the EEG signals.

Two Different Approaches of Feature Extraction for Classifying the EEG Signals

The focus of this chapter is to study feature extraction and pattern classification methods from two medical areas, Stabilometry and Electroencephalography (EEG). Stabilometry is the branch of medicine responsible for examining balance in human beings. Balance and dizziness disorders are probably two of the most common illnesses that physicians have to deal with. In Stabilometry, the key nuggets of information in a time series signal are concentrated within definite time periods are known as events. In this chapter, two feature extraction schemes have been developed to identify and characterise the events in Stabilometry and EEG signals. Based on these extracted features, an Adaptive Fuzzy Inference Neural network has been applied for classification of Stabilometry and EEG signals.

Essentials in Ontology Engineering: Methodologies, Languages, and Tools

In the beginning of the 90s, ontology development was similar to an art: ontology developers did not have clear guidelines on how to build ontologies but only some design criteria to be followed. Work on principles, methods and methodologies, together with supporting technologies and languages, made ontology development become an engineering discipline, the so-called Ontology Engineering. Ontology Engineering refers to the set of activities that concern the ontology development process and the ontology life cycle, the methods and methodologies for building ontologies, and the tool suites and languages that support them. Thanks to the work done in the Ontology Engineering field, the development of ontologies within and between teams has increased and improved, as well as the possibility of reusing ontologies in other developments and in final applications. Currently, ontologies are widely used in (a) Knowledge Engineering, Artificial Intelligence and Computer Science, (b) applications related to knowledge management, natural language processing, e-commerce, intelligent information integration, information retrieval, database design and integration, bio-informatics, education, and (c) the Semantic Web, the Semantic Grid, and the Linked Data initiative. In this paper, we provide an overview of Ontology Engineering, mentioning the most outstanding and used methodologies, languages, and tools for building ontologies. In addition, we include some words on how all these elements can be used in the Linked Data initiative.

Independence in CLP Languages

Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel while preserving correctness and eciency. We extend the concept of independence to constraint logic programs (CLP) and prove that it also ensures the correctness and eciency of the parallel evaluation of independent goals. Independence for CLP languages is more complex than for logic programming as search space preservation is necessary but no longer sucient for ensuring correctness and eciency. Two additional issues arise. The rst is that the cost of constraint solving may depend upon the order constraints are encountered. The second is the need to handle dynamic scheduling. We clarify these issues by proposing various types of search independence and constraint solver independence, and show how they can be combined to allow dierent optimizations, from parallelism to intelligent backtracking. Sucient conditions for independence which can be evaluated \a priori" at run-time are also proposed. Our study also yields new insights into independence in logic programming languages. In particular, we show that search space preservation is not only a sucient but also a necessary condition for ensuring correctness and eciency of parallel execution.

A Stress-Detection System Based on Physiological Signals and Fuzzy Logic

A stress-detection system is proposed based on physiological signals. Concretely, galvanic skin response (GSR) and heart rate (HR) are proposed to provide information on the state of mind of an individual, due to their nonintrusiveness and noninvasiveness. Furthermore, specific psychological experiments were designed to induce properly stress on individuals in order to acquire a database for training, validating, and testing the proposed system. Such system is based on fuzzy logic, and it described the behavior of an individual under stressing stimuli in terms of HR and GSR. The stress-detection accuracy obtained is 99.5% by acquiring HR and GSR during a period of 10 s, and what is more, rates over 90% of success are achieved by decreasing that acquisition period to 3-5 s. Finally, this paper comes up with a proposal that an accurate stress detection only requires two physiological signals, namely, HR and GSR, and the fact that the proposed stress-detection system is suitable for real-time applications.

Quantitative evaluation of artifact removal in real magnetoencephalogram signals with blind source separation

The magnetoencephalogram (MEG) is contaminated with undesired signals, which are called artifacts. Some of the most important ones are the cardiac and the ocular artifacts (CA and OA, respectively), and the power line noise (PLN). Blind source separation (BSS) has been used to reduce the influence of the artifacts in the data. There is a plethora of BSS-based artifact removal approaches, but few comparative analyses. In this study, MEG background activity from 26 subjects was processed with five widespread BSS (AMUSE, SOBI, JADE, extended Infomax, and FastICA) and one constrained BSS (cBSS) techniques. Then, the ability of several combinations of BSS algorithm, epoch length, and artifact detection metric to automatically reduce the CA, OA, and PLN were quantified with objective criteria. The results pinpointed to cBSS as a very suitable approach to remove the CA. Additionally, a combination of AMUSE or SOBI and artifact detection metrics based on entropy or power criteria decreased the OA. Finally, the PLN was reduced by means of a spectral metric. These findings confirm the utility of BSS to help in the artifact removal for MEG background activity.

Modular extensions for modular (Logic) languages

We address the problem of developing mechanisms for easily implementing modular extensions to modular (logic) languages. By(language) extensions we refer to different groups of syntactic definitions and translation rules that extend a language. Our use of the concept of modularity in this context is twofold. We would like these extensions to be modular, in the sense above, i.e., we should be able to develop different extensions mostly separately. At the same time, the sources and targets for the extensions are modular languages, i.e., such extensions may take as input sepárate pieces of code and also produce sepárate pieces of code. Dealing with this double requirement involves interesting challenges to ensure that modularity is not broken: first, combinations of extensions (as if they were a single extensión) must be given a precise meaning. Also, the sepárate translation of múltiple sources (as if they were a single source) must be feasible. We present a detailed description of a code expansion-based framework that proposes novel solutions for these problems. We argüe that the approach, while implemented for Ciao, can be adapted for other Prolog-based systems and languages.

Towards execution time estimation in abstract machine-based languages

Abstract machines provide a certain separation between platformdependent and platform-independent concerns in compilation. Many of the differences between architectures are encapsulated in the speciflc abstract machine implementation and the bytecode is left largely architecture independent. Taking advantage of this fact, we present a framework for estimating upper and lower bounds on the execution times of logic programs running on a bytecode-based abstract machine. Our approach includes a one-time, programindependent proflling stage which calculates constants or functions bounding the execution time of each abstract machine instruction. Then, a compile-time cost estimation phase, using the instruction timing information, infers expressions giving platform-dependent upper and lower bounds on actual execution time as functions of input data sizes for each program. Working at the abstract machine level makes it possible to take into account low-level issues in new architectures and platforms by just reexecuting the calibration stage instead of having to tailor the analysis for each architecture and platform. Applications of such predicted execution times include debugging/veriflcation of time properties, certiflcation of time properties in mobile code, granularity control in parallel/distributed computing, and resource-oriented specialization.

High-level languages for small devices: A case study

In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting wearable computers. The case study is a "sound spatializer" which, given real-time signáis for monaural audio and heading, generates stereo sound which appears to come from a position in space. The use of advanced compile-time transformations and optimizations made it possible to execute code written in a clear style without efñciency or architectural concerns on the target device, while meeting strict existing time and memory constraints. The final executable compares favorably with a similar implementation written in C. We believe that this case is representative of a wider class of common pervasive computing applications, and that the techniques we show here can be put to good use in a range of scenarios. This points to the possibility of applying high-level languages, with their associated flexibility, conciseness, ability to be automatically parallelized, sophisticated compile-time tools for analysis and verification, etc., to the embedded systems field without paying an unnecessary performance penalty.