A.G.B. ter Meulen, Representing Time in Natural Language: The Dynamic Interpretation of Tense and Aspect, The MIT Press, 1997, ISBN: 978-0262200998 [Book review]

Abstract not available

Adaptive ordering for imperfect successive decision feedback multiuser detection

A method for selecting the order in which the users are detected in communication systems employing adaptive successive decision feedback multiuser detection is proposed. Systems employing channel coding without the assumption of perfect decision feedback are analyzed. The method is based on the mean squared error (MSE) measurements during a training period for each user. The analysis' shows that the method delivers BER performance improvement relative to other previously proposed ordering methods

Numerical Modelling for Electronic Packaging - Future Requirements

The fabrication, assembly and testing of electronic packaging can involve complex interactions between physical phenomena such as temperature, fluid flow, electromagnetics, and stress. Numerical modelling and optimisation tools are key computer-aided-engineering technologies that aid design engineers. This paper discusses these technologies and there future developments.

An introduction to China's rail transport Part 1: History, present and future of China's railways

In this paper an introduction is given to the history, current situation and future plans of China's railway industry. The history of China's railway is divided into four development phases: the phase in Imperial China, the phase in the Republic of China and the phases before and after the economic rejuvenation of the People's Republic of China. An introduction to the current situation and future plans includes the major projects under construction and development trends of China's railways. The environment of China's railways is also presented. This is the first of two papers on the railway scene in China.

Multi-physics modelling for microelectronics and microsystems - current capabilities and future challenges

At present the vast majority of Computer-Aided- Engineering (CAE) analysis calculations for microelectronic and microsystems technologies are undertaken using software tools that focus on single aspects of the physics taking place. For example, the design engineer may use one code to predict the airflow and thermal behavior of an electronic package, then another code to predict the stress in solder joints, and then yet another code to predict electromagnetic radiation throughout the system. The reason for this focus of mesh-based codes on separate parts of the governing physics is essentially due to the numerical technologies used to solve the partial differential equations, combined with the subsequent heritage structure in the software codes. Using different software tools, that each requires model build and meshing, leads to a large investment in time, and hence cost, to undertake each of the simulations. During the last ten years there has been significant developments in the modelling community around multi- physics analysis. These developments are being followed by many of the code vendors who are now providing multi-physics capabilities in their software tools. This paper illustrates current capabilities of multi-physics technology and highlights some of the future challenges

A sound and complete reified temporal logic

There are mainly two known approaches to the representation of temporal information in Computer Science: modal logic approaches (including tense logics and hybrid temporal logics) and predicate logic approaches (including temporal argument methods and reified temporal logics). On one hand, while tense logics, hybrid temporal logics and temporal argument methods enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although current reified temporal logics provide greater expressive power, most of them lack of complete and sound axiomatic theories. In this paper, we propose a new reified temporal logic with a clear syntax and semantics in terms of a sound and complete axiomatic formalism which retains all the expressive power of the approach of temporal reification.

Predictive reliability and prognostics for electronic components: current capabilities and future challenges

Future analysis tools that predict the behavior of electronic components, both during qualification testing and in-service lifetime assessment, will be very important in predicting product reliability and identifying when to undertake maintenance. This paper will discuss some of these techniques and illustrate these with examples. The paper will also discuss future challenges for these techniques.

Design, modeling and characterization of a microinductor for future DC-DC power converters

Experimental, analytical and simulated data are presented in this article to assess the performance of electrodeposited nickel-iron within a novel solenoid microinductor. A design flowchart highlights the primary design principles when developing a microscale magnetic component for DC-DC power converters. Thermal modeling is used to predict the operational conditions that generate undesirable thermal generation within the component. Operating at 0.5MHz, the microinductor achieves an efficiency and power density of 78% and 7.8 W/cm3, respectively.

Second language processing: an analysis of theory, problems and possible solutions

Second Language Processing examines the problems facing learners in the second language classroom from the theoretical perspectives of Processing Instruction (structured input) and Enhanced Input. These two theories are brought to bear on a variety of processing problems, such as the difficulty of connecting second language grammatical forms encoding tense and mood as well as noun-adjective agreement with their meaning. Empirical studies examine a range of languages including Japanese, Italian and Spanish, through which the authors suggest practical solutions to these processing problems.

The completeness and soundness of temporal theories

Generally speaking, the term temporal logic refers to any system of rules and symbolism for representing and reasoning about propositions qualified in terms of time. In computer science, particularly in the domain of Artificial Intelligence, there are mainly two known approaches to the representation of temporal information: modal logic approaches including tense logic and hybrid temporal logic, and predicate logic approaches including temporal arguement method and reified temporal logic. On one hand, while tense logic, hybrid temporal logic and temporal argument method enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although reified temporal logic provides greater expressive power, most of the current systems following the temporal reification lack of complete and sound axiomatic theories. With there observations in mind, a new reified temporal logic with clear syntax and semantics in terms of a sound and complete axiomatic formalism is introduced in this paper, which retains all the expressive power of temporal reification.

Why do we struggle when we try to learn a language as adults?

Whereas the acquisition of a first language is successful for normally developing individuals, native-like attainment in a language learnt as adults is not guaranteed. As far as grammar is concerned, the area that typically shows up as more problematic is that of Morphology, and more specifically, that part of Morphology related to the specific ways languages have to indicate notions like temporal location (e.g. English –-ed for past tense She walked) or person agreement (e.g. English –s for the third person singular She sings). Language students and teachers are familiar with exclamations like “Oh, after so many years I still have problems with the past tenses in Spanish!” or “I cannot cope with the masculine/feminine thing in French!” In this talk I will present two different accounts that are currently debated in the field of Second Language Acquisition about why it is not enough to memorize those “blessed endings” for us to master their use in our speech production. I will also introduce the latest study I have conducted in collaboration with colleagues, with the aim of evaluating the explanatory power of the hypotheses debated in current literature. [From the Author]