I agree that this site is using cookies. You can find further informations here.
X
Gutierrez, Lucas
22  results:
Bookchapter (Online) X
Search for persons X
?
1

Novel Approach of Spatial Modulation: Polarization-Aware OF..:

, In: 2020 IEEE Green Energy and Smart Systems Conference (IGESSC),
Gutierrez, Lucas A. ; An, Samnangdona ; Kwon, Sean S.-C.. - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
2

Confluence Framework: Proving Confluence with CONFident:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Gutiérrez, Raúl ; Vítores, Miguel ; Lucas, Salvador - p. 24-43 , 2022
Link: https://doi.org/10.1007/..
 
?
3

mu-term: Verify Termination Properties Automatically (Syste..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Gutiérrez, Raúl ; Lucas, Salvador - p. 436-447 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Interactive evolution and exploration within latent level-d..:

, In: Proceedings of the 2020 Genetic and Evolutionary Computation Conference,
Schrum, Jacob ; Gutierrez, Jake ; Volz, Vanessa... - p. 148-156 , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

Automatically Proving and Disproving Feasibility Conditions:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Gutiérrez, Raúl ; Lucas, Salvador - p. 416-435 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Automatic Generation of Logical Models with AGES:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,
Gutiérrez, Raúl ; Lucas, Salvador - p. 287-299 , 2019
Link: https://doi.org/10.1007/..
 
?
7

De-Identification Challenges in Real-World Portuguese Clini..:

, In: IFMBE Proceedings; IX Latin American Congress on Biomedical Engineering and XXVIII Brazilian Congress on Biomedical Engineering,
Prado, Carolina Braun ; Gumiel, Yohan Bonescki ; Schneider, Elisa Terumi Rubel... - p. 584-590 , 2024
Link: https://doi.org/10.1007/..
 
?
8

On the Path Loss Performance of Underwater Visible Light Co..:

, In: 2023 South American Conference On Visible Light Communications (SACVLC),
Almonacid, Lucas ; Jativa, Pablo Palacios ; Azurdia-Meza, Cesar A.... - p. 12-16 , 2023
Link: https://doi.org/10.1109/..
 
?
9

CardioBERTpt: Transformer-based Models for Cardiology Langu..:

, In: 2023 IEEE 36th International Symposium on Computer-Based Medical Systems (CBMS),
Schneider, Elisa Terumi Rubel ; Gumiel, Yohan Bonescki ; de Souza, Joao Vitor Andrioli... - p. 378-381 , 2023
Link: https://doi.org/10.1109/..
 
?
10

A Measurement Strategy for io_uring Performance in the Envo..:

, In: 2023 XLIX Latin American Computer Conference (CLEI),
Martinez, Lucas O. ; Raul, Gutierrez S. ; Cernuzzi, Luca - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
11

Contributors:

, In: Biomass-Derived Materials for Environmental Applications,
Abatal, Mohamed ; Adeniyi, Adewale George ; Aggrawal, Richa... - p. xvii-xxii , 2022
Link: https://doi.org/10.1016/..
 
?
12

List of Contributors:

, In: Neurocritical Care Management of the Neurosurgical Patient,
Aghi, Manish K. ; Ali, Zarina S. ; Altschul, Dorothea... - p. xiii-xix , 2018
Link: https://doi.org/10.1016/..
 
?
13

Daily Life of Elderly: An Approach to the Use of Gerontechn..:

, In: Proceedings TEEM 2022: Tenth International Conference on Technological Ecosystems for Enhancing Multiculturality; Lecture Notes in Educational Technology,
Murciano-Hueso, Alicia ; Martín-Lucas, Judith ; Serrate-González, Sara.. - p. 509-515 , 2023
Link: https://doi.org/10.1007/..
 
?
14

Contributors:

, In: Biofuels and Biorefining,
Bajay, Sergio Valdir ; Behera, Sudhanshu S. ; Berni, Mauro Donizeti... - p. ix-xii , 2022
Link: https://doi.org/10.1016/..
 
?
15

Contributors:

, In: 3rd Generation Biofuels,
Acquah, Caleb ; Akizuki, Shinichi ; Alam, Shahrukh Nawaj... - p. xix-xxix , 2022
Link: https://doi.org/10.1016/..
 
1-15