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
Resultados 1 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
1
Innovation
Innovation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Innovation

Ramsden Jeremy J

Applied Nanotechnology - The Conversion of Research Results to Products, 2018, p.1-4

Elsevier

Texto completo disponível

Citações Citado por
2
Innovation
Innovation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Innovation

Ramsden Jeremy J

Applied Nanotechnology - The Conversion of Research Results to Products, 2009, p.1-5

Elsevier

Texto completo disponível

Citações Citado por
3
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

Heule, Marijn J. H. ; Kullmann, Oliver ; Marek, Victor W.

Theory and Applications of Satisfiability Testing – SAT 2016, p.228-245 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
Verification of Markov Decision Processes Using Learning Algorithms
Verification of Markov Decision Processes Using Learning Algorithms
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Verification of Markov Decision Processes Using Learning Algorithms

Brázdil, Tomáš ; Chatterjee, Krishnendu ; Chmelík, Martin ; Forejt, Vojtěch ; Křetínský, Jan ; Kwiatkowska, Marta ; Parker, David ; Ujma, Mateusz

Automated Technology for Verification and Analysis, p.98-114 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Inductive Learning of Answer Set Programs
Inductive Learning of Answer Set Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Inductive Learning of Answer Set Programs

Law, Mark ; Russo, Alessandra ; Broda, Krysia

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

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
The SeaHorn Verification Framework
The SeaHorn Verification Framework
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The SeaHorn Verification Framework

Gurfinkel, Arie ; Kahsai, Temesghen ; Komuravelli, Anvesh ; Navas, Jorge A.

Computer Aided Verification, p.343-361 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Termination Analysis of Probabilistic Programs Through Positivstellensatz’s
Termination Analysis of Probabilistic Programs Through Positivstellensatz’s
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Termination Analysis of Probabilistic Programs Through Positivstellensatz’s

Chatterjee, Krishnendu ; Fu, Hongfei ; Goharshady, Amir Kafshdar

Computer Aided Verification, p.3-22 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
Histamine H3 and H4 receptors modulate Parkinson's disease induced brain pathology. Neuroprotective effects of nanowired BF-2649 and clobenpropit with anti-histamine-antibody therapy
Histamine H3 and H4 receptors modulate Parkinson's disease induced brain pathology. Neuroprotective effects of nanowired BF-2649 and clobenpropit with anti-histamine-antibody therapy
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Histamine H3 and H4 receptors modulate Parkinson's disease induced brain pathology. Neuroprotective effects of nanowired BF-2649 and clobenpropit with anti-histamine-antibody therapy

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

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

Texto completo disponível

Citações Citado por
9
Automata-Based Model Counting for String Constraints
Automata-Based Model Counting for String Constraints
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automata-Based Model Counting for String Constraints

Aydin, Abdulbaki ; Bang, Lucas ; Bultan, Tevfik

Computer Aided Verification, p.255-272 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
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
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 (1.510)

Data de Publicação 

De até
Refinar
  1. Antes de2006  (302)
  2. 2006Até2009  (969)
  3. 2010Até2013  (2.823)
  4. 2014Até2018  (6.344)
  5. Após 2018  (1.968)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (142)
  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.