Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Cardiovascular fluid dynamics: a journey through our circulationMenon, Karthik ; Hu, Zinan ; Marsden, Alison L.Flow (Cambridge, England), 2024-05, Vol.4, Article E7 [Periódico revisado por pares]Cambridge: Cambridge University PressTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Femtosecond Laser Cutting of Human Crystalline Lens Capsule and Decellularization for Corneal Endothelial BioengineeringBen 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, GillesBioengineering (Basel), 2024-03, Vol.11 (3), p.255 [Periódico revisado por pares]Switzerland: MDPI AGTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Polarization-Dependent Anisotropy of LIPSSs' Morphology Evolution on a Single-Crystal Silicon SurfaceLiu, Mengting ; Lu, Baole ; Lv, Jing ; Wang, Jiang ; Li, Chen ; Zhang, Guodong ; Bai, Jintao ; Stoian, Razvan ; Cheng, GuanghuaMicromachines (Basel), 2024-01, Vol.15 (2), p.200 [Periódico revisado por pares]Switzerland: MDPI AGTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Studies on power plant alga for lipid production and assessment of growth kinetics under photo-heterotrophic growthNath, Kaustav ; Das, Sumona ; Chowdhury, RanjanaSadhana (Bangalore), 2024-01, Vol.49 (1), Article 23 [Periódico revisado por pares]New Delhi: Springer IndiaTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Internal and Observational Parametricity for Cubical AgdaVan Muylder, Antoine ; Nuyts, Andreas ; Devriese, DominiqueProceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.209-240, Article 8 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Ill-Typed Programs Don’t EvaluateRamsay, Steven ; Walpole, CharlieProceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.2010-2040, Article 67 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic ProgramsWei, Guannan ; Bračevac, Oliver ; Jia, Songlin ; Bao, Yuyan ; Rompf, TiarkProceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.393-424, Article 14 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Salicylic acid enhances cell growth, fatty acid and astaxanthin production in heterotrophic Chromochloris zofingiensis without reactive oxygen species elevationZhang, Xinwei ; Zhang, Zhao ; Peng, Yanmei ; Zhang, Yushu ; Li, Qingyang ; Sun, DongzheBiotechnology for biofuels, 2024-01, Vol.17 (1), p.1-1, Article 1 [Periódico revisado por pares]England: BioMed Central LtdTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
A Strong Bisimulation for a Classical Term CalculusBonelli, Eduardo ; Kesner, Delia ; Viso, AndrésLogical methods in computer science, 2024-01, Vol.20, Issue 2 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Galois connecting call-by-value and call-by-nameMcDermott, Dylan ; Mycroft, AlanLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |