Result 1 to 20 from 20 total
A four-valued logic for reasoning about finite and infinite computation errors in programs. (English)
Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 ‒ 30th Anniversary of the Centre for Logic, Epistemology and the History of Science", “XV EBL ‒ 15th Brazilian Logic Conference" and “XIV SLALM ‒ 14th Latin-American Symposium on Mathematical Logic", Paraty, Brazil, May 11‒17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 403-423 (2009).
1
Program-algorithmic methods to improve the accuracy of computer solutions. (English)
Cybern. Syst. Anal. 45, No. 6, 1004-1007 (2009); translation from Kibern. Sist. Anal. 2009, No. 6, 172-176 (2009).
2
Reduction of a parallel kinematics machine tool inverse kinematics model with regard to machining behaviour. (English)
Mech. Mach. Theory 44, No. 7, 1371-1385 (2009).
3
Why are people’s decisions sometimes worse with computer support? (English)
Buth, Bettina (ed.) et al., Computer safety, reliability, and security. 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15‒18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04467-0/pbk). Lecture Notes in Computer Science 5775, 18-31 (2009).
4
Estimating the confidence interval for prediction errors of support vector machine classifiers. (English)
J. Mach. Learn. Res. 9, 521-540 (2008).
5
Systematic geometric rigid body error identification of 5-axis milling machines. (English)
Comput.-Aided Des. 39, No. 4, 229-244 (2007).
6
Classifier combination applied for understanding of eyes images. (English)
Int. J. Comput. Intell. Appl. 5, No. 3, 393-405 (2005).
7
Set-valued Markov chains and negative semitrajectories of discretized dynamical systems. (English)
J. Nonlinear Sci. 12, No.2, 113-141 (2002).
8
Automatic linear correction of rounding errors. (English)
BIT 41, No.3, 515-539 (2001).
9
Robustness of single machine scheduling problems to earliness and tardiness penalty errors. (English)
Ann. Oper. Res. 76, 219-232 (1998).
10
Machines with numerical control. (Machines à commande numérique.) (French)
Paris: Éditions Hermès. 447 p. FF 245.00 (1997).
11
Calculation of the inverse Weierstraß function in an arbitrary machine arithmetic. (English)
Alefeld, Götz (ed.) et al., Scientific computing and validated numerics. Proceedings of the international symposium on scientific computing, computer arithmetic and validated numerics SCAN-95, Wuppertal, Germany, September 26-29, 1995. Berlin: Akademie Verlag. Math. Res. 90, 72-78 (1996).
12
Concurrent error detection in sequential circuits using convolutional codes. (English)
Applied algebra, algebraic algorithms and error-correcting codes, Proc. 9th Int. Symp., AAECC-9, New Orleans/LA (USA) 1991, Lect. Notes Comput. Sci. 539, 183-194 (1991).
13
On the theory of signature analyzers. (English)
Cybernetics 26, No.2, 162-168 (1990); translation from Kibernetika 1990, No.2, 18-22 (1990).
14
A method for increasing the stability of the numerical solution of differential equation systems. (English)
Sov. J. Autom. Inf. Sci. 22, No.3, 74-81 (1989); translation from Avtomatika 1989, No.3, 65-71 (1989).
15
Numerical methods. For engineers and computer scientists. (English)
Menlo Park, CA: The Benjamin/Cummings Publishing Company. XIII, 326 p. DM 106.00 (1988).
16
Machine iteration for a linear function. (English)
Comput. Math. Appl., Part B 12, 1259-1274 (1986).
17
On the error correcting power of pluralism in BC-type inductive inference. (English)
Theor. Comput. Sci. 24, 95-104 (1983).
18
Formal grammar and human factors design of an interactive graphics system. (English)
IEEE Trans. Softw. Eng. 07, No. 02, 229-240 (1981).
19
The solution of initial value problems using interval arithmetic. Formulation and analysis of an algorithm. (English)
Mathematical Centre Tracts, 144. Amsterdam: Mathematisch Centrum. III, 185 p. Dfl. 24.15 (1981).
20
Result 1 to 20 from 20 total
Start
Contact
Print
General Help
