搜索页_+P.+Lenisa

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Elsevier电子期刊(34)

在“Elsevier电子期刊”中，命中：34条，耗时：0.0250257 秒

在所有数据库中总计命中：52条

1.Multigames and strategies, coalgebraically

作者：Marina Lenisa p>marina.lenisa@uniud.it" class="auth_mail" title="E-mail the corresponding authorp>

关键词：Coalgebras ; Games ; Game operations ; Coalgebraic strategies ; Categories of games and strategies

刊名：Theoretical Computer Science

出版年：2015

2.Usefulness of Acoustic Radiation Force Impulse (ARFI) in the assessment of liver fibrosis due to recurrent hepatitis C after liver transplantation

作者：D. Dissegna ; S. Bignulin ; D. Cappello ; I. Lenisa ; C. Vivarelli ; M. Fanzutti ; D. Bitetto ; F. Pugliese ; S. Cmet ; A. Cussigh ; E. Falleti ; C. Fabris ; P. Toniutto

刊名：Digestive and Liver Disease

出版年：February, 2014

3.F-03 Age and gender influence the achievement of SVR in chronic hepatitis C patients carrying favourable interleukin 28-B genotypes

作者：D. Dissegna ; A. Cussigh ; S. Cmet ; I. Lenisa ; D. Bitetto ; E. Falleti ; G. Fattovich ; E. Ceriani ; C. Fabris ; M. Pirisi ; P. Toniutto

刊名：Digestive and Liver Disease

出版年：2013

4.OC-19 Donor/recipient seven gene signature (cirrhosis risk score) and donor age as predictors of liver fibrosis progression due to hepatitis C recurrence after liver transplantation

作者：I. Lenisa ; M. Marcolongo ; J. Layden ; S. Cmet ; T. De Feo ; M. Mantovani ; D. Dissegna ; A. Cussigh ; D. Bitetto ; E. Falleti ; C. Fabris ; G. Piccolo ; A. Alberti ; P. Toniutto

刊名：Digestive and Liver Disease

出版年：2013

5.A type assignment system for game semantics

作者：Pietro Di Gianantonio ; Furio Honsell ; Marina Lenisa

关键词：Lambda-calculus ; Game semantics ; Type assignment system

刊名：Theoretical Computer Science

出版年：2008

6.Low conductance injection tubes for storage cell targets

作者：M. Stancari ; L. Barion ; M. Capiluppi ; G. Ciullo ; M. Contalbrigo ; P.F. Dalpiaz ; A. Drago ; P. Lenisa ; M. Statera ; E. Steffens ; M. Wang

关键词：Polarized nuclear targets ; Storage cells ; Spin structure of the nucleon

刊名：Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

出版年：2008

7.PG122 CIRCULAR STAPLED HAEMORRHOIDOPEXY IN THE TREATMENT OF HAEMORRHOIDAL PROLAPSE: HTA REPORT¡ªLOMBARDIA REGION, ITALY

作者：P Berto ; P Boccasanta ; L Bordoni ; L Lenisa ; S Lopatriello ; C Schivazappa

刊名：Value in Health

出版年：2009

8.PG123 STAPLED HAEMORRHOIDOPEXY IN THE TREATMENT OF HAEMORRHOIDAL PROLAPSE¡ªCOMPARISON OF HTA REPORTS, FOR TWO ITALIAN REGIONS

作者：P Berto ; S Lopatriello ; C Schivazappa ; F Benvenuti ; P Boccasanta ; L Bordoni ; L Lenisa ; G Naldini ; S Nepi ; A Todaro ; A Valeri

刊名：Value in Health

出版年：2009

9.A Framework for Defining Logical Frameworks

作者：Furio Honsell ; Marina Lenisa ; Luigi Liquori

关键词：Logical Framework ; Lambda calculus ; Pattern matching ; Dependent-type systems ; Logics

刊名：Electronic Notes in Theoretical Computer Science

出版年：2007

10.Some Properties and Some Problems on Set Functors

作者：Daniela Cancila ; Furio Honsell ; Marina Lenisa

关键词：category of sets ; set functor ; inclusion preserving functor ; κ ; -based functor ; κ ; -reachable functor ; functor uniform on maps ; final coalgebra

刊名：Electronic Notes in Theoretical Computer Science

出版年：2006

按检索点细分(34)

作者(34)

文摘(2)

按出版年细分(34)

2027年及以后(1)

2015年(1)

2013年(2)

2009年(2)

2008年(2)

2007年(1)

2006年(4)

2005年(3)

2004年(5)

2003年(1)

2002年(2)

2001年(1)

2000年(3)

2000年及以前(6)