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

Using PVS to support the analysis of distributed cognition systems

Autores
Masci, Paolo; Curzon, Paul; Furniss, Dominic; Blandford, Ann;

Publicação
ISSE

Abstract
The rigorous analysis of socio-technical systems is challenging, because people are inherent parts of the system, together with devices and artefacts. In this paper, we report on the use of PVS as a way of analysing such systems in terms of distributed cognition. Distributed cognition is a conceptual framework that allows us to derive insights about plausible user trajectories in socio-technical systems by exploring what information in the environment provides resources for user action, but its application has traditionally required substantial craft skill. DiCoT adds structure and method to the analysis of socio-technical systems from a distributed cognition perspective. In this work, we demonstrate how PVS can be used with DiCoT to conduct a systematic analysis. We illustrate how a relatively simple use of PVS can help a field researcher to (i) externalise assumptions and facts, (ii) verify the consistency of the logical argument framed in the descriptions, (iii) help uncover latent situations that may warrant further investigation, and (iv) verify conjectures about potential hazards linked to the observed use of information resources. Evidence is also provided that formal methods and empirical studies are not alternative approaches for studying a socio-technical system, but that they can complement and refine each other. The combined use of PVS and DiCoT is illustrated through a case study concerning a real-world emergency medical dispatch system. © 2013, Springer-Verlag London.

2015

Estimação Integrada de Estados e Topologia Baseada em Informação A Priori sobre Status de Dispositivos Chaveáveis

Autores
Victor Freitas,; Antonio Simões Costa,;

Publicação
Anais do VI Simpósio Brasileiro de Sistemas Elétricos

Abstract

2015

A proposal to incorporate digital auscultation and its processing into an existing electronic health record

Autores
Gomes, P; Frade, S; Castro, A; Cruz Correia, R; Coimbra, M;

Publicação
HEALTHINF 2015 - 8th International Conference on Health Informatics, Proceedings; Part of 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015

Abstract
This paper aims to describe and discuss a proposal to incorporate digital auscultation and its processing into an existing EHR. The architecture was planned to be used in both primary and hospital care, and includes a digital stethoscope; an exam collection module; an integration module; an EHR web service; and an EHR. Special attention was given to standardize communications using HL7 and openEHR. The proposed implementation uses a commercial stethoscope, an android app to collect the data, a mirth integration engine that communicates using HL7 or openEHR through REST or SOAP calls. The signal processing of the sounds is also included. The auscultation sound files are made available to the EHR users. This solution will open the possibility to have richer patient records than can be very important for patient care, research and medical teaching. It also raises issues regarding ethical and legal concerns that must be considered in future research.

2015

Effect of predicted protein-truncating genetic variants on the human transcriptome

Autores
Rivas, MA; Pirinen, M; Conrad, DF; Lek, M; Tsang, EK; Karczewski, KJ; Maller, JB; Kukurba, KR; DeLuca, DS; Fromer, M; Ferreira, PG; Smith, KS; Zhang, R; Zhao, F; Banks, E; Poplin, R; Ruderfer, DM; Purcell, SM; Tukiainen, T; Minikel, EV; Stenson, PD; Cooper, DN; Huang, KH; Sullivan, TJ; Nedzel, J; Bustamante, CD; Li, JB; Daly, MJ; Guigo, R; Donnelly, P; Ardlie, K; Sammeth, M; Dermitzakis, ET; McCarthy, MI; Montgomery, SB; Lappalainen, T; MacArthur, DG; Segre, AV; Young, TR; Gelfand, ET; Trowbridge, CA; Ward, LD; Kheradpour, P; Iriarte, B; Meng, Y; Palmer, CD; Esko, T; Winckler, W; Hirschhorn, J; Kellis, M; Getz, G; Shablin, AA; Li, G; Zhou, Y; Nobel, AB; Rusyn, I; Wright, FA; Battle, A; Mostafavi, S; Mele, M; Reverter, F; Goldmann, J; Koller, D; Gamazon, ER; Im, HK; Konkashbaev, A; Nicolae, DL; Cox, NJ; Flutre, T; Wen, X; Stephens, M; Pritchard, JK; Tu, Z; Zhang, B; Huang, T; Long, Q; Lin, L; Yang, J; Zhu, J; Liu, J; Brown, A; Mestichelli, B; Tidwell, D; Lo, E; Salvatore, M; Shad, S; Thomas, JA; Lonsdale, JT; Choi, RC; Karasik, E; Ramsey, K; Moser, MT; Foster, BA; Gillard, BM; Syron, J; Fleming, J; Magazine, H; Hasz, R; Walters, GD; Bridge, JP; Miklos, M; Sullivan, S; Barker, LK; Traino, H; Mosavel, M; Siminoff, LA; Valley, DR; Rohrer, DC; Jewel, S; Branton, P; Sobin, LH; Barcus, M; Qi, L; Hariharan, P; Wu, S; Tabor, D; Shive, C; Smith, AM; Buia, SA; Undale, AH; Robinson, KL; Roche, N; Valentino, KM; Britton, A; Burges, R; Bradbury, D; Hambright, KW; Seleski, J; Korzeniewski, GE; Erickson, K; Marcus, Y; Tejada, J; Taherian, M; Lu, C; Robles, BE; Basile, M; Mash, DC; Volpi, S; Struewing, JP; Temple, GF; Boyer, J; Colantuoni, D; Little, R; Koester, S; Carithers, LJ; Moore, HM; Guan, P; Compton, C; Sawyer, SJ; Demchok, JP; Vaught, JB; Rabiner, CA; Lockhart, NC; Friedlander, MR; 't Hoen, PAC; Monlong, J; Gonzalez-Porta, M; Kurbatova, N; Griebel, T; Barann, M; Wieland, T; Greger, L; van Iterson, M; Almlof, J; Ribeca, P; Pulyakhina, I; Esser, D; Giger, T; Tikhonov, A; Sultan, M; Bertier, G; Lizano, E; Buermans, HPJ; Padioleau, I; Schwarzmayr, T; Karlberg, O; Ongen, H; Kilpinen, H; Beltran, S; Gut, M; Kahlem, K; Amstislavskiy, V; Stegle, O; Flicek, P; Strom, TM; Lehrach, H; Schreiber, S; Sudbrak, R; Carracedo, A; Antonarakis, SE; Hasler, R; Syvanen, A; van Ommen, G; Brazma, A; Meitinger, T; Rosenstiel, P; Gut, IG; Estivill, X; The GTEx Consortium,; The Geuvadis Consortium,;

Publicação
Science

Abstract
Accurate prediction of the functional effect of genetic variation is critical for clinical genome interpretation.We systematically characterized the transcriptome effects of protein-truncating variants, a class of variants expected to have profound effects on gene function, using data from the Genotype-Tissue Expression (GTEx) and Geuvadis projects. We quantitated tissue-specific and positional effects on nonsense-mediated transcript decay and present an improved predictive model for this decay. We directly measured the effect of variants both proximal and distal to splice junctions. Furthermore, we found that robustness to heterozygous gene inactivation is not due to dosage compensation. Our results illustrate the value of transcriptome data in the functional interpretation of genetic variants.

2015

Completeness and Incompleteness in Nominal Kleene Algebra

Autores
Kozen, D; Mamouras, K; Silva, A;

Publicação
Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Abstract

2015

A novel BEV concept based on fixed and swappable li-ion battery packs

Autores
Barreras, JV; Pinto, C; de Castro, R; Schaltz, E; Andreasen, SJ; Rasmussen, PO; Araujo, RE;

Publicação
2015 TENTH INTERNATIONAL CONFERENCE ON ECOLOGICAL VEHICLES AND RENEWABLE ENERGIES (EVER)

Abstract
In this paper a novel battery electric vehicle (BEV) concept based on a small fixed and a big swappable li-ion battery pack is proposed in order to achieve: longer range, lower initial purchase price and lower energy consumption at short ranges. For short ranges the BEV is only powered by the relatively small fixed battery pack, without the large swappable battery pack. In this way the mass of the vehicle is reduced and therefore the energy consumed per unit distance is improved. For higher ranges the BEV is powered by both battery packs. This concept allows the introduction of subscription-based ownership models to distribute the cost of the large battery pack over the vehicle lifetime. A methodology is proposed for the analysis and evaluation of the proposed concept in comparison with a direct owned non swappable single pack BEV, proving that significant improvements on city fuel economy (up to 20 %) and economic benefits are achievable under several scenarios. These results encourage further study of battery swapping service plans and energy management strategies.

  • 2423
  • 4198