Financial Aspects of Transactions with FDI: Trade Credit Provision by SMEs in China

This paper will document financial aspects of transactions, and trade credit supply behavior with FDI among small and medium-sized enterprises(SMEs) based on two original surveys, conducted in four cities in China in 2003. The survey was designed to capture the nature of inter-firm transactions, trade credit and other financial conditions. Literature on FDI mainly refers to technology transfer, employment or investment. This paper focuses on the role and significance of FDI in the supply of trade credit due to its trade credit enforcement technology. Yanagawa, Ito and Watanabe [2006] developed a model which indicates that when a seller has higher enforcement technology or a buyer has richer liquidity, both trade credit and transaction volume will be increased. In this paper, we confirmed that FDI and G contributed to the provision of trade credit and had a positive external effect on trade credit enforcement towards China’s economy. (1) Sales towards FDI customers have the power to increase the trade credit ratio,even when controlling other factors such as choice of payment instrument, competitiveness, and expost default management. This implies that FDI does provide trade credit, not only because it has superior liquidity, but because it is also superior in terms of enforcement of trade credit repayment.(2) Cash constraints of the buyer influence the decisions concerning trade credit provided by the seller, as a model in Yanagawa, et al. [2006] predicted, and this implies that strategic default is a serious concern among SMEs in China. (3) Spillover effect exists in payment enforcement technology in transactions with FDI customers.

Operational Aspects of Full Reduction in Lambda Calculi

Esta tesis estudia la reducción plena (‘full reduction’ en inglés) en distintos cálculos lambda. 1 En esencia, la reducción plena consiste en evaluar los cuerpos de las funciones en los lenguajes de programación funcional con ligaduras. Se toma el cálculo lambda clásico (i.e., puro y sin tipos) como el sistema formal que modela el paradigma de programación funcional. La reducción plena es una técnica fundamental cuando se considera a los programas como datos, por ejemplo para la optimización de programas mediante evaluación parcial, o cuando algún atributo del programa se representa a su vez por un programa, como el tipo en los demostradores automáticos de teoremas actuales. Muchas semánticas operacionales que realizan reducción plena tienen naturaleza híbrida. Se introduce formalmente la noción de naturaleza híbrida, que constituye el hilo conductor de todo el trabajo. En el cálculo lambda la naturaleza híbrida se manifiesta como una ‘distinción de fase’ en el tratamiento de las abstracciones, ya sean consideradas desde fuera o desde dentro de si mismas. Esta distinción de fase conlleva una estructura en capas en la que una semántica híbrida depende de una o más semánticas subsidiarias. Desde el punto de vista de los lenguajes de programación, la tesis muestra como derivar, mediante técnicas de transformación de programas, implementaciones de semánticas operacionales que reducen plenamente a partir de sus especificaciones. Las técnicas de transformación de programas consisten en transformaciones sintácticas que preservan la equivalencia semántica de los programas. Se ajustan las técnicas de transformación de programas existentes para trabajar con implementaciones de semánticas híbridas. Además, se muestra el impacto que tiene la reducción plena en las implementaciones que utilizan entornos. Los entornos son un ingrediente fundamental en las implementaciones realistas de una máquina abstracta. Desde el punto de vista de los sistemas formales, la tesis desvela una teoría novedosa para el cálculo lambda con paso por valor (‘call-by-value lambda calculus’ en inglés) que es consistente con la reducción plena. Dicha teoría induce una noción de equivalencia observacional que distingue más puntos que las teorías existentes para dicho cálculo. Esta contribución ayuda a establecer una ‘teoría estándar’ en el cálculo lambda con paso por valor que es análoga a la ‘teoría estándar’ del cálculo lambda clásico propugnada por Barendregt. Se presentan resultados de teoría de la demostración, y se sugiere como abordar el estudio de teoría de modelos. ABSTRACT This thesis studies full reduction in lambda calculi. In a nutshell, full reduction consists in evaluating the body of the functions in a functional programming language with binders. The classical (i.e., pure untyped) lambda calculus is set as the formal system that models the functional paradigm. Full reduction is a prominent technique when programs are treated as data objects, for instance when performing optimisations by partial evaluation, or when some attribute of the program is represented by a program itself, like the type in modern proof assistants. A notable feature of many full-reducing operational semantics is its hybrid nature, which is introduced and which constitutes the guiding theme of the thesis. In the lambda calculus, the hybrid nature amounts to a ‘phase distinction’ in the treatment of abstractions when considered either from outside or from inside themselves. This distinction entails a layered structure in which a hybrid semantics depends on one or more subsidiary semantics. From a programming languages standpoint, the thesis shows how to derive implementations of full-reducing operational semantics from their specifications, by using program transformations techniques. The program transformation techniques are syntactical transformations which preserve the semantic equivalence of programs. The existing program transformation techniques are adjusted to work with implementations of hybrid semantics. The thesis also shows how full reduction impacts the implementations that use the environment technique. The environment technique is a key ingredient of real-world implementations of abstract machines which helps to circumvent the issue with binders. From a formal systems standpoint, the thesis discloses a novel consistent theory for the call-by-value variant of the lambda calculus which accounts for full reduction. This novel theory entails a notion of observational equivalence which distinguishes more points than other existing theories for the call-by-value lambda calculus. This contribution helps to establish a ‘standard theory’ in that calculus which constitutes the analogous of the ‘standard theory’ advocated by Barendregt in the classical lambda calculus. Some prooftheoretical results are presented, and insights on the model-theoretical study are given.

Structural aspects of activation pathways of aspartic protease zymogens and viral 3C protease precursors

The three-dimensional structures of the inactive protein precursors (zymogens) of the serine, cysteine, aspartic, and metalloprotease classes of proteolytic enzymes are known. Comparisons of these structures with those of the mature, active proteases reveal that, in general, the preformed, active conformations of the residues involved in catalysis are rendered sterically inaccessible to substrates by the residues of the zymogens’ N-terminal extensions or prosegments. The prosegments interact in nonsubstrate-like fashions with the residues of the active sites in most of the cases. The gastric aspartic proteases have a well-characterized zymogen conversion pathway. Structures of human progastricsin, the inactive intermediate 2, and active human pepsin are known and have been used to define the conversion pathway. The structure of the zymogen precursor of plasmepsin II, the malarial aspartic protease, shows a new twist on the mode of inactivation used by the gastric zymogens. The prosegment of proplasmepsin disrupts the active conformation of the two catalytic aspartic acid residues by inducing a major reorientation of the two domains of the mature protease. The picornaviral 2A and 3C proteases have a chymotrypsin-like tertiary structure but with a cysteine nucleophile. These enzymes cleave themselves from the viral polyprotein in cis (intramolecular cleavage) and carry out trans cleavages of other scissile peptides important for the virus life cycle. Although the structure of the precursor viral polyprotein is unknown, it probably resembles the organization of the proenzymes of the bacterial serine proteases, subtilisin, and α-lytic protease. Cleavage of the prosegment is known to occur in cis for these precursor molecules.

Integrating Europeans: The Political Economy and Social Aspects of Europeanization. ACES Working Papers (Curriculum Development), 2012

This course, then, investigates the effects of integration on European citizens as well as the duality of the EU as a competitive and social model. It is sensitive to the involvement of social groups, protest, and domestic politics in the study of market integration. Some of the questions we explore are: What are the effects of regulatory policy-making on social actors, how do such actors’ strategies and behaviors change as a consequence, and how to they overcome their collective action problems? Why is it that the logic of integration has at times followed a logic of “permissive consensus” while at other times it has been described as a “constraining dissensus”? What is the importance of discourse in domestic politics in order to articulate and legitimate Europeanization? How do European identities change as a consequence of policymaking as well as of protest? To what extent do ordinary Europeans matter in terms of accepting and opposing the project of European integration, how do European citizens in core and peripheral EU states experience Europeanization, and how is their involvement in the integration project to be conceptualized?

Aspects of Markov Chains and Particle Systems

Thesis (Ph.D.)--University of Washington, 2016-06

Computational aspects of modular parametrizations of elliptic curves

Thesis (Ph.D.)--University of Washington, 2016-06

Aspects of SAF smelting of ferrochrome

This paper provides a review of the chemical reactions occurring in the submerged arc processing of chromite ores. The excavations of industrial furnaces have shown that the charge, as it descends through the furnace, passes through a number of distinct reaction zones. Each zone is characterised by differing process conditions and reaction products. The phase equilibria, reaction steps and mechanisms occurring as the charge progresses through the furnace are examined, and the potential influences of these factors on the process outcomes are discussed.

Aspects of the learner's dictionary with special reference to advanced Pakistani learners of English

The present work is an empirical investigation into the lq`reference skills' of Pakistani learners and their language needs on semantic, phonetic, lexical and pragmatic levels in the dictionary. The introductory chapter discusses the relatively problematic nature of lexis in comparison with the other aspects in EFL learning and spells out the aim of this study. Chapter two provides an analytical survey of the various types of research undertaken in different contexts of the dictionary and explains the eclectic approach adopted in the present work. Chapter three studies the `reference skills' of this category of learners in the background of highly sophisticated information structure of learners' dictionaries under evaluation and suggests some measures for improvement in this context. Chapter four considers various criteria, eg. pedagogic, linguistic and sociolinguistic for determining the macro-structure of learner's dictionary with a focus on specific Ll speakers. Chapter five is concerned with various aspects of the semantic information provided in the dictionaries matched against the needs of Pakistani learners with regard to both comprehension and production. The type, scale and presentation of grammatical information in the dictionary is analysed in chapter six with the object of discovering their role and utility for the learner. Chapter seven explores the rationale for providing phonological information, the extent to which this guidance is vital and the problems of phonetic symbols employed in the dictionaries. Chapter eight brings into perspective the historical background of English-Urdu bilingual lexicography and evalutes the currently popular bilingual dictionaries among the student community, with the aim of discovering the extent to which they have taken account of the modern tents of lexicography and investigating their validity as a useful reference tool in the learning of English language. The final chapter concludes the findings of individual aspects in a coherent fashion to assess the viability of the original hypothesis that learners' dictionaries if compiled with a specific set of users in mind would be more useful.

Biochemical aspects of Tourette's Syndrome

Kynurenine (KYN) is the first stable metabolite of the kynurenine pathway, the major route of tryptophan. (TRP) metabolIsm. In the liver, cortisol-inducible tIyptophan-2,3-dioxygenase (TDO) is the first enzyme and rate limiting step. In extrahepatic tissues, it is superceded by indoleamine-2,3-dioxygenase (IDO), an enzyme with a wider substrate specificity. Earlier work in this research group has found substantial elevations in plasma KYN in fasting Tourette's Syndrome (TS) patients with normal TRP and neopterin. The aim of our initial pilot study was to confirm this increase in KYN in fasting human TS patients compared with normal controls, and to see how changes in diet :ay influence certain kynurenine pathway variables. However, we failed to detect a change in plasma KYN, TRP, kynurenic acid (KYNA), neopterin or cortisol between the fasting TS and control groups. Moreover, none of the variables was affected by dietary status, and thus candidates selected for the larger cross-sectional study were permitted to eat and drink freely on the day that blood samples were submitted, but were requested to avoid products containing caffeine, aspirin or nicotine. In the cross-sectional study, TS patients exhibited significantly higher plasma KYN concentrations than controls, although the magnitude of the change was much smaller than originally found. This may be due to differences in detection procedure and the seasonal fluctuation of some biochemical variables, notably cortisol. The generalised increase in neopterin in the TS subject group, suggests a difference in the activity of cytokine-inducible IDO as a likely source for this elevated KYN. Other kynurenine pathway metabolites, specifIcally TRP, 3-hydroxykynurenine (HKY), 3-hydroxyanthranilic acid (HAA) and KYNA were unchanged. In view of recent speculation of the potential therapeutic effects of nicotine in TS, the lower KYN concentrations observed in TS smokers, compared with non-smoking TS patients, was another interesting finding. Tic-like movements, such as head-shakes (HS), which occur in rodents both spontaneously and following diverse drug treatments, closely resemble tic behaviours in humans. The animal tic model was used to examine what effects nicotine may have on shaking behaviours and on selected TRP metabolites. Acute systemic administration of nicotine to mice, produced a dose-dependent reduction in HS frequency (induced by the 5-HT2A/2C agonist DOl), which appeared to be mediated via central nicotinic cholinergic receptors, since mecamylamine pretreatment abolished this effect. Conversely, twice daily subcutaneous injections of nicotine for 7 days, led to an increase in spontaneous and DOI-induced HS. Chronic nicotine also caused a significant elevation m plasma and whole brain KYN concentrations, but plasma TRP, HKY, HAA and KYNA were unaltered. In addition, no change in brain 5-HT or 5-HIAA concentrations or 5-HT turnover, was found. Despite contrasting results from human and animal studIes, a role for nicotine in the mediation of tic-like movements is indicated. The relevance of the kynurenine pathway to TS and the potential role played by nicotine in modifying tic-like behaviours is discussed.

Some aspects of the analytical chemistry of malathion

A thorough investigation of the recommended colorimetric method for the determination of malathion (an organophosphorus pesticide) has led to the identification of the major cause of all the problems with which the method suffers. The method, which involves the extraction of the copper (II) complex or the hydrolysis product of malathion from aqueous solution into immiscible organic solvents, has many drawbacks. For example, the colour of the organic extract fades very quickly and a slight increase in the contact time of the hydrolysis product and the copper reagent within the aqueous solution, results in a decrease in the ab-solute absorbance. Also, the presence of any reducing agents can be a significant source of error. In the present work, it has been shown that the basic cause of all these problems is the ability of copper (II) ion to be reduced to copper (I) ion. It has further been shown that these problems can be resolved by re-placing copper (II) by bismuth (III). This has led to the development of a modified colorimetric method for the determination. of malathion, which has distinct advantages over all other existing methods in terms of reagents required, ease in application, avoidance of interferences and stability of colour for extended periods of time. The modified colorimetric method described above has been further improved by making use of a ligand exchange reaction involving dithizone. The resulting final organic extract in this case is bright orange in colour, the absorbance of which can be measured even with simple photometers. The usefulness of the modified colorimetric method has been demonstrated by determining malathion in technical products, and in aqueous solution containing the compound down to sub ppm levels. The scope and applicability of atomic absorption spectrophotometry has been extended by demonstrating for the first time that the technique can be used for the indirect determination of malathion. Almost all of the work described above has been accepted for publication by international journals and considerable interest in the work has been shown by chemists working in the field of pesticide analysis and research.

The influence of cutting tool geometry upon aspects of chip flow and tool wear:a theoretical, three dimensional examination of the cutting geometry and the shape of the twist drill

This work is undertaken in the attempt to understand the processes at work at the cutting edge of the twist drill. Extensive drill life testing performed by the University has reinforced a survey of previously published information. This work demonstrated that there are two specific aspects of drilling which have not previously been explained comprehensively. The first concerns the interrelating of process data between differing drilling situations, There is no method currently available which allows the cutting geometry of drilling to be defined numerically so that such comparisons, where made, are purely subjective. Section one examines this problem by taking as an example a 4.5mm drill suitable for use with aluminium. This drill is examined using a prototype solid modelling program to explore how the required numerical information may be generated. The second aspect is the analysis of drill stiffness. What aspects of drill stiffness provide the very great difference in performance between short flute length, medium flute length and long flute length drills? These differences exist between drills of identical point geometry and the practical superiority of short drills has been known to shop floor drilling operatives since drilling was first introduced. This problem has been dismissed repeatedly as over complicated but section two provides a first approximation and shows that at least for smaller drills of 4. 5mm the effects are highly significant. Once the cutting action of the twist drill is defined geometrically there is a huge body of machinability data that becomes applicable to the drilling process. Work remains to interpret the very high inclination angles of the drill cutting process in terms of cutting forces and tool wear but aspects of drill design may already be looked at in new ways with the prospect of a more analytical approach rather than the present mix of experience and trial and error. Other problems are specific to the twist drill, such as the behaviour of the chips in the flute. It is now possible to predict the initial direction of chip flow leaving the drill cutting edge. For the future the parameters of further chip behaviour may also be explored within this geometric model.