Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Using Synchronic Definitions and Semantic Relations to Classify Semantic Change TypesCassotti, Pierluigi ; De Pascale, Stefano ; Tahmasebi, NinaarXiv.org, 2024Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
The ReD experiment for low-energy nuclear recoils in a liquid argon TPCPino, N ; Ahmad, I ; Albergo, S ; Albuquerque, I ; Atzori Corona, M ; Ave, M ; Bottino, B ; Cadeddu, M ; Caminata, A ; Canci, N ; Cesarano, R ; Davini, S ; Dias, L.K.S ; Capua, F.Di ; Dolganov, G ; Fiorillo, G ; Franco, D ; Gulino, M ; Kemmerich, N ; Kimura, M ; Kuźniak, M ; La Commara, M ; Matteucci, G ; Moura Santos, E ; Oleynikov, V ; Pandola, L ; Perez Varona, R ; Puglia, S.M.R ; Rescigno, M ; Sales Costa, B ; Sanfilippo, S ; Sunny, C ; Suvorov, Y ; Tartaglia, R ; Testera, G ; Tricomi, A ; Wada, M ; Wang, Y ; Wojaczyński, R ; Zakhary, PNuovo Cim.C, 2024, Vol.47 (3) [Periódico revisado por pares]Sem texto completo |
3 |
Material Type: Ata de Congresso
|
![]() |
Multi-Micro-Sensor Platform for Monitoring Toxic Algal Blooms and Pollution in Coastal Marine Waters: Transducer Integration in Micro-TechnologyGroc, Pierre ; Cathébras, Guy ; Kerzérho, Vincent ; Laborde, Adrian ; Soulier, Fabien ; Temple-Boyer, Pierre ; Launay, Jérôme ; Bernard, SergeProceedings, 2024, Vol.97 (1) [Periódico revisado por pares]MDPITexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
The Locus Story of a Rocking Camel in a Medical Center in the City of FreistadtKäferböck, Anna ; Kovács, ZoltánElectronic proceedings in theoretical computer science, 2024, Vol.398, p.132-141Texto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Using Java Geometry Expert as Guide in the Preparations for Math ContestsGanglmayr, Ines ; Kovács, ZoltánElectronic proceedings in theoretical computer science, 2024, Vol.398, p.124-131Texto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Improving Angular Speed Uniformity by Piecewise Radical ReparameterizationHong, Hoon ; Wang, Dongming ; Yang, JingElectronic proceedings in theoretical computer science, 2024, Vol.398, p.165-178Texto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Showing Proofs, Assessing Difficulty with GeoGebra DiscoveryKovács, Zoltán ; Recio, Tomás ; Vélez, M. PilarElectronic proceedings in theoretical computer science, 2024, Vol.398, p.43-52Texto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, FilipElectronic proceedings in theoretical computer science, 2024, Vol.398, p.11-20Texto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra DiscoveryHota, Amela ; Kovács, Zoltán ; Vujic, AlexanderElectronic proceedings in theoretical computer science, 2024, Vol.398, p.110-123Texto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Automation of Triangle Ruler-and-Compass Constructions Using Constraint SolversBanković, MilanElectronic proceedings in theoretical computer science, 2024, Vol.398, p.62-72Texto completo disponível |