Results 91 to 100 of about 712 (135)
Some of the next articles are maybe not open access.
Bulletin of Symbolic Logic, 1999
AbstractCertain set theoretical notions cannot be split into finer subnotions.
openaire +2 more sources
AbstractCertain set theoretical notions cannot be split into finer subnotions.
openaire +2 more sources
ACM SIGGRAPH 2016 Computer Animation Festival, 2016
Led by MPC VFX Supervisor Sheldon Stopsack and VFX Producer Chad Nixon, MPC completed more than 300 shots for "Terminator: Genisys." Working closely with Production VFX Supervisor Janek Sirrs and VFX Producer Shari Hanson, the team's work included recreating a "young Arnold" T-800 digital character, endoskeletons, an explosive battle at LAX, various CG
openaire +1 more source
Led by MPC VFX Supervisor Sheldon Stopsack and VFX Producer Chad Nixon, MPC completed more than 300 shots for "Terminator: Genisys." Working closely with Production VFX Supervisor Janek Sirrs and VFX Producer Shari Hanson, the team's work included recreating a "young Arnold" T-800 digital character, endoskeletons, an explosive battle at LAX, various CG
openaire +1 more source
Container terminals and terminal operations
OR Spectrum, 2006Hans-Otto Günther, Kap Hwan Kim
openaire +1 more source
From Outermost Termination to Innermost Termination
2009Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important technique for program verification. To capture the evaluation mechanism of a programming language one has to take care of the evaluation strategy, where we focus on the outermost strategy.
openaire +1 more source