Suchergebnisse: Program Analysis

In-depth Analysis and Enhancements of RO-PUFs with a Partial Reconfiguration Framework on Xilinx Zynq-7000 SoC FPGAs

Herkle, Andreas ; Mandry, Holger ; Becker, Joachim ; Ortmanns, Maurits 2019 Universität Ulm

Portuguese Social Housing under Dictatorship. A Morphological Analysis of Some Residential Agglomerations in Lisbon (1933-1950)

Cabrita, Maria Amélia 2015 Bauhaus-Institut für Geschichte und Theorie der Architektur und Planung

Program analysis and manipulation to reproduce learner's erroneous reasoning

Zinn, Claus 2013 Bibliothek der Universität Konstanz

Pragmatic techniques for program analysis and verification

Plödereder, Erhard 2010 Universitätsbibliothek der Universität Stuttgart

Efficacy of Compassionate Mind Training for Gay Men (CMT-GM) in Improving Mental Health: A Randomized Controlled Trial with Mediation Analysis Evaluating a Novel Program

Wong, Dino C. K. ; Kung, Karson T. F.

Associations between pre-pandemic housing insecurity and reports of anxiety and depression in the early months of the COVID-19 pandemic: an analysis of the All of Us Research Program cohort

Routhier, Giselle ; Titus, Andrea R. ; Xin, Yao ; Cui, Binyu ; Cook, Stephanie H.

Optimizing Wiggle in Storylines

Dobler, Alexander ; Hegemann, Tim ; Nöllenburg, Martin ; Wolff, Alexander 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Towards Practice-oriented Higher Education for Sustainable Rural Development in Western Kenya – Proceedings of the final workshop of the DAAD funded project ProUniEdu-WeK Brandenburg an der Havel, August 10-12th, 2021

Wikarski, Dietmar ; Aurah, Catherine ; Ebinga Osore, Emmanuel ; Mengich, Gladys ; Mutua, Gershom ; Ndiema, Alice ; Nkangi, Felister Nyaera ; Ogemah, Vitalis ; Okoth, Patrick ; Ondulo, Jasper ; Orata Omoto, Francis ; Wambui Mwangi, Mary ; Namayi, Vivian ; Flassig, Peter ; Loose, Harald ; Malessa, Reiner ; Piorr, Hans-Peter ; Schrader, Thomas ; Weber, Christian-Toralf 2021 Technische Hochschule Brandenburg

Influence of rural development policy targets on farm efficiency – An efficiency study of labour intensive grape growing family farms

Manevska-Tasevska, Gordana ; Hansson, Helena 2010 Leibniz Institute of Agricultural Development in Central and Eastern Europe (IAMO)

Pseudo Boolean d-DNNF compilation for analyzing expressive feature-model formats

Vill, Stefan 2025 Universität Ulm

Development of Machine Learning strategies for programming in vitro Biological Neural Networks

Singh, Ishita 2024 Freie Universität Berlin

How well are graduates prepared to compete on the job market? An Alumni based analysis of factors influencing the employment and careers of graduates of the Medical Neurosciences MSc program

Salmen, Benedikt ; Ziegele, Frank ; Vossensteyn, J. J. 2020 Hochschule Osnabrück

Analyse von EM-Kartographie als Mittel zur Bestimmung von Leakage-Quellen sowie des Effektes geeigneter Gegenmaßnahmen

Vogel, Elisabeth ; Dyka, Zoya ; Langendörfer, Peter ; Vierhaus, Heinrich Theodor 2023 BTU Cottbus - Senftenberg

Termination analysis of procedural pointer programs modelled by graph grammars

Khalifa, Mohamed ; Fesefeldt, Ira Justus ; Noll, Thomas ; Katoen, Joost-Pieter 2022 Universitätsbibliothek der RWTH Aachen