3,184 research outputs found
Internalising modified realisability in constructive type theory
A modified realisability interpretation of infinitary logic is formalised and
proved sound in constructive type theory (CTT). The logic considered subsumes
first order logic. The interpretation makes it possible to extract programs
with simplified types and to incorporate and reason about them in CTT.Comment: 7 page
Mentoring: Adding Value to Organizational Culture
Given that leadership is value-based and relationship-permeated, one asks how leaders can transfer personal and organizational value to employees. One answer to this is through mentoring. Mentoring young or inexperienced workers is an investment in the future of business, the school system, organizations, etc. Understanding this idea is difficult because current mentoring research demonstrates that mentoring is more convoluted than was once thought. This article will make an effort to untangle some of this research and then suggest a âcommon senseâ and âpracticalâ definition of âmentoring.â This is a definition that can be used in large and small businesses, in churches, schools, and by community organizations. In our conclusion, we summarize the research examined: The characteristics of a mentor The characteristics of a mentor-protĂ©gĂ© relationship A description of the mentoring process A simple definition of âmentoringâ that is widely applicabl
Exchange Rate Volatility and Employment Growth: Empirical Evidence from the CEE Economies
According to the traditional 'optimum currency area' approach, not much will be lost from a very hard peg to a currency union if there has been little reason for variations in the exchange rate. This paper takes a different approach and highlights the fact that high exchange rate volatility may as well signal high costs for labor markets. The impact of exchange rate volatility on labor markets in the CEECs is analyzed, finding that volatility vis-Ă -vis the euro significantly lowers employment growth. Hence, the elimination of exchange rate volatility could be considered as a substitute for a removal of employment protection legislation.Central and Eastern Europe, currency union, euroization, exchange rate variability, job creation
Self-charging metering and dispensing device for fluids
A self-metering and dispensing device for fluids obtained from a pressurized fluid supply is discussed. Tubing and valving means permit the introduction of fluid into and discharge from a closed cylindrical reservoir. The reservoir contains a slideably disposed piston co-acting with a coil compression spring, with piston travel determining the amount of fluid in the reservoir. Once the determined amount of fluid is introduced into the reservoir, the fluid is discharged by the force of the coil compression spring acting upon the piston
Differential thermal analysis of lunar soil simulant
Differential thermal analysis of a lunar soil simulant, 'Minnesota Lunar Simulant-1' (MLS-1) was performed. The MLS-1 was tested in as-received form (in glass form) and with another silica. The silica addition was seen to depress nucleation events which lead to a better glass former
- âŠ