@inproceedings{21791, author = {{Domik, Gitta and Leberl, Franz}}, booktitle = {{ASPRS-ACSM}}, title = {{{Image based SAR product simulation for analysis}}}, year = {{1987}}, } @inproceedings{7816, abstract = {{This paper describes the realization of an execution tool for Modula-2 modules which is part of an integrated tool set in a software development environment termed IPSEN (Incremental Programming Support Environment). In this environment, all software documents, e.g. Modula-2 modules, are manipulated by syntax-directed editors and are represented internally by attributed graphs. The execution of Modula-2 modules is done by two cooperating interpreters. The first one is a graph interpreter which traverses the internal graph from statement to statement. These statements are translated into a low-level, more efficiently executable object code and interpreted by a second interpreter. This concept of a hybrid interpreter allows the realization of an execution tool which offers a lot of runtime support features to the user.}}, author = {{Engels, Gregor and Schürr, Andy}}, booktitle = {{Proceedings of the 1st European Software Engineering Conference (ESEC '87), Strasbourg (France)}}, pages = {{80--88}}, publisher = {{Springer}}, title = {{{A Hybrid Interpreter in a Software Development Environment}}}, volume = {{289}}, year = {{1987}}, } @inproceedings{7817, author = {{Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm}}, booktitle = {{Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA}}, number = {{1}}, pages = {{190--198}}, publisher = {{ACM SIGPLAN Notices}}, title = {{{On the Structure of Structure-Oriented Editors for Different Applications}}}, volume = {{22}}, year = {{1987}}, } @inproceedings{8257, abstract = {{Graphs as conceptual data models are accepted and used in a wide range of different problem areas. Giving some examples we outline common aspects for modeling complex structures by graphs. We present a formal frame-work based on graph grammars to specify graph classes and the corresponding graph manipulations. We show that such a specification can be written in a systematic, engineering-like manner. This is achieved by an extension of the known programmed, attributed graph grammars. Node-set operators are introduced to facilitate graph queries. Concepts like abstraction, decomposition, refinement, parameterization, and integration have been adopted from software engineering to yield a comprehensive specification method. This method has successfully been applied to specify the central data structures in a software development environment project}}, author = {{Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm}}, booktitle = {{Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)}}, pages = {{186--201}}, publisher = {{Springer}}, title = {{{Graph Grammar Engineering: A Software Specification Method}}}, doi = {{dx.doi.org/10.1007/3-540-18771-5}}, volume = {{291}}, year = {{1987}}, } @article{16772, author = {{Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, pages = {{97--99}}, title = {{{A Time-Space Tradeoff for Element Distinctness}}}, doi = {{10.1137/0216007}}, year = {{1987}}, } @article{16773, author = {{Meyer auf der Heide, Friedhelm and Wigderson, Avi}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, pages = {{100--107}}, title = {{{The Complexity of Parallel Sorting}}}, doi = {{10.1137/0216008}}, year = {{1987}}, } @inproceedings{16916, author = {{Domik, Gitta}}, booktitle = {{Proceedings of the First Int'l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar}}, number = {{Rep. 29}}, pages = {{pp. 67--68}}, title = {{{Digital Rectification Method for Radar Images Applied on Huge Arrays}}}, year = {{1987}}, } @inproceedings{11795, author = {{Haeb-Umbach, Reinhold and Meyr, Heinrich}}, booktitle = {{Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio}}, title = {{{Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels}}}, year = {{1987}}, } @inproceedings{15038, author = {{Domik, Gitta}}, booktitle = {{IGARSS'87-International Geoscience and Remote Sensing Symposium}}, pages = {{1551--1555}}, title = {{{Methods and application of surface shape reconstruction from multiple SAR images}}}, year = {{1987}}, } @inproceedings{15050, author = {{Leberl, Franz and Domik, Gitta and Mercer, Bryan J}}, booktitle = {{1987 ASPRS ACSM Annual Convention}}, pages = {{148--158}}, title = {{{Methods and accuracy of operational digital image mapping with aircraft SAR}}}, year = {{1987}}, } @inbook{17819, author = {{Peckhaus, Volker and Kötter, Rudolf}}, booktitle = {{Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987)}}, pages = {{89}}, title = {{{Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte}}}, year = {{1987}}, } @article{35394, author = {{Schmidt, Claudia and Blümich, B. and Wefing, S. and Kaufmann, S. and Spiess, H. W.}}, issn = {{0005-9021}}, journal = {{Berichte der Bunsengesellschaft für physikalische Chemie}}, keywords = {{General Chemical Engineering}}, number = {{11}}, pages = {{1141--1145}}, publisher = {{Wiley}}, title = {{{Molecular motions from two-dimensional NMR of powders: Comparison of rotational jumps and diffusive reorientations}}}, doi = {{10.1002/bbpc.19870911113}}, volume = {{91}}, year = {{1987}}, } @inbook{27968, author = {{Bigga, Regine}}, booktitle = {{Allgemeinbildung und Arbeit, Technik, Wirtschaft - Innovationen in Curriculum und Schul-Praxis.}}, pages = {{120--127}}, publisher = {{GATWU}}, title = {{{Anschauliches Lernen im Museum. }}}, year = {{1987}}, } @misc{37872, author = {{Grotjahn, Rebecca}}, booktitle = {{Ameri­kanische Musik seit Charles Ives}}, editor = {{Danuser, Hermann and Kämper, Dietrich and Terse , Paul }}, pages = {{326f.}}, publisher = {{Laaber-Verlag}}, title = {{{Ruth Crawford Seeger}}}, year = {{1987}}, } @misc{37873, author = {{Grotjahn, Rebecca}}, booktitle = {{Ameri­kanische Musik seit Charles Ives}}, editor = {{Danuser, Hermann and Kämper, Dietrich and Terse, Paul}}, pages = {{375f.}}, publisher = {{Laaber-Verlag}}, title = {{{Wallingford Riegger}}}, year = {{1987}}, } @misc{37874, author = {{Grotjahn, Rebecca}}, booktitle = {{Ameri­kanische Musik seit Charles Ives}}, editor = {{Danuser, Hermann and Kämper, Dietrich and Terse, Paul}}, pages = {{377f.}}, publisher = {{Laaber-Verlag}}, title = {{{George Rochberg}}}, year = {{1987}}, } @article{40338, author = {{Heppke, G. and Kitzerow, Heinz-Siegfried and Krumrey, M.}}, issn = {{1044-1859}}, journal = {{Molecular Crystals and Liquid Crystals Incorporating Nonlinear Optics}}, keywords = {{General Medicine}}, number = {{1}}, pages = {{265--276}}, publisher = {{Informa UK Limited}}, title = {{{Angular Dependence of Blue Phase Selective Reflection in the Electric Field}}}, doi = {{10.1080/00268948708074802}}, volume = {{150}}, year = {{1987}}, } @inbook{45510, author = {{Mahnken, Rolf and Stein, Erwin and Wetjen, Diedrich and Heemann, Ulrich}}, booktitle = {{Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft}}, pages = {{61--121}}, publisher = {{Erich Goltzke KG}}, title = {{{Theoretische und numerische Aspekte der Berechnung thermo-mechanischer Kriechvorgänge im Steinsalz}}}, volume = {{39}}, year = {{1987}}, } @inbook{51486, author = {{Hilgert, Joachim}}, booktitle = {{Probability and Baysian Statistics}}, editor = {{Viertl, R.}}, publisher = {{Plenum Press}}, title = {{{Maximal Semigroups and the Support of Gauss-Semigroups}}}, year = {{1987}}, } @article{51452, author = {{Hilgert, Joachim}}, journal = {{Archiv Math.}}, pages = {{189--195}}, title = {{{Maximal Semigroups and Controllability in Products of Lie Groups}}}, volume = {{49}}, year = {{1987}}, }