E-LIB Suche - Ergebnisse für: Quaresma, Pedro

1

Proof exploration using dynamic geometry systems with integ..:

Quaresma, Pedro ; Santos, Vanda ; Teles, Joana
International Journal of Mathematical Education in Science and Technology. , 2024

Link: https://doi.org/10.1080/..

2

Towards a geometry deductive database prover:

Baeta, Nuno ; Quaresma, Pedro
Annals of Mathematics and Artificial Intelligence. 91 (2023) 6 - p. 851-863 , 2023

Link: https://doi.org/10.1007/..

3

Measuring the Readability of Geometric Proofs: The Area Met..:

Quaresma, Pedro ; Graziani, Pierluigi
Journal of Automated Reasoning. 67 (2023) 1 - p. , 2023

Link: https://doi.org/10.1007/..

4

Evolution of Automated Deduction and Dynamic Constructions ..:

, In: Mathematics Education in the Age of Artificial Intelligence; Mathematics Education in the Digital Era,

Quaresma, Pedro - p. 3-22 , 2022

Link: https://doi.org/10.1007/..

5

Integrative Energy-Water Audits in Public Buildings:

, In: Advances in Science, Technology & Innovation; Water-Energy-Nexus in the Ecological Transition,

Poças, Ana ; Delgado, Emanuel ; Spencer, Silvino... - p. 73-75 , 2022

Link: https://doi.org/10.1007/..

6

Fe3O4-Au Core-Shell Nanoparticles as a Multimodal Platform ..:

Caro, Carlos ; Gámez, Francisco ; Quaresma, Pedro...
Pharmaceutics. 13 (2021) 3 - p. 416 , 2021

Link: https://doi.org/10.3390/..

7

Bioimpedance Vector Patterns Changes in Response to Swimmin..:

Reis, Joana F. ; Matias, Catarina N. ; Campa, Francesco...
International Journal of Environmental Research and Public Health. 17 (2020) 13 - p. 4851 , 2020

Link: https://doi.org/10.3390/..

8

Taxonomies of geometric problems:

Quaresma, Pedro ; Santos, Vanda ; Graziani, Pierluigi.
Journal of Symbolic Computation. 97 (2020) - p. 31-55 , 2020

Link: https://doi.org/10.1016/..

9

Automated Deduction and Knowledge Management in Geometry:

Quaresma, Pedro
Mathematics in Computer Science. 14 (2020) 4 - p. 673-692 , 2020

Link: https://doi.org/10.1007/..

10

Synthesis and Characterization of Elongated-Shaped Silver N..:

Caro, Carlos ; Quaresma, Pedro ; Pereira, Eulália...
Nanomaterials. 9 (2019) 2 - p. 256 , 2019

Link: https://doi.org/10.3390/..

11

Green synthesis of silver nanoparticles using the seaweed G..:

de Aragão, Anderson Passos ; de Oliveira, Taiane Maria ; Quelemes, Patrick Veras...
Arabian Journal of Chemistry. 12 (2019) 8 - p. 4182-4188 , 2019

Link: https://doi.org/10.1016/..

12

Computer-Generated Geometry Proofs in a Learning Context:

, In: Proof Technology in Mathematics Research and Teaching; Mathematics Education in the Digital Era,

Quaresma, Pedro ; Santos, Vanda - p. 237-253 , 2019

Link: https://doi.org/10.1007/..

13

Automatic Deduction in an AI Geometry Book:

, In: Artificial Intelligence and Symbolic Computation; Lecture Notes in Computer Science,

Quaresma, Pedro - p. 221-226 , 2018

Link: https://doi.org/10.1007/..

14

Measurement of adsorption constants of laccase on gold nano..:

Peixoto de Almeida, Miguel ; Quaresma, Pedro ; Sousa, Susana...
Physical Chemistry Chemical Physics. 20 (2018) 24 - p. 16761-16769 , 2018

Link: https://doi.org/10.1039/..

15

Proceedings of the 12th Workshop on User Interfaces for The..

Coimbra, Portugal, 2nd July 2016 EPTCS ; 239

Autexier, Serge ; Quaresma, Pedro , 24th January 2017

Link: https://doi.org/10.4204/..