710 documents found, page 1 of 71
Stunning and slaughter methods in gilthead seabream: animal welfare and muscle ...
Cabrera-Álvarez, María José; Soares, Sónia Marina António; Nuñez Velazquez, Samira; Anibal, Jaime; Esteves, Eduardo; Costa, RitaEuropean Union directives and international guidelines emphasise the need for humane slaughter practices, with particular attention to the proper stunning of fish prior to slaughter. This study investigates the impact of various combinations of stunning and slaughter methods on the welfare of gilthead seabream (Sparus aurata), a widely farmed species in the Mediterranean and Black Sea regions. Specifically, the...
Understanding the adoption of modern Javascript features: an empirical study on...
Lucas, Walter; Nunes, Rafael; Bonifácio, Rodrigo; Carvalho, Fausto; Lima, Ricardo; Silva, Michael; Torres, Adriano; Accioly, Paola; Monteiro, EduardoJavaScript is a widely used programming language initially designed to make the Web more dynamic in the 1990s. In the last decade, though, its scope has extended far beyond the Web, finding utility in backend development, desktop applications, and even IoT devices. To circumvent the needs of modern programming, JavaScript has undergone a remarkable evolution since its inception, with the groundbreaking release ...
Muon tomography with Resistive Plate Chambers for geological characterization
Sarmento, Raul; Castro, Alberto Blanco; Caldeira, Bento; Tomé, Bernardo; Loureiro, Custódio; Clemêncio, Filomena; Costa, João; Matos, JoãoMuon tomography is one of several fields of applied physics that have witnessed the successful use of particle detection based on Resistive Plate Chambers (RPC). In this work, we report on an innovative project concerning transmission muography for geological characterization. For this purpose, a muon telescope built of four RPC planes was mounted on an adjustable structure and the telescope's response to atmos...
Stunning challenges: operational indicators flag failures, but neurological val...
Gräns, Albin; Cabrera-Álvarez, María José; Oliveira, Gonçalo; Saraiva, João; Arechavala-Lopez, Pablo; Bortoletti, Martina; Schwerte, ThorstenHumane slaughter in aquaculture depends on accurate assessments of insensibility, yet commonly used operational indicators remain poorly validated against neurological benchmarks. This study compared operational indicators such as the loss or recovery of equilibrium, ’eye-roll’ reflex, and ventilation reflex with visually evoked responses (VERs) in European seabass (Dicentrarchus labrax) and gilthead seabream (...
Assessing fish welfare in small-scale commercial fixed-net fisheries off the so...
Samel, Vighnesh Nilesh; Costa, Rita; Marçalo, Ana; Frade, Magda; Bentes, Luis; Saraiva, João; Gonçalves, Jorge Manuel Santos; Guerreiro, Pedro MiguelDespite a growing interest in animal welfare in production systems, research on fish welfare remains limited, particularly in commercial fisheries. Fish caught in fixed-net fisheries experience multiple stressors from the time of capture to mortality on deck considered detrimental to their welfare. We examined the impact of bottom-set gill nets and on-board handling on catch welfare using behavioural and physio...
A large-scale empirical study on mobile performance: energy, run-time and memory
Rua, Rui; Saraiva, JoãoSoftware performance concerns have been attracting research interest at an increasing rate, especially regarding energy performance in non-wired computing devices. In the context of mobile devices, several research works have been devoted to assessing the performance of software and its underlying code. One important contribution of such research efforts is sets of programming guidelines aiming at identifying e...
pyZtrategic: a zipper-based embedding of strategies and attribute grammars in P...
Rodrigues, Emanuel; Macedo, José Nuno Castro; Viera, Marcos; Saraiva, JoãoThis paper presents pyZtrategic: a library that embeds strategic term rewriting and attribute grammars in the Python programming language. Strategic term rewriting and attribute grammars are two powerful programming techniques widely used in language engineering: The former relies on strategies to apply term rewrite rules in defining large-scale language transformations, while the latter is suitable to express ...
Zipper-based embedding of strategic attribute grammars
Macedo, José Nuno; Rodrigues, Emanuel; Viera, Marcos; Saraiva, JoãoStrategic term re-writing and attribute grammars are two powerful programming techniques widely used in language engineering. The former relies on strategies to apply term re-write rules in defining large-scale language transformations, while the latter is suitable to express context-dependent language processing algorithms. These two techniques can be expressed and combined via a powerful navigation abstractio...
Muon tomography with Resistive Plate Chambers for geological characterization
Sarmento, Raul; Castro, Alberto Blanco; Caldeira, Bento; Tomé, Bernardo; Loureiro, Custódio; Clemêncio, Filomena; Alexandre, Isabel; Costa, JoãoABSTRACT: Muon tomography is one of several fields of applied physics that have witnessed the successful use of particle detection based on Resistive Plate Chambers (RPC). In this work, we report on an innovative project concerning transmission muography for geological characterization. For this purpose, a muon telescope built of four RPC planes was mounted on an adjustable structure and the telescope's respons...
Trading runtime for energy efficiency: leveraging power caps to save energy acr...
Cunha, Simão; Silva, Luís; Saraiva, João; Fernandes, João PauloEnergy efficiency of software is crucial in minimizing environmental impact and reducing operational costs of ICT systems. Energy efficiency is therefore a key area of contemporary software language engineering research. A recurrent discussion that excites our community is whether runtime performance is always a proxy for energy efficiency. While a generalized intuition seems to suggest this is the case, this i...