A Review of General Physical and Chemical Processes Related to Plasma Sources and Losses for Solar System Magnetospheres

The aim of this paper is to provide a review of general processes related to plasma sources, their transport, energization, and losses in the planetary magnetospheres. We provide background information as well as the most up-to-date knowledge of the comparative studies of planetary magnetospheres, with a focus on the plasma supply to each region of the magnetospheres. This review also includes the basic equations and modeling methods commonly used to simulate the plasma sources of the planetary magnetospheres. In this paper, we will describe basic and common processes related to plasma supply to each region of the planetary magnetospheres in our solar system. First, we will describe source processes in Sect. 1. Then the transport and energization processes to supply those source plasmas to various regions of the magnetosphere are described in Sect. 2. Loss processes are also important to understand the plasma population in the magnetosphere and Sect. 3 is dedicated to the explanation of the loss processes. In Sect. 4, we also briefly summarize the basic equations and modeling methods with a focus on plasma supply processes for planetary magnetospheres.

Efficient implementation of general negation using abstract interpretation

While negation has been a very active área of research in logic programming, comparatively few papers have been devoted to implementation issues. Furthermore, the negation-related capabilities of current Prolog systems are limited. We recently presented a novel method for incorporating negation in a Prolog compiler which takes a number of existing methods (some modified and improved) and uses them in a combined fashion. The method makes use of information provided by a global analysis of the source code. Our previous work focused on the systematic description of the techniques and the reasoning about correctness and completeness of the method, but provided no experimental evidence to evalúate the proposal. In this paper, after proposing some extensions to the method, we provide experimental data which indicates that the method is not only feasible but also quite promising from the efficiency point of view. In addition, the tests have provided new insight as to how to improve the proposal further. Abstract interpretation techniques (in particular those included in the Ciao Prolog system preprocessor) have had a significant role in the success of the technique.

Efficiency of the u,v method of estimation

Given a pool of motorists, how do we estimate the total intensity of those who had a prespecified number of traffic accidents in the past year? We previously have proposed the u,v method as a solution to estimation problems of this type. In this paper, we prove that the u,v method provides asymptotically efficient estimators in an important special case.

Elongation factor TFIIS contains three structural domains: solution structure of domain II.

Transcription elongation by RNA polymerase II is regulated by the general elongation factor TFIIS. This factor stimulates RNA polymerase II to transcribe through regions of DNA that promote the formation of stalled ternary complexes. Limited proteolytic digestion showed that yeast TFIIS is composed of three structural domains, termed I, II, and III. The two C-terminal domains (II and III) are required for transcription activity. The structure of domain III has been solved previously by using NMR spectroscopy. Here, we report the NMR-derived structure of domain II: a three-helix bundle built around a hydrophobic core composed largely of three tyrosines protruding from one face of the C-terminal helix. The arrangement of known inactivating mutations of TFIIS suggests that two surfaces of domain II are critical for transcription activity.

3D numerical modelling of acoustic horns using the method of fundamental solutions

In the present work, a three-dimensional (3D) formulation based on the method of fundamental solutions (MFS) is applied to the study of acoustic horns. The implemented model follows and extends previous works that only considered two-dimensional and axisymmetric horn configurations. The more realistic case of 3D acoustic horns with symmetry regarding two orthogonal planes is addressed. The use of the domain decomposition technique with two interconnected sub-regions along a continuity boundary is proposed, allowing for the computation of the sound pressure generated by an acoustic horn installed on a rigid screen. In order to reduce the model discretization requirements for these cases, Green’s functions derived with the image source methodology are adopted, automatically accounting for the presence of symmetry conditions. A strategy for the calculation of an optimal position of the virtual sources used by the MFS to define the solution is also used, leading to improved reliability and flexibility of the proposed method. The responses obtained by the developed model are compared to reference solutions, computed by well-established models based on the boundary element method. Additionally, numerically calculated acoustic parameters, such as directivity and beamwidth, are compared with those evaluated experimentally.

Riemann's method of integration: its extensions with an application.

Mode of access: Internet.

Stability and convergence of general multistep and multivalue methods with variable step size.

Thesis--University of Illinois.

The chirurgical works of Percivall Pott, with his last corrections. : to which are added, a short account of the life of the author, a method of curing the hydrocele by injection, and occasional notes and observations /

Published in London in 1771 and 1808.

The gate to the Hebrew, Arabic, and Syriac, unlocked by a new and easy method of acquiring the accidence /

Mode of access: Internet.

Report of the special committee, appointed by the last legislature to report on the best method of obtaining a complete geological survey of the state of Ohio.

Not in Meisel, M. Amer. natural history.

"Only a GP?'': is the solution to the general practice crisis intellectual?

General practice is suffering a crisis of status, as shown by financial, power and intellectual markers. This is serious as a strong general-practice workforce is important to deliver cost-effective, high-quality healthcare. We argue that strengthening the intellectual aspects of general practice (particularly critical thinking) is essential. Most strategies to achieve this centre on research, with many initiatives in Australia and overseas to enhance research by general practitioners; there is still insufficient clinical research in general practice. Other ways to improve critical thinking include promoting use of evidence-based medicine, provided it is not implemented only via cook-book guidelines. Other innovations are desperately needed.

Canonical solution groups of a homomorphism : manipulator kinematics, nonparametric regression and distributed object systems

The kinematic mapping of a rigid open-link manipulator is a homomorphism between Lie groups. The homomorphisrn has solution groups that act on an inverse kinematic solution element. A canonical representation of solution group operators that act on a solution element of three and seven degree-of-freedom (do!) dextrous manipulators is determined by geometric analysis. Seven canonical solution groups are determined for the seven do! Robotics Research K-1207 and Hollerbach arms. The solution element of a dextrous manipulator is a collection of trivial fibre bundles with solution fibres homotopic to the Torus. If fibre solutions are parameterised by a scalar, a direct inverse funct.ion that maps the scalar and Cartesian base space coordinates to solution element fibre coordinates may be defined. A direct inverse pararneterisation of a solution element may be approximated by a local linear map generated by an inverse augmented Jacobian correction of a linear interpolation. The action of canonical solution group operators on a local linear approximation of the solution element of inverse kinematics of dextrous manipulators generates cyclical solutions. The solution representation is proposed as a model of inverse kinematic transformations in primate nervous systems. Simultaneous calibration of a composition of stereo-camera and manipulator kinematic models is under-determined by equi-output parameter groups in the composition of stereo-camera and Denavit Hartenberg (DH) rnodels. An error measure for simultaneous calibration of a composition of models is derived and parameter subsets with no equi-output groups are determined by numerical experiments to simultaneously calibrate the composition of homogeneous or pan-tilt stereo-camera with DH models. For acceleration of exact Newton second-order re-calibration of DH parameters after a sequential calibration of stereo-camera and DH parameters, an optimal numerical evaluation of DH matrix first order and second order error derivatives with respect to a re-calibration error function is derived, implemented and tested. A distributed object environment for point and click image-based tele-command of manipulators and stereo-cameras is specified and implemented that supports rapid prototyping of numerical experiments in distributed system control. The environment is validated by a hierarchical k-fold cross validated calibration to Cartesian space of a radial basis function regression correction of an affine stereo model. Basic design and performance requirements are defined for scalable virtual micro-kernels that broker inter-Java-virtual-machine remote method invocations between components of secure manageable fault-tolerant open distributed agile Total Quality Managed ISO 9000+ conformant Just in Time manufacturing systems.

An Interactive Method of Linear Mixed Integer Multicriteria Optimization

The paper describes a learning-oriented interactive method for solving linear mixed integer problems of multicriteria optimization. The method increases the possibilities of the decision maker (DM) to describe his/her local preferences and at the same time it overcomes some computational difficulties, especially in problems of large dimension. The method is realized in an experimental decision support system for finding the solution of linear mixed integer multicriteria optimization problems.

Classification-Based Method of Linear Multicriteria Optimization

The paper describes a classification-based learning-oriented interactive method for solving linear multicriteria optimization problems. The method allows the decision makers describe their preferences with greater flexibility, accuracy and reliability. The method is realized in an experimental software system supporting the solution of multicriteria optimization problems.