If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Peter Schneider-Kamp is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 6 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Improving semantic similarity of words by retrofitting word vectors in sense level

Zhang, R., Schneider-Kamp, P. & Zimek, A., 2020, Proceedings of the 12th International Conference on Agents and Artificial Intelligence. Rocha, A., Steels, L. & van den Herik, J. (eds.). SCITEPRESS Digital Library, p. 108-119 (ICAART 2020 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence, Vol. 2).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Optimal path planning for drone inspections of linear infrastructures

    Mehrooz, G. & Schneider-Kamp, P., 2020, GISTAM 2020 - Proceedings of the 6th International Conference on Geographical Information Systems Theory, Applications and Management. Grueau, C., Laurini, R. & Ragia, L. (eds.). SCITEPRESS Digital Library, p. 326-336 11 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
  • Optimal Path Planning for Drone Inspections of Linear Infrastructures

    Mehrooz, G. & Schneider-Kamp, P., 9. May 2020. 11 p.

    Research output: Contribution to conference without publisher/journalPaperResearchpeer-review

  • A mixed neural network and support vector machine model for tender creation in the European union TED database

    Kayte, S. & Schneider-Kamp, P., 2019, Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2019)). Bernardino, J., Salgado, A. & Filipe, J. (eds.). SCITEPRESS Digital Library, Vol. 3. p. 139-145 7 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 94 Downloads (Pure)

    Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

    Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P., Oct 2019, In : Journal of Automated Reasoning. 63, 3, p. 695-722 28 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  • Activities

    digital high school exams for HHX (External organisation)

    Peter Schneider-Kamp (Member)

    2013 → …

    Activity: MembershipMembership of commitees, commissions, boards, councils, associations, organisations, or similar

    inventor of SDU Scribble

    Peter Schneider-Kamp (Participant)

    20122014

    Activity: Other activitiesOther

    Programme Committee: Internatinal ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2012) (Journal)

    Peter Schneider-Kamp (Peer reviewer)

    17. Nov 2011 → …

    Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

    13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

    Peter Schneider-Kamp (Organizer)

    20. Jul 201122. Jul 2011

    Activity: Attending an eventConference organisation or participation

    21st International Symposium on Logic-Based Program-Synthesis and Transformation (LOPSTR 2011)

    Peter Schneider-Kamp (Organizer)

    18. Jul 201120. Jul 2011

    Activity: Attending an eventConference organisation or participation

    Projects

    Press / Media

    De giver dig sjove kattevideoer på nettet...

    Peter Schneider-Kamp

    17/09/2020

    1 Media contribution

    Press/Media: Press / Media

    Erhvervslivet tripper for at få kandidater fra Data Science

    Peter Schneider-Kamp

    25/03/2020

    1 Media contribution

    Press/Media: Press / Media

    Prizes

    Researcher Award 2014

    Schneider-Kamp, Peter (Recipient), 30. Apr 2014

    Prize: Prizes, scholarships, distinctions

    Teaching Award 2012

    Schneider-Kamp, Peter (Recipient), 4. Oct 2012

    Prize: Prizes, scholarships, distinctions

    Friedrich-Wilhelm-Preis

    Schneider-Kamp, Peter (Recipient), 27. Nov 2009

    Prize: Prizes, scholarships, distinctions