Hammond, K., University of St.
Andrews, Fife, UK
Michaelson, G.J., Heriot-Watt University, Edinburgh, UK
(Eds.)
1999. Approx. 320 pp. 50 figs.
1-85233-092-9
This volume provides a state of the art survey of research trends
in parallel functional programming. The text is
divided into two sections: the first section gives comprehensive
introductions to key issues such as: foundations,
programming constructs, proof, architectures, and
implementations; the second comprises shorter summaries of
research areas which are either of particular interest at the
moment, or which promise to provide key
developments in the near future. Topics covered here include:
coordination languages, performance monitoring;
data flow programming; explicit parallelism; BSP and cost
modelling. Contributions have been commissioned by
key researchers and practitioners in the area, including several
from the US and Canada where this is an area of
increasing interest. Research Directions in Parallel Functional
Programming will be of interest to
researchers, (post)graduate students and practitioners in all
relevant areas.
Contents: Part I - Fundamentals Introduction, Foundations,
Programming Language Constructs, Proof,
Realisations for Strict Languages, Realisations for Non-Strict
Languages Part II - Current Research Areas Data
Parallelism, Cost Modelling, Shaping Distributions, Performance
Monitoring, Memory Performance of Dataflow
Programs, Portability of Performance in the BSP Model,
Algorithmic Skeletons, Coordination Languages, Parallel
and Distributed Programming in Concurrent Clean, Functional
Process Modelling, Validating Programs in
Concurrent ML, Explicit Parallelism Part III - Conclusions Large
Scale Functional Applications, Summary,
References, Glossary, Index
Marinaro, M., Universita di
Salerno, Baronissi, Italy
Tagliaferri, R., Universita di Salerno, Baronissi, Italy
Proceedings of the 11th Italian Workshop on
Neural Nets, Vietri Sul Mare,
Salerno, Italy, 20-22 May 1999
1999. X, 430 pp.
1-85233-177-1
From its early beginnings in the fifties and sixties, the field
of neural networks has been steadily developing to
become one of the most interdisciplinary areas of research within
computer science. This volume contains a
selection of papers from WIRN Vietri-99, the 11th Italian
Workshop on Neural Nets. This annual event,
sponsored, amongst others, by the IEEE Neural Networks Council
and the INNS/SIG Italy, brings together the
best of research from all over the world. The papers cover a
range of topics within neural networks, including
pattern recognition, signal and image processing, mathematical
models, neuro-fuzzy models and economics
applications.
Contents: Section I Invited Papers: 1. On Sequential Bayesian
Logistic Regression 2. Simple Reverberations and
the Mind.- Section II Review Papers: 1. Computational
Intelligence in Hydroinformatics: A Review 2. Theory,
Implementation, and Applications of Support Vector Machines.-
Section III Eduardo R Caianiello Lecture:
Sensitivity Analysis and Learning of Non-Linear Dynamic Systems
by Two Dual Signal-Flow-Graph Approaches.-
Section IV Mathematical Models: 1. Interval Arithmetic Multilayer
Perceptron as Possibility-Necessity Pattern
Classifier 2.Polynomial Clusterons Exhibit Statistical Estimation
Abilities 3. The N-SOBoS Nodel 4. A Neural
Network Approach to Detect Functional MRI Signal 5. Continual
Prediction Using LSTM with Forget Gates
6.Dynamics of On-Line Learning in Radial Basis Function Neural
Networks 7. Harmony Theory and Binding
Problem 8. Online Learning with Adaptive Local Step Sizes.-
Section V Pattern Recognition and Signal
Processing: 1. A Feed-Forward Neural Network for Robust
Segmentation of Color Images 2. Parameter
Identification Using Aspects - Application to the Human
Cardiovascular System 3. A Neural Network Based ARX
Model of Virgo Noise 4. Local Wavelet Decomposition and its
Application to Face Reconstruction 5. A Multilayer
Perceptron for Fast Interpolation of JPEG/MPEG Coded Images 6.
The Automatic Detection of Microcalcification
Clusters in the Calma Project: Status and Perspectives 7. Signal
Classification by Subspace Neural Networks 8.
Weightless Neural Networks for Face Recognition 9. The Search for
Spiculated Lesions in the CALMA Project:
Status and Perspectives 10. A Novel Wavelet Filtering Method in
SAR Image Classification by Neural Networks
11. Neural Networks for Spectral Analysis of Unevenly Sampled
Data.- Section VI Architectures and Algorithms:
1. Recursive Networks: An Overview of Theoretical Results.- 2.A
Persistent and Parallel Approach to Object
Oriented ANNs Simulators.- 3. An Experimental Comparison of Three
PCA Neural Techniques.- 4. Scale Based
Clustering Optimization via Gravitational Law Imitation.- 5. A
General Assembly as Implementation of a Hebbian
Rule in a Boolean Neural Network.- 6. Training Semiparametric
Support Vector Machines.- 7. Building Neural and
Logical Networks with Hamming Clustering.- 8.Inferring
Understandable Rules Through Digital Synthesis.- 9.
From Spiking Neurons to Dynamic Perceptrons.- 10. Using the
Hermite Regression Algorithm to Improve the
Generalization Capability of a Neural Network.- 11. Development
of Selectivity Maps in a BCM Network Using
Various Connectivity Schemes.- 12. An Analog On-Chip Learning
Architecture Based on Weight Perturbation
Algorithm and on Current Mode Translinear Circuits.- Section VII
Applications: 1. Gesture Recognition Using
Hybrid SOM/DHMM.- 2. A Fuzzy Neural Network for Urban Environment
Monitoring System: The Villa San
Giovanni Study Case.- 3. Real Time Neural Network Disruption
Prediction in Tokamak Reactors.- 4. On-Line
Quality Control of DC Permanent Magnet Motor Using Neural
Networks.- Section VIII Neural Networks in
Economics: 1. Fuzzy Local Algorithms for Time Series Analysis and
Forecasting.- 2. Neural Networks
Applications in Economics: A Statistical Point of View.- 3.
Regional Economics Policy and Computational
Economics.- 4. Neural Networks for Economic Forecasting.- 5. A
Fuzzy Classification for the Definition of
Industrial District.- 6. A Combination of Tools: NLS and NN
Estimation of the Expenditures in Durables:
Determinants, Trend and Forecasting for the Vehicles Sector.- 7.
Estimating the Conditional Mean of a
Non-Linear Time Series Using Neural Networks.
Series: Perspectives in Neural Computing.
Isidori, A., Universita di Roma "La Sapienza", Rome, Italy
1999. XII, 293 pp. 17 figs.
1-85233-188-7
This book incorporates recent advances in the design of feedback
laws to the purpose of globally stabilizing
nonlinear systems via state or output feedback. It is a
continuation of the first volume by Alberto Isidori on
Nonlinear Control Systems. Specifically this second volume will
cover: *Stability analysis of interconnected
nonlinear systems. The notion of Input-to-State stability and its
role in analysing stability of cascade-connected
or feedback-connected systems. The notion of dissipativity and
its consequences (passivity and "gain"). *Robust
stabilization in the case of parametric uncertainties. The case
of state feedback: global or semi-global
stabilization. The case of output feedback: semi-global
stabilization. *Robust stabilization in the case of
unstructured perturbations. Feedback design via the small-gain
approach. Robust semi-global stabilization via
output feedback. *Methods for asymptotic tracking, disturbance
rejection and model following. Global and
semi-global analysis. *Normal forms for multi-input multi-output
nonlinear systems form a global point of view.
Their role in feedback design.
Contents: Stability of Interconnected Nonlinear Systems.-
Feedback Design for Robust Global Stability.-
Feedback Design for Robust Semiglobal Stability.- Disturbance
Attenuation.- Stabilization Using Small Inputs.-
Bibliographical Notes.- References.- Index.
Series: Communications and Control Engineering.
Ding, C., National University of
Singapore, Singapore
Helleseth, T., University of Bergen, Norway
Niederreiter, H., Austrian Academy of Sciences, Vienna, Austria
(Eds.)
Proceedings of SETA '98
1999. IX, 392 pp.
1-85233-196-8
This book contains survey papers and research papers by leading
experts on sequences and their applications. It
discusses both the theory of sequences and their applications in
cryptography, coding theory, communications
systems, numerical computation and computer simulation. Sequences
have important applications in ranging
systems, spread spectrum communication systems, multi-terminal
system identification, code division multiply
access communications systems, global positioning systems,
software testing, circuit testing, computer simulation,
and stream ciphers. The papers contained in this volume bring
together experts from discrete mathematics,
computer science and communications engineering, and help to
bridge advances in these different areas.
Contents: Invited Contributions: The Ubiquitous
Prouhet-Thue-Morse Sequence - J.-P. Allouche and J.
Shallit . On Ideal Autocorrelation Sequences Arising from
Hyperovals - A. Chang, S. W. Golomb, G. Gong and P.
V. Kumar. Cyclic Hadamard Difference Sets - Constructions and
Applications - S. W. Golomb. Correlation of
m-Sequences and Related Topics - T. Helleseth . Some Computable
Complexity Measures for Binary Sequences
- H. Niederreiter. Meeting the Welch Bound with Equality - D. V.
Sarwate. My Favorite Integer Sequences - N.
J. A. Sloane.- Regular Contributions: Complementary Interpolants
and a Welch-Berlekamp-style Algorithm -
M. A. Armand . Multiscale Coarse-graining Invariant Sequences -
A. Barb. Regular Cosets and Upper Bounds on
the Linear Complexity of Certain Sequences - P. Caballero-Gil .
Hadamard Matrices, Self-dual Codes over the
Integers Modulo 4 and their Gray Images - C. Charnes. On
Constructing Balanced Correlation Immune Functions
- T. W. Cusick. On Bispecial Words and Subword Complexity of D0L
Sequences - A Frid and S. V.
Avgustinovich . On the Distribution of the Power Generator - J.
B. Friedlander, D. Lieman and I. E. Shparlinski.
Edit Probability Correlation Attack on the Alternating Step
Generator - J. Dj. Golic and R. Menicocci.
Automaticity of Solutions of Mahler Equations - F. von Haeseler
and W. J?rgensen. Correlation Distribution of
the Quaternary Kasami Sequences - T. Helleseth, P. V. Kumar, H.
M. Martinsen and O. N. Vassbakk .
Multicovering Radii of Reed-Muller Codes and the Existence of
Secure Stream Ciphers - I. Honkala and A.
Klapper. Inclusion Relations of Boolean Functions Satisfying
PC(l) of Order k - T. Iwata and K. Kurosawa. Notes
on q-ary Interleaved Sequences - S. Jiang, Z.-D. Dai and G. Gong
. A New Algorithm for the k-Error Linear
Complexity of Sequences over GF(pm) with Period pn - T. Kaida, S.
Uehara and K. Imamura . Sequences of I.I.D.
Binary Random Variables Using Chaotic Dynamics - T. Kohda .
Explicit Sequence Expansions - D. Kohel, S. Ling
and C. Xing . Counting Functions and Expected Values in the
Stability Theory of Stream Ciphers -H.
Niederreiter and H. Paschinger . On-line Constraint-based Pattern
Matching on Sequences - V. A. Oleshchuk .
On the Randomness of a ?d,k? Self-decimation Stream Key Generator
- F. Sato and K. Kurosawa. Sequence
Families with Optimum Aperiodic Mean-Square. Correlation
Parameters - H. D. Schotten Period and Linear
Complexity of Cascaded Clock-controlled Generators - C. H. Tan.
Feedback with Carry Shift Registers over
Z/(N) - J. Xu and A. Klapper.- Author Index.
Series: Springer Series in Discrete Mathematics and Theoretical
Computer Science.
Nielson, F., University of Aarhus,
Denmark
Nielson, H.R., University of Aarhus, Denmark
Hankin, C., Imperial College of Science, Technology and Medicine,
London, UK
1999. XXI, 450 pp. 56 figs., 51 tabs.
3-540-65410-0
Program analysis concerns static techniques for computing
reliable approximate information about the dynamic
behaviour of programs. Applications include compilers (for code
improvement), software validation (for detecting
errors in algorithms or breaches of security) and transformations
between data representation (for solving problems
such as the Y2K problem). This book is unique in giving an
overview of the four major approaches to program
analysis: data flow analysis, constraint based analysis, abstract
interpretation, and type and effect systems. The
presentation demonstrates the extensive similarities between the
approaches; this will aid the reader in choosing
the right approach and in enhancing it with insights from the
other approaches. The book covers basic semantic
properties as well as more advanced algorithmic techniques. The
book is aimed at M.Sc. and Ph.D. students but
will be valuable also for experienced researchers and
professionals.
Keywords: Program Analysis, Data Flow Analysis, Constraint Based
Analysis, Program Transformation, Abstract
Interpretation, Type Systems
Villar, A., University of Alicante, Spain
2nd rev. and enlarged ed.
1999. XII, 278 pp. 34 figs., 1 tab.
3-540-66396-7
This book deals with the analysis of production economies in
which firms may exhibit increasing returns to scale,
or other forms of non-convexities. The study focuses on the
existence and efficiency of equilibrium allocations,
and the comparison with the standard competitive equilibrium
model. A number of alternative pricing rules and
equilibrium concepts are considered (marginal pricing,
constrained profit maximization, mark-up pricing, valuation
equilibria, non-linear input-output models, etc.).
Keywords: General Equilibrium Theory, Theory of Production,
Microeconomics
Contents: Preliminaries.- Introduction.- Overview.- The setting.-
References to the literature.-
Consumers.- Introduction.- Consumption sets.- Preferences.- The
utility function.- Wealth restrictions.-
Consumers` behaviour.- References to the literature.- Production
and Supply.- Introduction.- Production
sets.- Efficiency, additivity, divisibility.- Returns to scale.-
The behaviour of competitive firms.- References to
the literature.- Competitive equilibrium.- Introduction.- The
model.- Assumptions and consequences.- The
existence of equilibrium.- Equilibrium and efficiency.- Abstract
economies.- References to the literature.-
Equilibrium with Non-Convex Firms.- Introduction.- Pricing
rules.- The model.- The existence of
equilibrium.- References to the literature.- Marginal Pricing.-
Introduction.- Preliminaries.- Marginal pricing.-
The efficiency problem.- References to the literature.-
Increasing Returns and Monopolies.- Introduction.-
The reference model.- Two-part marginal pricing.- The efficiency
of two-part tariffs.- Perfect price
discrimination.- References to the literature.- Loss-Free Pricing
Rules.- Introduction.- The reference
model.- Mark-up pricing.- Constrained profit maximization.-
References to the literature.- Competition and
Increasing Returns.- Introduction.- The reference model.-
Competitive pricing.- Classical equilibrium.-
References to the literature.- Non-Convexities as Public Goods.-
Introduction.- The model.- Public
competitive equilibrium.- Valuation equilibrium.- Examples.-
References to the literature.- Input-Output
Analysis.- Introduction.- The linear model.- Extensions.-
References to the literature.- The Limits of the
Economy.- Asymptotic cones.- Closes sums.- Structural properties
of the economy.- References to the
literature.
Fortunato, D., Bari, Italy
Masiello, A., Bari, Italy
Casciaro, B., Bari, Italy
Francaviglia, M., Torino, Italy
(Eds.)
1999. Approx. 450 pp.
88-470-0068-8
The book is the result of the Italian conference on General
Relativity, held in Italy in September 1998. One of the
main features of this conference has been to bring together
mathematicians and physicists, experts in different
fields: General Relativity, Variational and Topological methods,
Differential Geometry, Astrophysics. Classical and
Quantum aspects of General Relativity have been debated and
various new results have been presented.
Perspectives on the search of Gravitational waves have been
illustrated. These methods permit to study the
geodesical connectedness of space-times and to relate to
topological properties to the multiplicity of the
geodesics joining two given events. Critical point Morse theory
has been used to study light rays on Lorentzian
manifolds and to interpret the gravitational lensing effect.
Keywords: General relativity Variational and topological methods
astrophysics Gauge theories Gravitational
waves
Ghidaglia, J.-M., ENS Cachan, France
Issus des concours d'entree a l'Ecole Normale
Superieure de Cachan
1999. IX, 210 p.
3-540-64074-6
L'objet de cet ouvrage est de proposer une quarantaine de petits
problemes d'analyse avec leur corrige qui ont
servi de base l'interrogation orale de mathematiques au concours
d'entree l'Ecole Normale Superieure de
Cachan. Avant de donner les solutions detailles, nous proposons
des indications qui permettent de progresser.
Au-del? de la preparation stricte au preuves orales au concours
d'entree dans les Ecoles Normales Superieures,
cet ouvrage permettra ses lecteurs l'apprentisage de la
discipline et la preparation aux crits. Ce manuel pourra
s'averer aussi precieux pour la preparation au CAPES et
l'Agregation de Mathematiques.
Series: SCOPOS.VOL. 4