Probabilistically analysable real-time systems (PROARTIS)

Critical real-time ebedded (CRTE) Systems require safe and tight worst-case execution time (WCET) estimations to provide required safety levels and keep costs low. However, CRTE Systems require increasing performance to satisfy performance needs of existing and new features. Such performance can be only achieved by means of more agressive hardware architectures, which are much harder to analyze from a WCET perspective. The main features considered include cache memòries and multi-core processors.Thus, althoug such features provide higher performance, corrent WCET analysis methods are unable to provide tight WCET estimations. In fact, WCET estimations become worse than for simple rand less powerful hardware. The main reason is the fact that hardware behavior is deterministic but unknown and, therefore, the worst-case behavior must be assumed most of the time, leading to large WCET estimations. The purpose of this project is developing new hardware designs together with WCET analysis tools able to provide tight and safe WCET estimations. In order to do so, those pieces of hardware whose behavior is not easily analyzable due to lack of accurate information during WCET analysis will be enhanced to produce a probabilistically analyzable behavior. Thus, even if the worst-case behavior cannot be removed, its probabilty can be bounded, and hence, a safe and tight WCET can be provided for a particular safety level in line with the safety levels of the remaining components of the system. During the first year the project we have developed molt of the evaluation infraestructure as well as the techniques hardware techniques to analyze cache memories. During the second year those techniques have been evaluated, and new purely-softwar techniques have been developed.

FIB-SEM tomography in biology.

Three-dimensional information is much easier to understand than a set of two-dimensional images. Therefore a layman is thrilled by the pseudo-3D image taken in a scanning electron microscope (SEM) while, when seeing a transmission electron micrograph, his imagination is challenged. First approaches to gain insight in the third dimension were to make serial microtome sections of a region of interest (ROI) and then building a model of the object. Serial microtome sectioning is a tedious and skill-demanding work and therefore seldom done. In the last two decades with the increase of computer power, sophisticated display options, and the development of new instruments, an SEM with a built-in microtome as well as a focused ion beam scanning electron microscope (FIB-SEM), serial sectioning, and 3D analysis has become far easier and faster.Due to the relief like topology of the microtome trimmed block face of resin-embedded tissue, the ROI can be searched in the secondary electron mode, and at the selected spot, the ROI is prepared with the ion beam for 3D analysis. For FIB-SEM tomography, a thin slice is removed with the ion beam and the newly exposed face is imaged with the electron beam, usually by recording the backscattered electrons. The process, also called "slice and view," is repeated until the desired volume is imaged.As FIB-SEM allows 3D imaging of biological fine structure at high resolution of only small volumes, it is crucial to perform slice and view at carefully selected spots. Finding the region of interest is therefore a prerequisite for meaningful imaging. Thin layer plastification of biofilms offers direct access to the original sample surface and allows the selection of an ROI for site-specific FIB-SEM tomography just by its pronounced topographic features.

Effects of KRAS, BRAF, NRAS, and PIK3CA mutations on the efficacy of cetuximab plus chemotherapy in chemotherapy-refractory metastatic colorectal cancer: a retrospective consortium analysis.

Background Following the discovery that mutant KRAS is associated with resistance to anti-epidermal growth factor receptor (EGFR) antibodies, the tumours of patients with metastatic colorectal cancer are now profiled for seven KRAS mutations before receiving cetuximab or panitumumab. However, most patients with KRAS wild-type tumours still do not respond. We studied the effect of other downstream mutations on the efficacy of cetuximab in, to our knowledge, the largest cohort to date of patients with chemotherapy-refractory metastatic colorectal cancer treated with cetuximab plus chemotherapy in the pre-KRAS selection era. Methods 1022 tumour DNA samples (73 from fresh-frozen and 949 from formalin-fixed, paraffin-embedded tissue) from patients treated with cetuximab between 2001 and 2008 were gathered from 11 centres in seven European countries. 773 primary tumour samples had sufficient quality DNA and were included in mutation frequency analyses; mass spectrometry genotyping of tumour samples for KRAS, BRAF, NRAS, and PIK3CA was done centrally. We analysed objective response, progression-free survival (PFS), and overall survival in molecularly defined subgroups of the 649 chemotherapy-refractory patients treated with cetuximab plus chemotherapy. Findings 40.0% (299/747) of the tumours harboured a KRAS mutation, 14.5% (108/743) harboured a PIK3CA mutation (of which 68.5% [74/108] were located in exon 9 and 20.4% [22/108] in exon 20), 4.7% (36/761) harboured a BRAF mutation, and 2.6% (17/644) harboured an NRAS mutation. KRAS mutants did not derive benefit compared with wild types, with a response rate of 6.7% (17/253) versus 35.8% (126/352; odds ratio [OR] 0.13, 95% CI 0.07-0.22; p<0.0001), a median PFS of 12. weeks versus 24 weeks (hazard ratio [HR] 1 98, 1.66-2.36; p<0.0001), and a median overall survival of 32 weeks versus 50 weeks (1.75, 1.47-2.09; p<0.0001). In KRAS wild types, carriers of BRAF and NRAS mutations had a significantly lower response rate than did BRAF and NRAS wild types, with a response rate of 8.3% (2/24) in carriers of BRAF mutations versus 38.0% in BRAF wild types (124/326; OR 0.15, 95% CI 0.02-0.51; p=0.0012); and 7.7% (1/13) in carriers of NRAS mutations versus 38.1% in NRAS wild types (110/289; OR 0.14, 0.007-0.70; p=0.013). PIK3CA exon 9 mutations had no effect, whereas exon 20 mutations were associated with a worse outcome compared with wild types, with a response rate of 0.0% (0/9) versus 36.8% (121/329; OR 0.00,0.00-0.89; p=0.029), a median PFS of 11.5 weeks versus 24 weeks (HR 2.52, 1.33-4.78; p=0.013), and a median overall survival of 34 weeks versus 51 weeks (3.29, 1.60-6.74; p=0.0057). Multivariate analysis and conditional inference trees confirmed that, if KRAS is not mutated, assessing BRAF, NRAS, and PIK3CA exon 20 mutations (in that order) gives additional information about outcome. Objective response rates in our series were 24.4% in the unselected population, 36.3% in the KRAS wild-type selected population, and 41.2% in the KRAS, BRAF, NRAS, and PIK3CA exon 20 wild-type population. Interpretation While confirming the negative effect of KRAS mutations on outcome after cetuximab, we show that BRAF, NRAS, and PIK3CA,exon 20 mutations are significantly associated with a low response rate. Objective response rates could be improved by additional genotyping of BRAF, NRAS, and PIK3CA exon 20 mutations in a KRAS wild-type population.

Minimizing recombinations in consensus networks for phylogeographic studies

Background: We address the problem of studying recombinational variations in (human) populations. In this paper, our focus is on one computational aspect of the general task: Given two networks G1 and G2, with both mutation and recombination events, defined on overlapping sets of extant units the objective is to compute a consensus network G3 with minimum number of additional recombinations. We describe a polynomial time algorithm with a guarantee that the number of computed new recombination events is within ϵ = sz(G1, G2) (function sz is a well-behaved function of the sizes and topologies of G1 and G2) of the optimal number of recombinations. To date, this is the best known result for a network consensus problem.Results: Although the network consensus problem can be applied to a variety of domains, here we focus on structure of human populations. With our preliminary analysis on a segment of the human Chromosome X data we are able to infer ancient recombinations, population-specific recombinations and more, which also support the widely accepted 'Out of Africa' model. These results have been verified independently using traditional manual procedures. To the best of our knowledge, this is the first recombinations-based characterization of human populations. Conclusion: We show that our mathematical model identifies recombination spots in the individual haplotypes; the aggregate of these spots over a set of haplotypes defines a recombinational landscape that has enough signal to detect continental as well as population divide based on a short segment of Chromosome X. In particular, we are able to infer ancient recombinations, population-specific recombinations and more, which also support the widely accepted 'Out of Africa' model. The agreement with mutation-based analysis can be viewed as an indirect validation of our results and the model. Since the model in principle gives us more information embedded in the networks, in our future work, we plan to investigate more non-traditional questions via these structures computed by our methodology.

Comprehensive evaluation of the IEEE 802.15.4 MAC layer performance with retransmissions

Supported by IEEE 802.15.4 standardization activities, embedded networks have been gaining popularity in recent years. The focus of this paper is to quantify the behavior of key networking metrics of IEEE 802.15.4 beacon-enabled nodes under typical operating conditions, with the inclusion of packet retransmissions. We corrected and extended previous analyses by scrutinizing the assumptions on which the prevalent Markovian modeling is generally based. By means of a comparative study, we singled out which of the assumptions impact each of the performance metrics (throughput, delay, power consumption, collision probability, and packet-discard probability). In particular, we showed that - unlike what is usually assumed - the probability that a node senses the channel busy is not constant for all the stages of the backoff procedure and that these differences have a noticeable impact on backoff delay, packet-discard probability, and power consumption. Similarly, we showed that - again contrary to common assumption - the probability of obtaining transmission access to the channel depends on the number of nodes that is simultaneously sensing it. We evidenced that ignoring this dependence has a significant impact on the calculated values of throughput and collision probability. Circumventing these and other assumptions, we rigorously characterize, through a semianalytical approach, the key metrics in a beacon-enabled IEEE 802.15.4 system with retransmissions.

Quantifying urban attractiveness from the distribution and density of digital footprints

In the past, sensors networks in cities have been limited to fixed sensors, embedded in particular locations, under centralised control. Today, new applications can leverage wireless devices and use them as sensors to create aggregated information. In this paper, we show that the emerging patterns unveiled through the analysis of large sets of aggregated digital footprints can provide novel insights into how people experience the city and into some of the drivers behind these emerging patterns. We particularly explore the capacity to quantify the evolution of the attractiveness of urban space with a case study of in the area of the New York City Waterfalls, a public art project of four man-made waterfalls rising from the New York Harbor. Methods to study the impact of an event of this nature are traditionally based on the collection of static information such as surveys and ticket-based people counts, which allow to generate estimates about visitors’ presence in specific areas over time. In contrast, our contribution makes use of the dynamic data that visitors generate, such as the density and distribution of aggregate phone calls and photos taken in different areas of interest and over time. Our analysis provides novel ways to quantify the impact of a public event on the distribution of visitors and on the evolution of the attractiveness of the points of interest in proximity. This information has potential uses for local authorities, researchers, as well as service providers such as mobile network operators.

Supporting the reuse of effective CSCL learning designs through social structure representations

Distance and blended collaborative learning settings are usually characterized by different social structures defined in terms of groups' number, dimension, and composition; these structures are variable and can change within the same activity. This variability poses additional complexity to instructional designers, when they are trying to develop successful experiences from existing designs. This complexity is greatly associated with the fact that learning designs do not render explicit how social structures influenced the decisions of the original designer, and thus whether the social structures of the new setting could preclude the effectiveness of the reused design. This article proposes the usage of new representations (social structure representations, SSRs) able to support unskilled designers in reusing existing learning designs, through the explicit characterization of the social structures and constraints embedded either by the original designers or the reusing teachers, according to well-known principles of good collaborative learning practice. The article also describes an evaluation process that involved university professors, as well as the main findings derived from it. This process supported the initial assumptions about the effectiveness of SSRs, with significant evidence from both qualitative and qualitative data.

Extracellular matrix formation after transplantation of human embryonic stem cell-derived cardiomyocytes.

Transplantation of human embryonic stem cell-derived cardiomyocytes (hESC-CM) for cardiac regeneration is hampered by the formation of fibrotic tissue around the grafts, preventing electrophysiological coupling. Investigating this process, we found that: (1) beating hESC-CM in vitro are embedded in collagens, laminin and fibronectin, which they bind via appropriate integrins; (2) after transplantation into the mouse heart, hESC-CM continue to secrete collagen IV, XVIII and fibronectin; (3) integrin expression on hESC-CM largely matches the matrix type they encounter or secrete in vivo; (4) co-transplantation of hESC-derived endothelial cells and/or cardiac progenitors with hESC-CM results in the formation of functional capillaries; and (5) transplanted hESC-CM survive and mature in vivo for at least 24 weeks. These results form the basis of future developments aiming to reduce the adverse fibrotic reaction that currently complicates cell-based therapies for cardiac disease, and to provide an additional clue towards successful engraftment of cardiomyocytes by co-transplanting endothelial cells.

Increased numbers of circulating polyfunctional Th17 memory cells in patients with seronegative spondylarthritides

OBJECTIVE: A distinct subset of proinflammatory CD4+ T cells that produce interleukin-17 was recently identified. These cells are implicated in different autoimmune disease models, such as experimental autoimmune encephalomyelitis and collagen-induced arthritis, but their involvement in human autoimmune disease has not yet been clearly established. The purpose of this study was to assess the frequency and functional properties of Th17 cells in healthy donors and in patients with different autoimmune diseases. METHODS: Peripheral blood was obtained from 10 psoriatic arthritis (PsA), 10 ankylosing spondylitis (AS), 10 rheumatoid arthritis (RA), and 5 vitiligo patients, as well as from 25 healthy donors. Synovial tissue samples from a separate group of patients were also evaluated (obtained as paraffin-embedded sections). Peripheral blood cells were analyzed by multiparameter flow cytometry and immunohistochemistry. Cytokine production was examined by enzyme-linked immunosorbent assay and intracellular cytokine staining using specific monoclonal antibodies. Synovial tissue was examined for infiltrating T cells by immunohistochemical analysis. RESULTS: We found increased numbers of circulating Th17 cells in the peripheral blood of patients with seronegative spondylarthritides (PsA and AS), but not in patients with RA or vitiligo. In addition, Th17 cells from the spondylarthritis patients showed advanced differentiation and were polyfunctional in terms of T cell receptor-driven cytokine production. CONCLUSION: These observations suggest a role of Th17 cells in the pathogenesis of certain human autoimmune disorders, in particular the seronegative spondylarthritides.

Melastatin Expression in Ocular Melanocytic Proliferations

Purpose: Melastatin (MLSN-1) belongs to the transient receptor potential (TRP) superfamilly of calcium-permeable channels, and has been reported to be a melanocyte-specific gene. In human cutaneous melanoma, MLSN-1 mRNA expression displays a pattern of inverse correlation to disease free survival. We describe the patterns of MLSN-1 mRNA expression in conjunctival nevi, conjunctival melanoma, and uveal melanoma. Methods: In situ hybridization using two S35-labelled riboprobes for MLSN-1 was performed on formalin-fixed, paraffin-embedded tissues. A control probe for H4 histone was used to confirm mRNA integrity in these archival tissues. The 21 ocular melanocytic lesions studied included 5 conjunctival nevi, 6 conjunctival melanomas, and 10 enucleated eyes with uveal melanoma. The minimal requirement for interpretation of MLSN-1 mRNA loss was the presence of only background signal in a focus of at least 5 adjacent melanocytic cells. Results: Ubiquitous expression of MLSN-1 mRNA was found in conjunctival melanocytes in the non-lesional epithelium adjacent to the conjunctival melanocytic proliferations and in all 5 conjunctival nevi studied. Four different patterns of MLSN-1 mRNA expression were observed in conjunctival melanomas: one case showed complete preservation of MLSN-1 mRNA, two cases showed diffuse scattered loss of MLSN-1 mRNA, two cases showed focal clonal loss of MLSN-1 mRNA expression, and one case had no detected MLSN-1 mRNA. In uveal melanomas, MLSN-1 mRNA expression was partially preserved in two cases, lost by a clearly delimited subset of tumor cells (focal clonal loss) in four cases, and was not detectable in the entire tumor in four cases. MLSN-1 mRNA expression was also found in the normal iris, ciliary and choroidal melanocytes as well as in the retinal pigmented epithelium and in the inner nuclear layer of the retina. Conclusions: The patterns of MLSN-1 mRNA expression in the ocular melanocytic proliferations are similar to those reported in cutaneous melanocytic proliferations. In the conjunctiva, MLSN-1 mRNA expression appeared to correlate with tumor progression; all the benign conjunctival nevi had preserved expression of MLSN-1 mRNA and most of the conjunctival melanomas partial or complete loss of expression. In uveal melanoma, patterns of melastatin expression ranging from partial preservation to complete loss were found. Additional studies of a large number of ocular melanocytic proliferations may show a correlation with tumor progression and prognosis similar to that observed in cutaneous melanoma.

Tissue biomarker development in a multicentre trial context: a feasibility study on the PETACC3 stage II and III colon cancer adjuvant treatment trial.

PURPOSE: We evaluated the feasibility of biomarker development in the context of multicenter clinical trials. EXPERIMENTAL DESIGN: Formalin-fixed, paraffin-embedded (FFPE) tissue samples were collected from a prospective adjuvant colon cancer trial (PETACC3). DNA was isolated from tumor as well as normal tissue and used for analysis of microsatellite instability, KRAS and BRAF genotyping, UGT1A1 genotyping, and loss of heterozygosity of 18 q loci. Immunohistochemistry was used to test expression of TERT, SMAD4, p53, and TYMS. Messenger RNA was retrieved and tested for use in expression profiling experiments. RESULTS: Of the 3,278 patients entered in the study, FFPE blocks were obtained from 1,564 patients coming from 368 different centers in 31 countries. In over 95% of the samples, genomic DNA tests yielded a reliable result. Of the immmunohistochemical tests, p53 and SMAD4 staining did best with reliable results in over 85% of the cases. TERT was the most problematic test with 46% of failures, mostly due to insufficient tissue processing quality. Good quality mRNA was obtained, usable in expression profiling experiments. CONCLUSIONS: Prospective clinical trials can be used as framework for biomarker development using routinely processed FFPE tissues. Our results support the notion that as a rule, translational studies based on FFPE should be included in prospective clinical trials.

Movement, impacts and management of plant distributions in response to climate change: insights from invasions

A major challenge in this era of rapid climate change is to predict changes in species distributions and their impacts on ecosystems, and, if necessary, to recommend management strategies for maintenance of biodiversity or ecosystem services. Biological invasions, studied in most biomes of the world, can provide useful analogs for some of the ecological consequences of species distribution shifts in response to climate change. Invasions illustrate the adaptive and interactive responses that can occur when species are confronted with new environmental conditions. Invasion ecology complements climate change research and provides insights into the following questions: i) how will species distributions respond to climate change? ii) how will species movement affect recipient ecosystems? and iii) should we, and if so how can we, manage species and ecosystems in the face of climate change? Invasion ecology demonstrates that a trait-based approach can help to predict spread speeds and impacts on ecosystems, and has the potential to predict climate change impacts on species ranges and recipient ecosystems. However, there is a need to analyse traits in the context of life-history and demography, the stage in the colonisation process (e.g., spread, establishment or impact), the distribution of suitable habitats in the landscape, and the novel abiotic and biotic conditions under which those traits are expressed. As is the case with climate change, invasion ecology is embedded within complex societal goals. Both disciplines converge on similar questions of "when to intervene?" and "what to do?" which call for a better understanding of the ecological processes and social values associated with changing ecosystems.

Turva- ja opastevalojen ryhmävalvontakeskus

Tämä insinöörityö on dokumentti projektista, joka on tehty SF-Design Oy:n nimissä asiakasprojektina. Työssä käydään läpi turva- ja opastevalojen ryhmävalvontayksikön elektro-niikkasuunnittelu ja siihen tarvittavan mikrotietokoneen ohjaamiseen tarvittavan ohjelman suunnittelu ja kirjoittaminen. Työ jakautuu karkeasti jaoteltuna neljään osa-alueeseen. Ensiksi käydään läpi laitteiston elektroniikkasuunnittelu ja siihen liittyvää teoriaa. Seuraavaksi työssä käsitellään mikrotietokoneiden ohjelmistokehitystä ja käydään läpi työssä suunniteltu ja laadittu ohjelmisto STMicroelectronicsin ST62T10C-prosessorille. Lopuksi ennen suunnittelu- ja kehitysympäristöjen esittelyä käsitellään suunnitellun laitteiston testaus-, käyttö- ja asennustoimenpiteet. Aivan aluksi esitellään projektissa toteutettuun laitesuunnitteluun vaikuttaneet asiakkaan antama spesifikaatio ja 13.2.2003 voimaan astunut Euroopan parlamentin ja neuvoston asettama RoHS-direktiivi. Direktiivi vaikutti elektroniikkasuunnitteluun komponenttien valinnan osalta. Direktiivin mukaan sen voimaanastumispäivän jälkeen ei saa käyttää komponentteja, jotka sisältävät ympäristölle ja ihmisille vaarallisia aineita. Elektroniikkasuunnitteluosiossa suunnittelu on jaettuna toiminnallisiin osiin. Osiossa käy-dään läpi virtamuuntajien kalibrointi sekä jännitevahvistimen suunnittelu ja simulointi. Ky-seisessä osiossa käsitellään vielä prosessorin vaatimat erityiskytkennät, vikailmoitus-led-valojen ohjaukseen tarvittava kytkentä sekä ennen laitteiston vaatimien käyttöjännitteiden suunnittelua laitteistoon tarvittavien potentiovapaitten lähtöjen toteutus. Ohjelmistokehi-tysosiossa pohditaan mikrotietokoneen ohjelmoinnin perusteita, ennen kuin projektissa laadittua ohjelmaa käydään läpi. Projektissa laadittua koodia ei sen salaisuuden takia käydä yksityiskohtaisesti läpi tässä työssä. Projektissa käytettiin elektroniikkasuunnittelussa PADS-ohjelmistoja PowerLogic ja PowerPCB. Lisäksi käytettiin vahvistinkytkennän simulointiin OrCADin Capture CIS -ohjelmaa. Projektin työläimpään vaiheeseen, ohjelman suunnitteluun, kehitykseen ja kirjoittamiseen käytettiin Raisonancen STMicroelectronicsin mikrotietokoneille kehittämää ohjelmistokehitysympäristöä RIDE -ohjelmistoa. Elektroniikkasuunnittelussa käytetyt oh-jelmistot ovat hyvin yleisesti teollisuuden käytössä.

Cognitive stimulation through task-oriented telerobotics

The project presented, iCognos, consists of a flexible platform to assist end-users in performing a series of mental tasks with a sensitized mobile telerobotic platform aimed at mitigating the problems associated to cognitive disorders with an ecological cognition approach.

Controlled nerve growth factor release from multi-ply alginate/chitosan-based nerve conduits.

The delivery kinetics of growth factors has been suggested to play an important role in the regeneration of peripheral nerves following axotomy. In this context, we designed a nerve conduit (NC) with adjustable release kinetics of nerve growth factor (NGF). A multi-ply system was designed where NC consisting of a polyelectrolyte alginate/chitosan complex was coated with layers of poly(lactide-co-glycolide) (PLGA) to control the release of embedded NGF. Prior to assessing the in vitro NGF release from NC, various release test media, with and without stabilizers for NGF, were evaluated to ensure adequate quantification of NGF by ELISA. Citrate (pH 5.0) and acetate (pH 5.5) buffered saline solutions containing 0.05% Tween 20 yielded the most reliable results for ELISA active NGF. The in vitro release experiments revealed that the best results in terms of reproducibility and release control were achieved when the NGF was embedded between two PLGA layers and the ends of the NC tightly sealed by the PLGA coatings. The release kinetics could be efficiently adjusted by accommodating NGF at different radial locations within the NC. A sustained release of bioactive NGF in the low nanogram per day range was obtained for at least 15days. In conclusion, the developed multi-ply NGF loaded NC is considered a suitable candidate for future implantation studies to gain insight into the relationship between local growth factor availability and nerve regeneration.