A description based on languages of the final non-deterministic automaton

The study of the behaviour of non-deterministic automata has traditionally focused on the languages which can be associated to the different states. Under this interpretation, the different branches that can be taken at every step are ignored. However, we can also take into account the different decisions which can be made at every state, that is, the branches that can be taken, and these decisions might change the possible future behaviour. In this case, the behaviour of the automata can be described with the help of the concept of bisimilarity. This is the kind of description that is usually obtained when the automata are regarded as labelled transition systems or coalgebras. Contrarily to what happens with deterministic automata, it is not possible to describe the behaviour up to bisimilarity of states of a non-deterministic automaton by considering just the languages associated to them. In this paper we present a description of a final object for the category of non-deterministic automata, regarded as labelled transition systems, with the help of some structures defined in terms of languages. As a consequence, we obtain a characterisation of bisimilarity of states of automata in terms of languages and a method to minimise non-deterministic automata with respect to bisimilarity of states. This confirms that languages can be considered as the natural objects to describe the behaviour of automata

Connecting the dots between brand experience and brand loyalty: The mediating role of brand personality and brand relationships

This article critically examines consumer–brand relationships from the perspective of interpersonal relationship theory. Specifically, the authors investigate the relationship between brand experience and the two components of brand loyalty, namely purchase brand loyalty and attitudinal brand loyalty. The study also examines the link between brand experience and brand relationship variables, brand trust, brand attachment and brand commitment. In addition, the mediating role of brand personality and brand commitment in the relationship between brand experience and brandloyalty is investigated. Drawing on the results of an empirical cross-brand study from three product categories, the authors demonstrate that brand experience, brand personality and brand relationship variables (brand attachment and brand commitment) all affect the degree to which a consumer is loyal to a brand. On the basis of the findings, the authors offer guidelines to managers on how to build and sustain purchase and attitudinal brand loyalty by enhancing brand experience. The theoretical and managerial significance of the findings together with directions for future research are discussed

Replacement of Marine Fish Oil with de novo Omega-3 Oils from Transgenic Camelina sativa in Feeds for Gilthead Sea Bream (Sparus aurata L.)

Omega-3 (n-3) long-chain polyunsaturated fatty acids (LC-PUFA) are essential components of the diet of all vertebrates and. The major dietary source of n-3 LC-PUFA for humans has been fish and seafood but, paradoxically, farmed fish are also reliant on marine fisheries for fish meal and fish oil (FO), traditionally major ingredients of aquafeeds. Currently, the only sustainable alternatives to FO are vegetable oils, which are rich in C18 PUFA, but devoid of the eicosapentaenoic (EPA) and docosahexaenoic acids (DHA) abundant in FO. Two new n-3 LC-PUFA sources obtained from genetically modified (GM) Camelina sativa containing either EPA alone (ECO) or EPA and DHA (DCO) were compared to FO and wild-type camelina oil (WCO) in juvenile sea bream. Neither ECO nor DCO had any detrimental effects on fish performance, although final weight of ECO-fed fish (117 g) was slightly lower than that of FO- and DCO-fed fish (130 and 127 g, respectively). Inclusion of the GM-derived oils enhanced the n-3 LC-PUFA content in fish tissues compared to WCO, although limited biosynthesis was observed indicating accumulation of dietary fatty acids. The expression of genes involved in several lipid metabolic processes, as well as fish health and immune response, in both liver and anterior intestine were altered in fish fed the GM-derived oils. This showed a similar pattern to that observed in WCO-fed fish reflecting the hybrid fatty acid profile of the new oils. Overall the data indicated that the GM-derived oils could be suitable alternatives to dietary FO in sea bream

Internet of Things in Agricultural Innovation and Security

The agricultural Internet of Things (Ag-IoT) paradigm has tremendous potential in transparent integration of underground soil sensing, farm machinery, and sensor-guided irrigation systems with the complex social network of growers, agronomists, crop consultants, and advisors. The aim of the IoT in agricultural innovation and security chapter is to present agricultural IoT research and paradigm to promote sustainable production of safe, healthy, and profitable crop and animal agricultural products. This chapter covers the IoT platform to test optimized management strategies, engage farmer and industry groups, and investigate new and traditional technology drivers that will enhance resilience of the farmers to the socio-environmental changes. A review of state-of-the-art communication architectures and underlying sensing technologies and communication mechanisms is presented with coverage of recent advances in the theory and applications of wireless underground communications. Major challenges in Ag-IoT design and implementation are also discussed

Anti-tumour necrosis factor discontinuation in inflammatory bowel disease patients in remission: study protocol of a prospective, multicentre, randomized clinical trial

Background: Patients with inflammatory bowel disease who achieve remission with anti-tumour necrosis factor (anti-TNF) drugs may have treatment withdrawn due to safety concerns and cost considerations, but there is a lack of prospective, controlled data investigating this strategy. The primary study aim is to compare the rates of clinical remission at 1?year in patients who discontinue anti-TNF treatment versus those who continue treatment. Methods: This is an ongoing, prospective, double-blind, multicentre, randomized, placebo-controlled study in patients with Crohn?s disease or ulcerative colitis who have achieved clinical remission for ?6?months with an anti-TNF treatment and an immunosuppressant. Patients are being randomized 1:1 to discontinue anti-TNF therapy or continue therapy. Randomization stratifies patients by the type of inflammatory bowel disease and drug (infliximab versus adalimumab) at study inclusion. The primary endpoint of the study is sustained clinical remission at 1?year. Other endpoints include endoscopic and radiological activity, patient-reported outcomes (quality of life, work productivity), safety and predictive factors for relapse. The required sample size is 194 patients. In addition to the main analysis (discontinuation versus continuation), subanalyses will include stratification by type of inflammatory bowel disease, phenotype and previous treatment. Biological samples will be obtained to identify factors predictive of relapse after treatment withdrawal. Results: Enrolment began in 2016, and the study is expected to end in 2020. Conclusions: This study will contribute prospective, controlled data on outcomes and predictors of relapse in patients with inflammatory bowel disease after withdrawal of anti-TNF agents following achievement of clinical remission. Clinical trial reference number: EudraCT 2015-001410-1

Pediatric T- and NK-cell lymphomas: new biologic insights and treatment strategies

T- and natural killer (NK)-cell lymphomas are challenging childhood neoplasms. These cancers have varying presentations, vast molecular heterogeneity, and several are quite unusual in the West, creating diagnostic challenges. Over 20 distinct T- and NK-cell neoplasms are recognized by the 2008 World Health Organization classification, demonstrating the diversity and potential complexity of these cases. In pediatric populations, selection of optimal therapy poses an additional quandary, as most of these malignancies have not been studied in large randomized clinical trials. Despite their rarity, exciting molecular discoveries are yielding insights into these clinicopathologic entities, improving the accuracy of our diagnoses of these cancers, and expanding our ability to effectively treat them, including the use of new targeted therapies. Here, we summarize this fascinating group of lymphomas, with particular attention to the three most common subtypes: T-lymphoblastic lymphoma, anaplastic large cell lymphoma, and peripheral T-cell lymphoma-not otherwise specified. We highlight recent findings regarding their molecular etiologies, new biologic markers, and cutting-edge therapeutic strategies applied to this intriguing class of neoplasms

The European Solar Telescope

The European Solar Telescope (EST) is a project aimed at studying the magnetic connectivity of the solar atmosphere, from the deep photosphere to the upper chromosphere. Its design combines the knowledge and expertise gathered by the European solar physics community during the construction and operation of state-of-the-art solar telescopes operating in visible and near-infrared wavelengths: the Swedish 1m Solar Telescope, the German Vacuum Tower Telescope and GREGOR, the French Télescope Héliographique pour l'Étude du Magnétisme et des Instabilités Solaires, and the Dutch Open Telescope. With its 4.2 m primary mirror and an open configuration, EST will become the most powerful European ground-based facility to study the Sun in the coming decades in the visible and near-infrared bands. EST uses the most innovative technological advances: the first adaptive secondary mirror ever used in a solar telescope, a complex multi-conjugate adaptive optics with deformable mirrors that form part of the optical design in a natural way, a polarimetrically compensated telescope design that eliminates the complex temporal variation and wavelength dependence of the telescope Mueller matrix, and an instrument suite containing several (etalon-based) tunable imaging spectropolarimeters and several integral field unit spectropolarimeters. This publication summarises some fundamental science questions that can be addressed with the telescope, together with a complete description of its major subsystems

Sensitivity of the Cherenkov Telescope Array to a dark matter signal from the Galactic centre

We provide an updated assessment of the power of the Cherenkov Telescope Array (CTA) to search for thermally produced dark matter at the TeV scale, via the associated gamma-ray signal from pair-annihilating dark matter particles in the region around the Galactic centre. We find that CTA will open a new window of discovery potential, significantly extending the range of robustly testable models given a standard cuspy profile of the dark matter density distribution. Importantly, even for a cored profile, the projected sensitivity of CTA will be sufficient to probe various well-motivated models of thermally produced dark matter at the TeV scale. This is due to CTA's unprecedented sensitivity, angular and energy resolutions, and the planned observational strategy. The survey of the inner Galaxy will cover a much larger region than corresponding previous observational campaigns with imaging atmospheric Cherenkov telescopes. CTA will map with unprecedented precision the large-scale diffuse emission in high-energy gamma rays, constituting a background for dark matter searches for which we adopt state-of-the-art models based on current data. Throughout our analysis, we use up-to-date event reconstruction Monte Carlo tools developed by the CTA consortium, and pay special attention to quantifying the level of instrumental systematic uncertainties, as well as background template systematic errors, required to probe thermally produced dark matter at these energies.</p

Southern African Large Telescope Spectroscopy of BL Lacs for the CTA project

In the last two decades, very-high-energy gamma-ray astronomy has reached maturity: over 200 sources have been detected, both Galactic and extragalactic, by ground-based experiments. At present, Active Galactic Nuclei (AGN) make up about 40% of the more than 200 sources detected at very high energies with ground-based telescopes, the majority of which are blazars, i.e. their jets are closely aligned with the line of sight to Earth and three quarters of which are classified as high-frequency peaked BL Lac objects. One challenge to studies of the cosmological evolution of BL Lacs is the difficulty of obtaining redshifts from their nearly featureless, continuum-dominated spectra. It is expected that a significant fraction of the AGN to be detected with the future Cherenkov Telescope Array (CTA) observatory will have no spectroscopic redshifts, compromising the reliability of BL Lac population studies, particularly of their cosmic evolution. We started an effort in 2019 to measure the redshifts of a large fraction of the AGN that are likely to be detected with CTA, using the Southern African Large Telescope (SALT). In this contribution, we present two results from an on-going SALT program focused on the determination of BL Lac object redshifts that will be relevant for the CTA observatory

A comprehensive overview of radioguided surgery using gamma detection probe technology

The concept of radioguided surgery, which was first developed some 60 years ago, involves the use of a radiation detection probe system for the intraoperative detection of radionuclides. The use of gamma detection probe technology in radioguided surgery has tremendously expanded and has evolved into what is now considered an established discipline within the practice of surgery, revolutionizing the surgical management of many malignancies, including breast cancer, melanoma, and colorectal cancer, as well as the surgical management of parathyroid disease. The impact of radioguided surgery on the surgical management of cancer patients includes providing vital and real-time information to the surgeon regarding the location and extent of disease, as well as regarding the assessment of surgical resection margins. Additionally, it has allowed the surgeon to minimize the surgical invasiveness of many diagnostic and therapeutic procedures, while still maintaining maximum benefit to the cancer patient. In the current review, we have attempted to comprehensively evaluate the history, technical aspects, and clinical applications of radioguided surgery using gamma detection probe technology