E-LIB Suche - Ergebnisse für: Akgün, Özgür

1

Solvi: A visual constraint modeling tool:

Zhu, Xu ; Nacenta, Miguel A. ; Akgün, Özgür.
Journal of Computer Languages. 78 (2024) - p. 101242 , 2024

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

2

Automated streamliner portfolios for constraint satisfactio..:

Spracklen, Patrick ; Dang, Nguyen ; Akgün, Özgür.
Artificial Intelligence. 319 (2023) - p. 103915 , 2023

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

3

Conjure: Automatic Generation of Constraint Models from Pro..:

Akgün, Özgür ; Frisch, Alan M. ; Gent, Ian P....
Artificial Intelligence. 310 (2022) - p. 103751 , 2022

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

4

Finding Subgraphs with Side Constraints:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Akgün, Özgür ; Enright, Jessica ; Jefferson, Christopher... - p. 348-364 , 2021

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

5

Discriminating Instance Generation from Abstract Specificat..:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Akgün, Özgür ; Dang, Nguyen ; Miguel, Ian... - p. 41-51 , 2020

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

6

Effective Encodings of Constraint Programming Models to SMT:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Davidson, Ewan ; Akgün, Özgür ; Espasa, Joan. - p. 143-159 , 2020

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

7

How People Visually Represent Discrete Constraint Problems:

Zhu, Xu ; Nacenta, Miguel A. ; Akgun, Ozgur.
IEEE Transactions on Visualization and Computer Graphics. 26 (2020) 8 - p. 2603-2619 , 2020

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

8

Linking Scottish vital event records using family groups:

Akgün, Özgür ; Dearle, Alan ; Kirby, Graham...
Historical Methods: A Journal of Quantitative and Interdisciplinary History. 53 (2019) 2 - p. 130-146 , 2019

Link: https://doi.org/10.1080/..

9

Cloud Benchmarking for Maximising Performance of Scientific..:

Varghese, Blesson ; Akgun, Ozgur ; Miguel, Ian..
IEEE Transactions on Cloud Computing. 7 (2019) 1 - p. 170-182 , 2019

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

10

Automatic Streamlining for Constrained Optimisation:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Spracklen, Patrick ; Dang, Nguyen ; Akgün, Özgür. - p. 366-383 , 2019

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

11

Instance Generation via Generator Instances:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Akgün, Özgür ; Dang, Nguyen ; Miguel, Ian.. - p. 3-19 , 2019

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

12

Metamorphic Testing of Constraint Solvers:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Akgün, Özgür ; Gent, Ian P. ; Jefferson, Christopher.. - p. 727-736 , 2018

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

13

Automatic Discovery and Exploitation of Promising Subproble..:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Akgün, Özgür ; Gent, Ian P. ; Jefferson, Christopher... - p. 3-12 , 2018

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

14

Validating Synthetic Longitudinal Populations for evaluatio..:

Dalton, Tom ; Kirby, Graham ; Dearle, Alan..
International Journal of Population Data Science. 3 (2018) 2 - p. , 2018

Link: https://doi.org/10.23889..

15

Establishing an International Data Linkage Repository Workg..:

Kum, Hye-Chung ; Leonard, Susan ; Akgün, Özgür...
International Journal of Population Data Science. 3 (2018) 4 - p. , 2018

Link: https://doi.org/10.23889..