http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Policy Iteration in Finite Templates Domain
Adjé, Assalé Elsevier Science B. V., Amsterdam 2015 p.3-18
Numerically-aided Deductive Safety Proof for a Powertrain Control System
Aréchiga, Nikos; Kapinski, James; Deshmukh, Jyotirmoy V.; Platzer, André; Krogh, Bruce Elsevier Science B. V., Amsterdam 2015 p.19-25
Stupid is as Stupid Does: Taking the Square Root of the Square of a Floating-Point Number
Boldo, Sylvie Elsevier Science B. V., Amsterdam 2015 p.27-32
Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs
Chiang, Wei-Fan; Gopalakrishnan, Ganesh; Rakamarić, Zvonimir Elsevier Science B. V., Amsterdam 2015 p.33-45
Transformation of a PID Controller for Numerical Accuracy
Damouche, N.; Martel, M.; Chapoutot, A. Elsevier Science B. V., Amsterdam 2015 p.47-54
Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic
Graillat, S.; Jézéquel, F.; Picot, R. Elsevier Science B. V., Amsterdam 2015 p.55-69
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
Hulette, Geoffrey C.; Armstrong, Robert C.; Mayo, Jackson R.; Ruthruff, Joseph R. Elsevier Science B. V., Amsterdam 2015 p.71-83
Monitoring Bounded LTL Properties Using Interval Analysis
Ishii, Daisuke; Yonezaki, Naoki; Goldsztejn, Alexandre Elsevier Science B. V., Amsterdam 2015 p.85-100
A Parameterized Floating-Point Formalizaton in HOL Light
Jacobsen, Charles; Solovyev, Alexey; Gopalakrishnan, Ganesh Elsevier Science B. V., Amsterdam 2015 p.101-107