skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Expectation Invariants for Probabilistic Program Loops as Fixed Points
Expectation Invariants for Probabilistic Program Loops as Fixed Points
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Expectation Invariants for Probabilistic Program Loops as Fixed Points

Chakarov, Aleksandar ; Sankaranarayanan, Sriram

Static Analysis, p.85-100 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
12
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Relevant Closure: A New Form of Defeasible Reasoning for Description Logics

Casini, Giovanni ; Meyer, Thomas ; Moodley, Kodylan ; Nortjé, Riku

Logics in Artificial Intelligence, p.92-106 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
13
Alzheimer's disease neuropathology is exacerbated following traumatic brain injury. Neuroprotection by co-administration of nanowired mesenchymal stem cells and cerebrolysin with monoclonal antibodies to amyloid beta peptide
Alzheimer's disease neuropathology is exacerbated following traumatic brain injury. Neuroprotection by co-administration of nanowired mesenchymal stem cells and cerebrolysin with monoclonal antibodies to amyloid beta peptide
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Alzheimer's disease neuropathology is exacerbated following traumatic brain injury. Neuroprotection by co-administration of nanowired mesenchymal stem cells and cerebrolysin with monoclonal antibodies to amyloid beta peptide

Sharma, Hari Shanker ; Muresanu, Dafin F ; Castellani, Rudy J ; Nozari, Ala ; Lafuente, José Vicente ; Buzoianu, Anca D ; Sahib, Seaab ; Tian, Z Ryan ; Bryukhovetskiy, Igor ; Manzhulo, Igor ; Menon, Preeti K ; Patnaik, Ranjana ; Wiklund, Lars ; Sharma, Aruna

Nanomedicine and neuroprotection in brain diseases, 2021, Vol.265, p.1-97 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
14
Nanodelivery of oxiracetam enhances memory, functional recovery and induces neuroprotection following concussive head injury
Nanodelivery of oxiracetam enhances memory, functional recovery and induces neuroprotection following concussive head injury
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Nanodelivery of oxiracetam enhances memory, functional recovery and induces neuroprotection following concussive head injury

Niu, Feng ; Sharma, Aruna ; Wang, Zhenguo ; Feng, Lianyuan ; Muresanu, Dafin F ; Sahib, Seaab ; Tian, Z Ryan ; Lafuente, José Vicente ; Buzoianu, Anca D ; Castellani, Rudy J ; Nozari, Ala ; Menon, Preeti K ; Patnaik, Ranjana ; Wiklund, Lars ; Sharma, Hari Shanker

Nanomedicine and Neuroprotection in Brain Diseases, 2021, Vol.265, p.139-230 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
15
Topical application of CNTF, GDNF and BDNF in combination attenuates blood-spinal cord barrier permeability, edema formation, hemeoxygenase-2 upregulation, and cord pathology
Topical application of CNTF, GDNF and BDNF in combination attenuates blood-spinal cord barrier permeability, edema formation, hemeoxygenase-2 upregulation, and cord pathology
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Topical application of CNTF, GDNF and BDNF in combination attenuates blood-spinal cord barrier permeability, edema formation, hemeoxygenase-2 upregulation, and cord pathology

Sharma, Aruna ; Feng, Lianyuan ; Muresanu, Dafin F ; Huang, Hongyun ; Menon, Preeti K ; Sahib, Seaab ; Ryan Tian, Z ; Lafuente, José Vicente ; Buzoianu, Anca D ; Castellani, Rudy J ; Nozari, Ala ; Wiklund, Lars ; Sharma, Hari Shanker

Progress in brain research, 2021, Vol.266, p.357-376 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
16
A Decision Tree Abstract Domain for Proving Conditional Termination
A Decision Tree Abstract Domain for Proving Conditional Termination
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Decision Tree Abstract Domain for Proving Conditional Termination

Urban, Caterina ; Miné, Antoine

Static Analysis, p.302-318 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
17
Recommender Systems and Linked Open Data
Recommender Systems and Linked Open Data
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Recommender Systems and Linked Open Data

Faber, Wolfgang ; Paschke, Adrian

Reasoning Web. Web Logic Rules, 2015, Vol.9203, p.88-113 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
18
Horn Clause Solvers for Program Verification
Horn Clause Solvers for Program Verification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Horn Clause Solvers for Program Verification

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.24-51 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
19
Nanodelivery of traditional Chinese Gingko Biloba extract EGb-761 and bilobalide BN-52021 induces superior neuroprotective effects on pathophysiology of heat stroke
Nanodelivery of traditional Chinese Gingko Biloba extract EGb-761 and bilobalide BN-52021 induces superior neuroprotective effects on pathophysiology of heat stroke
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Nanodelivery of traditional Chinese Gingko Biloba extract EGb-761 and bilobalide BN-52021 induces superior neuroprotective effects on pathophysiology of heat stroke

Sahib, Seaab ; Sharma, Aruna ; Muresanu, Dafin F ; Zhang, Zhiqiang ; Li, Cong ; Tian, Z Ryan ; Buzoianu, Anca D ; Lafuente, José Vicente ; Castellani, Rudy J ; Nozari, Ala ; Patnaik, Ranjana ; Menon, Preeti K ; Wiklund, Lars ; Sharma, Hari Shanker

NANOMEDICINE AND NEUROPROTECTION IN BRAIN DISEASES, 2021, Vol.265, p.249-315 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
20
BigraphER: Rewriting and Analysis Engine for Bigraphs
BigraphER: Rewriting and Analysis Engine for Bigraphs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

BigraphER: Rewriting and Analysis Engine for Bigraphs

Sevegnani, Michele ; Calder, Muffy

Computer Aided Verification, p.494-501 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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 (1.785)

Data de Publicação 

De até
Refinar
  1. Antes de2006  (299)
  2. 2006Até2009  (963)
  3. 2010Até2013  (2.848)
  4. 2014Até2018  (6.534)
  5. Após 2018  (1.955)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (151)
  2. Espanhol  (3)
  3. Norueguês  (1)
  4. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.