Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
InnovationRamsden Jeremy JApplied Nanotechnology - The Conversion of Research Results to Products, 2018, p.1-4ElsevierTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
InnovationRamsden Jeremy JApplied Nanotechnology - The Conversion of Research Results to Products, 2009, p.1-5ElsevierTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-ConquerHeule, 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 PublishingTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Carbon nanotubes as substrates/scaffolds for neural cell growthLee, William ; Parpura, VladimirProgress in Brain Research, 2009, Vol.180, p.110-125 [Periódico revisado por pares]Elsevier Science & TechnologyTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Verification of Markov Decision Processes Using Learning AlgorithmsBrázdil, Tomáš ; Chatterjee, Krishnendu ; Chmelík, Martin ; Forejt, Vojtěch ; Křetínský, Jan ; Kwiatkowska, Marta ; Parker, David ; Ujma, MateuszAutomated Technology for Verification and Analysis, p.98-114 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Inductive Learning of Answer Set ProgramsLaw, Mark ; Russo, Alessandra ; Broda, KrysiaLogics in Artificial Intelligence, p.311-325 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
The SeaHorn Verification FrameworkGurfinkel, Arie ; Kahsai, Temesghen ; Komuravelli, Anvesh ; Navas, Jorge A.Computer Aided Verification, p.343-361 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Termination Analysis of Probabilistic Programs Through Positivstellensatz’sChatterjee, Krishnendu ; Fu, Hongfei ; Goharshady, Amir KafshdarComputer Aided Verification, p.3-22 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Automata-Based Model Counting for String ConstraintsAydin, Abdulbaki ; Bang, Lucas ; Bultan, TevfikComputer Aided Verification, p.255-272 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Histamine H3 and H4 receptors modulate Parkinson's disease induced brain pathology. Neuroprotective effects of nanowired BF-2649 and clobenpropit with anti-histamine-antibody therapySharma, 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 ShankerProgress in brain research, 2021, Vol.266, p.1-73 [Periódico revisado por pares]Texto completo disponível |