Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Bidrag til bog/antologi

Søgeresultater

  • Bidrag til bog/antologi

    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 proceeding › Bidrag til bog/antologi › Forskning

    1 Citationer (Scopus)

  • 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 proceeding › Bidrag til bog/antologi › Forskning

  • 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 proceeding › Bidrag til bog/antologi › Forskning › peer 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 proceeding › Bidrag til bog/antologi › Forskning › peer 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 proceeding › Bidrag til bog/antologi › Forskning

  • 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 proceeding › Bidrag til bog/antologi › Forskning

  • Probabilistic Networks

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Formidling

  • 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 proceeding › Bidrag til bog/antologi › Forskning

  • 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 proceeding › Bidrag til bog/antologi › Forskning

  • 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 proceeding › Bidrag til bog/antologi › Forskning

  • 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 proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
    9 Citationer (Scopus)
    587 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 proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    364 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 proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    3 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 proceeding › Bidrag til bog/antologi › Forskning › peer 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 proceeding › Bidrag til bog/antologi › Forskning › peer 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 proceeding › Bidrag til bog/antologi › Undervisning

  • 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 proceeding › Bidrag til bog/antologi › Forskning › peer 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 proceeding › Bidrag til bog/antologi › Forskning

  • 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 proceeding › Bidrag til bog/antologi › Forskning › peer 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 proceeding › Bidrag til bog/antologi › Forskning

  • 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 proceeding › Bidrag til bog/antologi › Forskning

  • 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 proceeding › Bidrag til bog/antologi › Forskning › peer 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 proceeding › Bidrag til bog/antologi › Formidling

  • 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 proceeding › Bidrag til bog/antologi › Forskning › peer review

    3 Citationer (Scopus)

  • Risk Management in Process Action Teams

    Iversen, J. H., Nielsen, P. A. & Nielsen, P. A., 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 deleopment series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Risk Management in Robotics

    Madsen, A. L., Kalwa, J. & Kjærulff, U. B., 2008, Bayesian Networks: A Practical Guide to Applications. Pourret, O., Naim, P. & Marcot, B. (red.). Wiley, s. 345-364 20 s. (STATISTICS IN PRACTICE).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Formidling

  • ROAD MAP on Hard Real-Time Development Environments W1.A1.N1.Y1 Chapter 4.4.c: Testing Embedded Systems

    Larsen, K. G. & Nielsen, B., 2003, Year 1 deliverables of Project IST-2001-34820 ARTIST:Advanced Real-Time Systems. s. 79-83 (ARTIST IST-2001-34820).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Safe and Optimal Adaptive Cruise Control

    Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Meyer, R., Platzer, A. & Wehrheim, H. (red.). Springer, s. 260-277 18 s. (Lecture Notes in Computer Science; Nr. 9360).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    34 Citationer (Scopus)

  • Schema Specification

    Snodgrass, R. T., Jensen, C. S. & Soo, M. D., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Schema Specification in TSQL2

    Snodgrass, R. T., Jensen, C. S. & Grandi, F., 1994, The TSQL2 Language Specification. s. 4

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Segmentation of Nonstationary Time Series with Geometric Clustering

    Bocharov, A. & Thiesson, B., 2013, Pattern Recognition - Applications and Methods. Carmona, P. L., Sanchez, J. S. & Fred, A. L. N. (red.). Berlin Heidelberg: Springer Publishing Company, Bind 204. s. 93-107 15 s. (Advances in Intelligent Systems and Computing).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
    811 Downloads (Pure)

  • Semantic Web Technologies for Business Intelligence

    Berlanga, R., Romero, O., Simitsis, A., Nebot, V., Pedersen, T. B., Abello, A. & Aramburu, M. J., 2011, Business Intelligence Applications and the Web: Models, Systems, and Technologies. Zorrilla, M. E., Mazón, J-N., Ferrández, Ó., Garrigós, I., Daniel, F. & Trujillo, J. (red.). 1. udg. udg. IGI global, s. 310-339

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

  • Semantic Web Technologies for the Adaptive Web

    Dolog, P. & Nejdl, W., 2007, The Adaptive Web: Methods and Strategies of Web Personalization. Brusilovsky, P., Kobsa, A. & Nejdl, W. (red.). Berlin / Heidelberg: Springer, s. 697-719 (Lecture Notes in Computer Science (LNCS), Bind 4321).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    50 Citationer (Scopus)

  • Semiotic models of algorithmic signs

    Andersen, P. B., 2003, Algorithmik – Kunst – Semiotik : Hommage für Frieder Nake. Karl-Heinz Rödiger (Ed.) (red.). Heidelberg: Synchron Wissenschaftsverlag der Autoren, s. 165-210

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Sensitivity Analysis in Bayesian Networks

    Jensen, F. V., Aldenryd, S. H. & Jensen, K. B., 1995, Symbolic and Quantitative Approaches to Reasonning and Uncertainty. Froidevauz, C. : Kohlas, J. (eds.) (red.). Berlin: IEEE Computer Society Press, s. 243-250 (Springer Lecture Notes in Artificial Intelligence; Nr. 946).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    13 Citationer (Scopus)

  • SimSpectrum: A Similarity Based Spectral Clustering Approach to Generate a Tag Cloud

    Durao, F., Dolog, P., Leginus, M. & Lage, R. G., 2012, Current Trends in Web Engineering: Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers. Berlin: Springer, Bind 7059. s. 145-154 (Lecture Notes in Computer Science, Bind 7059).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    5 Citationer (Scopus)

  • Simulation Relations and Applications in Formal Methods

    Larsen, K. G., Schilling, C. & Srba, J., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, s. 272-291 20 s. (Lecture Notes in Computer Science, Bind 13660).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

  • Social Network Analysis in Software Process Improvement

    Nielsen, P. A. & Tjørnehøj, G., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (red.). Aalborg: Software Innovation Publisher, s. 117-133

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Social web and knowledge management:

    Dolog, P., Kroetz, M., Schaffert, S. & Vrandecic, D., 2009, Weaving Services and People on the World Wide Web. King, I. & Baeza-Yates, R. A. (red.). 1 udg. Springer Publishing Company, s. 217-227 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    2 Citationer (Scopus)

  • Socio-Technical Structure: An Experiment in Integrative Theory Building

    Rose, J., Lindgren, R. & Henfridsson, O., 2004, Information Systems Research: Relevant Theory and Informed Practice. Kaplan, B., Truex, D., Wastell, D. & Wood-Harper, A. T. (red.). Kluwer Academic Publishers, s. 411-433 23 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Soft Robotics Workshops: Supporting Experiential Learning About Design, Movement, and Sustainability

    Horvath, A-S., Jochum, E., Löchtefeld, M., Vissonova, K. & Merritt, T. R., 2023, Cultural Robotics: Social Robots and Their Emergent Cultural Ecologies. Dunstan, B. J., Koh, J. T. K. V., Turnbull Tillman, D. & Brown, S. A. (red.). Springer, s. 189-218 30 s. (Springer Series on Cultural Computing).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    2 Citationer (Scopus)

  • Soft Systems in Software Design

    Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1991, Systems Thinking in Europe. Jackson, M.C. et al. (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Software Development and Feedback from Usability Evaluations

    Høegh, R. T., 2008, Interdisciplinary Aspects of Information Systems Studies. 2 udg. Heidelberg: Physica-Verlag, s. 47-53

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Software Process Improvement Using Light Knowledge Tools

    Hosbond, J. H. & Nielsen, P. A., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (red.). Aalborg: Software Innovation Publisher, s. 103-116

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Software - til verdens mindste og verdens største computer

    Larsen, K. G., Thomsen, L. L. & Thomsen, B., 2003, Trends i ITEK-Sektoren. Sarborg Pedersen, John : Ørum Larsen, Lars (red.) (red.). Kbh. : ITEK: Denmark., s. 21-26 (ITEK rapport).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Some of My Favourite Results in Classic Process Algebra

    Aceto, L., 2003, The Concurrency Column. (L. Aceto ed.) (red.). s. 90-108 (Bulletin of the EATCS; Nr. 81).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Some of My Favourite Results in Classic Process Algebra

    Aceto, L., 2004, Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol. 2: Formal Models and Semantics. Paun, G., Rozenberg, G. & Salomaa, A. (red.). World Scientific

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Standards, Processes and Practice

    Mûller, S. D., Nielsen, P. A. & Nørbjerg, J., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (red.). Aalborg: Software Innovation Publisher, s. 29-42

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Structural Operational Semantics

    Aceto, L., Fokkink, J. & Verhoef, C., 2001, Handbook of Process Algebra. Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (red.). Amsterdam: Pergamon Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    1 Citationer (Scopus)

  • Structured Linear Parameter Varying Control of Wind Turbines

    Adegas, F. D., Sloth, C. & Stoustrup, J., 2012, Control of Linear Parameter Varying Systems with Applications. Mohammadpour, J. & Scherer, C. W. (red.). Springer Science+Business Media, s. 303-337 35 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    2 Citationer (Scopus)