搜索页_ Ana Oliveira…

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

Wiley电子期刊(153)	SpringerLink电子期刊(2950)	NATURE电子期刊(40)	Elsevier电子期刊(13743)
Springer电子图书(14)	ProQuest学位论文(16)	GSW全文库(15)	ACS电子期刊(300)

在“SpringerLink电子期刊”中，命中：2,950条，耗时：0.1299391 秒

在所有数据库中总计命中：17,231条

1. Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System

作者： Ana Cristina Rocha-Oliveira ; André Luiz Galdino…

关键词：Term rewriting system ; Confluence ; Orthogonality ; Left ; linearity ; Non ; ambiguity ; Critical pairs ; Non ; termination

刊名：Journal of Automated Reasoning

出版年：2017

2. Exploring the power of yeast to model aging and age-related neurodegenerative disorders

作者： Ana V. Oliveira ; Rita Vilaça ; Cláudia N. Santos ; Vítor Costa…

关键词：Aging ; Neurodegenerative diseases ; Yeast models ; Parkinson’s disease ; Alzheimer’s disease ; Calorie restriction

刊名：Biogerontology

出版年：2017

3. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

4. Elastoplastic Finite Element analysis of masonry shear walls

作者： H. Orhun Koksal ; Bilge Doran ; A. Osman Kuruscu…

关键词：masonry wall ; finite element analysis ; plasticity ; load ; displacement curves ; Drucker ; Prager criterion

刊名：KSCE Journal of Civil Engineering

出版年：2016

5. Vanishing Carleson Measures Associated with Families of Multilinear Operators

作者： Yong Ding ; Ting Mei

关键词：Vanishing Carleson measure ; Multilinear operator ; Paraproduct ; Compactness ; CMO(\(\mathbb {R}^{n}\) ; )

刊名：Journal of Geometric Analysis

出版年：2016

6. Monomorphous Plurihormonal Pituitary Adenoma of Pit-1 Lineage in a Giant Adolescent with Central Hyperthyroidism

作者： Bernardo Dias Pereira ; Luísa Raimundo ; Ozgur Mete ; Ana Oliveira…

关键词：Adolescent ; Gigantism ; Hyperthyroidism ; Pituitary tumors

刊名：Endocrine Pathology

出版年：2016

7. Optimization of Temperature, Relative Humidity and Storage Time before and after Packaging of Baby Spinach Leaves Using Response Surface Methodology

作者： Ana Oliveira ; Pedro M. Castro ; Ana L. Amaro…

关键词：Ready ; to ; eat ; Relative humidity ; Spinacia oleracea L ; Storage ; Temperature

刊名：Food and Bioprocess Technology

出版年：2016

8. Characterization and genome sequencing of a Citrobacter freundii phage CfP1 harboring a lysin active against multidrug-resistant isolates

作者： Hugo Oliveira ; Graça Pinto ; Ana Oliveira…

关键词：Bacteriophages ; Phage lysins ; Therapy ; Gram ; negative bacteria ; Antibiotic resistances

刊名：Applied Microbiology and Biotechnology

出版年：2016

9. An integrative approach identifies a new species of bumblebee (Hymenoptera: Apidae: Bombini) from northeastern Brazil

作者： Elaine Françoso ; Favízia Freitas de Oliveira ; Maria Cristina Arias

关键词：Bumblebee ; Bombus sp. nov. ; DNA barcoding ; nuclear markers ; traditional taxonomy

刊名：Apidologie

出版年：2016

10. Erratum to: Potassium urinary excretion and dietary intake: a cross-sectional analysis in 8–10 year-old children

作者： Ana Catarina Oliveira ; Patrícia Padrão ; André Moreira ; Mariana Pinto…

刊名：BMC Pediatrics

出版年：2016

按检索点细分(2950)

题名(1)

作者(642)

文摘(20)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700