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...
Xi Wang12
Estimated H-index: 12
(Massachusetts Institute of Technology),
Haogang Chen7
Estimated H-index: 7
(Massachusetts Institute of Technology),
Alvin Cheung15
Estimated H-index: 15
(Massachusetts Institute of Technology)
... more
System programming languages such as C grant compiler writers freedom to generate efficient code for a specific instruction set by defining certain language constructs as undefined behavior. Unfortunately, the rules for what is undefined behavior are subtle and programmers make mistakes that sometimes lead to security vulnerabilities. This position paper argues that the research community should help address the problems that arise from undefined behavior, and not dismiss th...
26 Citations Download PDF Cite
2015 in Programming Language Design and Implementation
Chris Hathhorn3
Estimated H-index: 3
(University of Missouri),
Chucky Ellison6
Estimated H-index: 6
(University of Illinois at Urbana–Champaign),
Grigore Rosu40
Estimated H-index: 40
(University of Illinois at Urbana–Champaign)
We present a ``negative'' semantics of the C11 language---a semantics that does not just give meaning to correct programs, but also rejects undefined programs. We investigate undefined behavior in C and discuss the techniques and special considerations needed for formally specifying it. We have used these techniques to modify and extend a semantics of C into one that captures undefined behavior. The amount of semantic infrastructure and effort required to achieve this was un...
36 Citations Source Cite
2016 in Communications of The ACM [IF: 3.06]
Xi Wang5
Estimated H-index: 5
(University of Washington),
Nickolai Zeldovich40
Estimated H-index: 40
(Massachusetts Institute of Technology),
M. Frans Kaashoek57
Estimated H-index: 57
(Massachusetts Institute of Technology)
... more
2 Citations Source Cite
Katarina Monkova8
Estimated H-index: 8
,
Peter Monka9
Estimated H-index: 9
,
Sergej Hloch18
Estimated H-index: 18
The paper deals with the process of 3D digitization as a tool for increasing production efficiency of complex shaped parts. Utilizes the concept of reverse engineering and new the model of NC program generation STEP-NC, for the of templates production for winding the stator coil of electromotors that is for electric household appliances. The manual production of prototype was substituted by manufacturing with NC machines. A 3D scanner was used for data digitizing, CAD/CAM system Pro/Engineering ...
9 Citations Download PDF Cite
Wenjie Deng4
Estimated H-index: 4
(Nanjing Medical University),
Luo Gu13
Estimated H-index: 13
(Nanjing Medical University),
Xiaojie Li1
Estimated H-index: 1
(Nanjing Medical University)
... more
Background CD24, a mucin-like membrane glycoprotein, plays a critical role in carcinogenesis, but its role in human gastric cancer and the underlying mechanism remains undefined.
15 Citations Source Cite
Yi Yin2
Estimated H-index: 2
(Beijing Jiaotong University),
Pengjian Shang23
Estimated H-index: 23
(Beijing Jiaotong University),
Guochen Feng1
Estimated H-index: 1
(Beijing Jiaotong University)
We introduce the CMCSE and further propose the RCMCSE method.MCSE, CMCSE and RCMCSE methods are employed to artificial and financial time series.RCMCSE reduces standard deviation and the probability of inducing undefined entropy.RCMCSE can provide better robustness and more accurate entropies.RCMCSE is more applicable for the study between US and Chinese stock markets. In this paper, we introduce the composite multiscale cross-sample entropy (CMCSE) which may induce undefined entro...
8 Citations Source Cite
2013 in Food Microbiology [IF: 4.09]
Tomislav Pogačić6
Estimated H-index: 6
(University of Parma),
Andrea Mancini4
Estimated H-index: 4
(University of Parma),
Marcela Santarelli8
Estimated H-index: 8
(University of Parma)
... more
The aim of this study was to explore diversity and dynamic of indigenous LAB strains associated with a long ripened hard cheese produced from raw milk and undefined natural starter such as PDO Grana Padano cheese. Samples of milk, curd, natural whey culture and cheeses (2nd, 6th, 9th and 13th months of ripening) were collected from 6 cheese factories in northern Italy. DNA was extracted from each sample and from 194 LAB isolates. tRNAAla-23S rDNA-RFLP was applied to identify isolates. Str...
29 Citations Source Cite
2014 in Small Ruminant Research [IF: 0.97]
Sh. Rouhollahi Varnosfaderani1
Estimated H-index: 1
(Royan Institute),
S. Ostadhosseini11
Estimated H-index: 11
(Royan Institute),
S.M. Hosseini15
Estimated H-index: 15
(Royan Institute)
... more
Abstract The major factor that affects oocyte developmental competency is regulation of oocyte in vitro maturation (IVM). According to the literature, oocyte-secreted and exogenous growth differentiation factor 9 (GDF9) have little influence on ovine in vitro maturation. This result may have been masked by the presence of serum or other additive in the maturation medium. Thus, we aimed to compare the developmental competency of ovine oocyte cultured in the presence of GDF9 at chemically defined ...
Source Cite
2016 in Planning Theory [IF: 2.71]
Luuk Boelens7
Estimated H-index: 7
,
Gert de Roo9
Estimated H-index: 9
Source Cite
1970 in Wear [IF: 2.96]
E. Capone1
Estimated H-index: 1
Abstract A solution of the basic equation of the flow-dynamic lubrication concerning porous bearings under steady radial load is given according to the Morgan and Cameron assumptions, which have been modified because the axial dimension of the bearing is considered as undefined. The bearing porosity has been taken into account according to the D'Arcy permeability for bearing material; values have been chosen to match corresponding ones for standard products. The permeability zero value ha...
31 Citations Source Cite