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

2023

Invasive and Minimally Invasive Evaluation of Diffusion Properties of Sugar in Muscle

Autores
Pinheiro, MR; Tuchin, VV; Oliveira, LM;

Publicação
IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS

Abstract
In this article, the use of diffuse reflectance (R-d) spectroscopy is explored to evaluate the diffusion properties of water and sucrose in skeletal muscle during optical clearing treatments. Treating muscle samples with sucrose-water solutions with different osmolarities, collimated transmittance (T-c) and R-d measurements were performed to obtain the diffusion time (t) and the diffusion coefficient (D) values that characterize the unique water and sucrose fluxes in the muscle and also the optical clearing mechanisms designated as tissue dehydration and refractive index matching. Considering the R-d measurements, the estimated t and D values for water in the muscle were 63.1s and 1.72x10(-6) cm(2)/s, while the ones estimated for sucrose were 261s and 4.86x10(-7) cm(2)/s. Comparing these values with the ones estimated from the T-c measurements, the relative differences observed for t and D were 1.6% and 2.8% in the case of water and 0.3% and 0.4% in the case of sucrose.

2023

Stepwise Development of Paraconsistent Processes

Autores
Cunha, J; Madeira, A; Barbosa, LS;

Publicação
THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2023

Abstract
The development of more flexible and robust models for reasoning about systems in environments with potentially conflicting information is becoming more and more relevant in different contexts. In this direction, we recently introduced paraconsistent transition systems, i.e. transition systems whose transitions are tagged with a pair of weights, one standing for the degree of evidence that the transition exists, another weighting its potential non existence. Moreover, these structures were endowed with a modal logic [3] that was further formalised as an institution in [5]. This paper goes a step further, proposing an approach for the structured specification of paraconsistent transition processes, i.e. paraconsistent transition systems with initial states. The proposed approach is developed along the lines of [12], which introduced a complete methodology for (standard) reactive systems development building on the Sannella and Tarlecki stepwise implementation process. For this, we enrich the logic with dynamic modalities and hybrid features, and provide a pallet of constructors and abstractors to support the development process of paraconsistent processes along the entire design cycle.

2023

A Dataset for User Visual Behaviour with Multi-View Video Content

Autores
da Costa, TS; Andrade, MT; Viana, P; Silva, NC;

Publicação
PROCEEDINGS OF THE 2023 PROCEEDINGS OF THE 14TH ACM MULTIMEDIA SYSTEMS CONFERENCE, MMSYS 2023

Abstract
Immersive video applications impose unpractical bandwidth requirements for best-effort networks. With Multi-View(MV) streaming, these can be minimized by resorting to view prediction techniques. SmoothMV is a multi-view system that uses a non-intrusive head tracking mechanism to detect the viewer's interest and select appropriate views. By coupling Neural Networks (NNs) to anticipate the viewer's interest, a reduction of view-switching latency is likely to be obtained. The objective of this paper is twofold: 1) Present a solution for acquisition of gaze data from users when viewing MV content; 2) Describe a dataset, collected with a large-scale testbed, capable of being used to train NNs to predict the user's viewing interest. Tracking data from head movements was obtained from 45 participants using an Intel Realsense F200 camera, with 7 video playlists, each being viewed a minimum of 17 times. This dataset is publicly available to the research community and constitutes an important contribution to reducing the current scarcity of such data. Tools to obtain saliency/heat maps and generate complementary plots are also provided as an open-source software package.

2023

Plickers to support similarities learning: An experience on 7th grade Portuguese basic education

Autores
Nunes, PS; Catarino, P; Martins, P; Nascimento, MM;

Publicação
CONTEMPORARY EDUCATIONAL TECHNOLOGY

Abstract
There are several educational software (ES) used in the classroom environment for the teaching and learning of geometric contents that are part of the Portuguese basic education mathematics program. There are studies that show that the use of this type of artifact has a fundamental role in the behavior of students, raising, among other aspects, a greater motivation for learning mathematics. The aim of this work is to explore and describe implications for the behavior and learning of students in the 7th grade of Portuguese basic education, in face of a pedagogical practice that involves carrying out tasks using ES Plickers, in the theme similarities of the domain geometry and measurement, throughout intervention carried out. The adopted methodology presents characteristics of a quasi-experimental study. The participants were 61 students from three classes of a school in the north of Portugal, followed during eight consecutive classes. A set of tasks using Plickers, tests and a questionnaire survey were used as instruments for data collection. The results point to positive increments, at a behavioral level, as well as in the evolution of learning, in view of the use of this methodology in the classroom.

2023

CoNIC Challenge: Pushing the Frontiers of Nuclear Detection, Segmentation, Classification and Counting

Autores
Graham, S; Vu, QD; Jahanifar, M; Weigert, M; Schmidt, U; Zhang, W; Zhang, J; Yang, S; Xiang, J; Wang, X; Rumberger, JL; Baumann, E; Hirsch, P; Liu, L; Hong, C; Avilés Rivero, AI; Jain, A; Ahn, H; Hong, Y; Azzuni, H; Xu, M; Yaqub, M; Blache, MC; Piégu, B; Vernay, B; Scherr, T; Böhland, M; Löffler, K; Li, J; Ying, W; Wang, C; Kainmueller, D; Schönlieb, CB; Liu, S; Talsania, D; Meda, Y; Mishra, P; Ridzuan, M; Neumann, O; Schilling, MP; Reischl, M; Mikut, R; Huang, B; Chien, HC; Wang, CP; Lee, CY; Lin, HK; Liu, Z; Pan, X; Han, C; Cheng, J; Dawood, M; Deshpande, S; Saad Bashir, RM; Shephard, A; Costa, P; Nunes, JD; Campilho, A; Cardoso, JS; S, HP; Puthussery, D; G, DR; V, JC; Zhang, Y; Fang, Z; Lin, Z; Zhang, Y; Lin, C; Zhang, L; Mao, L; Wu, M; Vi Vo, TT; Kim, SH; Lee, T; Kondo, S; Kasai, S; Dumbhare, P; Phuse, V; Dubey, Y; Jamthikar, A; Le Vuong, TT; Kwak, JT; Ziaei, D; Jung, H; Miao, T; Snead, DRJ; Ahmed Raza, SE; Minhas, F; Rajpoot, NM;

Publicação
CoRR

Abstract

2023

SDG commentary: service ecosystems with the planet - weaving the environmental SDGs with human services

Autores
Teixeira, JG; Gallan, AS; Wilson, HN;

Publicação
JOURNAL OF SERVICES MARKETING

Abstract
Purpose - Humanity and all life depend on the natural environment of Planet Earth, and that environment is in acute crisis across land, sea and air. One of a set of commentaries on how service can address the UN's sustainable development goals (SDGs), the authors focus on environmental goals SDG 13 (climate action), SDG 14 (life below water) and SDG 15 (life on land). This paper aims to propose a conceptual framework that incorporates the natural environment into transformative services. Design/methodology/approach - The authors trace the evolution of service thinking about the natural environment, from a stewardship perspective of the environment as a set of resources to be managed, through an acknowledgement of nonhuman organisms as actors that can participate in service exchange, towards an emergent concept of ecosystems as integrating human social actors and other biological actors who engage fully in value co-creation. Findings - The authors derive a framework integrating human and other life forms as co-creating actors, drawing on shared natural resources to achieve mutualism, where each actor can have a net benefit from the relationship. Future research questions are posited that may help services research address SDGs 13-15. Originality/value - The framework integrates ideas from environmental ecosystem literature to inform the nature of ecosystems. By integrating environmental actors and ecological insights into the understanding of service ecosystems, service scholars are well placed to make unique contributions to the global challenge of creating a sustainable future.

  • 402
  • 4212