Branding/Logomark minus arrow-point-to-down Citation Combined Shape Icon/Bookmark-empty Icon/Copy Icon/Collection Icon/Close Copy 7 Icon/List no author result Created with Sketch.
Loading Scinapse...
Willett Kempton44
Estimated H-index: 44
(Princeton University),
Brian A. Wichmann11
Estimated H-index: 11
(National Physical Laboratory)
Access to an undefined variable ― one which has never been assigned a value ― can be detected by automatic means. However, today's compilers do not detect undefined variables comprehensively, and the environment dependence of these errors often allows them to evade normal testing procedures. Language standards for Pascal, Modula-2 and Ada specify the circumstances in which the undefined variable access should cause an error trap. The logic of undefined in these standa...
12 Citations Source Cite
Musemma K. Muhammed3
Estimated H-index: 3
(University of Copenhagen),
Mette L. Olsen (University of Copenhagen)+ 8 AuthorsFinn K. Vogensen34
Estimated H-index: 34
(University of Copenhagen)
Abstract To investigate the notion that starter cultures can be a reservoir of bacteriophages (phages) in the dairy environment, strains of three DL-starters (undefined mesophilic mixed-strain starters containing Lactococcus lactis subsp. lactis biovar. diacetylactis and Leuconostoc species) were selected and induced by mitomycin C, and the whole starters were induced spontaneously as well as by mitomycin C. Frequency of induction of 17%, 26% and 12% was estimated among the isolates of th...
Source Cite
Binling Ai3
Estimated H-index: 3
,
Jianzheng Li14
Estimated H-index: 14
+ 3 AuthorsEn Shi6
Estimated H-index: 6
This study describes an alternative mixed culture fermentation technology to anaerobically convert lignocellulosic biomass into butyric acid, a valuable product with wide application, without supplementary cellulolytic enzymes. Rice straw was soaked in 1% NaOH solution to increase digestibility. Among the tested pretreatment conditions, soaking rice straw at for 72 h removed ~66% of the lignin, but retained ~84% of the cellulose and ~71% of the hemicellulose. By using an undefined cellulo...
8 Citations Source Cite
Ursula da Silveira Matte17
Estimated H-index: 17
,
Reena Mourya11
Estimated H-index: 11
+ 5 AuthorsJorge A. Bezerra35
Estimated H-index: 35
Background: The discovery of genetic mutations in children with inherited syndromes of intrahepatic cholestasis allows for diagnostic specificity despite similar clinical phenotypes. Here, we aimed to determine whether mutation screening of target genes could assign a molecular diagnosis in children with idiopathic cholestasis. Patients and Methods: DNA samples were obtained from 51 subjects with cholestasis of undefined etiology and surveyed for mutations in the genes SERPINA1, JAG1, ATP...
19 Citations Source Cite
2016 in Planning TheoryIF: 2.71
Luuk Boelens7
Estimated H-index: 7
,
Gert de Roo9
Estimated H-index: 9
From the 1980s onwards, and due to the ongoing complexity and diffuseness in global networked societies, planners have tried to move beyond classic technocratic and/or sociocratic ideas on planning towards new approaches, dealing with the multiplicities and fuzziness of time and space. Innovative ideas have been developed with regard to discursive, collaborative, informal and post-policy planning, as well as with relational geography, multi-planar, non-linear and actor-relational approaches, and...
Cite
2014 in Physics Letters AIF: 1.86
Shuen De Wu9
Estimated H-index: 9
(National Taiwan Normal University),
Chiu Wen Wu7
Estimated H-index: 7
(National Taiwan Normal University)
+ 2 AuthorsChung-Kang Peng67
Estimated H-index: 67
(College of Health Sciences, Bahrain)
Abstract Multiscale entropy (MSE) is an effective algorithm for measuring the complexity of a time series that has been applied in many fields successfully. However, MSE may yield an inaccurate estimation of entropy or induce undefined entropy because the coarse-graining procedure reduces the length of a time series considerably at large scales. Composite multiscale entropy (CMSE) was recently proposed to improve the accuracy of MSE, but it does not resolve undefined entropy. Here ...
76 Citations Source Cite
John Regehr30
Estimated H-index: 30
(University of Utah)
Source Cite
1990 in Symposium on Principles of Database Systems
Jia-Huai You16
Estimated H-index: 16
(University of Alberta),
Li Yan Yuan14
Estimated H-index: 14
(University of Alberta)
The central issue of this paper concerns the truth value undefined in Przymusinsi's 3-valued formalization of nonmonotonic reasoning and logic programming. We argue that this formalization can lead to the problem of unintended semantics and loss of disjunctive information. We modify the formalization by proposing two general principles for logic program semantics: justifiability and minimal undefinedness . The former is shown to be a general property for almost all logic program se...
30 Citations Source Cite
2017
Manjeet Dahiya2
Estimated H-index: 2
(Indian Institute of Technology Delhi),
Sorav Bansal15
Estimated H-index: 15
(Indian Institute of Technology Delhi)
Previous work on equivalence checking for synthesis and translation validation has usually verified programs across selected optimizations, disabling the ones that exploit undefined behaviour. On the other hand, modern compilers extensively exploit language level undefined behaviour for optimization. Previous work on equivalence checking for translation validation and synthesis yields poor results, when such optimizations relying on undefined behaviour are enabled.
3 Citations Source Cite
Binling Ai1
Estimated H-index: 1
(Chinese Academy of Tropical Agricultural Sciences),
Xue Chi5
Estimated H-index: 5
(Harbin Institute of Technology)
+ 4 AuthorsJianzheng Li2
Estimated H-index: 2
(Harbin Institute of Technology)
Lignocellulosic biomass is a renewable source with great potential for biofuels and bioproducts. However, the cost of cellulolytic enzymes limits the utilization of the low-cost bioresource. This study aimed to develop a consolidated bioprocessing without the need of supplementary cellulase for butyric acid production from lignocellulosic biomass. A stirred-tank reactor with a working volume of 21 L was constructed and operated in batch and semi-continuous fermentation modes with a cellulolytic ...
7 Citations Source Cite