• PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Søgeresultater

  • Bidrag til bog/antologi

    Modeling Moving Machines

    Andersen, P. B. & Nowack, P., 2004, Virtual Applications : Applications with Virtual Inhabited 3d Worlds. Lars Qvortrup & Peter Bøgh Andersen (Eds.) (red.). London: IEEE Computer Society Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Modelling with Relational Calculus of Object and Component Systems - rCOS

    Chen, Z., Hannousse, A. H., Hung, D. V., Knoll, I., LI, X., Liu, Z., Liu, Y., Nan, Q., Okika, J. C., Ravn, A. P., Stolz, V., Yang, L. & Zhan, N., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (red.). Berlin/Heidelberg: Springer, s. 116-145 (Lecture Notes in Computer Science; Nr. 5153).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    11 Citationer (Scopus)
  • Models for Embedded Real-Time Systems

    Lime, D., Roux, O. H. & Srba, J., 2009, Communicating Embedded Systems - Software and Design. Roux, O. H. & Jard, C. (red.). Wiley, s. 1-38 38 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Models for Real-Time Embedded Systems

    Lime, D., Roux, O. H. & Srba, J., 13 feb. 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (red.). Wiley, s. 1-37 37 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Model-Theoretic Expressivity Analysis

    Jaeger, M., 2008, Probabilistic Inductive Logic Programming: Theory and Applications. De Raedt, L., Frasconi, P., Kersting, K. & Muggleton, S. (red.). Berlin/Heidelberg: Springer, s. 325-339 (Lecture Notes In Artificial Intelligence; Nr. 4911).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    12 Citationer (Scopus)
  • Modification

    Leung, T. Y. C., Jensen, C. S. & Snodgrass, R. T., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Montague-semantik

    Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (red.). Aalborg: Aalborg Universitet

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Monte Carlo methods for preference learning

    Viappiani, P., 1 jan. 2012, Learning and Intelligent Optimization: 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers. Hamadi, Y. & Schoenauer, M. (red.). Springer Publishing Company, s. 503-508 6 s. (Lecture Notes in Computer Science, Bind 7219).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    3 Citationer (Scopus)
  • Multi-currency Influence Diagrams

    Nielsen, S. H., Nielsen, T. D. & Jensen, F. V., 2007, Advances in Probabilistic Graphical Models. Lucas, P., Gamez, J. & Salmeron, A. (red.). Springer, Bind 213. s. 275-294 (Studies in Fuzziness and Soft Computing, Bind 213).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    Fil
    3 Citationer (Scopus)
    495 Downloads (Pure)
  • Multidimensional Databases

    Pedersen, T. B. & Jensen, C. S., 2005, Industrial Information Technology Handbook. Zurawski, R. (red.). CRC Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Multidimensional Modeling

    Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Multimedia Systems Development Methodologies: Experiences and Requirement

    Eriksen, L. B., Skov, M. & Stage, J., 2000, Narrative and Interactive Learning Environments. Leeds University, s. 75-82

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Multiple Image Segmentation

    Smets, J. & Jaeger, M., 2015, Pattern Recognition Applications and Methods: Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers. Fred, A., De Marsico, M. & Tabbone, A. (red.). Springer, s. 3-18 16 s. (Lecture Notes in Computer Science, Bind 9443).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • MUNIN: an expert EMG assistant

    Andreassen, S., Jensen, F. V., Andersen, S. K., Falck, B., Kjærulff, U., Woldbye, M., Sørensen, A. R., Rosenfalck, A. & Jensen, F., 1989, Computer-Aided Electromyography and Expert Systems. Desmedt, J. E. (red.). Pergamon Press, s. 255-277

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • NEER: An Unsupervised Method for Named Entity Evolution Recognition

    Tahmasebi, N., Gossen, G., Kanhabua, N., Holzmann, H. & Risse, T., 2012, Proceedings the 24th International Conference on Computational Linguistics. ACL, s. 2553-2568 16 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    30 Citationer (Scopus)
  • New Results on Timed Specifications

    Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. & Wasowski, A., 23 feb. 2012, Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Mossakowski, T. & Kreowski, H-J. (red.). Springer, s. 175-192 18 s. (Lecture Notes in Computer Science, Bind 7137).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    509 Downloads (Pure)
  • News from Product to Service

    Eriksen, L. B., Ihlström, C. & Palmer, J., 2000, Planet Internet. Braa, K. : Sørensen, C. : Dahlbom, B. (eds.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Now

    Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowitz, T. & Jensen, C. S., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Now in TSQL2

    Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowits, T. & Jensen, C. S., 1994, The TSQL2 Language Specification. s. 12

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • On the Relationship between LTL Normal Forms and Büchi Automata

    Li, J., Pu, G., Zhang, L., Wang, Z., He, J. & Larsen, K. G., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Bind 8051. s. 256-270 (Lecture Notes in Computer Science, Bind 8051).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    5 Citationer (Scopus)
  • On the Total Variation Distance of Semi-Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (red.). Springer, Bind 9034. s. 185-199 15 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    12 Citationer (Scopus)
  • Optimal Bounds for Multiweighted and Parametrised Energy Games

    Juhl, L., Larsen, K. G. & Raskin, J-F., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer Publishing Company, Bind 8051. s. 244-255 (Lecture Notes in Computer Science, Bind 8051).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    27 Citationer (Scopus)
  • Optimal Operation of Residential Heating Systems in Electricity Markets Leveraging Joint Power‐Heat Flexibility

    Golmohamadi, H., 11 nov. 2022, Coordinated Operation and Planning of Modern Heat and Electricity Incorporated Networks. Daneshvar, M., Mohammadi-Ivatloo, B. & Zare, K. (red.). Wiley-IEEE press, s. 289-318 30 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Organizational Intranets: Cultivating Information Technology for the People by the People

    Scheepers, R. & Rose, J., 2001, Managing Internet and Intranet Technologies in Organizations : Challenges and Opportunities. Dasgupta, S. (red.). Hershey: Idea Group Publishing

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Personalized route recommendation using big trajectory data

    Dai, J., Yang, B., Guo, C. & Ding, Z., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, s. 543-554 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    150 Citationer (Scopus)
  • PlayingWORDLE with UPPAAL STRATEGO

    Jensen, P. G., Larsen, K. G. & Mikučionis, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (red.). Springer, s. 283-305 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13560 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Preface

    Castellanos, M., Dayal, U., Pedersen, T. B. & Tatbul, N., 2015, Preface. Bind 206. s. 5-9 5 s. (Lecture Notes in Business Information Processing).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Preface: Preface

    Pedersen, T. B., Mohania, M. & Tjoa, A. M., 2009, Data Warehousing and Knowledge Discovery, 11th International Conference, DaWaK 2009, Linz, Austria, August 31 - September 2, 2009, Proceedings.. Bind 5691 LNCS. s. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    1 Citationer (Scopus)
  • Prescriptive Analytics

    Siksnys, L. & Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 3 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Probabilistic Grid-Based Approaches for Privacy-Preserving Data Mining on Moving Object Trajectories

    Gidofalvi, G., Xuegang, H. & Pedersen, T. B., 2010, Privacy-Aware Knowledge Discovery: Novel Applications and New Techniques. Bonchi, F. & Ferrari, E. (red.). CRC Press, 29 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    5 Citationer (Scopus)
  • Probabilistic Networks

    Jensen, F. V. & Lauritzen, S. L., 2000, Algoriths for Uncertainty and Defeasible Reasoning. Kohlas, J. : Moral, S. (red.). Dordrecht: Kluwer Academic Publishers, s. 289-320 (Handbook of Defeasible Reasoning and Uncertainty Management Systems; Nr. 5).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Probabilistic Networks

    Jensen, F. V. & Lauritzen, S. L., 2001, Handbook of Defeasible and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning. Kohlas, J. & Moral, S. (red.). Kluwer Academic Publishers, Bind 5. s. 289-320

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Probabilistic Networks

    Jensen, F. V. & Lauritzen, S. L., 2000, Handbook of Defeasable and Uncertainty Management.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiFormidling

  • Probabilities of Future Decisions

    Nilsson, D. & Jensen, F. V., 2000, Information, Uncertainty and Fusion. Bouchon-Meunier, B. : Yager, R. R. : Zadeh, L. A. (eds.) (red.). Boston, Mass.: Kluwer Academic Publishers, s. 161-171 (Kluwer international series in engineering and computer science; Nr. SECS 516).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Problem Diagnosis in SPI

    Iversen, J. H., Nielsen, P. A. & Nørbjerg, J., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) :Ngwenyama, O. (ed.) (red.). Boston: Addison-Wesley, (The agile software development series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Prototyping and Specifying: Principles and Practices of a Mixed Approach

    Mathiassen, L., Seewaldt, T. & Stage, J., 1994, Quality Software: Concepts and Tools. Stage, Jan : Nørmark, Kurt : Larsen, Kim G. (eds.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Publishing Danish Agricultural Government Data as Semantic Web Data

    Andersen, A. B., Gür, N., Hose, K., Jakobsen, K. A. & Pedersen, T. B., 2015, Semantic Technology: 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers. Supnithi, T., Yamaguchi, T., Pan, J. Z., Wuwongse, V. & Buranarach, M. (red.). Springer, s. 178-186 9 s. (Lecture Notes in Computer Science; Nr. 8943).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    Åben adgang
    Fil
    9 Citationer (Scopus)
    579 Downloads (Pure)
  • pygrametl: A Powerful Programming Framework for Easy Creation and Testing of ETL Flows

    Jensen, S. K., Thomsen, C., Pedersen, T. B. & Andersen, O., 18 maj 2021, Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII: Special Issue In Memory of Univ. Prof. Dr. Roland Wagner. Springer, Bind XLVIII. s. 45-84 40 s. (Lecture Notes in Computer Science, Bind 12670).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    356 Downloads (Pure)
  • Quantitative Analysis of Interval Markov Chains

    Bacci, G., Delahaye, B., Larsen, K. G. & Mariegaard, A., 2021, Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Olderog, E-R., Steffen, B. & Li, W. (red.). Springer, Bind 13030. s. 57-77 20 s. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Bind 13030).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    Åben adgang
    2 Citationer (Scopus)
  • Quantitative Equational Reasoning

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., dec. 2020, Foundations of Probabilistic Programming. Barthe, G., Katoen, J-P. & Silva, A. (red.). Cambridge University Press, s. 333-360

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    Åben adgang
  • QUEST: Query Expansion Using Synonyms over Time

    Kanhabua, N. & Nørvåg, K., 2010, Proceedings of European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2010. s. 595-598 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    4 Citationer (Scopus)
  • Quorum Systems

    Wattenhofer, R. & Förster, K-T., 2016, Distributed Ledger Technology: The Science of the Blockchain. Wattenhofer, R. (red.). Inverted Forest Publishing, s. 87-104 18 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiUndervisning

  • Ranking Related News Predictions

    Kanhabua, N., Blanco, R. & Matthews, M., 2011, Proceedings of the 34th international ACM SIGIR conference on Research and development in Information Retrieval. s. 755-764 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    32 Citationer (Scopus)
  • Real-Time Constraints Through the ProCoS Layers

    Ravn, A. P. & Rischel, H., 1999, Correct System Design : Recent Insights and Advances. Olderog, E.-R. : Steffen, B. (eds.) (red.). Berlin: IEEE Computer Society Press, s. 61-78 (Lecture Notes in Computer Science; Nr. 1710).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Recommendations for Conducting Longitudinal Experience Sampling Studies

    van Berkel, N. & Kostakos, V., 2021, Advances in Longitudinal HCI Research. Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B. (red.). Springer, s. 59-78 (Human–Computer Interaction Series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Recursively Defined Domains and their Induction Principles

    Jensen, F. V. & Larsen, K. G., 1987, Theoretical Computer Science 64.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Reduction and Refinement Strategies for Probalistic Analysis

    D'Argenio, P. R., Jeannet, B., Jensen, H. E. & Larsen, K. G., 2002, Process Algebra and Probablistic Methods. Hermanns, H. (ed.) : Sagala R. (ed.) (red.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 2399).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables

    Huerta y Munive, J. J., 2022, International Conference on Runtime Verification.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Report on the Icelandic Centre of Excellence in Theoretical Computer Science

    Aceto, L., Halldorsson, M. M. & Ingolfsdottir, A., 2005, Bulletin of the EATCS volume 86 (June 2005). Sassone, V. (red.). EATCS, Bind 86. s. 262-263 2 s. (Bulletin of the EATCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiFormidling

  • Resource-Parameterized Timing Analysis of Real-Time Systems

    Kim, J. H., Legay, A., Larsen, K. G., Mikučionis, M. & Nielsen, B., 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (red.). Springer, s. 190-205 (Lecture Notes in Computer Science; Nr. 9434).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    3 Citationer (Scopus)