The researchers in this high-profile area investigate the human and mechanical representation, the natural and formal processing, and the social and automated mediation of information.
The high-profile area is embedded in the computer sciences. It participates in the CRC “Autonomous Logistics Processes” and jointly runs the interdisciplinary Transregio CRC “Spatial Cognition” together with the University of Freiburg. The research focus of this CRC is on the spatial orientation, spatial action, and spatial interaction of cognitive agents. The Transregio maintains an extensive international and interdisciplinary network, including, for instance, the “Spatial Intelligence and Learning Center” (SILC) in the USA, which is financed by the National Science Foundation.
Beside the collaborative research centers, the high-profile area encompasses a Reinhart Koselleck Project, the international Marie Curie research network GeoCrowd, an Emmy Noether young researcher group, the DFG priority program "Mediatized Worlds", two industry-funded PhD research groups (GESy, Advances in Digital Media) and the international DFG research training group on the semantic integration of spatial information, which is run jointly with the University of Münster and the University at Buffalo. Young researchers in this high-profile area are investigating the interactions of spatial information from different sources that enable humans to perform tasks.
In addition to this, the high-profile area maintains close relations with the University of Melbourne, the University of California at Santa Barbara, as well as to the United Nations University International Institute of Software Technology in Macao; with the latter, a pilot project on IT supported poverty reduction has been initiated in Laos, making urgently needed knowledge available locally and in a suitable form.
For a number of years now, the university and the Federal State of Bremen have been especially promoting research on robotics in this high-profile area. This research field received a significant boost when the non-university “Robotics Innovation Center” run by the DFKI Bremen relocated to the university campus in 2006. Robotics research is also concerned with the development of biologically inspired autonomous systems conceived for use in inaccessible areas.
Other cooperation projects exist in the areas of aerospace research and marine research. In the latter area, since 2010 the Institute of Maritime Technologies (MarTech) has been working on the development of new underwater technologies. In close cooperation with the DLR and the DFKI, in addition to the mutual recruitment of young researchers, the University of Bremen will continue to consolidate its reputation and build international profile as a leading European center for artificial intelligence and robotics.
Basar-Eroglu C, Brand A, Hildebrandt H et al. (2007). Working memory related gamma oscillations in schizophrenia patients. INTERNATIONAL JOURNAL OF PSYCHOPHYSIOLOGY 64 (1): 39 - 45, DOI: 10.1016/j.ijpsycho.2006.07.007
Bateman JA., Hois J, Ross R, Tenbrink T (2010). A linguistic ontology of space for natural language pro-cessing. ARTIFICIAL INTELLIGENCE 174 (14): 1027 - 1071
Bellon S, Koschke R, Antoniol G et al. (2007). Comparison and evaluation of clone detection tools. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 33 (9): 577 – 591, doi: 10.1109/TSE.2007.70725
Cecotti H, Graeser A (2011). Convolutional Neural Networks for P300 Detection with Application to Brain-Computer Interfaces. IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE 33 (3): 433 – 445, doi: 10.1109/TPAMI.2010.125
Cornelissen B, Zaidman A, van Deursen A, Moonen L, Koschke, R, (2009). A Systematic Survey of Pro-gram Comprehension through Dynamic Analysis. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 35 (5): 684 - 702 , doi: 10.1109/TSE.2009.28
Drechsler R, Eggersgluess S, Fey G et al. (2008). On acceleration of SAT-based ATPG for industrial de-signs. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 27 (7): 1329 – 1333, doi: 10.1109/TCAD.2008.923107
Edelkamp S, und Schroedl S (2012). Heuristic Search: Theory and Applications. Morgan Kaufmann
Fahle M (2005). Perceptual learning: specificity versus generalization - Current opinion in neurobiology. Elsevier
Fehr T, Code C, Herrmann M (2007). Common brain regions underlying different arithmetic operations as revealed by conjunct fMRI-BOLD activation. BRAIN RESEARCH 1172: 93 – 102, doi: 10.1016/j.brainres.2007.07.043
Frese U (2006). A discussion of simultaneous localization and mapping. AUTONOMOUS ROBOTS 20 (1): 25 – 42, doi: 10.1007/s10514-006-5735-x
Frese U (2006). Treemap: An O(log n) algorithm for indoor simultaneous localization and mapping. AUTONOMOUS ROBOTS 21 (2): 103 – 122, doi: 10.1007/s10514-006-9043-2
Gogolla M, Buettner F, Richters (2007). USE: A UML-based specification environment for validating UML and OCL. SCIENCE OF COMPUTER PROGRAMMING 69 (1 – 3): 27 – 34; doi: 10.1016/j.scico.2007.01.013
Hepp A (2012). Cultures of Mediatization. Cambridge: Polity Press, in press
Hölscher C, Tenbrink T and Wiener J (2011). Would you follow your own route description? COGNITION 121, 228-247. http://dx.doi.org/10.1016/j.cognition.2011.06.005
Kontchakov R, Lutz C, Toman D, Wolter F and Zakharyaschev M (2010) The Combined Approach to Query Answering in DL-Lite. PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (KR2010). AAAI Press
Mossakowski T, Maeder C, Luettich K Editor(s): Grumberg O; Huth M (2007). The heterogeneous tool set, HETS Conference: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Braga. Tools and Algorithms for the Construction and Analysis of Systems, Pro-ceedings Book Series: LECTURE NOTES IN COMPUTER SCIENCE 4424: 519 - 522
Roth G; Dicke U (2005). Evolution of the brain and intelligence. TRENDS IN COGNITIVE SCIENCES 9 (5): 250-257, doi: 10.1016/j.tics.2005.03.005
Schroeder L (2008) Expressivity of coalgebraic modal logic: The limits and beyond Conference: 8th In-ternational Conference on Foundations of Software Science and Computation Structures, Edinburgh. THEORETICAL COMPUTER SCIENCE 390 (2 – 3): 230 – 247, doi: 10.1016/j.tcs.2007.09.023
Ten Cate, B and Lutz C (2009) The complexity of query containment in expressive fragments of XPath 2.0. JOURNAL OF THE ACM, 56(6)
Wille R, Drechsler R (2009) BDD-based Synthesis of Reversible Logic for Large Functions Book Group
Author(s): IEEE Conference: 46th ACM/IEEE Design Automation Conference (DAC 2009), San Francisco. DAC: 2009 46TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2 Book Series: Design Automation Conference DAC: 270 – 275