20032021
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.

  • 5 Similar Profiles
Sorting Engineering & Materials Science
Sorting Networks Mathematics
Termination Mathematics
Logic programming Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Logic Programs Mathematics
Repair Engineering & Materials Science
Theorem proving Engineering & Materials Science

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

Research Output 2003 2019

38 Downloads (Pure)

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
Support vector machines
Neural networks
Information systems
XML
Learning systems

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

Coloring
Acoustic waves
Color

Is Big Data Overrated? The underestimated innovation challenges of BD management

Somoza Sanchez, V. V., Schneider-Kamp, P., Goduscheit, R. C. & Gerstlberger, W., 17. Jan 2019.

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

Open Access

Software Architecture for Autonomous UAVs for Power line Inspection

Shi, L., Hernandez Marcano, N. J., Jacobsen, R. H., Mehrooz, G., Ebeid, E. & Schneider-Kamp, P., 30. Aug 2019.

Research output: Contribution to conference without publisher/journalPaperCommunication

118 Downloads (Pure)

Sorting networks: To the end and back again

Codish, M., Cruz-Filipe, L., Ehlers, T., Müller, M. & Schneider-Kamp, P., Sep 2019, In : Journal of Computer and System Sciences. 104, p. 184-201 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Sorting Networks
Sorting
Sort
Optimality
Symmetry

Activities 2001 2013

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 2018 2021

Press / Media

Science Fiction-klassikeren der forudså november 2019

Peter Schneider-Kamp

20/12/2019

1 Media contribution

Press/Media: Press / Media

Blade Runner - November 2019

Peter Schneider-Kamp

06/11/2019

1 Media contribution

Press/Media: Press / Media

Blade Runner - November 2019

Peter Schneider-Kamp

05/11/2019

1 Media contribution

Press/Media: Press / Media

Science Fiction-klassikeren der forudså november 2019

Peter Schneider-Kamp

01/11/2019

1 Media contribution

Press/Media: Press / Media

Prizes

Researcher Award 2014

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

Prize: Prizes, scholarships, distinctions

Teaching Award 2012

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

Prize: Prizes, scholarships, distinctions

Friedrich-Wilhelm-Preis

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

Prize: Prizes, scholarships, distinctions