skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: EZB Free E-Journals remover assunto: Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Cardiovascular fluid dynamics: a journey through our circulation
Material Type:
Artigo
Adicionar ao Meu Espaço

Cardiovascular fluid dynamics: a journey through our circulation

Menon, Karthik ; Hu, Zinan ; Marsden, Alison L.

Flow (Cambridge, England), 2024-05, Vol.4, Article E7 [Periódico revisado por pares]

Cambridge: Cambridge University Press

Texto completo disponível

2
Femtosecond Laser Cutting of Human Crystalline Lens Capsule and Decellularization for Corneal Endothelial Bioengineering
Material Type:
Artigo
Adicionar ao Meu Espaço

Femtosecond Laser Cutting of Human Crystalline Lens Capsule and Decellularization for Corneal Endothelial Bioengineering

Ben Moussa, Olfa ; Parveau, Louise ; Aouimeur, Inès ; Egaud, Grégory ; Maurin, Corantin ; Fraine, Sofiane ; Urbaniak, Sébastien ; Perrache, Chantal ; He, Zhiguo ; Xxx, Sedao ; Dorado Cortez, Oliver ; Poinard, Sylvain ; Mauclair, Cyril ; Gain, Philippe ; Thuret, Gilles

Bioengineering (Basel), 2024-03, Vol.11 (3), p.255 [Periódico revisado por pares]

Switzerland: MDPI AG

Texto completo disponível

3
Polarization-Dependent Anisotropy of LIPSSs' Morphology Evolution on a Single-Crystal Silicon Surface
Material Type:
Artigo
Adicionar ao Meu Espaço

Polarization-Dependent Anisotropy of LIPSSs' Morphology Evolution on a Single-Crystal Silicon Surface

Liu, Mengting ; Lu, Baole ; Lv, Jing ; Wang, Jiang ; Li, Chen ; Zhang, Guodong ; Bai, Jintao ; Stoian, Razvan ; Cheng, Guanghua

Micromachines (Basel), 2024-01, Vol.15 (2), p.200 [Periódico revisado por pares]

Switzerland: MDPI AG

Texto completo disponível

4
Studies on power plant alga for lipid production and assessment of growth kinetics under photo-heterotrophic growth
Material Type:
Artigo
Adicionar ao Meu Espaço

Studies on power plant alga for lipid production and assessment of growth kinetics under photo-heterotrophic growth

Nath, Kaustav ; Das, Sumona ; Chowdhury, Ranjana

Sadhana (Bangalore), 2024-01, Vol.49 (1), Article 23 [Periódico revisado por pares]

New Delhi: Springer India

Texto completo disponível

5
Internal and Observational Parametricity for Cubical Agda
Material Type:
Artigo
Adicionar ao Meu Espaço

Internal and Observational Parametricity for Cubical Agda

Van Muylder, Antoine ; Nuyts, Andreas ; Devriese, Dominique

Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.209-240, Article 8 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

6
Ill-Typed Programs Don’t Evaluate
Material Type:
Artigo
Adicionar ao Meu Espaço

Ill-Typed Programs Don’t Evaluate

Ramsay, Steven ; Walpole, Charlie

Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.2010-2040, Article 67 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

7
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
Material Type:
Artigo
Adicionar ao Meu Espaço

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

Wei, Guannan ; Bračevac, Oliver ; Jia, Songlin ; Bao, Yuyan ; Rompf, Tiark

Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.393-424, Article 14 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

8
Salicylic acid enhances cell growth, fatty acid and astaxanthin production in heterotrophic Chromochloris zofingiensis without reactive oxygen species elevation
Material Type:
Artigo
Adicionar ao Meu Espaço

Salicylic acid enhances cell growth, fatty acid and astaxanthin production in heterotrophic Chromochloris zofingiensis without reactive oxygen species elevation

Zhang, Xinwei ; Zhang, Zhao ; Peng, Yanmei ; Zhang, Yushu ; Li, Qingyang ; Sun, Dongzhe

Biotechnology for biofuels, 2024-01, Vol.17 (1), p.1-1, Article 1 [Periódico revisado por pares]

England: BioMed Central Ltd

Texto completo disponível

9
A Strong Bisimulation for a Classical Term Calculus
Material Type:
Artigo
Adicionar ao Meu Espaço

A Strong Bisimulation for a Classical Term Calculus

Bonelli, Eduardo ; Kesner, Delia ; Viso, Andrés

Logical methods in computer science, 2024-01, Vol.20, Issue 2 [Periódico revisado por pares]

Texto completo disponível

10
Galois connecting call-by-value and call-by-name
Material Type:
Artigo
Adicionar ao Meu Espaço

Galois connecting call-by-value and call-by-name

McDermott, Dylan ; Mycroft, Alan

Logical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (455)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (507)
  2. Anais de Congresso  (18)
  3. magazinearticle  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1991  (22)
  2. 1991Até1998  (48)
  3. 1999Até2006  (80)
  4. 2007Até2015  (126)
  5. Após 2015  (251)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (524)
  2. Japonês  (34)
  3. Alemão  (3)
  4. Português  (1)
  5. Chinês  (1)
  6. Francês  (1)
  7. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.