Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Normalization and Charter 77 : Violence, Commitment and Resistance in Czechoslovakia

In Czechoslovakia, the occupation of 1968 denoted the beginning of normalization , a political and societal stagnation that lasted two decades. Dissident initiative Charter 77 emerged in 1977, demanding that the leaders of the country respect human rights. The Helsinki process provided a macro-level framework that influenced opposition and dissident activities throughout Eastern Europe. The study contributes a focused empirical analysis of the period of normalization and the dissident movement Charter 77. Dissent in general is seen as an existential attitude; it can be encapsulated as a morally rationalized critical stance as derived from shared experience or interpretation of injustice, which serves as a basis for a shared collective identity comprising oppositional consciousness as one unifying factor. The study suggests that normalization can be understood as a fundamentally violent process and discusses the structural and cultural manifestations of violence with relation to Charter 77. In general, the aim of the system was to passivize the society to such an extent that it would not constitute a potential threat to the hegemonic rule of the regime. Normalization caused societal stagnation and apoliticization, but it also benefited those who accepted the new political reality. The study, however, questions the image of Czechoslovakia s allegedly highly repressive rule by showing that there was also quite considerable tolerance of Charter 77 and consideration before severe repression was brought to bear against dissidents. Furthermore, the study provides understanding of the motives and impetuses behind dissent, the strategic shifts in Charter 77 activities, and the changes in the regime s policies toward Charter 77. The study also adds new perspective on the common image of Charter 77 as a non political initiative and suggests that Charter 77 was, in fact, a political entity, an actively political one in the latter half of the 1980s. Charter 77 was a de facto hybrid of a traditional dissident initiative and an oppositional actor. Charter 77 adopted a two-dimension approach: firstly, it still emphasized its role as a citizens initiative supporting human rights, but, secondly, at the same time, it was a directly political actor supporting and furthering the development of political opposition against the ruling power.

Spinodal Decomposition in Tellurite-Based Glasses Induced by Excimer Laser Irradiation

Tellurite-based glasses in the TeO2-K3Li2Nb5O15, TeO2-Ba5Li2Ti2Nb8O30, and V2Te2O9 were fabricated by the conventional melt-quenching technique. Amorphous and glassy characteristics of the as-quenched samples were established via the X-ray powder diffraction technique and differential thermal analysis, respectively. The as-quenched samples were irradiated by an excimer laser (248 nm). The effect of laser power, duration of irradiation, and the frequency of the laser pulses on the surface features of the above glasses were studied. The optical microscopic studies carried out on the above systems revealed the presence of quasi-periodic and periodic structures on their surfaces. The local compositional variations of these structures were confirmed by back-scattered electron imaging using scanning electron microscope accompanied by energy-dispersive X-ray analysis. These results were convincing enough to state that the glasses in the present investigations had undergone spinodal decomposition on laser irradiation. The incidence of the interconnected texture of two different phases was observed owing to the quenching effect produced by the heating and cooling cycle of the successive laser pulses. Ring- and line-shaped patterns were also observed, respectively, when the pulse frequency of the laser and the duration of irradiation were increased.

Low-temperature Er3+ emission in Ge-S-Ga glasses excited by host absorption

The photoluminescence (PL) of a series of (GeS2)(80)(Ga2S3)(20) glasses doped with different amounts of Er (0.17, 0.35, 0.52, 1.05 and 1.39 at.%) at 77 and 4.2 K has been studied. The influence of the temperature on the emission cross-section of the PL bands at -> 1540, 980 and 820 nm under host excitation has been defined. A quenching effect of the host photoluminescence has been established from the compositional dependence of the PL intensity. It has been found that the present Er3+-doped Ge-S-Ga glasses posses PL lifetime values about 3.25 ms. (C) 2007 Elsevier B.V. All rights reserved.

Kaupunkilaisen elinympäristöongelma : Käsitteellistämistavat ja puuttumisen mallit

The study analyses the reaction of urban residents to problems, i.e. disturbing factors, in their living environment, and also their ways of doing something about these problems. It is based on urban-sociological theory on everyday life in a modern metropolis. On this theoretical basis, problems in the urban living environment are analysed in terms of a policy of everyday interference: when urban citizens become aware of a problem in their environment, they face a pattern of behaviour where the norm is polite indifference and negative solidarity. They may feel they ought to do something about the problem, but at the same time, an implicit rule of urban life is not to interfere with other people s lives so they won t interfere with yours. For example, it is not that easy for someone disturbed by littering to complain directly to those who litter the streets. Or if you complain about tobacco smoke from the neighbour s balcony, your neighbours might get cross. Direct interference with a problem in the environment usually implies an encounter with a hitherto unknown counterpart and their possible counter-reaction. The risk is either to lose face or get into downright conflict. Therefore, an easier way may be to complain to the city authorities. The Helsinki City Environment Centre is currently working on solutions for all the various kinds of problems that occur in a dense urban structure. Various ways of conceptualising the problems in the living environment are analysed empirically using theme interviews made with citizens having contacted Helsinki City Environment Centre. A phenomenographic approach and a theory-based categorisation are applied on the analysis of the theme interviews. On the grounds of the analysis, the ways of conceptualising are determined by 1) the difficulty of interfering and convincing other people, which in practice means meddling in other people s business, 2) a territorial struggle for space and a place in a dense urban structure, 3) breaches of rules and norms for social routines in urban life, and 4) a crumbling of the urban identity and all that goes along with that. The analysis of the ways of conceptualisation is deepened using a cultural risk theory. The final outcome of the analysis is four types of behaviour among urban residents with regard to interference with everyday problems in the living environment. They have been called yard police , fence builder , park warden and environmental caretaker . The study combines an urban-sociological approach with the theoretical tradition of urban research and with research on municipal environmental policy.

Non-periodic tilings in 2-dimensions with 4, 6, 8, 10 and 12-fold symmetries

The two dimensional plane can be filled with rhombuses, so as to generate non-periodic tilings with 4, 6, 8, 10 and 12-fold symmetries. Some representative tilings constructed using the rule of inflation are shown. The numerically computed diffraction patterns for the corresponding tilings are also shown to facilitate a comparison with possible X-ray or electron diffraction pictures.

Profitable Customer Management: A Study in Retail Banking

The increasing focus of relationship marketing and customer relationship management (CRM) studies on issues of customer profitability has led to the emergence of an area of research on profitable customer management. Nevertheless, there is a notable lack of empirical research examining the current practices of firms specifically with regard to the profitable management of customer relationships according to the approaches suggested in theory. This thesis fills this research gap by exploring profitable customer management in the retail banking sector. Several topics are covered, including marketing metrics and accountability; challenges in the implementation of profitable customer management approaches in practice; analytic versus heuristic (‘rule of thumb’) decision making; and the modification of costly customer behavior in order to increase customer profitability, customer lifetime value (CLV), and customer equity, i.e. the financial value of the customer base. The thesis critically reviews the concept of customer equity and proposes a Customer Equity Scorecard, providing a starting point for a constructive dialog between marketing and finance concerning the development of appropriate metrics to measure marketing outcomes. Since customer management and measurement issues go hand in hand, profitable customer management is contingent on both marketing management skills and financial measurement skills. A clear gap between marketing theory and practice regarding profitable customer management is also identified. The findings show that key customer management aspects that have been proposed within the literature on profitable customer management for many years, are not being actively applied by the banks included in the research. Instead, several areas of customer management decision making are found to be influenced by heuristics. This dilemma for marketing accountability is addressed by emphasizing that CLV and customer equity, which are aggregate metrics, only provide certain indications regarding the relative value of customers and the approximate value of the customer base (or groups of customers), respectively. The value created by marketing manifests itself in the effect of marketing actions on customer perceptions, behavior, and ultimately the components of CLV, namely revenues, costs, risk, and retention, as well as additional components of customer equity, such as customer acquisition. The thesis also points out that although costs are a crucial component of CLV, they have largely been neglected in prior CRM research. Cost-cutting has often been viewed negatively in customer-focused marketing literature on service quality and customer profitability, but the case studies in this thesis demonstrate that reduced costs do not necessarily have to lead to lower service quality, customer retention, and customer-related revenues. Consequently, this thesis provides an expanded foundation upon which marketers can stake their claim for accountability. By focusing on the range of drivers and all of the components of CLV and customer equity, marketing has the potential to provide specific evidence concerning how various activities have affected the drivers and components of CLV within different groups of customers, and the implications for customer equity on a customer base level.

Sarveiskalvon permeabiliteetin ennustaminen QSPR-mallin avulla

QSPR-malli kuvaa kvantitatiivista riippuvuutta muuttujien ja biologisen ominaisuuden välillä. Näin ollen QSPR mallit ovat käyttökelpoisia lääkekehityksen apuvälineitä. Kirjallisessa osassa kerrotaan sarveiskalvon, suoliston ja veriaivoesteen permeabiliteetin malleista. Useimmin käytettyjä muuttujia ovat yhdisteen rasvaliukoisuus, polaarinen pinta-ala, vetysidosten muodostuminen ja varaus. Myös yhdisteen koko vaikuttaa läpäisevyyteen, vaikka tutkimuksissa onkin erilaista tietoa tämän merkittävyydestä. Malliin vaikuttaa myös muiden kuin mallissa mukana olevien muuttujien suuruusluokka esimerkkinä Lipinskin ‖rule of 5‖ luokittelu. Tässä luokittelussa yhdisteen ominaisuus ei saa ylittää tiettyjä raja-arvoja. Muussa tapauksessa sen imeytyminen suun kautta otettuna todennäköisesti vaarantuu. Lisäksi kirjallisessa osassa tutustuttiin kuljetinproteiineihin ja niiden toimintaan silmän sarveiskalvossa, suolistossa ja veriaivoesteessä. Nykyisin on kehitetty erilaisia QSAR-malleja kuljetinproteiineille ennustamaan mahdollisten substraatittien tai inhibiittorien vuorovaikutuksia kuljetinproteiinin kanssa. Kokeellisen osan tarkoitus oli rakentaa in silico -malli sarveiskalvon passiiviselle permeabiliteetille. Työssä tehtiin QSPR-malli 54 yhdisteen ACDLabs-ohjelmalla laskettujen muuttujien arvojen avulla. Permeabiliteettikertoimien arvot saatiin kirjallisuudesta kanin sarveiskalvon läpäisevyystutkimuksista. Lopullisen mallin muuttujina käytettiin oktanoli-vesijakaantumiskerrointa (logD) pH:ssa 7,4 ja vetysidosatomien kokonaismäärää. Yhtälö oli muotoa log10(permeabiliteettikerroin) = -3,96791 - 0,177842Htotal + 0,311963logD(pH7,4). R2-korrelaatiokerroin oli 0,77 ja Q2-korrelaatiokerroin oli 0,75. Lopullisen mallin hyvyyttä arvioitiin 15 yhdisteen ulkoisella testijoukolla, jolloin ennustettua permeabiliteettia verrattiin kokeelliseen permeabiliteettiin. QSPR-malli arvioitiin myös farmakokineettisen simulaation avulla. Simulaatiossa laskettiin seitsemän yhdisteen kammionestepitoisuudet in vivo vakaassa tilassa käyttäen simulaatioissa QSPR mallilla ennustettuja permeabiliteettikertoimia. Lisäksi laskettiin sarveiskalvon imeytymisen nopeusvakio (Kc) 13 yhdisteelle farmakokineettisen simulaation avulla ja verrattiin tätä lopullisella mallilla ennustettuun permeabiliteettiin. Tulosten perusteella saatiin tilastollisesti hyvä QSPR-malli kuvaamaan sarveiskalvon passiivista permeabiliteettia, jolloin tätä mallia voidaan käyttää lääkekehityksen alkuvaiheessa. QSPR-malli ennusti permeabiliteettikertoimet hyvin, mikä nähtiin vertaamalla mallilla ennustettuja arvoja kokeellisiin tuloksiin. Lisäksi yhdisteiden kammionestepitoisuudet voitiin simuloida käyttäen apuna QSPR-mallilla ennustettuja permeabiliteettikertoimien arvoja.

Thermal and electrical switching studies on Ge20Se80-xBix (1 <= x <= 13) ternary chalcogenide glassy system

Alternating Differential Scanning Calorimetric (ADSC) and electrical switching studies have been undertaken on Ge20Se80-xBix glasses (1 <= x <= 13), to understand the effect of topological thresholds on thermal properties and electrical switching behavior. It is found that the compositional dependence of glass transition temperature (Tg), crystallization temperature (T-c1) and thermal stability (AT) of Ge20Se80-xBix glasses show anomalies at a composition x= 5, the rigidity percolation/stiffness threshold of the system. Further, unusual variations are also observed in different thermal properties, such as T-g, T-c1, Delta T, Delta C-p and Delta H-NR, at the composition x= 10, which indicates the occurrence of chemical threshold in these glasses at this composition. Electrical switching studies indicate that Ge20Se8o_RBig glasses with 5 11 exhibit threshold switching behavior and those with x = 12 and 13 show memory switching. A sharp decrease has been noticed in the switching voltages with bismuth concentration, which is due to the more metallic nature of bismuth and the presence of Bi+ ions. Further, a saturation is seen in the decrease in V-T around x = 6, which is related to bismuth phase percolation at higher concentrations of Bi. (C) 2010 Elsevier B.V. All rights reserved.

Thermally induced transformations in GexAsyTe100-x-y glasses

Chalcogenide glasses with compositions Ge7.5AsyTe92.5-y (y = 20, 40, 45, 47.5, 50, 52.5, 55) and Ge10AsyTe90-y (y = 15, 20, 22.5, 35, 40, 45, 50) have been prepared by the melt-quenching technique. The amorphous nature of these glasses has been confirmed by X-ray powder diffractometry. The thermal stability of these glasses has been studied using differential scanning calorimetry (DSC). The compositional dependence of the glass transition temperature, T(g), the crystallization temperatures, T(c1) and T(c2), and the melting temperature, T(m), are reported. The glass-forming tendency, K(gl), and the activation energy of crystallization, E, are calculated. The activation energy decreases with increasing tellurium content for both sets of glasses.

Optical properties change in Sb40S40Se20 thin films by light-induced effect

Thin films of Sb40Se20S40 with thickness 1000 nm were prepared by thermal evaporation technique. The amorphous nature of the thin films was verified by X-ray diffractometer. The chemical composition of the deposited thin films was examined by energy dispersive X-ray analysis (EDAX). The changes in optical properties due to the influence of laser radiation on amorphous thin films of Sb40Se20S40 glassy alloy were calculated from absorbance spectra as a function of photon energy in the wavelength region 450-900 nm. Analysis of the optical absorption data shows that the rule of non-direct transitions predominates. It has been observed that laser-irradiation of the films leads to a decrease in optical band gap while increase in absorption coefficient. The decrease in the optical band gap is explained on the basis of change in nature of films due to disorderness. The optical changes are supported by X-ray photoelectron spectroscopy and Raman spectroscopy. (C) 2012 Elsevier B.V. All rights reserved.

Wave propagation in a porous composite beam: Porosity determination, location and quantification

A wave-based method is developed to quantify the defect due to porosity and also to locate the porous regions, in a composite beam-type structure. Wave propagation problem for a porous laminated composite beam is modeled using spectral finite element method (SFEM), based on the modified rule of mixture approach, which is used to include the effect of porosity on the stiffness and density of the composite beam structure. The material properties are obtained from the modified rule of mixture model, which are used in a conventional SFEM to develop a new model for solving wave propagation problems in porous laminated composite beam. The influence of the porosity content on the group speed and also the effect of variation in theses parameters on the time responses are studied first, in the forward problem. The change in the time responses with the change in the porosity of the structure is used as a parameter to find the porosity content in a composite beam. The actual measured response from a structure and the numerically obtained time responses are used for the estimation of porosity, by solving a nonlinear optimization problem. The effect of the length of the porous region (in the propagation direction), on the time responses, is studied. The damage force indicator technique is used to locate the porous region in a beam and also to find its length, using the measured wave propagation responses. (C) 2012 Elsevier Ltd. All rights reserved.

Solid-liquid transition in polydisperse Lennard-Jones systems

We study melting of a face-centered crystalline solid consisting of polydisperse Lennard-Jones spheres with Gaussian polydispersity in size. The phase diagram reproduces the existence of a nearly temperature invariant terminal polydispersity (delta(t) similar or equal to 0.11), with no signature of reentrant melting. The absence of reentrant melting can be attributed to the influence of the attractive part of the potential upon melting. We find that at terminal polydispersity the fractional density change approaches zero, which seems to arise from vanishingly small compressibility of the disordered phase. At constant temperature and volume fraction the system undergoes a sharp transition from crystalline solid to the disordered amorphous or fluid state with increasing polydispersity. This has been quantified by second- and third-order rotational invariant bond orientational order, as well as by the average inherent structure energy. The translational order parameter also indicates a similar sharp structural change at delta similar or equal to 0.09 in case of T* = 1.0, phi = 0.58. The free energy calculation further supports the sharp nature of the transition. The third-order rotationally invariant bond order shows that with increasing polydispersity, the local cluster favors a more icosahedral arrangement and the system loses its local crystalline symmetry. Interestingly, the value of structure factor S(k) of the amorphous phase at delta similar or equal to 0.10 (just beyond the solid-liquid transition density at T* = 1) becomes 2.75, which is below the value of 2.85 required for freezing given by the empirical Hansen-Verlet rule of crystallization, well known in the theory of freezing.

Probing complex heterostructures using hard X-ray photoelectron spectroscopy (HAXPES)

X-ray Photoelectron Spectroscopy (XPS) plays a central role in the investigation of electronic properties as well as compositional analysis of almost every conceivable material. However, a very short inelastic mean free path (IMFP) and the limited photon flux in standard laboratory conditions render this technique very much surface sensitive. Thus, the electronic structure buried below several layers of a heterogeneous sample is not accessible with usual photoemission techniques. An obvious way to overcome this limitation is to use a considerably higher energy photon source, as this increases the IMFP of the photo-ejected electron, thereby making the technique more depth and bulk sensitive. Due to this obvious advantage, Hard X-ray Photo Electron Spectroscopy (HAXPES) is rapidly becoming an extremely powerful tool for chemical, elemental, compositional and electronic characterization of bulk systems, more so with reference to systems characterized by the presence of buried interfaces and other types of chemical heterogeneity. The relevance of such an investigative tool becomes evident when we specifically note the ever-increasing importance of heterostructures and interfaces in the context of a wide range of device applications, spanning electronic, magnetic, optical and energy applications. The interest in this nondestructive, element specific HAXPES technique has grown rapidly in the past few years; we discuss critically its extensive use in the study of depth resolved electronic properties of nanocrystals, multilayer superlattices and buried interfaces, revealing their internal structures. We specifically present a comparative discussion, with examples, on two most commonly used methods to determine internal structures of heterostructured systems using XPS. (C) 2015 Elsevier B.V. All rights reserved.

Solution processible Cu2SnS3 thin films for cost effective photovoltaics: Characterization

Thin films of Cu2SnS3 (CTS) were deposited by the facile solution processed sol-gel route followed by a low-temperature annealing. The Cu-Sn-thiourea complex formation was analysed using Fourier Transform Infrared spectrophotometer (FTIR). The various phase transformations and the deposition temperature range for the initial precursor solution was determined using Thermogravimetric analysis (TGA) and Differential Scanning Calorimetry (DSC). X-Ray Diffraction (XRD) studies revealed the tetragonal phase formation of the CTS annealed films. Raman spectroscopy studies further confirmed the tetragonal phase formation and the absence of any deterioratory secondary phases. The morphological investigations and compositional analysis of the films were determined using Scanning Electron Microscopy (SEM) and Energy Dispersive Spectroscopy (EDS) respectively. Atomic Force Microscopy (AFM) was used to estimate the surface roughness of 1.3 nm. The absorption coefficient was found to be 10(4) cm(-1) and bandgap 1.3 eV which qualifies CTS to be a potential candidate for photovoltaic applications. The refractive index, extinction coefficient and relative permittivity of the film were measured by Spectroscopic ellipsometry. Hall effect measurements, indicated the p type nature of the films with a hole concentration of 2 x 10(18) cm(-3), electrical conductivity of 9 S/cm and a hole mobility of 29 cm(2)/V. The properties of CTS as deduced from the current study, present CTS as a potential absorber layer material for thin film solar cells. (C) 2015 Elsevier B.V. All rights reserved.