Search alternatives:
optimization problems » optimization problem, optimization models
document programming » concurrent programming, focused programming, excellent programming
problems modelling » process modelling, problems spelling, problems models
modelling document » modelling concurrent, modelling commitment
optimization problems » optimization problem, optimization models
document programming » concurrent programming, focused programming, excellent programming
problems modelling » process modelling, problems spelling, problems models
modelling document » modelling concurrent, modelling commitment
1
by Eskeland, Gunnar S.
Published 2014
Subjects:
“...ENVIRONMENTAL PROBLEM...”Published 2014
Get full text
Get full text
2
3
by Buys, Piet, Chomitz, Kenneth, Dasgupta, Susmita, Deichmann, Uwe, Larsen, Bjorn, Meisner, Craig, Nygard, Jostein, Pandey, Kiran, Pinnoi, Nat, Wheeler, David R.
Published 2013
Subjects:
“...ENVIRONMENTAL PROBLEM...”Published 2013
Get full text
Get full text
4
by Over, Mead, Heywood, Peter, Gold, Julian, Gupta, Indrani, Hira, Subhash, Marseille, Elliot
Published 2013
Subjects:
“...PSYCHOSOCIAL PROBLEMS...”Published 2013
Get full text
Get full text
5
6
7
by Linge, Svein.
Published 2019
Format:
Published 2019
Table of Contents: “... Force Methods -- 7.1.1 Brute Force Root Finding -- 7.1.2 Brute Force Optimization -- 7.1.3 Model Problem...”
Click to View
8
by Reinders, James.
Published 2020
Format:
Published 2020
Table of Contents: “... -- Platform Model -- Multiarchitecture Binaries -- Compilation Model -- Adding SYCL to Existing C++ Programs...”
Click to View
9
10
11
12
13
14
15
16
17
by Fraser, Nicole, Cheikh, Nejma, Haacker, Markus, Masaki, Emiko, Karamoko, Djibrilla, Gorgens, Marelize, Kerr, Cliff, Gray, Richard, Shattock, Andrew, Wilson, David, Frescura, Luisa, Konan, Claude, Alhousseini, Zeinabou, Harouna, Zakou
Published 2014
Subjects:
“...PUBLIC HEALTH PROBLEM...”Published 2014
Get full text
Get full text
18
by Sankaranarayanan, Sriram.
Published 2023
Format:
Published 2023
Table of Contents: “... Programs -- 7.2 Explicit Model Checking of Symbolic Systems -- 7.3 Hyperproperties for Path Planning -- 7...”
Click to View
19
by Fisman, Dana.
Published 2022
Format:
Published 2022
Table of Contents: “... -- 4 HOLL: Implementation and Optimization -- 5 SynthAttack: Attacking HOLL with Program Synthesis -- 5...”
Click to View
20
by Schüppstuhl, Thorsten.
Published 2021
Format:
Published 2021
Table of Contents: “... An Approach to Integrate a Blockchain-Based Payment Model and Independent Secure Documentation for a Robot...”
Click to View


