1,596 research outputs found
Cornelie Dietrich/Dominik Krinninger/Volker Schubert: Einführung in die Ästhetische Bildung. Weinheim/Basel: Beltz Juventa 2012 (176 S.) [Rezension]
Get PDFRezension von: Cornelie Dietrich/Dominik Krinninger/Volker Schubert: Einführung in die Ästhetische Bildung. Weinheim/Basel: Beltz Juventa 2012 (176 S.; ISBN 3-7799-2177-4
Planning in Brazil, India and Germany
Get PDFPlanning is a fundamental cognitive ability that helps in organizing and structuring events unfolding in a person\u27s daily life. Two studies are presented that analyze planning behavior in different cultures: Brazil, India, and Germany. The first is a cross-cultural psychological study in which students develop plans for uncertain problem scenarios. The second study follows a cultural psychological tradition. Workers from different domains are interviewed about their life problems and plans. The strengths and the weaknesses of both approaches become obvious in the description and discussion of these two studies. The cross-cultural study sheds light on cross-cultural similarities and differences in planning in Brazil, India, and Germany. The cultural psychological approach yields data regarding a theoretical model on the specific cultural influences on planning
Implausible Priors in Bayesian Models of Body Ownership
No full textThis code reimplements the Bayesian Causal Inference model of body ownership as described by Samad et al., 2015 (s. references). It also varies the hyperprior parameter and implements a truncated version of the model, developed by us.Deutsche Forschungsgemeinschaft1.
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
Get PDFStatic analysis is used to automatically detect bugs and security breaches, and aids compiler optimization. Whole-program analysis (WPA) can yield high precision, however causes long analysis times and thus does not match common software-development workflows, making it often impractical to use for large, real-world applications.
This paper thus presents the design and implementation of ModAlyzer, a novel static-analysis approach that aims at accelerating whole-program analysis by making the analysis modular and compositional. It shows how to compute lossless, persisted summaries for callgraph, points-to and data-flow information, and it reports under which circumstances this function-level compositional analysis outperforms WPA.
We implemented ModAlyzer as an extension to LLVM and PhASAR, and applied it to 12 real-world C and C++ applications. At analysis time, ModAlyzer modularly and losslessly summarizes the analysis effect of the library code those applications share, hence avoiding its repeated re-analysis. The experimental results show that the reuse of these summaries can save, on average, 72% of analysis time over WPA. Moreover, because it is lossless, the module-wise analysis fully retains precision and recall. Surprisingly, as our results show, it sometimes even yields precision superior to WPA. The initial summary generation, on average, takes about 3.67 times as long as WPA
Artifact and instructions to generate experimental results for TACAS 2019 paper: PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
No full textThis artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural Static Analysis Framework for C/C++" by Philipp Dominik Schubert, Ben Hermann and Eric Bodden. The artifact consists of a pre-compiled binary of the PhASAR framework, a image of the virtual machine as used for the TACAS artifact evaluation, the pre-processed target programs, all of PhASAR's required libraries, helper scripts, the complete original paper results (as produced by the authors), and an extensive description of how to reproduce the figures of Table 1 ("Program's characteristics and performance figures for analyses I/T") of the paper.<br
Decision Making in Individualistic and Collectivistic Cultures
Get PDFHow do cultural values influence individuals\u27 decision making? One would expect answers to this question either from cognitive psychology or from cross-cultural psychology. Cognitive theories on decision making, however, rarely consider the factor of culture, and research in cross-cultural psychology deals only to a small extent with decision making. Therefore the study of culture and decision making is a relatively new and unexplored field. In this paper normative and descriptive approaches to decision making are discussed and three cross-cultural studies on decision making in individualistic and collectivist cultures using different methodologies are described. The results are integrated into a model that can be helpful to derive specific hypotheses for further studies in this field
Dominik Tatarka - wędrowiec
Get PDFDominik Tatarka is one of the Slovak travel books’s author; he wrotes reports Clovek na cestach. The travelling was important factor of his life: he find an inspiration for his writting and he formulated his life’s philosophy during his journeys. The travelling is one of the important key for reading all his compositions and for understanding his otlook on life: the author presents himself no as the postmodern nomad, but as the pilgrim, who wanders for aim „to unit splits world” and to find a man
Comprehensive analysis of polypropylene recyclates : characterization, representative sampling and quantification approaches of polyolefin cross contaminations of polypropylene recyclates
No full textAuthor DI Dominik Kaineder BSc.Dissertation Johannes Kepler Universität Linz 2025Arbeit nach Ablauf der Sperre auf den öffentlichen PCs in den Bibliotheken der JKU+Medizin abrufba
Comprehensive analysis of polypropylene recyclates : characterization, representative sampling and quantification approaches of polyolefin cross contaminations of polypropylene recyclates
No full textAuthor DI Dominik Kaineder BSc.Dissertation Johannes Kepler Universität Linz 2025Arbeit nach Ablauf der Sperre auf den öffentlichen PCs in den Bibliotheken der JKU+Medizin abrufba
- …
