LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 39

Search options

  1. Book ; Online: Geplantes Wirtschaftswunder? Industrie- und Strukturpolitik in Bayern 1945 bis 1973

    Grüner, Stefan

    2009  

    Keywords Political science (General) ; Modern history, 1453 ; History of Germany
    Size 1 electronic resource (493 p.)
    Publisher De Gruyter
    Document type Book ; Online
    Note German ; Open Access
    HBZ-ID HT020097820
    ISBN 9783486708684 ; 3486708686
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

  2. Book ; Online: Paul Reynaud (1878-1966). Biographische Studien zum Liberalismus in Frankreich

    Grüner, Stefan

    2001  

    Keywords History of France ; Modern history, 1453
    Size 1 electronic resource (426 p.)
    Publisher De Gruyter
    Document type Book ; Online
    Note German ; Open Access
    HBZ-ID HT020097841
    ISBN 9783486596120 ; 3486596128
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

  3. Book ; Online: Genetic Micro-Programs for Automated Software Testing with Large Path Coverage

    Goschen, Jarrod / Bosman, Anna Sergeevna / Gruner, Stefan

    2023  

    Abstract: Ongoing progress in computational intelligence (CI) has led to an increased desire to apply CI techniques for the purpose of improving software engineering processes, particularly software testing. Existing state-of-the-art automated software testing ... ...

    Abstract Ongoing progress in computational intelligence (CI) has led to an increased desire to apply CI techniques for the purpose of improving software engineering processes, particularly software testing. Existing state-of-the-art automated software testing techniques focus on utilising search algorithms to discover input values that achieve high execution path coverage. These algorithms are trained on the same code that they intend to test, requiring instrumentation and lengthy search times to test each software component. This paper outlines a novel genetic programming framework, where the evolved solutions are not input values, but micro-programs that can repeatedly generate input values to efficiently explore a software component's input parameter domain. We also argue that our approach can be generalised such as to be applied to many different software systems, and is thus not specific to merely the particular software component on which it was trained.

    Comment: A version of this paper has been accepted for publication in CEC'22
    Keywords Computer Science - Neural and Evolutionary Computing ; Computer Science - Artificial Intelligence ; Computer Science - Software Engineering
    Subject code 006
    Publishing date 2023-02-14
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    More links

    Kategorien

  4. Book: Wirtschaftsräume und Lebenschancen

    Grüner, Stefan / Mecking, Sabine

    Wahrnehmung und Steuerung von sozialökonomischem Wandel in Deutschland 1945-2000

    (Schriftenreihe der Vierteljahrshefte für Zeitgeschichte ; Band 114)

    2017  

    Abstract: In beiden deutschen Staaten wurden seit ihrer Gründung politische Anstrengungen unternommen, um den ökonomischen Strukturwandel in seinem Verlauf und seinen Wirkungen zu lenken. Trotz unterschiedlicher Rahmenbedingungen gestalteten sich die ... ...

    Institution De Gruyter Oldenbourg
    Author's details herausgegeben von Stefan Grüner und Sabine Mecking
    Series title Schriftenreihe der Vierteljahrshefte für Zeitgeschichte ; Band 114
    Abstract "In beiden deutschen Staaten wurden seit ihrer Gründung politische Anstrengungen unternommen, um den ökonomischen Strukturwandel in seinem Verlauf und seinen Wirkungen zu lenken. Trotz unterschiedlicher Rahmenbedingungen gestalteten sich die Problemkonstellationen ähnlich: Einseitige Branchenstrukturen und räumliche Ungleichgewichte sollten ausgeglichen, Arbeitsplätze bereitgestellt und die Infrastruktur entwickelt werden. Der Sammelband fragt nach Wahrnehmungen und Deutungen strukturpolitischer Herausforderungen sowie nach den Trägern und Mitgestaltern des strukturellen Wandels in West- und Ostdeutschland in der zweiten Hälfte des 20. Jahrhunderts. Dabei werden Möglichkeiten und Grenzen der Steuerungsansätze sowohl im nationalen Kontext analysiert als auch mit Blick auf kollektive Akteure und Betroffene wie Länderregierungen und Kommunen, Branchen und Unternehmen, Gewerkschaften und Arbeitnehmer"--Provided by publisher
    Keywords Opportunity/History ; Regionalism/Economic aspects/History ; Social change/History ; Strukturwandel ; Wirtschaftsentwicklung ; Sozioökonomischer Wandel ; Teilstaat ; Deutschland ; Regionalpolitik ; Strukturpolitik ; Industriepolitik ; Arbeitswelt ; Wirtschaftsgeschichte ; DDR ; Westdeutsche Bundesländer ; Ostdeutschland ; Germany ; Germany (East) ; Germany (West)
    Language German
    Size VI, 331 Seiten, Illustrationen, 24 cm x 16 cm
    Document type Book
    Note Enthält 16 Beiträge ; Literaturangaben ; Personenregister
    ISBN 9783110520248 ; 9783110520316 ; 9783110523010 ; 3110520249 ; 3110520311 ; 3110523019
    Database ECONomics Information System

    More links

    Kategorien

  5. Book ; Thesis: Untersuchungen zur Beeinflussung der Immunogenität von Allotransplantaten durch Photochemotherapie

    Oesterwitz, Horst / Gruner, Stefan

    e. experiment. u. klin. Studie

    1988  

    Author's details vorgelegt von Horst Oesterwitz u. Stefan Gruner
    Size 166, 35, VI Bl. : Ill., graph. Darst.
    Publishing country XA-DDDE
    Document type Book ; Thesis
    Thesis / German Habilitation thesis Berlin, Humboldt-Univ., Diss. B, 1988
    HBZ-ID HT003306805
    Database Catalogue ZB MED Medicine, Health

    Kategorien

  6. Book ; Thesis: Verlängerung der Transplantatüberlebenszeit durch Photochemotherapie

    Gruner, Stefan

    Wirkungen auf antigenpräsentierende Zellen u. Immunogenität muriner Schwanzhauttransplantate

    1985  

    Size 112 Bl., Bl. 487 - 488, 82 - 85
    Publishing country XA-DDDE
    Document type Book ; Thesis
    Thesis / German Habilitation thesis Berlin, Humboldt-Univ., Diss., 1985
    HBZ-ID HT003118896
    Database Catalogue ZB MED Medicine, Health

    Kategorien

  7. Book ; Online ; Thesis: Multiparameteranalyse und pharmazeutische Spurenstoffuntersuchung im Mischwasserkanal

    Grüner, Stefan [Verfasser] / Krebs, Peter [Gutachter] / Gruber, Günter Gutachter] / [Dittmer, Ulrich [Gutachter]

    2022  

    Author's details Stefan Grüner ; Gutachter: Peter Krebs, Günter Gruber, Ulrich Dittmer
    Keywords Landschaftsgestaltung, Raumplanung ; Landscape architecture, Spatial planning
    Subject code sg710
    Language German
    Publisher Technische Universität Dresden
    Publishing place Dresden
    Document type Book ; Online ; Thesis
    Database Digital theses on the web

    More links

    Kategorien

  8. Book ; Online: BatMan - BatterieManagement für mobile Lithium-Ionen Energiespeicher

    Gruner, Stefan / Püschel, Sven

    Schlussbericht ; Teilvorhaben: Li-Tec Battery ; Laufzeit des Vorhabens: 01.05.2009 - 31.12.2012

    2013  

    Author's details Autor: Sven Püschel; Stefan Gruner
    Language German
    Size Online-Ressource (43 S., 22,17 MB), Ill., graph. Darst.
    Publisher Technische Informationsbibliothek u. Universitätsbibliothek ; Li-Tec Battery GmbH
    Publishing place Hannover ; Kamenz
    Document type Book ; Online
    Note Förderkennzeichen BMBF 03X4604D. - Verbund-Nr. 01070933 ; Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

  9. Book ; Conference proceedings: FM + AM'2010

    Gruner, Stefan / Rumpe, Bernhard

    Second International Workshop on Formal Methods and Agile Methods, 17. September 2010, Pisa (Italy) ; [under the umbrella of the 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM '2010]

    (GI-Edition lecture notes in informatics : P, Proceedings ; 179)

    2010  

    Title variant FM and AM 2010 ; FM+AM 2010 ; Formal methods
    Institution International Workshop on Formal Methods and Agile Methods
    Event/congress FM + AM 2010 (2, 2010.09.17, Pisa) ; IEEE International Conference on Software Engineering and Formal Methods (8, 2010.09, Pisa) ; International Workshop on Formal Methods and Agile Methods (2, 2010.09.17, Pisa) ; SEFM (8, 2010.09, Pisa)
    Author's details Stefan Gruner; Bernhard Rumpe (ed.)
    Series title GI-Edition lecture notes in informatics : P, Proceedings ; 179
    Language English
    Size 98 S., graph. Darst., 235 mm x 155 mm, 255 gr.
    Publisher Ges. für Informatik
    Publishing place Bonn
    Document type Book ; Conference proceedings
    ISBN 9783885792734 ; 3885792737
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

  10. Book ; Conference proceedings: FM + AM'2010

    Gruner, Stefan / Rumpe, Bernhard

    Second International Workshop on Formal Methods and Agile Methods, 17. September 2010, Pisa (Italy) ; [under the umbrella of the 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM '2010]

    (GI-Edition lecture notes in informatics : P, Proceedings ; 179)

    2010  

    Title variant FM and AM 2010 ; FM+AM 2010 ; Formal methods
    Institution International Workshop on Formal Methods and Agile Methods
    Event/congress FM + AM 2010 (2, 2010.09.17, Pisa) ; IEEE International Conference on Software Engineering and Formal Methods (8, 2010.09, Pisa) ; International Workshop on Formal Methods and Agile Methods (2, 2010.09.17, Pisa) ; SEFM (8, 2010.09, Pisa)
    Author's details Stefan Gruner; Bernhard Rumpe (ed.)
    Series title GI-Edition lecture notes in informatics : P, Proceedings ; 179
    Language English
    Size 98 S., graph. Darst., 235 mm x 155 mm, 255 gr.
    Publisher Ges. für Informatik
    Publishing place Bonn
    Document type Book ; Conference proceedings
    ISBN 9783885792734 ; 3885792737
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

To top