An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel.

The term "Logic Programming" refers to a variety of computer languages and execution models which are based on the traditional concept of Symbolic Logic. The expressive power of these languages offers promise to be of great assistance in facing the programming challenges of present and future symbolic processing applications in Artificial Intelligence, Knowledge-based systems, and many other areas of computing. The sequential execution speed of logic programs has been greatly improved since the advent of the first interpreters. However, higher inference speeds are still required in order to meet the demands of applications such as those contemplated for next generation computer systems. The execution of logic programs in parallel is currently considered a promising strategy for attaining such inference speeds. Logic Programming in turn appears as a suitable programming paradigm for parallel architectures because of the many opportunities for parallel execution present in the implementation of logic programs. This dissertation presents an efficient parallel execution model for logic programs. The model is described from the source language level down to an "Abstract Machine" level suitable for direct implementation on existing parallel systems or for the design of special purpose parallel architectures. Few assumptions are made at the source language level and therefore the techniques developed and the general Abstract Machine design are applicable to a variety of logic (and also functional) languages. These techniques offer efficient solutions to several areas of parallel Logic Programming implementation previously considered problematic or a source of considerable overhead, such as the detection and handling of variable binding conflicts in AND-Parallelism, the specification of control and management of the execution tree, the treatment of distributed backtracking, and goal scheduling and memory management issues, etc. A parallel Abstract Machine design is offered, specifying data areas, operation, and a suitable instruction set. This design is based on extending to a parallel environment the techniques introduced by the Warren Abstract Machine, which have already made very fast and space efficient sequential systems a reality. Therefore, the model herein presented is capable of retaining sequential execution speed similar to that of high performance sequential systems, while extracting additional gains in speed by efficiently implementing parallel execution. These claims are supported by simulations of the Abstract Machine on sample programs.

Transformer-coupled converter for voltage modulation techniques

In high performance digital systems as well as in RF systems, voltage scaling and modulation techniques have been adopted to achieve a more efficient processing of the energy. The implementation of such techniques relies on a power supply that is capable of rapidly adjusting the system supply voltage. In this paper, a pulsewidth modulation multiphase topology with magnetic coupling is proposed for its use in voltage modulation techniques. Since the magnetic coupling in this topology is done with transformers instead of coupled inductors, the energy storage is reduced and very fast voltage changes are achieved. Advantages and drawbacks of this topology have been previously presented in the literature and in this paper, the design criteria for implementing a power supply for the envelope elimination and restoration technique in an RF system are presented along with an implementation of the power supply.

Iteración creativa. El uso de la maqueta como herramienta de proyecto en OMA

El texto aborda el uso de la maqueta como herramienta en los procesos proyectuales de OMA. Lejos de entender el proyecto como una gran elucubración individual, mística, puntual y fugaz, se plantea su visión desde los procesos diarios y rutinarios del trabajo colectivo. El texto ofrece una aproximación crítica a los sistemas de trabajo de una de las oficinas más destacadas de la arquitectura contemporanea, la reconocida OMA, de Rem Koolhaas. Además de analizar su sistema de trabajo pone el enfasis principal en el estudio del uso de la maqueta como elemento vertebrador de su práctica arquitectónica y como elemento constituyente de un lenguaje que permite que OMA cree una arquitectura libre de ataduras formales y unicamente comprometida con el valor de las ideas. ABSTRACT. The text raises the use of the model as a tool in the OMA project processes. Far from understanding the project as a great personal lucubration, mystical, punctual and fleeting, a vision arises from the daily and routine processes of collective work. The text offers a critical approach to the work systems of one of the most important offices of contemporary architecture, the renowned OMA, directed by Rem Koolhaas. In addition to discussing their work system, the text puts the main emphasis on the study of the use of the model as the structuring element of his architectural practice and as a constitutive element of a language that allows OMA to create a formal untrammeled architecture and only committed to the value of ideas.

Profiling in sport using momentum and perturbations

Examining a team’s performance from a physical point of view their momentum might indicate unexpected turning points in defeat or success. Physicists describe this value as to require some effort to be started, but also that it is relatively easy to keep it going once a sufficient level is reached (Reed and Hughes, 2006). Unlike football, rugby, handball and many more sports, a regular volleyball match is not limited by time but by points that need to be gathered. Every minute more than one point is won by either one team or the other. That means a series of successive points enlarges the gap between the teams making it more and more difficult to catch up with the leading one. This concept of gathering momentum, or the reverse in a performance, can give the coaches, athletes and sports scientists further insights into winning and losing performances. Momentum investigations also contain dependencies between performances or questions if future performances are reliant upon past streaks. Squash and volleyball share the characteristic of being played up to a certain amount of points. Squash was examined according to the momentum of players by Hughes et al. (2006). The initial aim was to expand normative profiles of elite squash players using momentum graphs of winners and errors to explore ‘turning points’ in a performance. Dynamic systems theory has enabled the definition of perturbations in sports exhibiting rhythms (Hughes et al., 2000; McGarry et al., 2002; Murray et al., 2008), and how players and teams cause these disruptions of rhythm can inform on the way they play, these techniques also contribute to profiling methods. Together with the analysis of one’s own performance it is essential to have an understanding of your oppositions’ tactical strengths and weaknesses. By modelling the oppositions’ performance it is possible to predict certain outcomes and patterns, and therefore intervene or change tactics before the critical incident occurs. The modelling of competitive sport is an informative analytic technique as it directs the attention of the modeller to the critical aspects of data that delineate successful performance (McGarry & Franks, 1996). Using tactical performance profiles to pull out and visualise these critical aspects of performance, players can build justified and sophisticated tactical plans. The area is discussed and reviewed, critically appraising the research completed in this element of Performance Analysis.

Federal white-collar pay system : report on a market-sensitive study.

"August 1989."

To learn from one's mistakes: The role of impulsivity in positive workplace behaviours

Recentiy a neuropsychological model of learning has been proposed Qackson, 2002) which argues that Responsibility provides a cognitive re-expression of Impulsivit)' in the prediction of functional and dysfunctional behaviour. Jackson argues that primitive, instinctive impulses lead to antisocial behaviours and socio-cognitive regulators such as Responsibility leads to the re-expression of Impulsivity in terms of pro-social behaviours. Study 1 tests and supports the measurement properties of the assessment methodology associated with the model. Study 2 provides evidence in favour of the instinctive basis of Impulsivity and the conscious basis of Responsibility, which reinforces the underlying neuropsychological basis of the model. Study 3 uses structural equation modelling to determine if Responsibility mediates Impulsivity in the prediction of a latent variable representing work performance, work commitment and team performance, but does not mediate Impulsivit}' in the prediction of a latent variable representing sexual proclivity, workplace deviancy, gambling and beer consumption. Results provide strong support for Jackson's model and suggest that Impulsivity and Responsibility are fundamental to both functional and dysfunctional learning

Shareholder value application in UK listed companies

This paper is based upon the initial findings of a CIMA research project into the way in which corporate performance measurement systems are influenced by the use of shareholder value management techniques. It compares and contrasts the techniques in use in a sample of 10 companies that either explicitly use shareholder value techniques also known as Value-Based Management (VBM), or explicitly do not use such techniques. The analysis undertaken is based upon the finding of semi-structured interviews with company representatives which formed the first part of the data collection process of the project. The analysis traces the interactions between corporate objectives, decision making criteria, performance measurement systems and executive incentive schemes in order to develop an understanding of the effects of such shareholder value techniques upon corporate behaviour. The literature reviewed suggests that the other aspects of the planning and control system should be aligned with the corporate objectives whether a company has adopted VBM or not. Therefore this research contributes new evidence on the use of VBM techniques in the UK and also more generally on whether VBM and non-VBM companies internal planning and control systems are aligned.

Eco-efficiency measurement and material balance principle:an application in power plants Malmquist Luenberger Index

Incorporating Material Balance Principle (MBP) in industrial and agricultural performance measurement systems with pollutant factors has been on the rise in recent years. Many conventional methods of performance measurement have proven incompatible with the material flow conditions. This study will address the issue of eco-efficiency measurement adjusted for pollution, taking into account materials flow conditions and the MBP requirements, in order to provide ‘real’ measures of performance that can serve as guides when making policies. We develop a new approach by integrating slacks-based measure to enhance the Malmquist Luenberger Index by a material balance condition that reflects the conservation of matter. This model is compared with a similar model, which incorporates MBP using the trade-off approach to measure productivity and eco-efficiency trends of power plants. Results reveal similar findings for both models substantiating robustness and applicability of the proposed model in this paper.

Signal power asymmetry optimisation for optical phase conjugation using random DFB laser Raman amplification

We numerically optimise in-span signal power asymmetry in advanced Raman amplification schemes, reaching 3% over 62 km SMF, and evaluate its impact on the performance of systems using mid-link OPC using 7 × 15 16QAM Nyquist-spaced WDM-PDM. © 2015 OSA.

Signal power asymmetry optimisation for optical phase conjugation using Raman amplification

We numerically optimise in-span signal power asymmetry in different advanced Raman amplification schemes, achieving a 3% asymmetry over 62 km SMF using random DFB Raman laser amplifier. We then evaluate the impact of such asymmetry on the performance of systems using mid-link OPC by simulating transmission of 7 x 15 Gbaud 16QAM Nyquist-spaced WDM-PDM signals. (C) 2015 Optical Society of America

Practical dynamic thermal management on Intel desktop computer

Fueled by increasing human appetite for high computing performance, semiconductor technology has now marched into the deep sub-micron era. As transistor size keeps shrinking, more and more transistors are integrated into a single chip. This has increased tremendously the power consumption and heat generation of IC chips. The rapidly growing heat dissipation greatly increases the packaging/cooling costs, and adversely affects the performance and reliability of a computing system. In addition, it also reduces the processor's life span and may even crash the entire computing system. Therefore, dynamic thermal management (DTM) is becoming a critical problem in modern computer system design. Extensive theoretical research has been conducted to study the DTM problem. However, most of them are based on theoretically idealized assumptions or simplified models. While these models and assumptions help to greatly simplify a complex problem and make it theoretically manageable, practical computer systems and applications must deal with many practical factors and details beyond these models or assumptions. The goal of our research was to develop a test platform that can be used to validate theoretical results on DTM under well-controlled conditions, to identify the limitations of existing theoretical results, and also to develop new and practical DTM techniques. This dissertation details the background and our research efforts in this endeavor. Specifically, in our research, we first developed a customized test platform based on an Intel desktop. We then tested a number of related theoretical works and examined their limitations under the practical hardware environment. With these limitations in mind, we developed a new reactive thermal management algorithm for single-core computing systems to optimize the throughput under a peak temperature constraint. We further extended our research to a multicore platform and developed an effective proactive DTM technique for throughput maximization on multicore processor based on task migration and dynamic voltage frequency scaling technique. The significance of our research lies in the fact that our research complements the current extensive theoretical research in dealing with increasingly critical thermal problems and enabling the continuous evolution of high performance computing systems.

Team Evaluation: Solutions for Hotel Management and Productivity

Employee performance appraisal systems are controversial, especially when accomplished by a single rater. The authors, who have had experience with team evaluation systems, present evidence from that experience for over- coming obstacles to moving to a "less-biased" system of rating employees.

Estudo da influência de sistemas microemulsionados na molhabilidade de arenitos e na recuperação avançada de petróleo

Sandstone-type reservoir rocks are commonly responsible for oil accumulation. The wettability is an important parameter for the physical properties of the container, since it interferes in characteristics such as relative permeability to the aqueous phase, residual oil distribution in the reservoir, operating characteristics with waterflood and recovery of crude oil. This study applied different types of microemulsion systems - MES - in sandstone reservoirs and evaluated their influences on wettability and residual oil recovery. For this purpose, four microemulsion were prepared by changing the nature of ionic surfactants (ionic and nonionic). Microemulsions could then be characterized by surface tension analysis, density, particle diameter and viscosity in the temperature range 30° C to 70° C. The studied oil was described as light and the sandstone rock was derived from the Botucatu formation. The study of the influence of microemulsion systems on sandstone wettability was performed by contact angle measurements using as parameters the rock treatment time with the MES and the time after the brine surface contact by checking the angle variation behavior. In the study results, the rock was initially wettable to oil and had its wettability changed to mixed wettability after treatment with MES, obtaining preference for water. Regarding rock-MES contact time, it was observed that the rock wettability changed more when the contact time between the surface and the microemulsion systems was longer. It was also noted only a significant reduction for the first 5 minutes of interaction between the treated surface and brine. The synthesized anionic surfactant, commercial cationic, commercial anionic and commercial nonionic microemulsion systems presented the best results, respectively. With regard to enhanced oil recovery performance, all systems showed a significant percentage of recovered oil, with the anionic systems presenting the best results. A percentage of 80% recovery was reached, confirming the wettability study results, which pointed the influence of this property on the interaction of fluids and reservoir rock, and the ability of microemulsion systems to perform enhanced oil recovery in sandstone reservoirs.

Estudo da influência de sistemas microemulsionados na molhabilidade de arenitos e na recuperação avançada de petróleo

Sandstone-type reservoir rocks are commonly responsible for oil accumulation. The wettability is an important parameter for the physical properties of the container, since it interferes in characteristics such as relative permeability to the aqueous phase, residual oil distribution in the reservoir, operating characteristics with waterflood and recovery of crude oil. This study applied different types of microemulsion systems - MES - in sandstone reservoirs and evaluated their influences on wettability and residual oil recovery. For this purpose, four microemulsion were prepared by changing the nature of ionic surfactants (ionic and nonionic). Microemulsions could then be characterized by surface tension analysis, density, particle diameter and viscosity in the temperature range 30° C to 70° C. The studied oil was described as light and the sandstone rock was derived from the Botucatu formation. The study of the influence of microemulsion systems on sandstone wettability was performed by contact angle measurements using as parameters the rock treatment time with the MES and the time after the brine surface contact by checking the angle variation behavior. In the study results, the rock was initially wettable to oil and had its wettability changed to mixed wettability after treatment with MES, obtaining preference for water. Regarding rock-MES contact time, it was observed that the rock wettability changed more when the contact time between the surface and the microemulsion systems was longer. It was also noted only a significant reduction for the first 5 minutes of interaction between the treated surface and brine. The synthesized anionic surfactant, commercial cationic, commercial anionic and commercial nonionic microemulsion systems presented the best results, respectively. With regard to enhanced oil recovery performance, all systems showed a significant percentage of recovered oil, with the anionic systems presenting the best results. A percentage of 80% recovery was reached, confirming the wettability study results, which pointed the influence of this property on the interaction of fluids and reservoir rock, and the ability of microemulsion systems to perform enhanced oil recovery in sandstone reservoirs.

The paradoxes of risk management in the banking sector

This paper uses empirical evidence to examine the operational dynamics and paradoxical nature of risk management systems in the banking sector. It demonstrates how a core paradox of market versus regulatory demands and an accompanying variety of performance, learning and belonging paradoxes underlie evident tensions in the interaction between front and back office staff in banks. Organisational responses to such paradoxes are found to range from passive to proactive, reflecting differing organisational, departmental and individual risk culture(s), and performance management systems. Nonetheless, a common feature of regulatory initiatives designed to secure a more structurally independent risk management function is that they have failed to rectify a critical imbalance of power - with the back office control functions continuing to be dominated by front office trading and investment functions. Ultimately, viewing the 'core' of risk management systems as a series of connected paradoxes rather than a set of assured, robust practices, requires a fundamental switch in emphasis away from a normative, standards-based approach to risk management to one which gives greater recognition to its behavioural dimensions.