Towards inferring reactor operations from high-level waste
Nuclear Engineering and TechnologyNuclear archaeology research provides scientific methods to reconstruct the operating histories of fissile material production facilities to account for past fissile material production.
Benjamin Jung +2 more
doaj +1 more source
Knowledge into Action: Stakeholders gather to discuss how information gathered can be used to inform real change on the ground in the fight against worst forms of child labor and forced adult labor [PDF]
, 2009 This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide.
International Cocoa Verification Board +1 more
core +1 more source
Insights into PI3K/AKT signaling in B cell development and chronic lymphocytic leukemia
FEBS Letters, EarlyView.This Review explores how the phosphoinositide 3‐kinase and protein kinase B pathway shapes B cell development and drives chronic lymphocytic leukemia, a common blood cancer. It examines how signaling levels affect disease progression, addresses treatment challenges, and introduces novel experimental strategies to improve therapies and patient outcomes.
Maike Buchner
wiley +1 more source
JOINT WORKING GROUP ON LABOR IN COCOA FARMING: Utrecht, the Netherlands, May 21, 2010 Meeting Minutes [PDF]
, 2010 This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide.
International Cocoa Verification Board +1 more
core +1 more source
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study
, 2019 We present an industrial case study that demonstrates the practicality and effectiveness of Symbolic Quick Error Detection (Symbolic QED) in detecting logic design flaws (logic bugs) during pre-silicon verification.
Barrett, Clark +10 more
core +1 more source
Computer Aided Verification [PDF]
Lecture Notes in Computer Science, 2017 Static cache analysis characterizes a program’s cache behavior by determining in a sound but approximate manner which memory accesses result in cache hits and which result in cache misses.
Valentin Touzeau +3 more
semanticscholar +1 more source
Making tau amyloid models in vitro: a crucial and underestimated challenge
FEBS Letters, EarlyView.This review highlights the challenges of producing in vitro amyloid assemblies of the tau protein. We review how accurately the existing protocols mimic tau deposits found in the brain of patients affected with tauopathies. We discuss the important properties that should be considered when forming amyloids and the benchmarks that should be used to ...
Julien Broc, Clara Piersson, Yann Fichou
wiley +1 more source
Optical coherence tomography angiography characteristics of optic disc melanocytoma
BMC Ophthalmology, 2020 Background Optic disc melanocytoma (ODMC) was a benign pigmented intraocular tumor with the rare potential malignant transformation. This study was designed to evaluate tumor vasculature with optical coherence tomography angiography (OCTA) in ODMC ...
Nan Zhou, Xiaolin Xu, Wenbin Wei
doaj +1 more source
October 30, 2007 - Verité Selected For Key Role in Improving Labor Conditions in Cocoa Production [PDF]
, 2007 This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide.
International Cocoa Verification Board +1 more
core +1 more source
The Marabou Framework for Verification and Analysis of Deep Neural Networks
International Conference on Computer Aided Verification, 2019 Deep neural networks are revolutionizing the way complex systems are designed. Consequently, there is a pressing need for tools and techniques for network analysis and certification.
Guy Katz +12 more
semanticscholar +1 more source