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...
2018 in Computer and Communications Security
Carmine Abate1
Estimated H-index: 1
(University of Trento),
Arthur Azevedo de Amorim6
Estimated H-index: 6
(Carnegie Mellon University)
+ 7 AuthorsAndrew Tolmach18
Estimated H-index: 18
(Portland State University)
We propose a new formal criterion for secure compilation, giving strong end-to-end security guarantees for software components written in unsafe, low-level languages with C-style undefined behavior. Our criterion is the first to model_dynamic_ compromise in a system of mutually distrustful components running with least privilege. Each component is protected from all the others---in particular, from components that have encountered undefined behavior and become compromised. Each com...
2 Citations Download PDF Cite
Eugenio Parente27
Estimated H-index: 27
,
Angela Guidone9
Estimated H-index: 9
+ 3 AuthorsAnnamaria Ricciardi22
Estimated H-index: 22
Abstract Model undefined thermophilic starter cultures were produced from raw milk of nine pasta-filata cheesemaking plants using a selective procedure based on pasteurization and incubation at high temperature with the objective of studying the microbial community dynamics and the variability in performances under repeated (7–13) reproduction cycles with backslopping. The traditional culture-dependent approach, based on random isolation and molecular characterization of isolates was coup...
8 Citations Source Cite
Michael E. Himmel59
Estimated H-index: 59
(National Renewable Energy Laboratory),
Charles Abbas1
Estimated H-index: 1
(University of Illinois at Urbana–Champaign)
+ 12 AuthorsStephen R. Decker30
Estimated H-index: 30
(National Renewable Energy Laboratory)
In the shadow of a burgeoning biomass-to-fuels industry, biological conversion of lignocellulose to fermentable sugars in a cost-effective manner is key to the success of second-generation and advanced biofuel production. For the effective comparison of one cellulase preparation to another, cellulase assays are typically carried out with one or more engineered cellulase formulations or natural exoproteomes of known performance serving as positive controls. When these formulations have unknown co...
2 Citations Source Cite
2017 in ChemsuschemIF: 7.41
Marianna Villano14
Estimated H-index: 14
(Sapienza University of Rome),
Paola Paiano2
Estimated H-index: 2
(Sapienza University of Rome)
+ 2 AuthorsMauro Majone42
Estimated H-index: 42
(Sapienza University of Rome)
Growing scientific interest in mixed microbial culture-based anaerobic biotechnologies for the production of value-added chemicals and fuels from waste organic residues requires a parallel focus on the development and implementation of strategies to control products distribution. This study examined the feasibility of an electro-fermentation approach, based on the introduction of a polarized (-700 mV vs. the standard hydrogen electrode) graphite electrode in the fermentation medium, to steer pro...
5 Citations Source Cite
2017 in Programming Language Design and Implementation
June-Young Lee7
Estimated H-index: 7
(Seoul National University),
Yoonseung Kim2
Estimated H-index: 2
(Seoul National University)
+ 5 AuthorsNuno P. Lopes12
Estimated H-index: 12
(Microsoft)
A central concern for an optimizing compiler is the design of its intermediate representation (IR) for code. The IR should make it easy to perform transformations, and should also afford efficient and precise static analysis. In this paper we study an aspect of IR design that has received little attention: the role of undefined behavior. The IR for every optimizing compiler we have looked at, including GCC, LLVM, Intel's, and Microsoft's, supports one or more forms of undefined beh...
10 Citations Download PDF Cite
2016 in Familial CancerIF: 1.94
Sara E. Dobbins22
Estimated H-index: 22
(Institute of Cancer Research),
Peter Broderick39
Estimated H-index: 39
(Institute of Cancer Research)
+ 3 AuthorsRichard S. Houlston89
Estimated H-index: 89
(Institute of Cancer Research)
Although family history is a major risk factor for colorectal cancer (CRC) a genetic diagnosis cannot be obtained in over 50 % of familial cases when screened for known CRC cancer susceptibility genes. The genetics of undefined-familial CRC is complex and recent studies have implied additional clinically actionable mutations for CRC in susceptibility genes for other cancers. To clarify the contribution of non-CRC susceptibility genes to undefined-familial CRC we conducted a mutatio...
2 Citations Source Cite
2016 in BMJIF: 23.56
Thomas J. Moore17
Estimated H-index: 17
The faulty INRatio device used in the rivaroxaban ROCKET atrial fibrillation trial1 is particularly important in light of another drawback to this novel oral anticoagulant (NOAC). Rivaroxaban has the shortest terminal half life of the …
3 Citations Source Cite
2017 in Neural Information Processing Systems
Kevin Roth1
Estimated H-index: 1
,
Aurelien Lucchi14
Estimated H-index: 14
(ETH Zurich)
+ 1 AuthorsThomas Hofmann43
Estimated H-index: 43
(Google)
Deep generative models based on Generative Adversarial Networks (GANs) have demonstrated impressive sample quality but in order to work they require a careful choice of architecture, parameter initialization, and selection of hyper-parameters. This fragility is in part due to a dimensional mismatch or non-overlapping support between the model distribution and the data distribution, causing their density ratio and the associated f -divergence to be undefined. We overcome this fundamental l...
29 Citations Download PDF Cite
Xi Wang5
Estimated H-index: 5
(University of Washington),
Nickolai Zeldovich40
Estimated H-index: 40
(Massachusetts Institute of Technology)
+ 1 AuthorsArmando Solar-Lezama18
Estimated H-index: 18
(Massachusetts Institute of Technology)
2 Citations Source Cite
2016 in FEBS JournalIF: 4.53
Monique J. Rogals2
Estimated H-index: 2
(Cornell University),
Alexander I. Greenwood4
Estimated H-index: 4
(University of Illinois at Urbana–Champaign)
+ 2 AuthorsLinda K. Nicholson29
Estimated H-index: 29
(Cornell University)
The peptidyl prolyl isomerase Pin1 has two domains that are considered to be its binding (WW) and catalytic (PPIase) domains, both of which interact with phosphorylated Ser/Thr-Pro motifs. This shared specificity might influence substrate selection, since many known Pin1 substrates have multiple sequentially close phosphoSer/Thr-Pro motifs, including the protein IRAK1. The IRAK1 undefined domain (UD) contains two sets of such neighboring motifs (Ser131/Ser144 and Ser163/Ser173), suggestin...
2 Citations Source Cite