Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Failure Trace Semantics for a Process Algebra with Time-outsRob van GlabbeekLogical methods in computer science, 2021-01, Vol.17, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness GuaranteesWang, K C ; Botea, AThe Journal of artificial intelligence research, 2011-01, Vol.42, p.55 [Periódico revisado por pares]San Francisco: AI Access FoundationTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
R2D2 spherical TPC: first energy resolution resultsBouet, R. ; Busto, J. ; Cecchini, V. ; Cerna, C. ; Dastgheibi-Fard, A. ; Druillole, F. ; Jollet, C. ; Hellmuth, P. ; Katsioulas, I. ; Knights, P. ; Giomataris, I. ; Gros, M. ; Lautridou, P. ; Meregaglia, A. ; Navick, X.F. ; Neep, T. ; Nikolopoulos, K. ; Perrot, F. ; Piquemal, F. ; Roche, M. ; Thomas, B. ; Ward, R. ; Zampaolo, M.Journal of instrumentation, 2021-03, Vol.16 (3), p.P03012 [Periódico revisado por pares]Bristol: IOP PublishingTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Medical Image Classification Utilizing Ensemble Learning and Levy Flight-Based Honey Badger Algorithm on 6G-Enabled Internet of ThingsAbd Elaziz, Mohamed ; Mabrouk, Alhassan ; Dahou, Abdelghani ; Chelloug, Samia Allaoua Zhang, Dalin ; Dalin ZhangComputational intelligence and neuroscience, 2022-05, Vol.2022, p.5830766-17 [Periódico revisado por pares]United States: HindawiTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Time Distance: A Novel Collision Prediction and Path Planning MethodAli Analooee ; Shahram Azadi ; Reza KazemiJournal of applied and computational mechanics, 2023-07, Vol.9 (3), p.656-677 [Periódico revisado por pares]Shahid Chamran University of AhvazTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Analysis of the Most Precise Light Curves of HAT-P-36 Detrended from Spot SignalsYalçınkaya, S ; Baştürk, Ö ; El Helweh, F ; Esmer, EM ; Yörükoğlu, O ; Yılmaz, M ; Şenavcı, HV ; Kılıçoğlu, T ; Selam, SOActa astronomica, 2021-01, Vol.71 (3), p.223 [Periódico revisado por pares]Warsaw: Copernicus Foundation for Polish AstronomyTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Sapphire: A Configurable Crypto-Processor for Post-Quantum Lattice-based ProtocolsUtsav Banerjee ; Tenzin S. Ukyab ; Anantha P. ChandrakasanIACR transactions on cryptographic hardware and embedded systems, 2019-08, Vol.2019 (4) [Periódico revisado por pares]Ruhr-Universität BochumTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Search for Planets in Hot Jupiter Systems with Multi-Sector TESS Photometry. II. Constraints on Planetary Companions in 12 SystemsMaciejewski, GActa astronomica, 2022-01, Vol.72 (1), p.1 [Periódico revisado por pares]Warsaw: Copernicus Foundation for Polish AstronomyTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
The Role of Time, Weather and Google Trends in Understanding and Predicting Web Survey ResponseQixiang Fang ; Joep Burger ; Ralph Meijers ; Kees van BerkelSurvey research methods, 2021-01, Vol.15 (1) [Periódico revisado por pares]European Survey Research AssociationTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Approximate Factor Models for Functional Time SeriesOtto, Sven ; Salish, NazariiarXiv.org, 2024-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |