Suchergebnisse | SciPort RLP

Sofronie-Stokkermans, Viorica
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems
Maria Paola Bonacina (Hrsg). Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Berlin: Springer 2013 S. 360 - 376

Schlich, Elmar; Schlich, Michaela
Garverfahren für pflanzliche Lebensmittel und deren Einfluss auf Mikronährstoffe - Teil 1
Ernährungs-Umschau. Bd. 60. H. 8. Frankfurt am Main: Umschau-Zeitschriftenverlag 2013 S. 31 - 34

Acar, Esra; Hopfgartner, Frank; Albayrak, Sahin
Detecting violent content in Hollywood movies by mid- level audio representations
László Czúni;Klaus Schöffmann;Tamás Szirányi (Hrsg). 11th International Workshop on Content-Based Multimedia Indexing CBMI 2013: Veszprém, Hungary; June 17- 19, 2013. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2013 S. 73 - 78

Schaarschmidt, Mario; Walsh, Gianfranco; MacCormack, Alan et al.
A problem-solving perspective on governance and product design in open source software projects: Conceptual issues and exploratory evidence
Richard Baskerville;Michael Chau (Hrsg). Proceeding of the 34th International Conference on Information Systems ICIS 2013 - Reshaping society through information systems design: December 15-18, 2013; Milan, Italy; Volume 1-5. Atlanta, GA: Association for Information Systems/AIS eLibrary 2013 S. 219 - 229

Kille, Benjamin; Hopfgartner, Frank; Brodt, Torben et al.
The Plista Dataset
Mozhgan Tavakolifard;Frank Hopfgartner;Jon Atle Gulla;Kevin C. Almeroth (Hrsg). Proceedings of the International News Recommender Systems Workshop and Challenge NRS 2013: Kowloon Hong Kong; 13 October, 2013. New York, NY: ACM Association for Computing Machinery 2013 S. 16 - 23

Funke, Rafael; Frey, Hannes
Iterative Sensor Node Deployment with Channel Quality Feedback
Lisa O’Conner (Hrsg). Proceedings 9th IEEE International Conference on Distributed Computing in Sensor Systems: IEEE DCoSS 2013; 21-23 May 2013, Cambridge, Massachusetts. Los Alamitos, CA: IEEE Computer Society 2013 S. 402 - 408

Dilthey, Norman; Zerwas, Dorothée; von Kortzfleisch, Harald F. O. et al.
Incentive System for Knowledge and Technology Transfer from Universities
Asia Pacific Journal of Innovation and Entrepreneurship. Bd. 7. H. 1. Shanghai, China: Asian Association of Business Incubation (AABI) 2013 S. 59 - 92

Scheglmann, Stefan; Gröner, Gerd; Staab, Steffen et al.
Incompleteness-aware Programming with RDF data
Evelyne Viegas;Karin Breitman;Judith Bishop (Hrsg). Proceedings of the ACM SIGPLAN Workshop on Data Driven Functional Programming DDFP 2013 co-located with 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages POPL 2013: January 22, 2013; Rome, Italy. New York, NY: ACM Association for Computing Machinery 2013 S. 11 - 14