Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2015

IMCReo: interactive Markov chains for Stochastic Reo

Autores
Oliveira, Nuno; Silva, Alexandra; Barbosa, LuisSoares;

Publicação
J. Internet Serv. Inf. Secur.

Abstract

2015

Smart Orchard Irrigation System

Autores
Siqueira, JD; da Silva, JM; do Paco, TA;

Publicação
2015 Conference on Design of Circuits and Integrated Systems (DCIS)

Abstract
The present work addresses the development of a smart orchard irrigation system (SOIS) that performs the estimation of orchard evapotranspiration and the estimation of the soil salinization risk. Measurements of heat transfer are made to compute tree transpiration rate and soil water evaporation. The soil electrical conductivity is measured to compute the soil salinization risk. An inferential fuzzy algorithm is used to process data. This paper describes the physical principles underlining these estimations, the architecture of the data acquisition interface, and the construction and characterization of the probes used to perform the temperature measurements. The preliminary results shown here address the experimental evaluation of the performance of the probes inserted in the trees. Relative measurements with a precision of 0.2 degrees C were obtained which are in agreement with the minimum required for these applications.

2015

Social Media Content Analysis in the Higher Education Sector: From Content to Strategy

Autores
Oliveira, L; Figueira, A;

Publicação
IJWP

Abstract
Social media has become one of the most prolific felds for interchange of multidisciplinary expertise. In this paper, computer science, communication and management are brought together for the development of a sound strategic content analysis, in the Higher Education Sector. The authors present a study comprised of two stages: analysis of SM content and corresponding audience engagement according to a weighted scale, and a classification of content strategies, which builds on different noticeable articulations of editorial areas among organizations. Their approach is based on an automatic classification of content according to a predefned editorial model. The proposed methodology and research results offer academic and practical fndings for organizations striving on social media. Copyright © 2015,.

2015

Mismatch in the classification of linear subspaces: Upper bound to the probability of error

Autores
Sokolic, J; Renna, F; Calderbank, R; Rodrigues, MRD;

Publicação
IEEE International Symposium on Information Theory - Proceedings

Abstract
This paper studies the performance associated with the classification of linear subspaces corrupted by noise with a mismatched classifier. In particular, we consider a problem where the classifier observes a noisy signal, the signal distribution conditioned on the signal class is zero-mean Gaussian with low-rank covariance matrix, and the classifier knows only the mismatched parameters in lieu of the true parameters. We derive an upper bound to the misclassification probability of the mismatched classifier and characterize its behaviour. Specifically, our characterization leads to sharp sufficient conditions that describe the absence of an error floor in the low-noise regime, and that can be expressed in terms of the principal angles and the overlap between the true and the mismatched signal subspaces. © 2015 IEEE.

2015

Short term exposure of beta cells to low concentrations of interleukin-1ß improves insulin secretion through focal adhesion and actin remodeling and regulation of gene expression

Autores
Arous, C; Ferreira, PG; Dermitzakis, ET; Halban, PA;

Publicação
Journal of Biological Chemistry

Abstract
Type 2 diabetes involves defective insulin secretion with islet inflammation governed in part by IL-1ß. Prolonged exposure of islets to high concentrations of IL-1ß (>24 h, 20 ng/ml) impairs beta cell function and survival. Conversely, exposure to lower concentrations of IL-1ß for >24 h improves these same parameters. The impact on insulin secretion of shorter exposure times to IL-1ßand the underlying molecular mechanisms are poorly understood and were the focus of this study. Treatment of rat primary beta cells, as well as rat or human whole islets, with 0.1 ng/ml IL-1ß for 2 h increased glucose-stimulated (but not basal) insulin secretion, whereas 20 ng/ml was without effect. Similar differential effects of IL-1ß depending on concentration were observed after 15 min of KCl stimulation but were prevented by diazoxide. Studies on sorted rat beta cells indicated that the enhancement of stimulated secretion by 0.1 ng/ml IL-1ß was mediated by the NF-ßB pathway and c-JUN/JNK pathway acting in parallel to elicit focal adhesion remodeling and the phosphorylation of paxillin independently of upstream regulation by focal adhesion kinase. Because the beneficial effect of IL-1ß was dependent in part upon transcription, gene expression was analyzed by RNAseq. There were 18 genes regulated uniquely by 0.1 but not 20 ng/ml IL-1ß, which are mostly involved in transcription and apoptosis. These results indicate that 2h of exposure of beta cells to a low but not a high concentration of IL-1ß enhances glucose-stimulated insulin secretion through focal adhesion and actin remodeling, as well as modulation of gene expression. © 2015 by The American Society for Biochemistry and Molecular Biology, Inc.

2015

Applications of Automata and Concurrency Theory in Networks (Invited Paper)

Autores
Silva, A;

Publicação
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015

Abstract

  • 2424
  • 4198