Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2013
Remove all filters
Displaying results 51 to 60 of 504.

  1. Kristian Sons; Philipp Slusallek

    Towards a 3D transmission format for the Web

    Position Paper, 9th International AR Standards Community Meeting, N.N. Vol. N.N. 5/2013.

  2. Beata Turonova; Lukas Marsalek; Tomás Davidovic; Philipp Slusallek

    Progressive Stochastic Reconstruction Technique for Cryo Electron Tomography

    In: SIGGRAPH Asia 2013 Posters. ACM SiggraphAsia (SigAsia-13), November 19-22, Hong Kong, Pages 11:1-11:1, ISBN 978-1-4503-2634-6, ACM, 2013.

  3. Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler

    Reducing the depth of quantum circuits using additional circuit lines

    In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC), Pages 221-233, …

  4. Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler

    Exact Ttemplate Matching using Boolean Satisfiability

    In: International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS), Pages 328-333, …

  5. Sabine Janzen

    Mixed Intention Sets in Dialogue Planning

    In: 43. Jahrestagung der Gesellschaft für Informatik e.V. (GI) (Informatik 2013), Koblenz, Germany. Jahrestagung der Gesellschaft für Informatik …

  6. Ansgar Bernardi

    iGreen -- Vom Segen und Fluch eines interdisziplinären Forschungsprojekts

    In: LU aktuell, Vol. 2013, No. 6, Page 34, Bundesverband Lohnunternehmen e.V. 6/2013.

  7. Till Mossakowski; Markus Roggenbach; Lutz Schröder

    Specification, Transformation, Navigation. Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday

    In: Till Mossakowski; Markus Roggenbach; Lutz Schröder (Hrsg.). Electronic Communications of the EASST, Vol. 62, Pages 1-999, EASST, online, hosted by …

  8. Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

    A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

    MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and …

  9. David Enke; Nijat Mehdiyev

    Type-2 Fuzzy Clustering and a Type-2 Fuzzy Inference Neural Network for the Prediction of Short-term Interest Rates

    In: Procedia Computer Science, Vol. 20, Pages 115-120, Elsevier, 2013.

  10. David Enke; Nijat Mehdiyev

    Stock Market Prediction Using a Combination of Stepwise Regression Analysis, Differential Evolution-based Fuzzy Clustering, and a Fuzzy Inference Neural Network.

    In: Intelligent Automation & Soft Computing, Vol. 19, No. 4, Pages 636-648, Taylor and Francis, 2013.

Year