Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Event dependence in U.S. executionsBaumgartner, Frank R ; Box-Steffensmeier, Janet M ; Campbell, Benjamin WPloS one, 2018-01, Vol.13 (1), p.e0190244 [Periódico revisado por pares]Public Library of ScienceTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
IoT-based real-time production logistics synchronization system under smart cloud manufacturingQu, T. ; Lei, S. P. ; Wang, Z. Z. ; Nie, D. X. ; Chen, X. ; Huang, George Q.International journal of advanced manufacturing technology, 2016-04, Vol.84 (1-4), p.147-164 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
APEX: affordance-based plan executor for indoor robotic navigationSepulveda, Gabriel ; Vázquez, Marynel ; Soto, AlvaroAdvanced robotics, 2024-07, Vol.38 (13), p.849-862 [Periódico revisado por pares]Taylor & FrancisTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Israeli Border Police and Israel Defense Forces Have Free Rein to Torment: Israeli "Heroes" Execute Arabs with ImpunityLevy, GideonThe Washington report on Middle East affairs, 2023-10, Vol.42 (6), p.18American Educational TrustTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
The work‐habits intervention model: A 12‐month study to change work‐email habitsRussell, Emma ; Daniels, Kevin ; Jackson, Thomas W. ; Fullman, MarcJournal of occupational and organizational psychology, 2021-12, Vol.94 (4), p.808-835 [Periódico revisado por pares]Leicester: British Psychological SocietyTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Policy Gradient Methods for the Noisy Linear Quadratic Regulator over a Finite HorizonHambly, Ben ; Xu, Renyuan ; Yang, HuiningSIAM journal on control and optimization, 2021-01, Vol.59 (5), p.3359-3391 [Periódico revisado por pares]Sem texto completo |
7 |
Material Type: Artigo
|
![]() |
FAITHFUL EXECUTION AND ARTICLE IIKent, Andrew ; Leib, Ethan J. ; Shugerman, Jed HandelsmanHarvard law review, 2019-06, Vol.132 (8), p.2111-2192 [Periódico revisado por pares]Harvard Law Review AssociationTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Abstract Contract Synthesis and Verification in the Symbolic FrameworkAlpuente, María ; Pardo, Daniel ; Villanueva, Alicia Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, MaurizioFundamenta informaticae, 2020-12, Vol.177 (3-4), p.235-273 [Periódico revisado por pares]Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
A Possible Tunnels Execution Technology on Subsection E2 of the Highway A1Pascu, Ileana ; Georgescu, MirceaRevista minelor (Bucharest, Romania : 1990), 2021-09, Vol.27 (3), p.45-63 [Periódico revisado por pares]SciendoTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Dr.PathFinder: hybrid fuzzing with deep reinforcement concolic execution toward deeper path-first searchJeon, Seungho ; Moon, JongsubNeural computing & applications, 2022-07, Vol.34 (13), p.10731-10750 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |