TY  - JOUR
A1  - Herrero, Mario
A1  - Thornton, Philip K.
A1  - Mason-D'Croz, Daniel
A1  - Palmer, Jeda
A1  - Bodirsky, Benjamin Leon
A1  - Pradhan, Prajal
A1  - Barrett, Christopher B.
A1  - Benton, Tim G.
A1  - Hall, Andrew
A1  - Pikaar, Ilje
A1  - Bogard, Jessica R.
A1  - Bonnett, Graham D.
A1  - Bryan, Brett A.
A1  - Campbell, Bruce M.
A1  - Christensen, Svend
A1  - Clark, Michael
A1  - Fanzo, Jessica
A1  - Godde, Cecile M.
A1  - Jarvis, Andy
A1  - Loboguerrero, Ana Maria
A1  - Mathys, Alexander
A1  - McIntyre, C. Lynne
A1  - Naylor, Rosamond L.
A1  - Nelson, Rebecca
A1  - Obersteiner, Michael
A1  - Parodi, Alejandro
A1  - Popp, Alexander
A1  - Ricketts, Katie
A1  - Smith, Pete
A1  - Valin, Hugo
A1  - Vermeulen, Sonja J.
A1  - Vervoort, Joost
A1  - van Wijk, Mark
A1  - van Zanten, Hannah H. E.
A1  - West, Paul C.
A1  - Wood, Stephen A.
A1  - Rockström, Johan
T1  - Articulating the effect of food systems innovation on the Sustainable Development Goals
JF  - The lancet Planetary health
N2  - Food system innovations will be instrumental to achieving multiple Sustainable Development Goals (SDGs). However, major innovation breakthroughs can trigger profound and disruptive changes, leading to simultaneous and interlinked reconfigurations of multiple parts of the global food system. The emergence of new technologies or social solutions, therefore, have very different impact profiles, with favourable consequences for some SDGs and unintended adverse side-effects for others. Stand-alone innovations seldom achieve positive outcomes over multiple sustainability dimensions. Instead, they should be embedded as part of systemic changes that facilitate the implementation of the SDGs. Emerging trade-offs need to be intentionally addressed to achieve true sustainability, particularly those involving social aspects like inequality in its many forms, social justice, and strong institutions, which remain challenging. Trade-offs with undesirable consequences are manageable through the development of well planned transition pathways, careful monitoring of key indicators, and through the implementation of transparent science targets at the local level.
Y1  - 2020
U6  - https://doi.org/10.1016/S2542-5196(20)30277-1
SN  - 2542-5196
VL  - 5
IS  - 1
SP  - E50
EP  - E62
PB  - Elsevier
CY  - Oxford
ER  - 
TY  - JOUR
A1  - Pradhan, D. K.
A1  - Chatterjee, M.
A1  - Swarna, M.
A1  - Kunz, Wolfgang
T1  - Implication-based gate-level synthesis for low-power
Y1  - 1996
SN  - 0-7803-3571-6
ER  - 
TY  - JOUR
A1  - Reddy, S. M.
A1  - Kunz, Wolfgang
A1  - Pradhan, D. K.
T1  - Novel verification framework combining structural and OBDD methods in a synthesis environment
Y1  - 1995
SN  - 0-8186-7213-7
SN  - 0-8186-7214-5
ER  - 
TY  - JOUR
A1  - Chatterjee, M.
A1  - Pradhan, D. K.
A1  - Kunz, Wolfgang
T1  - ATPG-based Transformations for random-pattern testable logic synthesis
Y1  - 1995
SN  - 0-8186-7213-7
SN  - 0-8186-7214-5
SN  - 0-8186-7215-3
ER  - 
TY  - JOUR
A1  - Kunz, Wolfgang
A1  - Pradhan, D. K.
T1  - Recursive learning : a new implication technique for efficient solutions to CAD problems : test, verification and optimization
Y1  - 1994
ER  - 
TY  - JOUR
A1  - Kunz, Wolfgang
A1  - Reddy, S. M.
A1  - Subodh, M.
A1  - Pradhan, D. K.
T1  - Efficient logic verification in a synthesis environment
Y1  - 1996
ER  -