Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Foundations of Probabilistic ProgrammingBarthe, Gilles ; Katoen, Joost-Pieter ; Silva, Alexandra Barthe, Gilles ; Silva, Alexandra ; Barthe, Gilles ; Katoen, Joost-PieterCambridge: Cambridge University Press 2021Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Handbook of Learning and Approximate Dynamic ProgrammingSi, Jennie ; Powell, Warren Buckler ; Barto, Andrew G ; Wunsch, DonJohn Wiley & Sons 2004Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Energy Efficiency in Wireless Networks via Fractional Programming TheoryZappone, Alessio ; Jorswieck, EduardFoundations and trends in communications and information theory, 2015, Vol.11 (3-4), p.185-396 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
PSI4 1.4: Open-source software for high-throughput quantum chemistrySmith, Daniel G. A. ; Burns, Lori A. ; Simmonett, Andrew C. ; Parrish, Robert M. ; Schieber, Matthew C. ; Galvelis, Raimondas ; Kraus, Peter ; Kruse, Holger ; Di Remigio, Roberto ; Alenaizan, Asem ; James, Andrew M. ; Lehtola, Susi ; Misiewicz, Jonathon P. ; Scheurer, Maximilian ; Shaw, Robert A. ; Schriber, Jeffrey B. ; Xie, Yi ; Glick, Zachary L. ; Sirianni, Dominic A. ; O’Brien, Joseph Senan ; Waldrop, Jonathan M. ; Kumar, Ashutosh ; Hohenstein, Edward G. ; Pritchard, Benjamin P. ; Brooks, Bernard R. ; Schaefer, Henry F. ; Sokolov, Alexander Yu ; Patkowski, Konrad ; DePrince, A. Eugene ; Bozkaya, Uğur ; King, Rollin A. ; Evangelista, Francesco A. ; Turney, Justin M. ; Crawford, T. Daniel ; Sherrill, C. DavidThe Journal of chemical physics, 2020-05, Vol.152 (18), p.184108-184108 [Periódico revisado por pares]United States: American Institute of Physics (AIP)Texto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Accelerated gradient methods for nonconvex nonlinear and stochastic programmingGhadimi, Saeed ; Lan, GuanghuiMathematical programming, 2016-03, Vol.156 (1-2), p.59-99 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Fog Computing: Helping the Internet of Things Realize Its PotentialDastjerdi, Amir Vahid ; Buyya, RajkumarComputer (Long Beach, Calif.), 2016-08, Vol.49 (8), p.112-116 [Periódico revisado por pares]New York: IEEETexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
BEAST 2.5: An advanced software platform for Bayesian evolutionary analysisBouckaert, Remco ; Vaughan, Timothy G ; Barido-Sottani, Joëlle ; Duchêne, Sebastián ; Fourment, Mathieu ; Gavryushkina, Alexandra ; Heled, Joseph ; Jones, Graham ; Kühnert, Denise ; De Maio, Nicola ; Matschiner, Michael ; Mendes, Fábio K ; Müller, Nicola F ; Ogilvie, Huw A ; du Plessis, Louis ; Popinga, Alex ; Rambaut, Andrew ; Rasmussen, David ; Siveroni, Igor ; Suchard, Marc A ; Wu, Chieh-Hsi ; Xie, Dong ; Zhang, Chi ; Stadler, Tanja ; Drummond, Alexei J Pertea, MihaelaPLoS computational biology, 2019-04, Vol.15 (4), p.e1006650-e1006650 [Periódico revisado por pares]United States: Public Library of ScienceTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Machine Learning for the Zwicky Transient FacilityMahabal, Ashish ; Rebbapragada, Umaa ; Walters, Richard ; Masci, Frank J. ; Blagorodnova, Nadejda ; Roestel, Jan van ; Ye, Quan-Zhi ; Biswas, Rahul ; Burdge, Kevin ; Chang, Chan-Kao ; Duev, Dmitry A. ; Golkhou, V. Zach ; Miller, Adam A. ; Nordin, Jakob ; Ward, Charlotte ; Adams, Scott ; Bellm, Eric C. ; Branton, Doug ; Bue, Brian ; Cannella, Chris ; Connolly, Andrew ; Dekany, Richard ; Feindt, Ulrich ; Hung, Tiara ; Fortson, Lucy ; Frederick, Sara ; Fremling, C. ; Gezari, Suvi ; Graham, Matthew ; Groom, Steven ; Kasliwal, Mansi M. ; Kulkarni, Shrinivas ; Kupfer, Thomas ; Lin, Hsing Wen ; Lintott, Chris ; Lunnan, Ragnhild ; Parejko, John ; Prince, Thomas A. ; Riddle, Reed ; Rusholme, Ben ; Saunders, Nicholas ; Sedaghat, Nima ; Shupe, David L. ; Singer, Leo P. ; Soumagnac, Maayane T. ; Szkody, Paula ; Tachibana, Yutaro ; Tirumala, Kushal ; Velzen, Sjoert van ; Wright, DarrylPublications of the Astronomical Society of the Pacific, 2019-03, Vol.131 (997), p.38002 [Periódico revisado por pares]Goddard Space Flight Center: The Astronomical Society of the PacificTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Applications of Answer Set ProgrammingErdem, Esra ; Gelfond, Michael ; Leone, NicolaThe AI magazine, 2016-09, Vol.37 (3), p.53-68 [Periódico revisado por pares]La Canada: American Association for Artificial IntelligenceTexto completo disponível |
10 |
Material Type: Livro
|
![]() |
Attribute Grammar Inversion and Source-to-source TranslationYellin, Daniel M Yellin, Daniel M.Berlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |