Results 1 to 10 of about 9,853,288 (268)
Biological degradation of aflatoxin M1 by Bacillus pumilus E-1-1-1. [PDF]
Microbiologyopen, 2019 Aflatoxin M1 (AFM1) is a potent mycotoxin which causes serious health concerns in developing countries, where it is mainly found in milk, meat, and other foods. Biological detoxification is a promising method for eliminating AFM1.
Gu X, Sun J, Cui Y, Wang X, Sang Y.
europepmc +2 more sources
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees [PDF]
Logical Methods in Computer Science, 2012 We consider a specific class of tree structures that can represent basic structures in linguistics and computer science such as XML documents, parse trees, and treebanks, namely, finite node-labeled sibling-ordered trees.
Amélie Gheerbrant, Balder ten Cate
doaj +1 more source
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes [PDF]
Logical Methods in Computer Science, 2009 We propose a framework for reasoning about unbounded dynamic networks of infinite-state processes. We propose Constrained Petri Nets (CPN) as generic models for these networks.
Ahmed Bouajjani +4 more
doaj +1 more source
Bootstrapping Inductive and Coinductive Types in HasCASL [PDF]
Logical Methods in Computer Science, 2008 We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatypes and process types arise as bootstrapped concepts using HasCASL's type ...
Lutz Schröder
doaj +1 more source
Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories [PDF]
Logical Methods in Computer Science, 2017 Cyclic data structures, such as cyclic lists, in functional programming are tricky to handle because of their cyclicity. This paper presents an investigation of categorical, algebraic, and computational foundations of cyclic datatypes.
Makoto Hamana
doaj +1 more source
Representations of Stream Processors Using Nested Fixed Points [PDF]
Logical Methods in Computer Science, 2009 We define representations of continuous functions on infinite streams of discrete values, both in the case of discrete-valued functions, and in the case of stream-valued functions.
Neil Ghani +2 more
doaj +1 more source
Journal of Agricultural and Food Chemistry, 2020 This work aimed to investigate the effect of enzymatic crosslinking on the allergenic potential of shrimp tropomyosin (TM), Met e 1. The crosslinked TM with laccase (CL), laccase/caffeic acid (CLC and CLC+) and transglutaminase (CTG and CTG+) formed ...
I. Ahmed +8 more
semanticscholar +1 more source
Вестник анестезиологии и реаниматологии, 2023 The objective was to validate cardiac index (CI) and stroke volume variation (SVV) measured by pulse wave transit time (PWTT) technology using estimated continuous cardiac output (esCCO) technique, with pulse contour analysis (PCA) after off-pump ...
D. A. Volkov +6 more
doaj +1 more source
Restoration of the natural E(1/21+) - E(3/21+) energy splitting in odd-K isotopes towards N = 40
Physics Letters B, 2020 We report on the first γ-ray spectroscopy of 51,53K produced via the 52,54Ca(p,2p) reactions at ∼250 MeV/nucleon. Unambiguous final-state angular-momentum assignments were achieved for beam intensities down to few particles per second by using a new ...
Y. Sun +83 more
semanticscholar +1 more source
Cytotoxicity of ((E)-1-(4-aminophenyl)-3-phenylprop-2-en-1-one)) on HeLa cell line
Indonesian Journal of Pharmacology and Therapy, 2020 In our previous study, some amino chalcone derivatives have been synthesized and evaluated their cytotoxicity against breast cancer cell line T47D. Among 11 amino chalcone derivatives, ((E)-1-(4-aminophenyl)-3-phenylprop-2-en-1-one)) exhibited the most ...
Adisty Ridha Damasuri +2 more
semanticscholar +1 more source