Neuronal Assembly Detection and Cell Membership Specification by Principal Component Analysis

LOPES-DOS-SANTOS, V. , CONDE-OCAZIONEZ, S. ; NICOLELIS, M. A. L. , RIBEIRO, S. T. , TORT, A. B. L. . Neuronal assembly detection and cell membership specification by principal component analysis. Plos One, v. 6, p. e20996, 2011.

Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Estimating glomerular filtration rate in kidney transplantation: Still searching for the best marker

Kidney transplantation is the treatment of choice for end-stage renal disease. The evaluation of graft function is mandatory in the management of renal transplant recipients. Glomerular filtration rate (GFR), is generally considered the best index of graft function and also a predictor of graft and patient survival. However GFR measurement using inulin clearance, the gold standard for its measurement and exogenous markers such as radiolabeled isotopes ((51)Cr EDTA, (99m)Tc DTPA or (125)I Iothalamate) and non-radioactive contrast agents (Iothalamate or Iohexol), is laborious as well as expensive, being rarely used in clinical practice. Therefore, endogenous markers, such as serum creatinine or cystatin C, are used to estimate kidney function, and equations using these markers adjusted to other variables, mainly demographic, are an attempt to improve accuracy in estimation of GFR (eGFR). Nevertheless, there is some concern about the inability of the available eGFR equations to accurately identify changes in GFR, in kidney transplant recipients. This article will review and discuss the performance and limitations of these endogenous markers and their equations as estimators of GFR in the kidney transplant recipients, and their ability in predicting significant clinical outcomes.

Searching for knowledge in the belly of the beast: diversity, social equity and the African graduate student mother's experience in US higher education

Diversity has become a buzz word in public discourse and in educational circles. Higher education institutions in the US have increasingly used this word as a cornerstone of their mission statements and have made increasing efforts to attract students from different backgrounds. As part of the increase in diversity efforts among US colleges, is a significant rise in the number of international students. Attracting international students has become a priority for U.S. universities regardless of size or location. This study examines the intersection between the structure of American educational environment and the blended identities of African Graduate Student Mothers. Within the context of contemporary diversity efforts in US educational institutions, this study examines both the structural environments and the socio-cultural constructs that affect the experiences of African graduate student mothers. Based on a qualitative research interview design, a total of nineteen African graduate student mothers at a Mid-Western University in the US were interviewed individually and in groups over a six weeks period. Results from this study show that apart from the difficult and often dehumanizing treatment African student mothers endure from immigration and consular officials in their various countries and ports of entry, they often find themselves at the margins of their various programs and departments with very little support if any. This is because most of them enroll into graduate programs after arriving as dependants of their spouses; a process that does not allow them to negotiate for departmental commitments and support prior to their arrival. Not only do these women face racial discrimination from white professors, staff and fellow students, but they also experience discrimination and hostilities from African Americans and other minority groups who see them as threats to the limited resources that are often set aside for minority groups in such institutions.

Specification of a smart meter/actuator description mechanism & development of a mobile application

Home Automation holds the potential of realizing cost savings for end users while reducing the carbon footprint of domestic energy consumption. Yet, adoption is still very low. High cost of vendor-supplied home automation systems is a major prohibiting factor. Open source systems such as FHEM, Domoticz, OpenHAB etc. are a cheaper alternative and can drive the adoption of home automation. Moreover, they have the advantage of not being limited to a single vendor or communication technology which gives end users flexibility in the choice of devices to include in their installation. However, interaction with devices having diverse communication technologies can be inconvenient for users thus limiting the utility they derive from it. For application developers, creating applications which interact with the several technologies in the home automation systems is not a consistent process. Hence, there is the need for a common description mechanism that makes interaction smooth for end users and which enables application developers to make home automation applications in a consistent and uniform way. This thesis proposes such a description mechanism within the context of an open source home automation system – FHEM, together with a system concept for its application. A mobile application was developed as a proof of concept of the proposed description mechanism and the results of the implementation are reflected upon.

Searching for doubly charged Higgs bosons at the LHC in a 3-3-1 model

Using a peculiar version of the SU(3)(L) circle times U(1)(N) electroweak model, we investigate the production of doubly charged Higgs boson at the Large Hadron Collider. Our results include branching ratio calculations for the doubly charged Higgs and for one of the neutral scalar bosons of the model. (c) 2006 Elsevier B.V. All rights reserved.

Searching for return: How Google search engine query data can beat the market

Throughout the last years technologic improvements have enabled internet users to analyze and retrieve data regarding Internet searches. In several fields of study this data has been used. Some authors have been using search engine query data to forecast economic variables, to detect influenza areas or to demonstrate that it is possible to capture some patterns in stock markets indexes. In this paper one investment strategy is presented using Google Trends’ weekly query data from major global stock market indexes’ constituents. The results suggest that it is indeed possible to achieve higher Info Sharpe ratios, especially for the major European stock market indexes in comparison to those provided by a buy-and-hold strategy for the period considered.

A Coopetition Space for Complex Product Specification

Part 3: Product-Service Systems

Searching relevant polymorphisms of CYP2B6 in HIV infected patients

Poster presented at the From Basic Sciences to Clinical Research - First International Congress of CiiEM. Egas Moniz, Caparica, Portugal, 27- 28 November 2015

Testing the link specification in binary choice models. A semiparametric approach.

Doutoramento em Matemática.

Applied learning educators searching for a pedagogical model

Australia, like many nations across the globe, has a focus on engaging young people in the post compulsory years of school to ensure their transition into further education, training and /or the workforce. Applied Learning programs which are based on the premise of active, transformative learning from authentic experience have emerged as valuable tools in assisting the transition of young people. Understanding of Applied Learning however, not only varies between nations but also disciplines, context, education
settings and curricula. Using a lens of boundary crossing, this chapter draws on research data to provide an account of challenges educators face in an Australian program where there appears little guidance for educators on constructing an Applied Learning pedagogical model for individual practice. From consideration of data and educational theory an Applied Learning pedagogical framework is proposed as a guide for educators in developing Applied Learning programs.