Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Abstract Hidden Markov Models: a monadic account of quantitative information flowAnnabelle McIver ; Carroll Morgan ; Tahiry RabehajaLogical 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 |
2 |
Material Type: Artigo
|
![]() |
A Recipe for State-and-Effect TrianglesBart JacobsLogical methods in computer science, 2017-01, Vol.13, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Reconfiguration and Message Losses in Parameterized Broadcast NetworksBertrand, Nathalie ; Bouyer, Patricia ; Majumdar, AnirbanLogical methods in computer science, 2021-01, Vol.17 (1), p.1-18 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Linear inviscid damping for shear flows near Couette in the 2D stably stratified regimeBianchini, Roberta ; Michele Coti Zelati ; Dolce, MichelearXiv.org, 2022-01 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time SpectroscopyBisping, Benjamin ; Jansen, David N ; Nestmann, UwearXiv.org, 2022-08 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
An investigation of the role of spectroscopic factors in the breakup reaction of 11BeBora Canbula ; Ramazan Bulur ; Deniz Canbula ; Halil Babacan核技术(英文版), 2015-04, Vol.26 (2), p.89-95 [Periódico revisado por pares]Department of Physics, Faculty of Arts and Sciences, Celal Bayar University, Muradiye 45140, TurkeyTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
The structure of superqubit statesBorsten, L. ; Brádler, K. ; Duff, M. J.La rivista del Nuovo cimento, 2015-07, Vol.38 (7-8), p.371-386 [Periódico revisado por pares]Bologna: Società Italiana di FisicaTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Axiomatizing Maximal Progress and Discrete TimeBravetti, MarioLogical methods in computer science, 2021-01, Vol.17, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Persistence of the blazar state in flat-spectrum radio quasarsChand, KrishanMonthly notices of the Royal Astronomical Society. Letters, Vol.516 (1), p.L18-L23 [Periódico revisado por pares]Oxford University PressSem texto completo |
10 |
Material Type: Artigo
|
![]() |
Pair density wave facilitated by Bloch quantum geometry in nearly flat band multiorbital superconductorsChen, Weipeng ; Huang, WenScience China. Physics, mechanics & astronomy, 2023-08, Vol.66 (8), p.287212, Article 287212 [Periódico revisado por pares]Beijing: Science China PressTexto completo disponível |