skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Synthesising Programs with Non-trivial Constants
Synthesising Programs with Non-trivial Constants
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synthesising Programs with Non-trivial Constants

Abate, Alessandro ; Barbosa, Haniel ; Barrett, Clark ; David, Cristina ; Kesseli, Pascal ; Kroening, Daniel ; Polgreen, Elizabeth ; Reynolds, Andrew ; Tinelli, Cesare

Journal of automated reasoning, 2023-06, Vol.67 (2), p.19-19, Article 19 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
2
Surface patches from unorganized space curves
Surface patches from unorganized space curves
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Surface patches from unorganized space curves

Abbasinejad, Fatemeh ; Joshi, Pushkar ; Amenta, Nina

Proceedings of the twenty-eighth annual symposium on computational geometry, 2012, p.417-418

ACM

Texto completo disponível

Citações Citado por
3
Surface Patches from Unorganized Space Curves
Surface Patches from Unorganized Space Curves
Material Type:
Artigo 		Adicionar ao Meu Espaço

Surface Patches from Unorganized Space Curves

Abbasinejad, Fatemeh ; Joshi, Pushkar ; Amenta, Nina

Computer graphics forum, 2011-08, Vol.30 (5), p.1379-1387 [Periódico revisado por pares]

Oxford, UK: Blackwell Publishing Ltd

Texto completo disponível

Citações Citado por
4
Proof of the Achievability Conjectures for the General Stochastic Block Model
Proof of the Achievability Conjectures for the General Stochastic Block Model
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proof of the Achievability Conjectures for the General Stochastic Block Model

Abbe, Emmanuel ; Sandon, Colin

Communications on pure and applied mathematics, 2018-07, Vol.71 (7), p.1334-1406 [Periódico revisado por pares]

New York: John Wiley and Sons, Limited

Texto completo disponível

Citações Citado por
5
Adaptive mixed differential evolution algorithm for bi-objective tooth profile spur gear optimization
Adaptive mixed differential evolution algorithm for bi-objective tooth profile spur gear optimization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Adaptive mixed differential evolution algorithm for bi-objective tooth profile spur gear optimization

Abderazek, Hammoudi ; Ferhat, Djeddou ; Ivana, Atanasovska

International journal of advanced manufacturing technology, 2017-05, Vol.90 (5-8), p.2063-2073 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
6
A Multi-Part Orientation Planning Schema for Fabrication of Non-Related Components Using Additive Manufacturing
A Multi-Part Orientation Planning Schema for Fabrication of Non-Related Components Using Additive Manufacturing
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Multi-Part Orientation Planning Schema for Fabrication of Non-Related Components Using Additive Manufacturing

Abdulhameed, Osama ; Mian, Syed Hammad ; Moiduddin, Khaja ; Al-Ahmari, Abdulrahman ; Ahmed, Naveed ; Aboudaif, Mohamed K.

Micromachines (Basel), 2022-10, Vol.13 (10), p.1777 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

Citações Citado por
7
A Combinatorial Method for Topology Adaptations in 3D Deformable Models
A Combinatorial Method for Topology Adaptations in 3D Deformable Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Combinatorial Method for Topology Adaptations in 3D Deformable Models

Abhau, Jochen ; Scherzer, Otmar

International journal of computer vision, 2010-05, Vol.87 (3), p.304-315 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
8
A survey on search results diversification techniques
A survey on search results diversification techniques
Material Type:
Artigo 		Adicionar ao Meu Espaço

A survey on search results diversification techniques

Abid, Adnan ; Hussain, Naveed ; Abid, Kamran ; Ahmad, Farooq ; Farooq, Muhammad Shoaib ; Farooq, Uzma ; Khan, Sher Afzal ; Khan, Yaser Daanial ; Naeem, Muhammad Azhar ; Sabir, Nabeel

Neural computing & applications, 2016-07, Vol.27 (5), p.1207-1229 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
9
Element Partition Trees For H-Refined Meshes to Optimize Direct Solver Performance. Part I: Dynamic Programming
Element Partition Trees For H-Refined Meshes to Optimize Direct Solver Performance. Part I: Dynamic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Element Partition Trees For H-Refined Meshes to Optimize Direct Solver Performance. Part I: Dynamic Programming

Aboueisha, Hassan ; Calo, Victor Manuel ; Jopek, Konrad ; Moshkov, Mikhail ; Paszyńka, Anna ; Paszyński, Maciej ; Skotniczny, Marcin

International journal of applied mathematics and computer science, 2017-06, Vol.27 (2), p.351-365 [Periódico revisado por pares]

Zielona Góra: De Gruyter Open

Texto completo disponível

Citações Citado por
10
Manipulative and numerical spreadsheet templates for the study of discrete structures
Manipulative and numerical spreadsheet templates for the study of discrete structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Manipulative and numerical spreadsheet templates for the study of discrete structures

Abramovich, Sergei

International journal of mathematical education in science and technology, 1998-03, Vol.29 (2), p.233-252 [Periódico revisado por pares]

Taylor & Francis Group

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (2.054)
  2. Anais de Congresso  (279)
  3. Book Chapters  (113)
  4. Livros  (89)
  5. Verbetes  (20)
  6. magazinearticle  (20)
  7. Resenhas  (6)
  8. Reports  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1977  (15)
  2. 1977Até1987  (42)
  3. 1988Até1998  (158)
  4. 1999Até2010  (614)
  5. Após 2010  (1.791)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.570)
  2. Japonês  (177)
  3. Alemão  (9)
  4. Espanhol  (4)
  5. Francês  (3)
  6. Português  (3)
  7. Chinês  (2)
  8. Russo  (1)
  9. Turco  (1)
  10. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.