Entity linking systems for literature reviews

Scientometrics - Computer-assisted methods and tools can help researchers automate the coding process of literature reviews and accelerate the literature review process. However, existing...     

Quality enhancement of the abundant under‐valued crustacean,lobster krill (Munida spp.), during its chilled storage

Lobster krill (Munida genus) represents an under‐valued crustacean frequently caught on European fishing banks. In this work, its sensory, microbiological and biochemical qualities were evaluated during chilled storage. Additionally, the effects of a prestorage antimelanosic treatment consisting of soaking in sodium metabisulphite (SMB) solutions at two different concentrations (0.25% and 0.75%) were also studied. SMB prestorage treatment provided lobster specimens that still exhibited acceptable sensory quality after 10 days of storage, while control specimens were unacceptable at that time. SMB treatment also resulted in a significant (P < 0.05) inhibition of microbial growth, mainly of Enterobacteriaceae, psychrotrophes and proteolytic bacteria. Low lipid oxidation levels were observed for all batches; however, a significantly higher (P < 0.05) retention of polyunsaturated fatty acids was found in SMB‐treated lobster, especially in the 0.75% SMB batch. The results presented here open the way to the potential commercialisation of currently under‐utilised lobster krill as a chilled product.     

Robust predictive extended state observer for a class of nonlinear systems with time-varying input delay

ABSTRACT

This paper deals with asymptotic stabilisation of a class of nonlinear input-delayed systems via dynamic output feedback in the presence of disturbances. The proposed strategy has the structure of an observer-based control law, in which the observer estimates and predicts both the plant state and the external disturbance. A nominal delay value is assumed to be known and stability conditions in terms of linear matrix inequalities are derived for fast-varying delay uncertainties. Asymptotic stability is achieved if the disturbance or the time delay is constant. The controller design problem is also addressed and a numerical example with an unstable system is provided to illustrate the usefulness of the proposed strategy.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

Enzyme activity and partial characterization of proteases obtained from Bromelia karatas fruit and compared with Bromelia pinguin proteases

Food Science and Biotechnology - The enzymatic activity and partial characterization of proteases from Bromelia karatas fruits were evaluated and compared with Bromelia pinguin proteases. The...