Filter
Conference contribution

Search results

  • 2020

    HAL: Improved Text-­Image Matching by Mitigating Visual Semantic Hubs

    Liu, F., Ye, R., Wang, X. & Li, S., 2020, The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20). AAAI PRESS

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
  • Leak-Resistant Design of DNA Strand Displacement Systems

    Gautam, V., 2020, Bio-inspired Information and Communication Technologies - 12th EAI International Conference, BICT 2020, Proceedings. Chen, Y., Nakano, T., Lin, L., Mahfuz, M. U. & Guo, W. (eds.). p. 80-96 17 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 329 LNICST).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    92 Downloads (Pure)
  • RuleDSD: A rule-based modelling and simulation tool for DNA strand displacement systems

    Gautam, V., Long, S. & Orponen, P., 2020, Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies: Volume 3 BIOINFORMATICS. De Maria, E., Fred, A. & Gamboa, H. (eds.). p. 158-167 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    75 Downloads (Pure)
  • 2019

    A strong and robust baseline for text-image matching

    Liu, F. & Ye, R., 2019, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Student Research Workshop. Association for Computational Linguistics (ACL), p. 169-176 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    2 Citations (Scopus)
  • 2018

    Algorithmic design of cotranscriptionally folding 2D RNA origami structures

    Mohammed, A., Orponen, P. & Pai, S., 31 May 2018, Unconventional Computation and Natural Computation: 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings. Stepney, S. & Verlan, S. (eds.). p. 159-172 (Lecture Notes in Computer Science; vol. 10867).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    180 Downloads (Pure)
  • 2017

    Unknotted strand routings of triangulated meshes

    Mohammed, A. & Hajij, M., 2017, DNA Computing and Molecular Programming: 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings. Brijder, R. & Qian, L. (eds.). p. 46-63 ( Lecture Notes in Computer Science; vol. 10467).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    3 Citations (Scopus)
    178 Downloads (Pure)
  • 2016

    Programming biomolecules that fold greedily during transcription

    Geary, C., Meunier, P-É., Schabanel, N. & Seki, S., 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland. Faliszewski, P., Muscholl, A. & Niedermaier, R. (eds.). Germany: Schloss Dagstuhl - Leibniz Center for Informatics, p. 1-14 14 p. 43. (LIPIcs - Leibniz International Proceedings in Informatics; vol. 58).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    17 Citations (Scopus)
    41 Downloads (Pure)
  • 2015

    An Excursion Through Quantitative Model Refinement

    Azimi, S., Czeizler, E., Gratie, C., Gratie, D-E., Iancu, B., Ibssa, N., Petre, I., Rogojin, V., Shadbahr, T. & Shokri, F., 2015, 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015. p. 25-47

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Binary pattern tile set synthesis is NP-hard

    Kari, L., Kopecki, S., Meunier, P-É., Patitz, M. J. & Seki, S., 2015, 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, Kyoto, Japan, July 6-10, 2015. Springer Berlin Heidelberg, p. 1022-1034

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    6 Citations (Scopus)
  • Square-Density Increasing Mappings

    Manea, F. & Seki, S., 2015, 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015. Springer-verlag Berlin, p. 160-169

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    4 Citations (Scopus)
  • 2014

    Generalized Lyndon-Schützenberger Equations

    Manea, F., Müller, M., Nowotka, D. & Seki, S., 2014, International Symposium on Mathematical Foundations of Computer Science, Budapest, Hungary, August 25-29, 2014. p. 402-413

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    5 Citations (Scopus)
  • Operational State Complexity under {P}arikh Equivalence

    Lavado, G. J., Pighizzini, G. & Seki, S., 2014, International Workshop on Descriptional Complexity of Formal Systems, Turku, Finland, August 5-8, 2014. p. 294-305

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    9 Citations (Scopus)
  • Strong Square Conjecture on Binary Words

    Jonoska, N., Manea, F. & Seki, S., 2014, Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 25-30, 2014. p. 339-350

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    3 Citations (Scopus)
  • 2013

    Yield optimization strategies for DNA staged tile assembly systems

    Czeizler, E. & Orponen, P., 2013, 2nd International Conference on the Theory and Practice of Natural Computing (TPNC 2013), Cáceres, Spain, 3-5 December 2013. Dediu, A-H., Martin-Vide, C., Truthe, B. & Vega-Rodriguez, M. A. (eds.). Berlin Heidelberg, p. 31-44 (Lecture Notes in Computer Science; vol. 8273).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    2 Citations (Scopus)
    18 Downloads (Pure)
  • 2012

    Computational Modelling of the kinetic Tile Assembly Model using a rule-based approach

    Mohammed, A., Pletea, D. & Czeizler, E., 2012, DNA Computing and Molecular Programming - 18th International Conference, Aarhus, Denmark, August 14-17, 2012. p. 36

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  • Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent Deterministic Automata

    Lavado, G. J., Pighizzini, G. & Seki, S., 2012, DLT The 16th International Conference on Developments in Language Theory (DLT 2012) DLT, (Taipei, Taiwan, August 14-17, 2012). p. 284-295

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    3 Citations (Scopus)
  • On the Behavior of Tile Assembly System at High Temperatures

    Seki, S. & Okuno, Y., 2012, CiE Turing Centenary Conference - How the World Computes (CiE 2012) CiE, Cambridge, United Kingdom, June 18-23, 2012. p. 550-560

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    2 Citations (Scopus)
  • Synthesizing Minimal Tile Sets for Complex Patterns in the Framework of Patterned DNA Self-Assembly

    Czeizler, E. & Popa, A., 2012, DNA Computing and Molecular Programming - 18th International Conference (DNA 18) DNA, Aarhus, Denmark, August 14-17, 2012. Stefanovic, D. & Turberfield, A. J. (eds.). p. 58-72

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    8 Citations (Scopus)
  • Unordered constraint satisfaction games

    Ahlroth, L. & Orponen, P., 2012, MFCS 37th International Symposium on Mathematical Foundations of Computer Science (MFCS 2012) MFCS, Bratislava, Slovakia, August 27-31, 2012. Rovan, B., Sassone, V. & Widmayer, P. (eds.). p. 64-75

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    3 Citations (Scopus)
    14 Downloads (Pure)
  • 2011

    Synthesizing minimal tile sets for patterned DNA self-assembly

    Göös, M. & Orponen, P., 2011, The 16th Conference on DNA Computing and Molecular Programming (DNA16) DNA, (Hong Kong, China, June 2010). Sakakibara, Y. & Mi, Y. (eds.). Berlin Heidelberg, p. 71-82 (Lecture Notes in Computer Science; vol. 6518).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    17 Citations (Scopus)
    11 Downloads (Pure)
  • Synthesizing small and reliable tile sets for patterned DNA self-assembly

    Lempiäinen, T., Czeizler, E. & Orponen, P., 2011, DNA Computing and Molecular Programming - 17 th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings. Cardelli, L. & Shih, W. (eds.). Berlin Heidelberg, p. 145-159 15 p. (Lecture Notes in Computer Science; vol. 6937).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    10 Citations (Scopus)
    19 Downloads (Pure)
  • The phosphorylation of the heat shock factor as a modulator for the heat shock response

    Czeizler, E., Rogojin, V. & Petre, I., 2011, CMSB'11 9th International Conference on Computational Methods in Systems Biology Paris, France September 21 - 23, 2011. Fages, F. (ed.). New York: ACM, p. 9-23

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    2 Citations (Scopus)
  • 2008

    Balanced multipath source routing

    Prasad, S., Schumacher, A., Haanpää, H. & Orponen, P., 2008, The 21st International Conference on Information Networking (ICOIN'07). Vazao, T., Freire, M. M. & Chong, I. (eds.). Berlin Heidelberg, p. 315-324

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    3 Citations (Scopus)
    12 Downloads (Pure)
  • Lifetime maximization in wireless sensor networks by distributed binary search

    Schumacher, A., Orponen, P., Thaler, T. & Haanpää, H., 2008, 5th European Conference on Wireless Sensor Networks, EWSN 2008, Jan 30-Feb 1 2008. p. 237-252

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    2 Citations (Scopus)
    7 Downloads (Pure)
  • 2007

    Distributed computation of maximum lifetime spanning subgraphs in sensor networks

    Haanpää, H., Schumacher, A., Thaler, T. & Orponen, P., 2007, The 3rd International Conference on Mobile Ad-Hoc and Sensor Networks (MSN'07, Beijing, China, December 2007). Zhang, H., Olariu, S., Cao, J. & Johnson, D. B. (eds.). Berlin Heidelberg, p. 445-456

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    3 Citations (Scopus)
    21 Downloads (Pure)
  • 2006

    Load balancing by distributed optimisation in ad hoc networks

    Schumacher, A., Haanpää, H., Schaeffer, S. E. & Orponen, P., 2006, Mobile Ad-hoc and Sensor Networks Second International Conference, MSN 2006 Hong Kong, China, December 13-15, 2006. Jiannong Cao, I. S. (ed.). Berlin / Heidelberg, p. 873-884

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    1 Citation (Scopus)
    17 Downloads (Pure)
  • 2005

    Local clustering of large graphs by approximate Fiedler vectors

    Orponen, P. & Schaeffer, S. E., 2005, 4th International Workshop on Efficient and Experimental Algorithms, Santorini, Kreikka, 10.-13.5.2005. E. Nikoletseas, S. (ed.). Berlin Heidelberg, Saksa, p. 524-533

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    8 Citations (Scopus)
    14 Downloads (Pure)
  • Threshold behaviour of WalkSAT and focused Metropolis search on random 3-satisfiability

    Seitz, S., Alava, M. & Orponen, P., 2005, 8th International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Skotlanti, 20.-23.6.2005. Bacchus, F. & Walsh, T. (eds.). Berlin Heidelberg, p. 475-481

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    5 Citations (Scopus)
    6 Downloads (Pure)
  • 2004

    Balanced data gathering in energy-constrained sensor networks

    Falck, E., Floréen, P., Kaski, P., Kohonen, J. & Orponen, P., 2004, ALGOSENSORS'04, First International Workshop on Algorithmic Aspects of Wireless Sensor Networks, Turku, Suomi, 16.7.2004. Nikoletseas, S. & Rolim, J. D. P. (eds.). Berlin Heidelberg, p. 59-70

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    49 Downloads (Pure)
  • 2003

    An efficient local search method for random 3-satisfiability

    Seitz, S. & Orponen, P., 2003, IEEE LICS'03 Workshop on Typical Case Complexity and Phase Transitions, Ottawa, Canada, June 2003. Kranakis, E. & Kirousis, L. (eds.). Amsterdam: Elsevier

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Multicast time maximization in energy constrained wireless networks

    Floréen, P., Kaski, P., Kohonen, J. & Orponen, P., 2003, DIALM-POMC '03 Joint Workshop on Foundations of Mobile Computing, San Diego, CA, USA, 19.9.2003. Richa, A. & Welch, J. (eds.). ACM, New York: ACM Press, p. 50-58

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    48 Citations (Scopus)
    192 Downloads (Pure)
  • 2002

    Computation of the multivariate Oja median

    Ronkainen, T., Oja, H. & Orponen, P., 2002, International Conference on Robust Statistics ICORS '01, Stift Vorau, Itävalta, heinäkuu 2001. Dutter, R., Filzmoser, P., Gather, U. & Rousseeuw, J. (eds.). Berliini: Springer-Verlag/Physica, p. 344-359

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    File
    21 Downloads (Pure)
  • 2001

    Computing with continuous-time Liapunov systems

    Síma, J. & Orponen, P., 2001, Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece. Vitter, J. S., Spirakis, P. G. & Yannakakis, M. (eds.). ACM, p. 722-731 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    6 Downloads (Pure)
  • Exponential transients in continuous-time symmetric Hopfield nets

    Síma, J. & Orponen, P., 2001, Artificial Neural Networks - ICANN 2001, International Conference Vienna, Austria, August 21-25, 2001 Proceedings. Dorffner, G., Bischof, H. & Hornik, K. (eds.). p. 806-813 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    2 Downloads (Pure)
  • 1999

    Some afterthoughts on Hopfield networks

    Síma, J., Orponen, P. & Antti-Poika, T., 1999, SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings. Pavelka, J., Tel, G. & Bartosek, M. (eds.). p. 459-469 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
  • 1997

    A survey of continuous-time computation theory

    Orponen, P., 1997, Advances in Algorithms, Languages, and Complexity - In Honor of Ronald V. Book. Du, D-Z. & Ko, K-I. (eds.). Kluwer Academic Publishers, p. 209-224 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
  • The computational power of continuous time neural networks

    Orponen, P., 1997, SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings. Plasil, F. & Jeffrey, K. G. (eds.). p. 86-103 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 1996

    On the effect of analog noise in discrete-time analog computations

    Maass, W. & Orponen, P., 1996, Advances in Neural Information Processing Systems 9, NIPS, Denver, CO, USA, December 2-5, 1996. Mozer, M., Jordan, M. I. & Petsche, T. (eds.). p. 218-224 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    5 Downloads (Pure)
  • Parallel programming on Hopfield nets

    Orponen, P. & Prost, F., 1996, 7th Finnish Artificial Intelligence Conference, Vaasa, Finland, August 20-23, 1996, Proceedings: STeP'96 - Genes, Nets and Symbols. Alander, J., Honkela, T. & Jakobsson, M. (eds.). Suomen Tekoälyseura ry - Finnish Artificial Intelligence Society, p. 5-12

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  • Universal computation by finite two-dimensional coupled map lattices

    Orponen, P. & Matamala, M., 1996, 4th Workshop on Physics and Computation, PhysComp 96, Boston, MA, USA, November 22-24, 1996, Proceedings. Toffoli, T., Biafore, M. & Leão, J. (eds.). Cambridge, MA, p. 243-247

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
  • 1994

    Random strings make hard instances

    Buhrman, H. & Orponen, P., 1994, Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994. p. 217-222 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 1993

    On the computational power of discrete Hopfield nets

    Orponen, P., 1993, Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Lingas, A., Karlsson, R. G. & Carlsson, S. (eds.). p. 215-226 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 1992

    Integrating symbolic reasoning with neurally represented background knowledge

    Myllymäki, P., Orponen, P. & Silander, T., 1992, 5th Finnish Artificial Intelligence Conference, Espoo, Finland, June 9-11, 1992, Proceedings: STeP'92 - New Directions in Artificial Intelligence. Hyvönen, E., Seppänen, J. & Syrjänen, M. (eds.). Suomen Tekoälyseura ry - Finnish Artificial Intelligence Society, Vol. 2. p. 231-240

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  • Neural networks and complexity theory

    Orponen, P., 1992, Mathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings. Havel, I. M. & Koubek, V. (eds.). p. 50-61 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 1991

    Probably approximately optimal derivation strategies

    Greiner, R. & Orponen, P., 1991, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991.. Allen, J. F., Fikes, R. & Sandewall, E. (eds.). p. 277-288 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 1990

    On the instance complexity of NP-hard problems

    Orponen, P., 1990, Proceedings: Fifth Annual Structure in Complexity Theory Conference, Universitat Politècnica de Catalunya, Barcelona, Spain, July 8-11, 1990. p. 20-27 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • On the sample complexity of finding good search strategies

    Orponen, P. & Greiner, R., 1990, Proceedings of the Third Annual Workshop on Computational Learning Theory, COLT 1990, University of Rochester, Rochester, NY, USA, August 6-8, 1990.. Fulk, M. A. & Case, J. (eds.). p. 352-358 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    1 Downloads (Pure)
  • Programming methods for neural computing

    Tirri, H., Myllymäki, P., Orponen, P. & Floréen, P., 1990, Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings. Fronhöfer, B. & Wrightson, G. (eds.). p. 357 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 1986

    On exponential lowness

    Book, R. V., Orponen, P., Russo, D. A. & Watanabe, O., 1986, Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings. Kott, L. (ed.). p. 40-49 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • What Is a hard instance of a computational problem?

    Ko, K-I., Orponen, P., Schöning, U. & Watanabe, O., 1986, Structure in Complexity Theory, Proceedings of the Conference hold at the University of California, Berkeley, California, June 2-5, 1986. Selman, A. L. (ed.). p. 197-217 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review