E-LIB Suche - Ergebnisse für: Gutierrez, Julian

1

A combined experimental and DFT study on the zero valent ir..:

Gutiérrez, Julián ; Robein, Yael N. ; Juan, Julián...
Sensors and Actuators B: Chemical. 404 (2024) - p. 135233 , 2024

Link: https://doi.org/10.1016/..

2

Cooperative concurrent games:

Gutierrez, Julian ; Kowara, Szymon ; Kraus, Sarit..
Artificial Intelligence. 314 (2023) - p. 103806 , 2023

Link: https://doi.org/10.1016/..

3

Machine Learning Architectures for Price Formation Models w..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),

Gomes, Diogo ; Gutierrez, Julian ; Lauriere, Mathieu - p. 4345-4350 , 2023

Link: https://doi.org/10.1109/..

4

A Random-Supply Mean Field Game Price Model:

Gomes, Diogo ; Gutierrez, Julian ; Ribeiro, Ricardo
SIAM Journal on Financial Mathematics. 14 (2023) 1 - p. 188-222 , 2023

Link: https://doi.org/10.1137/..

5

Accuracy Assessment of Two GPS Fidelity Prediction Services..:

, In: 2023 IEEE/ION Position, Location and Navigation Symposium (PLANS),

Moore, Andrew ; Gutierrez, Julian ; Dill, Evan... - p. 25-33 , 2023

Link: https://doi.org/10.1109/..

6

Core Type Theory:

Van Dijk, Emma ; Ripley, David ; Gutierrez, Julian
Bulletin of the Section of Logic. 52 (2023) 2 - p. 145-186 , 2023

Link: https://doi.org/10.18778..

7

Machine Learning Architectures for Price Formation Models:

Gomes, Diogo ; Gutierrez, Julian ; Laurière, Mathieu
Applied Mathematics & Optimization. 88 (2023) 1 - p. , 2023

Link: https://doi.org/10.1007/..

8

Extending the IoT-Stream Model with a Taxonomy for Sensors ..:

Santos, Rodrigo ; Eggly, Gabriel ; Gutierrez, Julián.
Sustainability. 15 (2023) 8 - p. 6594 , 2023

Link: https://doi.org/10.3390/..

9

A Matrix-Based Approach to Parity Games:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Aggarwal, Saksham ; de la Banda, Alejandro Stuckey ; Yang, Luke. - p. 666-683 , 2023

Link: https://doi.org/10.1007/..

10

Mean-Payoff Games with ω-Regular Specifications:

Gutierrez, Julian ; Steeples, Thomas ; Wooldridge, Michael
Games. 13 (2022) 1 - p. 19 , 2022

Link: https://doi.org/10.3390/..

11

On the complexity of rational verification:

Gutierrez, Julian ; Najib, Muhammad ; Perelli, Giuseppe.
Annals of Mathematics and Artificial Intelligence. 91 (2022) 4 - p. 409-430 , 2022

Link: https://doi.org/10.1007/..

12

The potential method for price-formation models:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),

Ashrafyan, Yuri ; Bakaryan, Tigran ; Gomes, Diogo. - p. 7565-7570 , 2022

Link: https://doi.org/10.1109/..

13

Open Source Automated Flow Analysis Instrument for Detectin..:

Gutiérrez, Julián ; Mochen, Juan Pablo ; Eggly, Gabriel..
HardwareX. 11 (2022) - p. e00284 , 2022

Link: https://doi.org/10.1016/..

14

LOD-RoadTran18: Supporting the cross-border use of Road Tra..:

, In: Proceedings of the 11th Euro American Conference on Telematics and Information Systems,

Gutierrez, Julian ; Samper, J. Javier ; Delgado, Ana... - p. 1-8 , 2022

Link: https://dl.acm.org/doi/1..

15

Multi-player games with LDL goals over finite traces:

Gutierrez, Julian ; Perelli, Giuseppe ; Wooldridge, Michael
Information and Computation. 276 (2021) - p. 104555 , 2021

Link: https://doi.org/10.1016/..