Filtrer
Konferencebidrag i proceedings

Søgeresultater

  • 2014

    Biased predecessor search

    Bose, P., Fagerberg, R., Howat, J. & Morin, P., 2014, LATIN 2014: Theoretical Informatics: 11th Latin American Symposium, Montevideo, Uruguay, March 31–April 4, 2014. Proceedings. Pardo, A. & Viola, A. (red.). Springer, s. 755-764 (Lecture Notes in Computer Science, Bind 8392).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Choreographies, Logically

    Carbone, M., Montesi, F. & Schürmann, C., 2014, CONCUR 2014 – Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Paldan, P. & Gorda, D. (red.). Springer, s. 47-62 16 s. (Lecture Notes in Computer Science, Bind 8704).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Efficient large-scale bicluster editing

    Sun, P., Baumbach, J. & Guo, J., 2014, Proceedings of the German Conference on Bioinformatics 2014. Hofestadt, R., Nattkemper, T. W. & Giegerich, R. (red.). Gesellschaft für Informatik (GI) e.V, Bind P-235. s. 54-60 (Lecture Notes in Informatics, Bind P-235).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Finding the True Frequent Itemsets

    Riondato, M. & Vandin, F., 2014, Proceedings of the 2014 SIAM International Conference on Data Mining. Zaki, M. J., Banerjee, A., Parthasarathy, S., Ning-Tan, P., Obradovic, Z. & Kamath, C. (red.). Society for Industrial and Applied Mathematics, s. 497-505 9 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • FooPar: A Functional Object Oriented Parallel Framework in Scala

    Hargreaves, F. P. & Merkle, D., 2014, Parallel Processing and Applied Mathematics : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II. Wyrzykowski, R., Dongarra, J., Karczewski, K. & Waśniewski, J. (red.). Springer, s. 118-129 (Lecture Notes in Computer Science, Bind 8385).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Group Communication Patterns for High Performance Computing in Scala

    Hargreaves, F. P., Merkle, D. & Schneider-Kamp, P., 2014, Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, s. 75-85

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Information flow within relational multi-context systems

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2014, Knowledge Engineering and Knowledge Management. Janowicz, K., Schlobach, S., Lambrix, P. & Hyvönen, E. (red.). Springer, Bind 8876. s. 97-108 (Lecture Notes in Computer Science, Bind 8876).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Integrating Fault-tolerance and Elasticity in a Distributed Data Stream Processing System

    Madsen, K. G. S., Thyssen, P. P. & Zhou, Y., 2014, Proceedings of the 26th International Conference on Scientific and Statistical Database Management. Association for Computing Machinery, 4 s. 48

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Multiple Graph Edit Distance: Simultaneous Topological Alignment of Multiple Protein-protein Interaction Networks with an Evolutionary Algorithm

    Ibragimov, R., Malek, M., Baumbach, J. & Guo, J., 2014, Proceedings of the 2014 Conference on Genetic and Evolutionary Computation. Association for Computing Machinery, s. 277-284 8 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • New and improved spanning ratios for Yao graphs

    Barba, L., Bose, P., Damian, M., Fagerberg, R., Keng, W. L., O'Rourke, J., Van Renssen, A., Taslakian, P., Verdonschot, S. & Xia, G., 2014, Proceedings of the 13th Annual Symposium on Computational Geometry. Association for Computing Machinery, s. 30-39 10 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Online Bin Packing with Advice

    Boyar, J., Kamali, S., Larsen, K. S. & López-Ortiz, A., 2014, 31st Symposium on Theoretical Aspects of Computer Science, STACS 2014. Mayr, E. W. & Portier, N. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 174-186 (Leibniz International Proceedings in Informatics, Bind 25).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • On the complexity of computing two nonlinearity measures

    Find, M. G., 2014, Computer Science - Theory and Applications: 9th International Computer Science Symposium in Russia, CSR2014. Hirsch, E. A., Koznetsov, S. O., Pin, J-É. & Vereshchagin, N. K. (red.). Springer, s. 167-175 (Lecture Notes in Computer Science, Bind 8476).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • On the limits of computational functional genomics for bacterial lifestyle prediction

    Barbosa, E., Röttger, R., Hauschild, A-C., Azevedo, V. & Baumbach, J., 2014, German Conference on Bioinformatics 2014. Giegerich, R., Hofestädt, R. & Nattkemper, T. W. (red.). Gesellschaft für Informatik (GI) e.V, s. 79-84 (Lecture Notes in Informatics, Bind P-235).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • On the List Update Problem with Advice

    Boyar, J., Kamali, S., Larsen, K. S. & López-Ortiz, A., 2014, Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings. Dediu et al., A-H. (red.). Springer, s. 210-221 (Lecture Notes in Computer Science, Bind 8370).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Proving Termination and Memory Safety for Programs with Pointer Arithmetic

    Ströder, T., Giesl, J., Brockschmidt, M., Frohn, F., Fuhs, C., Hensel, J. & Schneider-Kamp, P., 2014, Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). Demri, S., Kapur, D. & Weidenbach, C. (red.). Springer, s. 208-223 16 s. (Lecture Notes in Computer Science, Bind 8562).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Proving Termination of Programs Automatically with AProVE

    Giesl, J., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S. & Thiemann, R., 2014, Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). Demri, S., Kapur, D. & Weidenbach, C. (red.). Springer, s. 184-191 8 s. (Lecture Notes in Computer Science, Bind 8562).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • SemStore: A Semantic-Preserving Distributed RDF Triple Store

    Wu, B., Zhou, Y., Yuan, P., Jin, H. & Liu, L., 2014, Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management. Association for Computing Machinery, s. 509-518 10 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns

    Gabbrielli, M., Giallorenzo, S. & Montesi, F., 2014, Distributed Computing and Artificial Intelligence: 11th International Conference, DCAI 2014, Salamanca, Spain, June 4-6, 2014. Omatu et al., S. (red.). Springer, s. 131-139 9 s. (Advances in Intelligent Systems and Computing, Bind 290).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Simultaneous Inference of Cancer Pathways and Tumor Progression from Cross-Sectional Mutation Data

    Raphael, B. J. & Vandin, F., 2014, Proceeding of 18th Annual International Conference on Research in Computational Molecular Biology. Sharan, R. (red.). Springer, s. 250-264 15 s. (Lecture Notes in Computer Science, Bind 8394).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes

    Codish, M., Cruz-Filipe, L. & Schneider-Kamp, P., 2014, Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, s. 359-366

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The Relationship between Multiplicative Complexity and Nonlinearity

    Boyar, J. & Find, M. G., 2014, Mathematical Foundations of Computer Science 2014. Csuhaj-Varjú, E., Dietzfelbinger, M. & Ésik, Z. (red.). Springer, s. 130-140 (Lecture Notes in Computer Science, Bind 8635).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Towards a Composition-based APIaaS Layer

    Guidi, C., Giallorenzo, S. & Gabbrielli, M., 2014, CLOSER 2014 - Proceedings of the 4th International Conference on Cloud Computing and Services Science, Barcelona, Spain, April 3-5, 2014.. SCITEPRESS Digital Library, s. 425-432 8 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Towards an Optimal DNA-Templated Molecular Assembler

    Andersen, J. L., Flamm, C., Hanczyc, M. M. & Merkle, D., 30. jul. 2014, Artificial Life 14: Proceedings of the Fourteenth Conference on the Synthesis and Simulation of Living Systems. Sayama, H., Rieffel, J., Risi, S., Doursat, R. & Lipson, H. (red.). MIT Press, s. 557-564

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten)

    Codish, M., Frank, M., Cruz-Filipe, L. & Schneider-Kamp, P., 2014, Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence. IEEE, s. 186-193

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2013

    Barrier Trees for Metabolic Adjustment Landscapes

    Flamm, C., Hemmingsen, C. & Merkle, D., 2013, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life. American Society of Mechanical Engineers, s. 1151-1158

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Bounds for scheduling jobs on grid processors

    Boyar, J. & Ellen, F., 2013, Space-Efficient Data Structures, Streams, and Algorithms: Papers in Honor of J. Ian Munro, on the Occasion of His 66th Birthday. Brodnik, A., Lopez-Ortiz, A., Raman, V. & Viola, A. (red.). Springer, s. 12-26 (Lecture Notes in Computer Science, Bind 8066).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Cancellation-Free Circuits in Unbounded and Bounded Depth

    Boyar, J. & Find, M. G., 2013, Fundamentals of Computation: 19th International Symposium, FCT 2013. Gąsieniec, L. & Wolter, F. (red.). Springer, s. 159-170 (Lecture Notes in Computer Science, Bind 8070).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Cluster editing

    Böcker, S. & Baumbach, J., 1. jan. 2013, The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, Cie 2013, Milan, Italy, July . Bonizzoni, P., Brattka, V. & Löwe, B. (red.). Springer, s. 33-44 12 s. (Lecture Notes in Computer Science, Bind 7921).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Covering tree with stars

    Baumbach, J., Guo, J-Y. & Ibragimov, R., 2013, Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Du, D-Z. & Zhang, G. (red.). Springer, s. 373-384 12 s. (Lecture Notes in Computer Science, Bind 7936).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Demo: elastic mapreduce-style processing of fast data

    Madsen, K. G. S. & Zhou, Y., 2013, DEBS’13: Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems Arlington, TX, USA — June 29 - July 03, 2013. Association for Computing Machinery, s. 335-336

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Efficient algorithms for computing the triplet and quartet distance between trees of arbitrary degree

    Brodal, G. S., Fagerberg, R., Mailund, T., Pedersen, C. N. S. & Sand, A., 2013, Proceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (red.). Society for Industrial and Applied Mathematics, s. 1814-1832 19 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Four Measures of Nonlinearity

    Boyar, J., Find, M. G. & Peralta, R., 2013, Algorithms and Complexity - 8th International Conference, CIAC 2013, Proceedings: 8th International Conference, CIAC 2013. Spirakis, P. G. & Serna, M. (red.). Springer, s. 61-72 12 s. (Lecture Notes in Computer Science, Bind 7878).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Grand challenge: MapReduce-style processing of fast sensor data

    Madsen, K. G. S., Su, L. & Zhou, Y., 2013, DEBS’13: Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems Arlington, TX, USA — June 29 - July 03, 2013. Association for Computing Machinery, s. 313-318

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Multi-Scale Dissemination of Time Series Data

    Guo, Q., Zhou, Y. & Su, L., jul. 2013, Proceedings of the 25th International Conference on Scientific and Statistical Database Management . Szalay, A., Budavari, T., Balazinska, M., Meliou, A. & Sacan, A. (red.). Association for Computing Machinery, 12 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    293 Downloads (Pure)
  • NABEECO: Biological network alignment with bee colony optimization algorithm

    Ibragimov, R., Martens, J., Guo, J-Y. & Baumbach, J., 2013, GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion. s. 43-44

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • On Advice Complexity of the k-server Problem under Sparse Metrics

    Gupta, S., Kamali, S. & López-Ortiz, A., 2013, Structural Information and Communication Complexity: 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers. Moscibroda, T. & Rescigno, A. A. (red.). Springer, s. 55-67 (Lecture Notes in Computer Science, Bind 8179).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Online Bin Covering: Expectations vs. Guarantees

    Christ, M. G., Favrholdt, L. M. & Larsen, K. S., 2013, Combinatorial Optimization and Applications: 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings. Widmayer, P., Xu, Y. & Zhu, B. (red.). Springer, s. 226-237 12 s. (Lecture Notes in Computer Science, Bind 8287).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Relative Interval Analysis of Paging Algorithms on Access Graphs

    Boyar, J., Gupta, S. & Larsen, K. S., 2013, Algorithms and Data Structures - 13th International Symposium, WADS 2013, Proceedings. Springer, Bind 8037. s. 195-206 (Lecture Notes in Computer Science).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs

    Giesl, J., Ströder, T., Schneider-Kamp, P., Emmes, F. & Fuhs, C., 2013, Logic-Based Program Synthesis and Transformation. Albert, E. (red.). Springer, Bind 7844. 1 s. (Lecture Notes in Computer Science, Bind 7844).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The Frequent Items Problem in Online Streaming under Various Performance Measures

    Boyar, J., Larsen, K. S. & Maiti, A., 2013, Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings. Gąsieniec, L. & Wolter, F. (red.). Springer, Bind 8. s. 60-71 (Lecture Notes in Computer Science, Bind 8070).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2012

    A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog

    Ströder, T., Emmes, F., Schneider-Kamp, P., Giesl, J. & Fuhs, C., 2012, Proceedings of the 14th International Symposium on Principles and Practice of Declarative Programming (PPDP '12). Association for Computing Machinery, s. 237-252 (Lecture Notes in Computer Science, Bind 7225).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Energy Efficiency for MapReduce Workloads: An In-depth Study

    Feng, B., Lu, J., Zhou, Y. & Yang, N., 2012, Proceedings of the Twenty-Third Australasian Database Conference. Zhang, R. & Zhang, Y. (red.). Australian Computer Society, s. 61-70 (CRPIT, Bind 124).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • On Optimizing Relational Self-Joins

    Cao, Y., Zhou, Y., Chan, C. Y. & Tan, K-L., 2012, Proceedings of the 15th International Conference on Extending Database Technology . New York: Association for Computing Machinery, s. 120-131

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskning

  • Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs

    Giesl, J., Ströder, T., Schneider-Kamp, P., Emmes, F. & Fuhs, C., 2012, Proceedings of the 14th International Symposium on Principles and Practice of Declarative Programming (PPDP '12). Association for Computing Machinery, 12 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2011

    An Efficient Management of Correlation Sets with Broadcast

    Mauro, J., Gabbrielli, M., Guidi, C. & Montesi, F., 2011, Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. s. 80-94 15 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2)

    Kornerup, P., Brisebarre, N., Joldes, M., Martin-Dorel, E. & Muller, J-M., 25. jun. 2011, Proceedings of 20th IEEE Symposium on Computer Arithmetic. Piscataway, NJ, USA: IEEE Computer Society Press, s. 23-30 8 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Bandwidth assignment for reliable fixed broadband wireless networks

    Classen, G., Coudert, D., Koster, A. M. C. A. & Vieira Nepomuceno, N., 1. jun. 2011, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2011 IEEE International Symposium on a. IEEE Computer Society Press, s. 1 -6

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskning

  • Dependency Triples for Improving Termination Analysis of Logic Programs with Cut

    Ströder, T., Schneider-Kamp, P. & Giesl, J., 2011, Proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '10). Springer, s. 184-199 (Lecture Notes in Computer Science, Bind 6564).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Efficiency issues in the RLF heuristic for graph coloring

    Chiarandini, M., Galbiati, G. & Gualandi, S., 2011, Proceedings of the 9th Metaheuristics International Conference, MIC 2011. Gaspero, L. D., Schaerf, A. & Stützle, T. (red.). s. 461-469 9 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Energy saving in fixed wireless broadband networks

    Coudert, D., Vieira Nepomuceno, N. & Tahiri, I., 2011, International Network Optimization Conference (INOC). Springer, s. 484-489 6 s. (Lecture Notes in Computer Science, Bind 6701).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskning