But if you desire God and His Messenger : The concept of choice in Sahih al-Bukhari

The aim of this dissertation is to discuss the concept of choice in the most important collection of Islamic traditions, Sahih al-Bukhari. The author of the collection, Muhammad ibn Isma'il al-Bukhari, lived between 810-870. My starting point is the collection of texts as it is now in its normative, established form. I read the hadiths as pieces of reality, not as statements about reality. The historicity of the texts has no role at all in my analysis. Part I sketches out the hagiography of the life and work of the author and provides a short history of the development of hadith literature and the processes of collecting and classifying the texts are discussed briefly. Part one ends with the presentation of my way of using rhetorical analysis as a methodological tool. Part II introduces my analysis of the concept of choice. It is divided into ten chapters, each concentrating on one hadith cluster. Part II ends with a discussion of the philosophy of free will and predestination in early Islam. Hadith literature is often considered as a representative of predestinarian theology compared to the Qur'an which emphasises the reponsibility of people of their own acts. In my conclusions I suggest that accoding to the texts in Sahih al-Bukhari, people do deal with real choices in their lives. The collection includes both strictly predestinarian texts but it also compises texts which claim that people are demanded to make real choices, even choices concerning life and death.

Expansivity of liquid (cyclohexane + acetic anhydride) near its critical solution point

A simple volume dilatometer is described for the precise measurements of volume changes as a function of temperature in liquid mixtures. The expansivity of (cyclohexane + acetic anhydride) in the critical region was measured. The critical solution temperature Tc was approached to within 9 mK. For T > (Tc + 0.3 K), the results results follow both a logarithmic and a power-law behaviour with an exponent ≈ 1/8. But for T < (Tc + 0.3 K), the results seem to be affected possibly by gravity or temperature gradients. In this region, the expected expansivity anomaly is rounded off to a cusp. The expansivity shows a reduced anomaly for off-critical compositions. A discussion of the local extremum and a correlation between negative expansivity and the resistivity anomaly are also given.

Compressible second-order boundary layers for three-dimensional stagnation point flows with mass transfer

All the second-order boundary-layer effects have been studied for the steady laminar compressible 3-dimensional stagnation-point flows with variable properties and mass transfer for both saddle and nodal point regions. The governing equations have been solved numerically using an implicit finite-difference scheme. Results for the heat transfer and skin friction have been obtained for several values of the mass-transfer rate, wall temperature, and also for several values of parameters characterizing the nature of stagnation point and variable gas properties. The second-order effects on the heat transfer and skin friction at the wall are found to be significant and at large injection rates, they dominate over the results of the first-order boundary layer, but the effect of large suction is just the opposite. In general, the second-order effects are more pronounced in the saddle-point region than in the nodal-point region. The overall heat-transfer rate for the 3-dimensional flows is found to be more than that of the 2-dimensional flows.

Justifying threshold voltage definition for undoped body transistors through ``crossover point'' concept

Two different definitions, one is potential based and the other is charge based, are used in the literatures to define the threshold voltage of undoped body symmetric double gate transistors. This paper, by introducing a novel concept of crossover point, proves that the charge based definition is more accurate than the potential based definition. It is shown that for a given channel length the potential based definition predicts anomalous change in threshold voltage with body thickness variation while the charge based definition results in monotonous change. The threshold voltage is then extracted from drain current versus gate voltage characteristics using linear extrapolation, transconductance and match-point methods. In all the three cases it is found that trend of threshold voltage variation support the charge based definition.

Simplified Mathematical Model for Effects of Freezing on the Low-Temperature Performance of the Lead-Acid Battery

Discharge periods of lead-acid batteries are significantly reduced at subzero centigrade temperatures. The reduction is more than what can he expected due to decreased rates of various processes caused by a lowering of temperature and occurs despite the fact that active materials are available for discharge. It is proposed that the major cause for this is the freezing of the electrolyte. The concentration of acid decreases during battery discharge with a consequent increase in the freezing temperature. A battery freezes when the discharge temperature falls below the freezing temperature. A mathematical model is developed for conditions where charge-transfer reaction is the rate-limiting step. and Tafel kinetics are applicable. It is argued that freezing begins from the midplanes of electrodes and proceeds toward the reservoir in-between. Ionic conduction stops when one of the electrodes freezes fully and the time taken to reach that point, namely the discharge period, is calculated. The predictions of the model compare well to observations made at low current density (C/5) and at -20 and -40 degrees C. At higher current densities, however, diffusional resistances become important and a more complicated moving boundary problem needs to be solved to predict the discharge periods. (C) 2009 The Electrochemical Society.

4th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes

This is the fourth TAProViz workshop being run at the 13th International Conference on Business Process Management (BPM). The intention this year is to consolidate on the results of the previous successful workshops by further developing this important topic, identifying the key research topics of interest to the BPM visualization community. Towards this goal, the workshop topics were extended to human computer interaction and related domains. Submitted papers were evaluated by at least three program committee members, in a double blind manner, on the basis of significance, originality, technical quality and exposition. Three full and one position papers were accepted for presentation at the workshop. In addition, we invited a keynote speaker, Jakob Pinggera, a postdoctoral researcher at the Business Process Management Research Cluster at the University of Innsbruck, Austria.

On the Origin of Ideas : An Abductivist Approach to Discovery

The purpose of this study is to analyze and develop various forms of abduction as a means of conceptualizing processes of discovery. Abduction was originally presented by Charles S. Peirce (1839-1914) as a "weak", third main mode of inference -- besides deduction and induction -- one which, he proposed, is closely related to many kinds of cognitive processes, such as instincts, perception, practices and mediated activity in general. Both abduction and discovery are controversial issues in philosophy of science. It is often claimed that discovery cannot be a proper subject area for conceptual analysis and, accordingly, abduction cannot serve as a "logic of discovery". I argue, however, that abduction gives essential means for understanding processes of discovery although it cannot give rise to a manual or algorithm for making discoveries. In the first part of the study, I briefly present how the main trend in philosophy of science has, for a long time, been critical towards a systematic account of discovery. Various models have, however, been suggested. I outline a short history of abduction; first Peirce's evolving forms of his theory, and then later developments. Although abduction has not been a major area of research until quite recently, I review some critiques of it and look at the ways it has been analyzed, developed and used in various fields of research. Peirce's own writings and later developments, I argue, leave room for various subsequent interpretations of abduction. The second part of the study consists of six research articles. First I treat "classical" arguments against abduction as a logic of discovery. I show that by developing strategic aspects of abductive inference these arguments can be countered. Nowadays the term 'abduction' is often used as a synonym for the Inference to the Best Explanation (IBE) model. I argue, however, that it is useful to distinguish between IBE ("Harmanian abduction") and "Hansonian abduction"; the latter concentrating on analyzing processes of discovery. The distinctions between loveliness and likeliness, and between potential and actual explanations are more fruitful within Hansonian abduction. I clarify the nature of abduction by using Peirce's distinction between three areas of "semeiotic": grammar, critic, and methodeutic. Grammar (emphasizing "Firstnesses" and iconicity) and methodeutic (i.e., a processual approach) especially, give new means for understanding abduction. Peirce himself held a controversial view that new abductive ideas are products of an instinct and an inference at the same time. I maintain that it is beneficial to make a clear distinction between abductive inference and abductive instinct, on the basis of which both can be developed further. Besides these, I analyze abduction as a part of distributed cognition which emphasizes a long-term interaction with the material, social and cultural environment as a source for abductive ideas. This approach suggests a "trialogical" model in which inquirers are fundamentally connected both to other inquirers and to the objects of inquiry. As for the classical Meno paradox about discovery, I show that abduction provides more than one answer. As my main example of abductive methodology, I analyze the process of Ignaz Semmelweis' research on childbed fever. A central basis for abduction is the claim that discovery is not a sequence of events governed only by processes of chance. Abduction treats those processes which both constrain and instigate the search for new ideas; starting from the use of clues as a starting point for discovery, but continuing in considerations like elegance and 'loveliness'. The study then continues a Peircean-Hansonian research programme by developing abduction as a way of analyzing processes of discovery.

An on-line algorithm for the location of cross point faults in programmable logic arrays

An on-line algorithm is developed for the location of single cross point faults in a PLA (FPLA). The main feature of the algorithm is the determination of a fault set corresponding to the response obtained for a failed test. For the apparently small number of faults in this set, all other tests are generated and a fault table is formed. Subsequently, an adaptive procedure is used to diagnose the fault. Functional equivalence test is carried out to determine the actual fault class if the adaptive testing results in a set of faults with identical tests. The large amount of computation time and storage required in the determination, a priori, of all the fault equivalence classes or in the construction of a fault dictionary are not needed here. A brief study of functional equivalence among the cross point faults is also made.

Questions to Artificial Nature: A Philosophical Study of Interdisciplinary Models and their Functions in Scientific Practice

This thesis presents an interdisciplinary analysis of how models and simulations function in the production of scientific knowledge. The work is informed by three scholarly traditions: studies on models and simulations in philosophy of science, so-called micro-sociological laboratory studies within science and technology studies, and cultural-historical activity theory. Methodologically, I adopt a naturalist epistemology and combine philosophical analysis with a qualitative, empirical case study of infectious-disease modelling. This study has a dual perspective throughout the analysis: it specifies the modelling practices and examines the models as objects of research. The research questions addressed in this study are: 1) How are models constructed and what functions do they have in the production of scientific knowledge? 2) What is interdisciplinarity in model construction? 3) How do models become a general research tool and why is this process problematic? The core argument is that the mediating models as investigative instruments (cf. Morgan and Morrison 1999) take questions as a starting point, and hence their construction is intentionally guided. This argument applies the interrogative model of inquiry (e.g., Sintonen 2005; Hintikka 1981), which conceives of all knowledge acquisition as process of seeking answers to questions. The first question addresses simulation models as Artificial Nature, which is manipulated in order to answer questions that initiated the model building. This account develops further the "epistemology of simulation" (cf. Winsberg 2003) by showing the interrelatedness of researchers and their objects in the process of modelling. The second question clarifies why interdisciplinary research collaboration is demanding and difficult to maintain. The nature of the impediments to disciplinary interaction are examined by introducing the idea of object-oriented interdisciplinarity, which provides an analytical framework to study the changes in the degree of interdisciplinarity, the tools and research practices developed to support the collaboration, and the mode of collaboration in relation to the historically mutable object of research. As my interest is in the models as interdisciplinary objects, the third research problem seeks to answer my question of how we might characterise these objects, what is typical for them, and what kind of changes happen in the process of modelling. Here I examine the tension between specified, question-oriented models and more general models, and suggest that the specified models form a group of their own. I call these Tailor-made models, in opposition to the process of building a simulation platform that aims at generalisability and utility for health-policy. This tension also underlines the challenge of applying research results (or methods and tools) to discuss and solve problems in decision-making processes.

Halun häilyvät rajat : Magnus Enckellin maalausten maskuliinisuuksien ja feminiinisyyksien representaatioista ja itsen luomisesta

My PhD-thesis The uneasy borders of desire Magnus Enckell's representations of masculinities and femininities and the question how to create the self concentrates on the works of Finnish fin-de-siècle artist Magnus Enckell (1870-1925). My thesis deals with representations of masculinities, femininities, sexualities and different identity-positions. My research is about questions concerning representational ways of melancholy, androgyny, narcissism, themes of Golden Age and Double in Enckell s ouvre. These themes are analyzed by contextualizing them with different, but intersecting, discourses of varied scientific, artistic and occult ideas in the fin-de-siècle. The main point is analyze how the subject is constructed in both Foucauldian and Freudian sense and what one has to know about oneself. My approaches are based on ideas expressed in different discourses as queer-theory, Michel Foucault s genealogical epistemology and knowledge-power theory, psychoanalysis, art history and visual culture studies. My starting point lays is Foucault s idea expressed in his The History of Sexuality that the constitution of homosexual or as well as heterosexual subject inaugurates possibilities for transgressive activities e.g. by giving own voice to the sexualized subject. My main thesis is to suggest that Enckell s works in their multiple and ambiguous ways construct a phantasmatic position for viewer who may identify oneself to different desires, may construct or deconstruct a sexual identity for oneself or try to define the truth about oneself. Enckell s works should be considered as a contradictory processes which both seduce person to construct an identity and as well as lure person to pursue for the deconstruction of specific and permanent identity by celebrating the ambiguousness and discontinuity in one s identity. I m suggesting that the gazing subject feels pleasure in finding one s identity but the one must face the exposure of the melancholic structure which forms the basis of sexual desire. The subject may try to resolve one s melancholy by creating a phantasy about the original and unisexual being where desires, sexualities, phantasies and identities haven t been diverged. This can be fantasized in terms of art which forms a double for the melancholic subject who is in this limited and imaginary way able to forget for a while one s existential solitude.

MHD Flow with Heat and Mass Transfer Due to a Point Sink

The magnetofluid dynamic steady incompressible laminar boundary layer flow for a point sink with an applied magnetic field and mass transfer has been studied. The two-point boundary-value problem governed by self-similar equations has been solved numerically. It is observed that the magnetic field increases the skin friction, but reduces the heat transfer and mass flux diffusion. However, the skin friction, heat transfer and mass flux diffusion increase due to suction and the effect of injection is just opposite. Prandtl and Schmidt numbers affect the temperature and concentration, respectively.

Contribution from normal and starburst galaxies to the extragalactic gamma-ray background (EGRB)

The extragalactic diffuse emission at gamma-ray energies has interesting cosmological implications since these photons suffer little or no attenuation during their propagation from the site of origin. The emission could originate from either truly diffuse processes or from unresolved point sources such as AGNs, normal galaxies and starburst galaxies. Here, we examine the unresolved point source origin of the extragalactic gamma-ray background emission from normal galaxies and starburst galaxies. gamma-ray emission from normal galaxies is primarily coming from cosmic-ray interactions with interstellar matter and radiation (similar to 90%) along with a small contribution from discrete point sources (similar to 10%). Starburst galaxies are expected to have enhanced supernovae activity which leads to higher cosmic-ray densities, making starburst galaxies sufficiently luminous at gamma-ray energies to be detected by the current gamma-ray mission(Fermi Gamma-ray Space Telescope).

Effect of inter-edge Coulomb interactions on transport through a point contact in nu=5/2 quantum Hall state

We study transport across a point contact separating two line junctions in a nu = 5/2 quantum Hall system. We analyze the effect of inter-edge Coulomb interactions between the chiral bosonic edge modes of the half-filled Landau level (assuming a Pfaffian wave function for the half-filled state) and of the two fully filled Landau levels. In the presence of inter-edge Coulomb interactions between all the six edges participating in the line junction, we show that the stable fixed point corresponds to a point contact that is neither fully opaque nor fully transparent. Remarkably, this fixed point represents a situation where the half-filled level is fully transmitting, while the two filled levels are completely backscattered; hence the fixed point Hall conductance is given by G(H) = 1/2e(2)/h. We predict the non-universal temperature power laws by which the system approaches the stable fixed point from the two unstable fixed points corresponding to the fully connected case (G(H) = 5/2e(2)/h) and the fully disconnected case (G(H) = 0).

Vikuroivia vilkaisuja : Ruumis, sukupuoli, seksuaalisuus ja visuaalisen kulttuurin tutkimus

The PhD dissertation "Bucking Glances: On Body, Gender, Sexuality and Visual Culture Research" consists of theoretical introduction and five articles published between 2002-2005. The articles analyze the position of visual representations in the processes of knowledge production on acceptable genders, bodies, and sexualities in contemporary Wes¬tern societies. The research material is heterogeneous, consisting of representations of contemporary art, advertisements, and fashion images. The ideological starting point of the PhD dissertation is the politics of the gaze and the methods used to expose this are the concepts of oppositional gaze, close reading, and resisting reading. The study situates visual representations in dialogue with the concepts of the grotesque and androgyny, as well as with queer-theory and theories of the gaze. The research challenges normative meanings of visual representations and opens up space for more non-conventional readings attached to femininity and masculinity. The visual material is read as troubling the prevailing heteronormative gender system. The dissertation also indicates how visual culture research utilizing the approach of queer theory can be fruitful in opposing and re-visioning changes in the repressive gender system. The article "A Heroic Male and A Beautiful Woman. Teemu Mäki, Orlan and the Ambivalence of the Grotesque Body" problematizes the concept of heroic masculinity through the analysis of the Finnish artist Teemu Mäki's masochistic performance The Good Friday (1989). It also analyzes cosmetic surgery, undertaken by the French artist Orlan, as a cultural tool in constructing and visualizing the contemporary, com¬mercial ideals of female beauty. The article "Boys Will Be Girls Will Be Boys Will Be Girls. The Ambivalence of Androgyny in Calvin Klein' Advertisements" is a close reading of the Calvin Klein perfume advertisement One (1998) in reference to the concept of androgyny. The critical point of the article is that androgynous male bodies allow the extension of the categorical boundaries of masculinity and homosexuality, whereas representations of androgynous women feed into the prevailing stereotypes of femininity, namely the fear of fat. The article "See-through Closet: Female Androgyny in the 1990s Fashion Images, New Woman and Lesbian Chic" analyzes the late 1990s fashion advertisements through the concept of female androgyny. The article argues that the figures of the masculine female androgynes in the late 1990s fashion magazines do not problematize the dichotomous gender binary. The women do not pass as men but produce a variation of heterosexual desirability. At the same time, the representations open up space for lesbian gazing and desiring. The article "Why are there no lesbian advertisements?" addresses the issue of femme gaze and desire in relation to heterosexual fashion advertisements from the British edition of the mainstream fashion magazine Vogue. The article considers possibilities for resistant femme visibility, identification, and desire. The article "Woman, Food, Home. Pirjetta Brander's and Heidi Romo's Works as Bucking Representations of Femininity" analyses the production and queering of heteronormative femininity and family through the analysis of art works. The article discusses how the term queer has been translated into Finnish. The article also introduces a new translation for the term queer: the noun vikuuri, i.e. faulty form and the verb vikuroida, i.e. to buck. In Finnish, the term vikuuri is the vernacular or broken form of the term figure, i.e. figuuri. Vikuuri represents all forms situated outside the norm and the normative.