Efficient ITL compilation for SAT-based model checkingARMONI, Roy; EGOROV, Sergey; FRAER, Ranan et al.IEEE/ACM International Conference on Computer-Aided Design. 2005, pp 877-884, isbn 0-7803-9254-X, 1Vol, 8 p.Conference Paper

Understanding Quantum Networking Where are we and what can we expect?BALCH, Charles V.Foundations of computer science. International conferenceWorldComp'2010. 2010, pp 115-118, isbn 1-60132-142-2, 4 p.Conference Paper

Complexity-theoretic hierarchiesKRISTIANSEN, Lars.Lecture notes in computer science. 2006, pp 279-288, issn 0302-9743, isbn 3-540-35466-2, 1Vol, 10 p.Conference Paper

Effective diagnostics through interval unloads in a BIST environmentWOHL, Peter; WAICUKAUSKI, John A; PATEL, Sanjay et al.Design automation conference. 2002, pp 249-254, isbn 1-58113-461-4, 6 p.Conference Paper

Contingency ranking for bulk system reliability criteria. DiscussionSILVERSTEIN, B. L; PORTER, D. M; RINGLEE, R. J et al.IEEE transactions on power systems. 1992, Vol 7, Num 3, pp 956-964, issn 0885-8950Conference Paper

A deterministic compressive sensing model for bat biosonarHAGUE, David A; BUCK, John R; BILIK, Igal et al.The Journal of the Acoustical Society of America. 2012, Vol 132, Num 6, pp 4041-4052, issn 0001-4966, 12 p.Article

Online companion cachingFIAT, Amos; MENDEL, Manor; SEIDEN, Steven S et al.Lecture notes in computer science. 2002, pp 499-511, issn 0302-9743, isbn 3-540-44180-8, 13 p.Conference Paper

Deterministic computation towards indeterminismBOGDANOV, A. V; GEVORKYAN, A. S; STANKOVA, E. N et al.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43591-3, 3Vol, vol. 3, 1176-1183Conference Paper

Deterministic improvement of complex polynomial factorization based on the properties of the associated resultantPAN, V. Y.Computers & mathematics with applications (1987). 1995, Vol 30, Num 2, pp 71-94, issn 0898-1221Article

OPMAC : One-key poly1305 MACDAYIN WANG; DONGDAI LIN; WENLING WU et al.Lecture notes in computer science. 2006, pp 78-87, issn 0302-9743, isbn 3-540-49608-4, 1Vol, 10 p.Conference Paper

A variant of poly1305 MAC and its security proofDAYIN WANG; DONGDAI LIN; WENLING WU et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-30818-0, 2Vol, Part 2, 375-380Conference Paper

On nonforgetting restarting automata that are deterministic and/or monotoneMESSERSCHMIDT, Hartmut; OTTO, Friedrich.Lecture notes in computer science. 2006, pp 247-258, issn 0302-9743, isbn 3-540-34166-8, 1Vol, 12 p.Conference Paper

An equivalence between deterministic and probabilistic design criteria for linear systemsJONES, J. G.Journal of sound and vibration. 1988, Vol 125, Num 2, pp 341-356, issn 0022-460XArticle

Deterministic global optimization and applicationsLEYFFER, Sven; MORE, Jorge.Mathematical programming. 2005, Vol 103, Num 2, issn 0025-5610, 224 p.Conference Proceedings

GUM and six sigma approaches positioned as deterministic tools in quality target engineeringVAN MERODE, Frits; MOLEMA, Hanneke; GOLDSCHMIDT, Henk et al.Accreditation and quality assurance. 2004, Vol 10, Num 1-2, pp 32-36, issn 0949-1775, 5 p.Conference Paper

A combined method for the global optimization using radial basis function and deterministic approachISHIKAWA, T; TSUKUI, Y; MATSUNAMI, M et al.IEEE transactions on magnetics. 1999, Vol 35, Num 3, pp 1730-1733, issn 0018-9464, 1Conference Paper

Adiabatic ac-drive as a tool for acceleration of diffusion in spatially periodic structures and of reset process in threshold devicesSOSKIN, Stanislav M; MANNELLA, Riccardo; YEVTUSHENKO, Oleg M et al.Proceedings of SPIE, the International Society for Optical Engineering. 2007, pp 660008.1-660008.12, issn 0277-786X, isbn 978-0-8194-6737-9, 1VolConference Paper

Alternative model of fuzzy NTU coalitional gameMARES, Milan; VLACH, Milan.Kybernetika. 2003, Vol 39, Num 3, pp 265-274, issn 0023-5954, 10 p.Article

Applications of deterministic chaos theory to corrosionSTRINGER, J; MARKWORTH, A. J.Corrosion science. 1993, Vol 35, Num 1-4, pp 751-760, issn 0010-938XConference Paper

Deterministic Priority Mean-Payoff Games as Limits of Discounted GamesGIMBERT, Hugo; ZIELONKA, Wieslaw.Lecture notes in computer science. 2006, pp 312-323, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

New small universal Circular Post machinesKUDLEK, Manfred; ROGOZHIN, Yurii.Lecture notes in computer science. 2001, pp 217-226, issn 0302-9743, isbn 3-540-42487-3Conference Paper

Deterministic extractors for small-space sourcesKAMO, Jesse; RAO, Anup; VADHAN, Salil et al.Annual ACM symposium on theory of computing. 2006, pp 691-700, isbn 1-59593-134-1, 1Vol, 10 p.Conference Paper

Extracting randomness from generalized symbol-fixing and markov sourcesKÖNIG, Robert; MAURER, Ueli.IEEE International Symposium on Information Theory. 2004, isbn 0-7803-8280-3, 1Vol, p. 232Conference Paper

Andronov-Hopf bifurcation of sinusoidal oscillators under the influence of noiseMATHIS, Wolfgang.IEEE International Symposium on Circuits and Systems. 2004, pp 660-663, isbn 0-7803-8251-X, 4 p.Conference Paper

Tissue P systems with minimal symport/antiportVERLAN, Sergey.Lecture notes in computer science. 2004, pp 418-429, issn 0302-9743, isbn 3-540-24014-4, 12 p.Conference Paper