skip to main content
Idioma:

Resultados de 1 a 10 de 1.799.117  para Busca Geral

Ordenado por: Ordenado por: Data mais recenteOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
3D CHANGE DETECTION FOR SEMI-AUTOMATIC UPDATE OF BUILDINGS IN 3D CITY MODELS
3D CHANGE DETECTION FOR SEMI-AUTOMATIC UPDATE OF BUILDINGS IN 3D CITY MODELS
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

3D CHANGE DETECTION FOR SEMI-AUTOMATIC UPDATE OF BUILDINGS IN 3D CITY MODELS

Tamort, A ; Kharroubi, A ; Hajji, R ; Billen, R

International archives of the photogrammetry, remote sensing and spatial information sciences., 2024, Vol.XLVIII-4/W9-2024, p.349-355 [Periódico revisado por pares]

Gottingen: Copernicus GmbH

Texto completo disponível

Citações Citado por
2
A comparative study of frames and narratives identified within scientific press releases on ocean climate change and ocean plastic
A comparative study of frames and narratives identified within scientific press releases on ocean climate change and ocean plastic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A comparative study of frames and narratives identified within scientific press releases on ocean climate change and ocean plastic

Vonk, Aike ; Bos, Mark ; van Sebille, Erik

2024

Texto completo disponível

Citações Citado por
3
Towards Automatic Transformations of Coq Proof Scripts
Towards Automatic Transformations of Coq Proof Scripts
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards Automatic Transformations of Coq Proof Scripts

Magaud, Nicolas

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.4-10

Texto completo disponível

Citações Citado por
4
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery

Hota, Amela ; Kovács, Zoltán ; Vujic, Alexander

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.110-123

Texto completo disponível

Citações Citado por
5
Open Source Prover in the Attic
Open Source Prover in the Attic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Open Source Prover in the Attic

Kovács, Zoltán ; Vujic, Alexander

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.53-61

Texto completo disponível

Citações Citado por
6
Theorem Discovery Amongst Cyclic Polygons
Theorem Discovery Amongst Cyclic Polygons
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Theorem Discovery Amongst Cyclic Polygons

Todd, Philip

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.153-164

Texto completo disponível

Citações Citado por
7
Using Java Geometry Expert as Guide in the Preparations for Math Contests
Using Java Geometry Expert as Guide in the Preparations for Math Contests
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using Java Geometry Expert as Guide in the Preparations for Math Contests

Ganglmayr, Ines ; Kovács, Zoltán

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.124-131

Texto completo disponível

Citações Citado por
8
Improving Angular Speed Uniformity by Piecewise Radical Reparameterization
Improving Angular Speed Uniformity by Piecewise Radical Reparameterization
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Improving Angular Speed Uniformity by Piecewise Radical Reparameterization

Hong, Hoon ; Wang, Dongming ; Yang, Jing

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.165-178

Texto completo disponível

Citações Citado por
9
Showing Proofs, Assessing Difficulty with GeoGebra Discovery
Showing Proofs, Assessing Difficulty with GeoGebra Discovery
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Showing Proofs, Assessing Difficulty with GeoGebra Discovery

Kovács, Zoltán ; Recio, Tomás ; Vélez, M. Pilar

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.43-52

Texto completo disponível

Citações Citado por
10
Using GXWeb for Theorem Proving and Mathematical Modelling
Using GXWeb for Theorem Proving and Mathematical Modelling
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using GXWeb for Theorem Proving and Mathematical Modelling

Todd, Philip ; Aley, Danny

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.38-42

Texto completo disponível

Citações Citado por

Resultados de 1 a 10 de 1.799.117  para Busca Geral

Ordenado por: Ordenado por: Data mais recenteOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1.799.118)
  2. Revistas revisadas por pares (307.846)

Data de Publicação 

De até
Refinar
  1. Antes de1984  (342)
  2. 1984Até1993  (84.572)
  3. 1994Até2003  (474.466)
  4. 2004Até2014  (966.965)
  5. Após 2014  (315.655)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.799.030)
  2. Japonês  (34.253)
  3. Chinês  (3.619)
  4. Russo  (2.511)
  5. Espanhol  (1.199)
  6. Turco  (702)
  7. Português  (659)
  8. Francês  (378)
  9. Alemão  (223)
  10. Italiano  (197)
  11. Serbian  (130)
  12. Norueguês  (107)
  13. Eslovaco  (29)
  14. Croatian  (28)
  15. Árabe  (16)
  16. Catalão  (15)
  17. Sueco  (12)
  18. Galês  (11)
  19. Ucraniano  (6)
  20. Dinamarquês  (4)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.