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

Interference Alignment and the Generalized Degrees of Freedom of the X ChannelCHIACHI HUANG; CADAMBE, Viveck R; ALI JAFAR, Syed et al.IEEE transactions on information theory. 2012, Vol 58, Num 8, pp 5130-5150, issn 0018-9448, 21 p.Article

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

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

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

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

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 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

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 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

Seismic hazard analysis of Laoag City, Northern Philippines for liquefaction potential assessmentBEROYA, M. A. A; AYDIN, A.Engineering geology. 2008, Vol 96, Num 1-2, pp 28-42, issn 0013-7952, 15 p.Article

A deterministic approach for performance assessment and optimization of power distribution units in IranAZADEH, A; GHADERI, S. F; OMRANI, H et al.Energy policy. 2009, Vol 37, Num 1, pp 274-280, issn 0301-4215, 7 p.Article

Accelerating feature-vector matching using multiple-tree and sub-vector methodsLIU, Ying-Ho; LIN, Chin-Chin; LIN, Wen-Hsiung et al.Pattern recognition. 2007, Vol 40, Num 9, pp 2392-2399, issn 0031-3203, 8 p.Article

Numerical simulation of a micro-macro model of concentrated suspensionsGATI, Y.International journal for numerical methods in fluids. 2005, Vol 47, Num 8-9, pp 1019-1025, issn 0271-2091, 7 p.Conference Paper

Predictable and Progressive Testing of Multithreaded CodeBALL, Thomas; BURCKHARDT, Sebastian; DE HALLEUX, Peli et al.IEEE software. 2011, Vol 28, Num 3, pp 75-83, issn 0740-7459, 9 p.Article