Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Continuum limit for the Ablowitz–Ladik systemKillip, Rowan ; Ouyang, Zhimeng ; Visan, Monica ; Wu, LeiNonlinearity, 2023-07, Vol.36 (7), p.3751-3775 [Periódico revisado por pares]IOP PublishingTexto completo disponível |
2 |
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 |
3 |
Material Type: Artigo
|
![]() |
An automated testing system for the RD51 VMM hybrid and yield measurement of the first production batchesJaekel, Finn ; Desch, Klaus ; Kaminski, Jochen ; Lupberger, Michael ; Scharenberg, Lucian ; Schwaebig, PatrickNuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment, 2022-05, Vol.1049 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Final Release of the OGLE Collection of Cepheids and RR Lyrae Stars in the Magellanic System. The Outer RegionsSoszyński, I ; Udalski, A ; Szymański, MK ; Pietrukowicz, P ; Skowron, J ; Skowron, DM ; Poleski, R ; Kozłowski, S ; Mróz, P ; Ulaczyk, K ; Rybicki, K ; Iwanek, P ; Wrona, MActa astronomica, 2019-01, Vol.69 (2), p.87 [Periódico revisado por pares]Warsaw: Copernicus Foundation for Polish AstronomyTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Rapid Recovery for Systems with Scarce FaultsHuang, Chung-Hao ; Peled, Doron ; Schewe, Sven ; Wang, FarnElectronic proceedings in theoretical computer science, 2012-10, Vol.96 (Proc. GandALF 2012), p.15-28Open Publishing AssociationTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Planktons discrete-time dynamical systemsRozikov, U A ; Shoyimardonov, S K ; Varro, RNonlinear studies, 2021-05, Vol.28 (2), p.585-600 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
TIC 452991707 and TIC 452991693 as a Candidate Sextuple System with Three Eclipsing BinariesZasche, P ; Henzl, ZActa astronomica, 2022-01, Vol.72 (2), p.103 [Periódico revisado por pares]Warsaw: Copernicus Foundation for Polish AstronomyTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
A Generic Type System for Higher-Order Ψ-calculiBendixen, Alex Rønning ; Bojesen, Bjarke Bredow ; Hüttel, Hans ; Lybech, StianElectronic proceedings in theoretical computer science, 2022-09, Vol.368, p.43-59Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Search for Planets in Hot Jupiter Systems with Multi-Sector TESS Photometry. I. No Companions in Planetary Systems KELT-18, KELT-23, KELT-24, Qatar-8, WASP-62, WASP-100, WASP-119, and WASP-126Maciejewski, GActa astronomica, 2020-01, Vol.70 (3), p.181 [Periódico revisado por pares]Warsaw: Copernicus Foundation for Polish AstronomyTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Behavioural equivalences for timed systemsTomasz Brengos ; Marco PeressottiLogical methods in computer science, 2019-01, Vol.15, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |