全部文献期刊学位论文会议报纸专利标准年鉴图书|学者科研项目
中外文文献  中文文献  外文文献
作者:Alberto Carraro , Beniamino Cenci Goga ...
来源:[J].Journal of Translational Medicine(IF 3.459), 2015, Vol.13 (1)Springer
摘要:Abstract(#br) Background(#br)The important role of food and nutrition in public health is being increasingly recognized as crucial for its potential impact on health-related quality of life and the economy, both at the societal and individual levels. The prevalence of non-co...
作者:Alberto Carraro , Roberto Valente ...
来源:[J].Oxidative Medicine and Cellular Longevity(IF 3.393), 2014, Vol.2014DOAJ
摘要:Several studies have found that adherence to the Mediterranean Diet, including consumption of red wine, is associated with beneficial effects on oxidative and inflammatory conditions. We evaluate the outcome of consumption of a McDonald’s Meal (McD) and a Mediterranean Meal ...
作者:Alberto Carraro , Roberto Valente ...
来源:[J].Oxidative Medicine and Cellular Longevity(IF 3.393), 2014, Vol.2014Hindawi
摘要:Several studies have found that adherence to the Mediterranean Diet, including consumption of red wine, is associated with beneficial effects on oxidative and inflammatory conditions. We evaluate the outcome of consumption of a McDonald’s Meal (McD) and a Mediterranean Meal ...
作者:Alberto Carraro , Roberto Valente ...
来源:[J].Mediators of Inflammation(IF 3.882), 2015, Vol.2015Hindawi
摘要:Postprandial oxidative stress is characterized by an increased susceptibility of the organism towards oxidative damage after consumption of a meal rich in lipids and/or carbohydrates. Micronutrients modulate immune system and exert a protective action by reducing low density...
作者:Alberto Carraro , Thomas Ehrhard , Antonino Salibra
来源:[J].Electronic Proceedings in Theoretical Computer Science, 2013, Vol.113 (Proc. LS), pp.93-108DOAJ
摘要:We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without any restriction. Its type system enforce...
作者:Alberto Carraro
来源:[J].Electronic Proceedings in Theoretical Computer Science, 2013, Vol.113 (Proc. LS), pp.77-92DOAJ
摘要:The stack calculus is a functional language in which is in a Curry-Howard correspondence with classical logic. It enjoys confluence but, as well as Parigot's lambda-mu, does not admit the Bohm Theorem, typical of the lambda-calculus. We present a simple extension of stack calculu...
作者:Antonio Bucciarelli , Alberto Carraro , Antonino Salibra
来源:[J].Electronic Proceedings in Theoretical Computer Science, 2013, Vol.113 (Proc. LS), pp.61-76DOAJ
摘要:A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the least lambda-theory lambda-beta or the least sensible lambda-theory H (generated by equating all the unsolvable terms). A related que...
作者:Alberto Carraro , Daniela Minella ...
来源:[J].Food and Nutrition Sciences, 2014, Vol.05 (01), pp.79-88Scientific Research Publishing
摘要:The aim of this study is to apply the NutrientAnalysis Critical Control Point (NACCP) process to ensure that the highestnutrient levels in food can determine a beneficial effect on the health of theconsumer. The NACCP process involves a sequence of analysis and controls that...
作者:Alberto Carraro , Gianfranco Ciardo ...
来源:[J].Fundamenta Informaticae(IF 0.399), 2015, Vol.140 (1), pp.1-38IOS Press

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×