Publikationen
Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.
3121 Einträge
2010
-
Non-intrusive Performance Analysis of Parallel Hardware Accelerated Applications on Hybrid Architectures , 1 Sept. 2010, 2010 39th International Conference on Parallel Processing Workshops. Wiley-IEEE Press, S. 135-143, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks , 1 Juli 2010, Conceptual Structures: From Information to Intelligence . Croitoru, M., Ferré, S. & Lukose, D. (Hrsg.). Springer, Berlin [u. a.], Band 6208. S. 203-206, 4 S., (LNCS)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Towards a General Argumentation System based on Answer-Set Programming , 1 Juli 2010, Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010). Hermenegildo, M. V. & Schaub, T. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Band 7. S. 265-269, 5 S., (LIPIcs)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
On the feasibility of UMTS-based Traffic Information Systems , Juli 2010, in: Ad Hoc Networks. 8, 5, S. 506-517, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Status QIO: Conjunctive Query Entailment is Decidable , 1 Mai 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10). Lin, F., Sattler, U. & Truszczynski, M. (Hrsg.). AAAI Press, S. 225-235, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 , 1 Mai 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10). Lin, F., Sattler, U. & Truszczynski, M. (Hrsg.). AAAI Press, S. 269-279, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Decentralized Traffic Information Systems and Adaptive Rerouting in Urban Scenarios , 1 März 2010, 29th IEEE Conference on Computer Communications (INFOCOM 2010), Demo Session. San Diego, CA: IEEEPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Improving the Accuracy of IVC Simulation Using Crowd-sourced Geodata , Jan. 2010, in: Praxis der Informationsverarbeitung und Kommunikation : PIK : Fachzeitschrift für den Einsatz von InformationssystemenElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A Compiler Framework for Speculative Parallelization , 2010, S. 131-140, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Adding Causal Relationships to DL-based Action Formalisms , 2010, LTCS-Report 10-01Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Analysis of Internal Logistic Systems based on Event Logs , 2010, S. 13-16, 4 S.Publikation: Beitrag zu Konferenzen > Paper
-
Analysis of Internal Logistic Systems based on Event Logs - Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation , 2010, S. 13-16, 4 S.Publikation: Beitrag zu Konferenzen > Paper
-
ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software , 2010, S. 169-182, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
An Interface for Integrated MPI Correctness Checking , 2010, PARALLEL COMPUTING: FROM MULTICORES AND GPU'S TO PETASCALE. Chapman, B., Desprez, F., Joubert, G., Lichnewsky, A., Peters, F. & Priol, T. (Hrsg.). IOS Press, Amsterdam [u. a.], S. 693-700, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
An Ontology-Based, Cross-Application Context Modeling and Management Service. , 2010, in: International journal on semantic web and information systems : an official publication of the Information Resources Management Association. 6, 1, S. 39-54Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Audio-haptic browser for a geographical information system , 2010, Computers Helping People with Special Needs, Part II: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings. Springer, Berlin [u. a.], S. 466–473Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Automata-Based Axiom Pinpointing , 2010, in: Journal of Automated Reasoning. 45, 2, S. 91-129, 39 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Automatic feature matching between digital images and 2D representations of a laser scanner point cloud , 2010, in: The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (ISPRS Archives). 2010, XXXVIII/5, S. 446, 451 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
Axiom Pinpointing in General Tableaux , 2010, in: Journal of Logic and Computation. 20, 1, S. 5-34, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Brief Announcement: Hybrid Time-Based Transactional Memory , 2010, Distributed Computing. Band 6343. S. 124-126, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Causes of osteoporosis in men , 2010, in: OsteologiePublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Computing intensional answers to questions - An inductive logic programming approach. , 2010, in: Data & knowledge engineering. 69, 3, S. 261-278, 18 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Control of a Vacuum Coating Process with Long Dead-Time and an Integrator: A Case Study , 2010Publikation: Beitrag zu Konferenzen > Paper
-
Deduktion: von der Theorie zur Anwendung - Informatik-Spektrum , 2010, in: Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. Volume 33, 5, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel