نتائج البحث

Horizontal recursion in soft OR

• Authors : Smith, Christopher; Shaw, Duncan

Subjects: Problem structuring; horizontal recursion; meta-system modelling

• Source: Smith , C & Shaw , D 2019 , ' Horizontal recursion in soft OR ' , Journal of the Operational Research Society , vol. 70 , no. 1 , pp. 53-66 .

تفاصيل العنوان

Projecting Russia in a Mediatized World:Recursive Nationhood

• Authors : Hutchings, Stephen

Subjects: Russia; nationhood; recursion

• Source: Hutchings , S 2022 , Projecting Russia in a Mediatized World : Recursive Nationhood . BASEES/Routledge Series on Russian and East European Studies , vol. 12 , Routledge , London .

تفاصيل العنوان

Recomplementation as a paratactic phenomenon: Evidence from Spanish and English

• Authors : Villa-García, Julio; Ott, Dennis

Subjects: syntax; parataxis; complementizers

• Source: Villa-García , J & Ott , D 2024 , ' Recomplementation as a paratactic phenomenon: Evidence from Spanish and English ' , Journal of Linguistics , vol. 60 , no. 1 , pp. 213-244 .

تفاصيل العنوان

ESBMC 6.1:automated test case generation using bounded model checking

• Authors : Gadelha, Mikhail R; Menezes, Rafael; Cordeiro, Lucas

• Source: Gadelha , M R , Menezes , R & Cordeiro , L 2020 , ' ESBMC 6.1 : automated test case generation using bounded model checking ' , International Journal on Software Tools for Technology Transfer , vol.

تفاصيل العنوان

JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)

• Authors : Cordeiro, Lucas; Kroening, Daniel; Schrammel, Peter

• Source: Cordeiro , L , Kroening , D & Schrammel , P 2019 , JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) . in International Conference on Tools and Algorithms for the Construction

تفاصيل العنوان

Formal Verification of Memory Preservation of x86-64 Binaries

• Authors : Bockenek, Joshua A.; Verbeek, Freek; Lammich, Peter

Subjects: x86-64; Assembly; Isabelle/HOL

• Source: Bockenek , J A , Verbeek , F , Lammich , P & Ravindran , B 2019 , Formal Verification of Memory Preservation of x86-64 Binaries . in 38th International Conference on Computer Safety, Reliability and

تفاصيل العنوان

Fully analytical integration over the 3D volume bounded by the β sphere in topological atoms

• Authors : Popelier, Paul

Subjects: QTAIM; QCT; Integration

• Source: Popelier , P 2018 , ' Fully analytical integration over the 3D volume bounded by the β sphere in topological atoms ' , Journal of Computational Chemistry , vol. 39 , no. 10 , pp. 604-613 .

تفاصيل العنوان

Hamiltonian Decomposition for Model Predictive Control

• Authors : Navarro Poupard, Eduardo; Heath, William

Subjects: Optimal Control; Hamilton Matrix; Predictive Control

• Source: Navarro Poupard , E & Heath , W 2018 , Hamiltonian Decomposition for Model Predictive Control . in 6th IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control - LHMNC 2018 .

تفاصيل العنوان

‘A Home from Home':Recursive Nationhood, the 2015 STS Television Serial, Londongrad, and Post-Soviet Stiob

• Authors : Hutchings, Stephen

Subjects: Recursive nationhood; TV serials; stiob

• Source: Hutchings , S 2017 , ' ‘A Home from Home' : Recursive Nationhood, the 2015 STS Television Serial, Londongrad, and Post-Soviet Stiob ' , Russian Journal of Communication , vol. 9 , no. 2 , pp.

تفاصيل العنوان