Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithmsChernoy, Viacheslav ; Shalom, Mordechai ; Zaks, ShmuelDistributed computing, 2010-09, Vol.23 (1), p.43-60 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
|
2 |
Material Type: Artigo
|
The online laboratory: conducting experiments in a real labor marketHorton, John J. ; Rand, David G. ; Zeckhauser, Richard J.Experimental economics : a journal of the Economic Science Association, 2011-09, Vol.14 (3), p.399-425 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
|
3 |
Material Type: Artigo
|
Spatio-temporal model checking of vehicular movement in public transport systemsCiancia, Vincenzo ; Gilmore, Stephen ; Grilletti, Gianluca ; Latella, Diego ; Loreti, Michele ; Massink, MiekeInternational journal on software tools for technology transfer, 2018-06, Vol.20 (3), p.289-311 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Artigo
|
Reciprocal Influences Between Proof Theory and Logic ProgrammingMiller, DalePhilosophy & technology, 2021-03, Vol.34 (1), p.75-104 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
5 |
Material Type: Artigo
|
A systematic decision-making framework for tackling quantum software engineering challengesAkbar, Muhammad Azeem ; Khan, Arif Ali ; Rafi, SaimaAutomated software engineering, 2023-11, Vol.30 (2), p.22, Article 22 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
6 |
Material Type: Artigo
|
Real-time heuristic algorithms for the static weapon target assignment problemKline, Alexander G. ; Ahner, Darryl K. ; Lunday, Brian J.Journal of heuristics, 2019-06, Vol.25 (3), p.377-397 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
7 |
Material Type: Artigo
|
An improved semantic schema modeling for genetic programmingZojaji, Zahra ; Ebadzadeh, Mohammad MehdiSoft computing (Berlin, Germany), 2018-05, Vol.22 (10), p.3237-3260 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
Material Type: Artigo
|
Dynamic limits for bloat control in genetic programming and a review of past and current bloat theoriesSilva, Sara ; Costa, ErnestoGenetic programming and evolvable machines, 2009-06, Vol.10 (2), p.141-179 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
|
9 |
Material Type: Artigo
|
A unified DC programming framework and efficient DCA based approaches for large scale batch reinforcement learningLe Thi, Hoai An ; Ho, Vinh Thanh ; Pham Dinh, TaoJournal of global optimization, 2019-02, Vol.73 (2), p.279-310 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
10 |
Material Type: Artigo
|
HRPDF: A Software-Based Heterogeneous Redundant Proactive Defense Framework for Programmable Logic ControllerLiu, Ke ; Wang, Jing-Yi ; Wei, Qiang ; Zhang, Zhen-Yong ; Sun, Jun ; Ma, Rong-Kuan ; Deng, Rui-LongJournal of computer science and technology, 2021-12, Vol.36 (6), p.1307-1324 [Periódico revisado por pares]Singapore: Springer SingaporeTexto completo disponível |