Variations on parallel explicit emptiness checks for generalized Büchi automata.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 6, p. 653, doi. 10.1007/s10009-016-0422-5
- By:
- Publication type:
- Article
Works matching DE "EXPLICITLY parallel instruction computing"
Results: 15
1
2
On the Langevin equation with variable friction.
- Published in:
- Calculus of Variations & Partial Differential Equations, 2017, v. 56, n. 6, p. 1, doi. 10.1007/s00526-017-1240-7
- By:
- Publication type:
- Article
3
Sufficient conditions for unique global solutions in optimal control of semilinear equations with C¹-nonlinearity.
- Published in:
- Control & Cybernetics, 2019, v. 48, n. 2, p. 325
- By:
- Publication type:
- Article
4
The Transhumanist Concept of Self-Optimization in Religious-Pedagogical Reflection.
- Published in:
- Seminare Learned Investigations / Seminare. Poszukiwania naukowe, 2023, v. 44, n. 1, p. 83, doi. 10.21852/sem.2023.1.01
- By:
- Publication type:
- Article
5
Balancing Competences and the Margin of Appreciation: Structuring Deference at the ECtHR.
- Published in:
- ICL Journal, 2022, v. 16, n. 1, p. 1, doi. 10.1515/icl-2021-0009
- By:
- Publication type:
- Article
6
Fourth-Moment Analysis for Wave Propagation in the White-Noise Paraxial Regime.
- Published in:
- Archive for Rational Mechanics & Analysis, 2016, v. 220, n. 1, p. 37, doi. 10.1007/s00205-015-0926-2
- By:
- Publication type:
- Article
7
Optimizing a linear fractional function over the integer efficient set.
- Published in:
- Annals of Operations Research, 2018, v. 267, n. 1/2, p. 135, doi. 10.1007/s10479-017-2691-0
- By:
- Publication type:
- Article
8
A Non-Convex Partition of Unity and Stress Analysis of a Cracked Elastic Medium.
- Published in:
- Advances in Mathematical Physics, 2017, p. 1, doi. 10.1155/2017/9574341
- By:
- Publication type:
- Article
9
Unifying local-global type properties in vector optimization.
- Published in:
- Journal of Global Optimization, 2018, v. 72, n. 2, p. 155, doi. 10.1007/s10898-018-0656-8
- By:
- Publication type:
- Article
10
Codoping and Interstitial Deactivation in the Control of Amphoteric Li Dopant in ZnO for the Realization of p-Type TCOs.
- Published in:
- Materials (1996-1944), 2017, v. 10, n. 4, p. 332, doi. 10.3390/ma10040332
- By:
- Publication type:
- Article
11
Coexistence of lazy frogs on ${\mathbb{Z}}$.
- Published in:
- Journal of Applied Probability, 2022, v. 59, n. 3, p. 702, doi. 10.1017/jpr.2021.86
- By:
- Publication type:
- Article
12
No Telescoping Effect with Dual Tendon Vibration.
- Published in:
- PLoS ONE, 2016, v. 11, n. 6, p. 1, doi. 10.1371/journal.pone.0157351
- By:
- Publication type:
- Article
13
The Medieval French Lexicon of Translation.
- Published in:
- Neophilologus, 2015, v. 99, n. 2, p. 191, doi. 10.1007/s11061-014-9404-6
- By:
- Publication type:
- Article
14
On break-even correlation: the way to price structured credit derivatives by replication.
- Published in:
- Quantitative Finance, 2015, v. 15, n. 5, p. 829, doi. 10.1080/14697688.2013.812233
- By:
- Publication type:
- Article
15
Critical Oscillation Constant for Euler Type Half-Linear Differential Equation Having Multi-Different Periodic Coefficients.
- Published in:
- International Journal of Differential Equations, 2017, p. 1, doi. 10.1155/2017/5042421
- By:
- Publication type:
- Article