skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: DOAJ Directory of Open Access Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A coherent differential PCF
A coherent differential PCF
Material Type:
Artigo 		Adicionar ao Meu Espaço

A coherent differential PCF

Ehrhard, Thomas

Logical methods in computer science, 2023-10, Vol.19, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
2
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers

Hamana, Makoto

Logical methods in computer science, 2022-06, Vol.18, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
Upon the Haskell support for the web applications development
Upon the Haskell support for the web applications development
Material Type:
Artigo 		Adicionar ao Meu Espaço

Upon the Haskell support for the web applications development

Vasilescu, Anca

Analele ştiinţifice ale Universităţii "Ovidius" Constanţa. Seria Matematică, 2015-01, Vol.23 (1), p.277-290 [Periódico revisado por pares]

De Gruyter Open

Texto completo disponível

Citações Citado por
4
Sharing analysis in the Pawns compiler
Sharing analysis in the Pawns compiler
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sharing analysis in the Pawns compiler

Naish, Lee

PeerJ. Computer science, 2015-09, Vol.1, p.e22 [Periódico revisado por pares]

San Diego: PeerJ. Ltd

Texto completo disponível

Citações Citado por
5
A review of spline function procedures in R
A review of spline function procedures in R
Material Type:
Artigo 		Adicionar ao Meu Espaço

A review of spline function procedures in R

Perperoglou, Aris ; Sauerbrei, Willi ; Abrahamowicz, Michal ; Schmid, Matthias

BMC medical research methodology, 2019-03, Vol.19 (1), p.46-46, Article 46 [Periódico revisado por pares]

England: BioMed Central Ltd

Texto completo disponível

Citações Citado por
6
FuncADL: Functional Analysis Description Language
FuncADL: Functional Analysis Description Language
Material Type:
Artigo 		Adicionar ao Meu Espaço

FuncADL: Functional Analysis Description Language

Proffitt, Mason ; Watts, Gordon Roiser, S. ; Stewart, G.A. ; Campana, S. ; Rovelli, C.I. ; Biscarat, C. ; Hegner, B.

EPJ Web of Conferences, 2021, Vol.251, p.3068 [Periódico revisado por pares]

Les Ulis: EDP Sciences

Texto completo disponível

Citações Citado por
7
Targeted classification of metal-organic frameworks in the Cambridge structural database (CSD)
Targeted classification of metal-organic frameworks in the Cambridge structural database (CSD)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Targeted classification of metal-organic frameworks in the Cambridge structural database (CSD)

Moghadam, Peyman Z ; Li, Aurelia ; Liu, Xiao-Wei ; Bueno-Perez, Rocio ; Wang, Shu-Dong ; Wiggin, Seth B ; Wood, Peter A ; Fairen-Jimenez, David

Chemical science (Cambridge), 2020-08, Vol.11 (32), p.8373-8387 [Periódico revisado por pares]

England: Royal Society of Chemistry

Texto completo disponível

Citações Citado por
8
Implementation of Go language to calculate ground state energy of atoms based on Density Functional Theory (DFT)
Implementation of Go language to calculate ground state energy of atoms based on Density Functional Theory (DFT)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Implementation of Go language to calculate ground state energy of atoms based on Density Functional Theory (DFT)

Gita Arisha, Lafitiara ; Alfianto, Enggar ; Rusydi, Febdian

Journal of physics. Conference series, 2020-01, Vol.1445 (1), p.12006 [Periódico revisado por pares]

Bristol: IOP Publishing

Texto completo disponível

Citações Citado por
9
Automatic Multi-functional Integration Program (AMFIP) towards all-optical mechano-electrophysiology interrogation
Automatic Multi-functional Integration Program (AMFIP) towards all-optical mechano-electrophysiology interrogation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automatic Multi-functional Integration Program (AMFIP) towards all-optical mechano-electrophysiology interrogation

Luo, Qin ; Zhang, Justin ; Huang, Miao ; Lin, Gaoming ; Tanaka, Mai ; Lepler, Sharon ; Guan, Juan ; Siemann, Dietmar ; Tang, Xin Dhaka, Mahendra Singh

PloS one, 2022-07, Vol.17 (7), p.e0266098-e0266098 [Periódico revisado por pares]

San Francisco: Public Library of Science

Texto completo disponível

Citações Citado por
10
Statistical analysis of C-H activation by oxo complexes supports diverse thermodynamic control over reactivity
Statistical analysis of C-H activation by oxo complexes supports diverse thermodynamic control over reactivity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Statistical analysis of C-H activation by oxo complexes supports diverse thermodynamic control over reactivity

Schneider, Joseph E ; Goetz, McKenna K ; Anderson, John S

Chemical science (Cambridge), 2021-01, Vol.12 (11), p.4173-4183 [Periódico revisado por pares]

England: Royal Society of Chemistry

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 (93)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (94)
  2. Anais de Congresso  (1)
  3. Resenhas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2005  (4)
  2. 2005Até2010  (8)
  3. 2011Até2014  (15)
  4. 2015Até2019  (34)
  5. Após 2019  (36)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (95)
  2. Japonês  (10)
  3. Português  (1)
  4. Russo  (1)
  5. Espanhol  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.