Search results for "table"
showing 10 items of 2807 documents
Finite automata on timed ω-trees
2003
AbstractIn the last decade Alur and Dill introduced a model of automata on timed ω-sequences which extends the traditional models of finite automata. In this paper, we present a theory of timed ω-trees which extends both the theory of timed ω-sequences and the theory of ω-trees. The main motivation is to introduce a new way of specifying real-time systems and provide tools for studying decidability problems in related fields. We focus on the decision problems and their applications in system verification and synthesis.
Trophic niche influences ingestion of micro- and mesoplastics in pelagic and demersal fish from the Western Mediterranean Sea.
2023
Plastic pollution has been extensively documented in the marine food web, but targeted studies focusing on the relationship between microplastic ingestion and fish trophic niches are still limited. In this study we investigated the frequency of occurrence and the abundance of micro- and mesoplastics (MMPs) in eight fish species with different feeding habits from the western Mediterranean Sea. Stable isotope analysis (δ13C and δ15N) was used to describe the trophic niche and its metrics for each species. A total of 139 plastic items were found in 98 out of the 396 fish analysed (25%). The bogue revealed the highest occurrence with 37% of individuals with MMPs in their gastrointestinal tract,…
Genetic-based evaluation of management units for sustainable vendace (Coregonus albula) fisheries in a large lake system
2022
The goal of the processing industry, trade and consumers is to get eco-labelled freshwater fish products from sustainable fisheries into the market as soon as possible. The fourth largest natural lake system in Europe, the Saimaa lake system supports a fishery for vendace (Coregonus albula). Certification of the fishery requires an understanding of population structure to help determine the number and spatial extent of management units. In this study, we analysed the genetic diversity of local vendace populations in the Saimaa lake system and aimed to identify the conservation and management units of vendace. Within the Saimaa, the genetic divergence between local populations of vendace was…
Huanglongbing modifies quality components and flavonoid content of 'Valencia' oranges.
2014
BACKGROUND: In order to evaluate the effect of citrus greening disease, or Huanglongbing (HLB), on quality components and flavonoid contents of 'Valencia' oranges, fruit from non-infected trees (control), from infected trees but symptom-less (asymptomatic) and from infected trees and showing clear HLB symptoms (symptomatic) were harvested in March and in May, 2013. Fruit peel, pulp and juice were separated, the main quality components were determined, and hesperidin, nobiletin, tangeretin, narirutin and didymin were quantified using liquid chromatography. RESULTS: Peel colour, total soluble solids and citric acid were similar in control and asymptomatic fruits. Symptomatic fruits were small…
Behavior adaptation and selection.
2010
6 pages; The evolutionary approach to behavior is concerned with the evolutionary origin and adaptive function of behavioral traits. Like any other part of the phenotype, behavior can be shaped by natural selection to produce adaptations. However, behavior often shows large phenotypic variation and flexibility, and can be both – subject to selection and a major agent of selection. Therefore, the study of adaptation and evolution of behavior is a particularly complex one, involving a wide range of methodologies and techniques, including mathematical modeling, comparative methods, phenotypic engineering, quantitative genetics, genetic dissection, and artificial selection.
A Fast and Interactive Approach to Application Development on Wireless Sensor and Actuator Networks
2014
In Wireless Sensor and Actuator Networks (WSANs) sensor and actuator devices are connected through radio links to perform tasks in many different contexts. Conven- tionally, applications for WSANs are developed using traditional operating systems which application code is linked with at the end of a cross-compilation process. We propose instead an alternative approach for building applications on WSANs that is based on interactivity and does not require time consuming cross-compilation phases. In our development methodology, it is possible to define procedures and services according to the application target, simultaneously test them and reprogram the nodes interactively when needed, even a…
Stability in a System subject to Noise with Regulated Periodicity
2011
The stability of a simple dynamical system subject to multiplicative one-side pulse noise with hidden periodicity is investigated both analytically and numerically. The stability analysis is based on the exact result for the characteristic functional of the renewal pulse process. The influence of the memory effects on the stability condition is analyzed for two cases: (i) the dead-time-distorted poissonian process, and (ii) the renewal process with Pareto distribution. We show that, for fixed noise intensity, the system can be stable when the noise is characterized by high periodicity and unstable at low periodicity.
Robustness, Stability, and Fidelity of Explanations for a Deep Skin Cancer Classification Model
2022
Skin cancer is one of the most prevalent of all cancers. Because of its being widespread and externally observable, there is a potential that machine learning models integrated into artificial intelligence systems will allow self-screening and automatic analysis in the future. Especially, the recent success of various deep machine learning models shows promise that, in the future, patients could self-analyse their external signs of skin cancer by uploading pictures of these signs to an artificial intelligence system, which runs such a deep learning model and returns the classification results. However, both patients and dermatologists, who might use such a system to aid their work, need to …
Land management impacts on soil properties and initial soil erosion processes in olives and vegetable crops
2020
Abstract This research aims to assess the impacts of soil use management on runoff, soil losses, and their main soil controls in vegetable cropland (CROP), tilled olives (OT), and grass-covered olive orchards (OGC) on Leptosol in Croatia. Soil analysis and rainfall simulation experiments were conducted to quantify runoff (Run), soil, and nutrient losses. Bulk density (BD) was significantly higher at OT plots, in addition to the CROP plots. Water-stable aggregates (WSA), mean weight diameter (MWD), and soil organic matter (OM) were significantly higher in OGC plots compared to the other land uses. Run and soil loss (SL) were significantly higher in CROP and OT plots compared to the OGC plots…
Start Making Sense
2018
In this second section, focus will be given the Kristiansand Roundtable Conference and the dialogues and data that this book builds upon. Throughout this part, extracts and quotations will be taken from conferences to exemplify and illustrate issues that will be further discussed in the text. The Kristiansand Roundtable Conference provides a rare opportunity to follow the difficult discussions among key stakeholders within and outside the music industries, as they try to make sense of the current situation, the different options on the table, as well as the opposing and conflicting agendas. The dialogues and discussions display a complex matrix of different interests and agendas, illuminati…