@article{17981, author = {{Ziegler, Martin}}, issn = {{1432-4350}}, journal = {{Theory of Computing Systems}}, pages = {{177--206}}, title = {{{Real Hypercomputation and Continuity}}}, doi = {{10.1007/s00224-006-1343-6}}, year = {{2007}}, } @inbook{17982, author = {{Ziegler, Martin}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783540730002}}, issn = {{0302-9743}}, title = {{{(Short) Survey of Real Hypercomputation}}}, doi = {{10.1007/978-3-540-73001-9_86}}, year = {{2007}}, } @inbook{17983, author = {{Meer, Klaus and Ziegler, Martin}}, booktitle = {{Mathematical Foundations of Computer Science 2007}}, isbn = {{9783540744559}}, issn = {{0302-9743}}, title = {{{Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation}}}, doi = {{10.1007/978-3-540-74456-6_64}}, year = {{2007}}, } @inproceedings{18572, abstract = {{We present random sampling algorithms that with probability at least 1 − δ compute a (1 ±ε)-approximation of the clustering coefficient and of the number of bipartite clique subgraphs of a graph given as an incidence stream of edges. The space used by our algorithm to estimate the clustering coefficient is inversely related to the clustering coefficient of the network itself. The space used by our algorithm to compute the number K 3,3 of bipartite cliques is proportional to the ratio between the number of K 1,3 and K 3,3 in the graph. Since the space complexity depends only on the structure of the input graph and not on the number of nodes, our algorithms scale very well with increasing graph size. Therefore they provide a basic tool to analyze the structure of dense clusters in large graphs and have many applications in the discovery of web communities, the analysis of the structure of large social networks and the probing of frequent patterns in large graphs. We implemented both algorithms and evaluated their performance on networks from different application domains and of different size; The largest instance is a webgraph consisting of more than 135 million nodes and 1 billion edges. Both algorithms compute accurate results in reasonable time on the tested instances.}}, author = {{Buriol, Luciana S. and Frahling, Gereon and Leonardi, Stefano and Sohler, Christian}}, booktitle = {{Proceedings of the 15th European Symposium on Algorithms (ESA)}}, isbn = {{9783540755197}}, pages = {{618--632}}, publisher = {{Springer}}, title = {{{Estimating Clustering Indexes in Data Streams}}}, doi = {{10.1007/978-3-540-75520-3_55}}, volume = {{4698}}, year = {{2007}}, } @inbook{18588, author = {{Schindlmayr, Arno}}, booktitle = {{Probing the Nanoworld }}, editor = {{Urban, Knut and Schneider, Claus Michael and Brückel, Thomas and Blügel, Stefan}}, isbn = {{978-3-89336-462-6}}, issn = {{1433-5506}}, location = {{Jülich}}, pages = {{A1.21--A1.36}}, publisher = {{Forschungszentrum Jülich}}, title = {{{Interaction of radiation with matter. Part II: Light and electrons}}}, volume = {{34}}, year = {{2007}}, } @inbook{18593, abstract = {{We present a quantitative parameter-free method for calculating defect states and charge-transition levels of point defects in semiconductors. It combines the strength of density-functional theory for ground-state total energies with quasiparticle corrections to the excitation spectrum obtained from many-body perturbation theory. The latter is implemented within the G0W0 approximation, in which the electronic self-energy is constructed non-self-consistently from the Green’s function of the underlying Kohn–Sham system. The method is general and applicable to arbitrary bulk or surface defects. As an example we consider anion vacancies at the (110) surfaces of III–V semiconductors. Relative to the Kohn–Sham eigenvalues in the local-density approximation, the quasiparticle corrections open the fundamental band gap and raise the position of defect states inside the gap. As a consequence, the charge-transition levels are also pushed to higher energies, leading to close agreement with the available experimental data.}}, author = {{Schindlmayr, Arno and Scheffler, Matthias}}, booktitle = {{Theory of Defects in Semiconductors}}, editor = {{Drabold, David A. and Estreicher, Stefan K.}}, isbn = {{978-3-540-33400-2}}, issn = {{1437-0859}}, pages = {{165--192}}, publisher = {{Springer}}, title = {{{Quasiparticle calculations for point defects at semiconductor surfaces}}}, doi = {{10.1007/11690320_8}}, volume = {{104}}, year = {{2007}}, } @article{23282, author = {{Cinkaya, Hueseyin and Noelle, Rene and Münch, Eckehard and Trächtler, Ansgar}}, journal = {{AIM 2007}}, title = {{{Self-Calibration of the 6-dof Parallel Robot TriPlanar by Identification of the Geometry Parameters}}}, year = {{2007}}, } @article{23286, author = {{Cinkaya, Hueseyin and Münch, Eckehard and Noelle, Rene and Trächtler, Ansgar and Toepper, S.}}, journal = {{Mechatronik 2007: Innovative Produktentwicklung}}, title = {{{Selbstkalibrierung des 6 DOF Parallelroboters TRIPLANAR durch Identifikation der Geometrieparameter mit einem einfachen Messverfahren}}}, year = {{2007}}, } @proceedings{7778, editor = {{Engels, Gregor and Opdyke, B. and C. Schmidt, D. and Weil, F.}}, publisher = {{Springer}}, title = {{{Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, TN (USA)}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-75209-7}}, volume = {{4735}}, year = {{2007}}, } @inproceedings{7960, author = {{Küster, Jochen and Ryndina, Ksenia and Gall, Harald}}, booktitle = {{Proceedings of the conference on Business Process Management (BPM 2007), Brisbane (Australia)}}, pages = {{165--181}}, publisher = {{Springer}}, title = {{{Generation of Business Process Models for Object Life Cycle Compliance}}}, doi = {{https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1007/978-3-540-75183-0_13}}, volume = {{4714}}, year = {{2007}}, } @inproceedings{7961, author = {{Pleuß, Andreas and Van den Bergh, Jan and Sauer, Stefan and Hußmann, Heinrich and Bödcher, Alexander}}, booktitle = {{MoDELS 2006 Workshops}}, pages = {{101--105}}, publisher = {{Springer}}, title = {{{Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-69489-2_13}}, volume = {{4364}}, year = {{2007}}, } @inproceedings{7962, abstract = {{GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assembling of the user interface components. We have developed the tool GuiBuilder which follows a model-driven approach to the development of graphical (multimedia) user interfaces. This allows a meta-design approach where user interface developers as well as prospective users of the system are supported in modelling the desired functionality of the GUI on a high level of abstraction that is easy to understand for all involved stakeholders. The model consists of compositional presentation diagrams to model the structure of the user interface and hierarchical statechart diagrams to model its behaviour. GuiBuilder then supports the transformation of the model to Java, i.e., the generation of a working user interface and the simulation of the modelled behaviour. Interactive sessions with the user interface can be recorded and replayed.}}, author = {{Sauer, Stefan and Engels, Gregor}}, booktitle = {{Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)}}, pages = {{537--546}}, publisher = {{Springer}}, title = {{{Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-73279-2_60}}, volume = {{4554}}, year = {{2007}}, } @inproceedings{7968, author = {{Küster, Jochen and Ryndina, Ksenia and Gall, Harald}}, booktitle = {{Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)}}, pages = {{136--150}}, publisher = {{Springer}}, title = {{{Improving Inconsistency Resolution with Side-effect Evaluation and Costs}}}, doi = {{https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10}}, volume = {{4735}}, year = {{2007}}, } @inproceedings{7969, author = {{Ryndina, Ksenia and Küster, Jochen and Gall, Harald}}, booktitle = {{Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)}}, pages = {{165--181}}, publisher = {{Springer}}, title = {{{Generation of Business Process Models for Object Life Cycle Compliance}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-75183-0}}, volume = {{4714/2007}}, year = {{2007}}, } @inproceedings{7971, author = {{Zimmermann, Olaf and Gschwind, Thomas and Küster, Jochen and Leymann, Frank and Schuster, Nelly}}, booktitle = {{Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)}}, pages = {{15--32}}, publisher = {{Springer}}, title = {{{Reusable Architectural Decision Models for Enterprise Application Development}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-77619-2_2}}, year = {{2007}}, } @inproceedings{831, author = {{van der Stok, Peter and Karl, Holger and De Ambroggi, Fabio and Decotignie, JeanDominique and Siegemund, Frank and Lokhorst, Kees and Hellenschmidt, Michael}}, booktitle = {{Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers}}, pages = {{426----429}}, title = {{{WASP - Wirelessly Accessible Sensor Populations: A Project Overview}}}, doi = {{10.1007/978-3-540-85379-4_49}}, year = {{2007}}, } @inproceedings{4496, author = {{Heinze, Nina and Sporer, Thomas and Jenert, Tobias}}, booktitle = {{Deutsche Gesellschaft für Informationswissenschaft und Informationspraxis: Tagungen der Deutschen Gesellschaft für Informationswissenschaft und Informationspraxis}}, isbn = {{978-3-925474-60-6}}, keywords = {{Wissenschaftliches Arbeiten, Blended Learning, Tutoring}}, location = {{Frankfurt am Main }}, pages = {{319--328}}, title = {{{Semivirtuelle Lernumgebung zum wissenschaftlichen Arbeiten als Ergänzung des Studienangebots der Universität Augsburg}}}, volume = {{9}}, year = {{2007}}, } @inbook{4528, author = {{Sporer, Thomas and Reinmann, Gabi and Jenert, Tobias and Hofhues, Sandra}}, booktitle = {{Studieren neu erfinden - Hochschule neu denken}}, editor = {{Merkt, Marianne and Mayrberger, Kerstin and Schulmeister, Rolf and Sommer, Angela and van den Berk, Ivo}}, isbn = {{978-3-8309-1877-6}}, pages = {{85 -- 94}}, publisher = {{Waxmann Verlag GmbH }}, title = {{{Begleitstudium Problemlösekompetenz (Version 2.0). Infrastruktur für studentische Projekte an Hochschulen}}}, volume = {{44}}, year = {{2007}}, } @inbook{4616, author = {{Beran, Jan and Feng, Yuanhua and Franke, Günter and Hess, Dieter and Ocker, Dirk}}, booktitle = {{Processes with Long-Range Correlations}}, isbn = {{9783540401292}}, issn = {{0075-8450}}, pages = {{225--250}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Semiparametric Modeling of Stochastic and Deterministic Trends and Fractional Stationarity}}}, doi = {{10.1007/3-540-44832-2_13}}, year = {{2007}}, } @inproceedings{836, author = {{Marie Feeney, Laura and Cetin, Bilge and Hollos, Daniel and Kubisch, Martin and Mengesha, Seble and Karl, Holger}}, booktitle = {{Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings}}, pages = {{201----212}}, title = {{{Multi-rate Relaying for Performance Improvement in IEEE 802.11 WLANs}}}, doi = {{10.1007/978-3-540-72697-5_17}}, year = {{2007}}, }