close
1.

図書
図書
1. Mixing and dispersion in stably stratified flows : based on the proceedings of a conference organized by the Institute of Mathematics and its Applications on Stably Stratified Flows, and held at the University of Dundee in September 1996
edited by Peter A. Davies
出版情報: Oxford : Claredon Press , New York : Oxford University Press, 1999  xviii, 642 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 68
所蔵情報: loading…
目次情報: 続きを見る
Downslope Flows into a Stratified Environment--Structure and Detrainment / P. G. Baines
A Numerical Simulation Study of Two-Dimensional Gravity Currents / C. Hartel ; M. Michaud
Experimental Study of Heavy-Gas Dispersion on Sloping Surfaces / J. Muller ; T. K. Fannelop
The Effect of Uphill Slopes on Mixing in Turbulent Gravity Currents / M. A. Brown
Richardson Number Dependence of Three-Dimensional Motions in Shear Flows / C. P. Caulfeld ; W. R. Peltier
Confined and Unbounded Mixing in Stratified Flows / J. M. Redondo ; M. A. Sanchez ; I. R. Cantalapiedra
Breaking Progressive Internal Gravity Waves: Two-Dimensional and Preliminary Three-Dimensional Numerical Experiments / C. Koudella ; C. Staquet
Vertical Velocity Structure and Eddy Scale Distribution in the Water Column of the Stratified Lake of Geneva / U. Lemmin ; R. Jiang
Interior and Basin-Wide Diapycnal Mixing in Stratified Water: A Comparison of Dissipation and Diffusivity / G.-H. Goudsmit ; A. Wuest
The Development of Layers in a Stratified Fluid / J. M. Holford ; P. F. Linden
The Erosion of a Salinity Step by a Localized Heat Source / D. M. Leppinen ; S. B. Dalziel
Experimental Studies of Thorpe Scale Decay Rate / A. M. Folkard ; H. J. S. Fernando
Aspects of Turbulent Mixing at Density Interfaces, E. J. Strang / E. Kit
Development and Erosion of a Mixing Layer in a Stratified Flow / S. A. Walker ; G. A. Hamill ; H. T. Johnston
An Experimental/Numerical Study of Internal Wave Transmission across an Evanescent Level / B. R. Sutherland
The Temporal Evolution of the Boundary Layer in a Rotating Stratified Fluid / R. E. Hewitt ; P. W. Duck ; M. R. Foster
The Use of Particle Image Velocimetry for the Measurement of the Effect of Post Breaking Turbulence on Stratified Fluids / D. B. Hann ; C. A. Greated ; P. A. Davies
Stably Stratified Flow in a Rectangular Container: Cell Pattern Formation and Anomalous Diffusion / G. J. F. van Heijst et al.
Vortex Solitons in Stably Stratified Differentially Rotating Fluid / A. Stegner ; V. Zeitlin
An Experimental Investigation of the Entrainment into a Buoyant Jet in a Weak Crossflow / S. J. Gaskin ; I. R. Wood
Three-Dimensional Plume of the Rhone River / N. Durand et al.
A Heated Vertical Buoyant Jet in a Crossflow / P. N. Papanicolaou et al.
Tracer Dispersion by Internal Solitary Waves in Stable Stratifications / W. B. Zimmerman ; G. W. Haarlemmer
Vertical Dispersion of Passive Scalars within and across Stably Stratified Inversion Layers / V. Schilling ; D. Etling
Surface and Planetary Boundary-Layer Modelling of Stably Stratified Atmospheric Boundary Layers / D. Xu et al.
Beamsteering Analysis of Internal Gravity Waves in the Stable Atmospheric Boundary Layer / J. C. W. Denholm-Price et al.
A Case Study of Plume Dispersion during the Evolution of a Stable Noctural Boundary Layer / M. Bennett et al.
Forecasting of Plume Dispersion around a Power Plant / M. J. Souto et al.
Separated Flow around Bluff Obstacles at Low Froude Number
Vortex Shedding and Estimates of Drag / J. C. R. Hunt
Investigation of the Effect of Atmospheric Stability on Characteristic Decay Times of Tracer Concentrations in the Wake of an Isolated Obstacle / I. Mavroidis ; R. F. Griffiths
Experiments on Two-Dimensional Lee-Wave Breaking in Stratified Flow / P. Bonneton ; O. Auban ; M. Perrier
The Effects of Stable Stratification on the Flow around a Horizontal Circular Cylinder in a Channel of Finite Depth / S. Ozona ; N. Aota ; Y. Ohya
Mixing in Stratified Flow over Three-dimensional Obstacles / M. F. Paisley ; I. P
Downslope Flows into a Stratified Environment--Structure and Detrainment / P. G. Baines
A Numerical Simulation Study of Two-Dimensional Gravity Currents / C. Hartel ; M. Michaud
Experimental Study of Heavy-Gas Dispersion on Sloping Surfaces / J. Muller ; T. K. Fannelop
2.

図書
図書
2. Mathematics in transport planning and control : proceedings of the 3rd IMA International Conference on Mathematics in Transport Planning and Control
edited by J.D. Griffiths
出版情報: Amsterdam ; New York : Pergamon, 1998  viii, 419 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Selected papers: Analysis of traffic conditions at congested roundabouts / R.E. Allsop
Bi-level optimisation of transportation networks / J. Clegg ; M.J. Smith
Traffic control system optimisation: a multiobjective approach / T. Sayers et al.
Bi-level formulation for equilibrium traffic flow and signal settings / S-W. Chiou
A study into urban roadworks with shuttle - lane operation / N.A. Samoail ; S. Yousif
The benefits and disbenefits of traffic at pre-signalled intersections / J. Wu ; N. Hounsell
Stochastic networks and traffic assignment / S.P. Evans
A reactive dynamic assignment scheme / M.M. Khoshyaran ; J.P. Lebacque
An algorithm for the solution of Bi-level programming problems in transport network analysis / X. Zhang ; M. Maher
The cone projection method of designing controls for transportation networks / A. Battye et al.
Incorporating heteroskedasticity within individuals and between individuals to overcome repeated measurement problems / K.S. Kim
Using consensus and hierarchical cross impact analysis in modelling residents' perceptions in their choice of a dormitory settlement / K.S. Donegan et al.
The delaying effect of stops on a cyclist and its implications for planning cycle routes / R. Graham
Mapping accident casualties using social and economic indicators / I.M. Abdalla
Conceptual data structures and the statistical modelling of road accidents / K. Lupton et al.
Modelling a driver's motivation and opportunity to change lanes on dual carriageway roads / F-L. Leung ; J. Hunt
On the integration of car-following equations / D. Heidemann
The effects of speed controls on road traffic / A.D. Mason ; A.W. Woods
Relief service queues / J.D. Griffiths
Real-time simulation trials in air traffic control: questions in practical statistics / D. Marsh
The application of an elastic demand equilibrium model for assessing the impacts of urban road user charging / D. Milne
Selected papers: Analysis of traffic conditions at congested roundabouts / R.E. Allsop
Bi-level optimisation of transportation networks / J. Clegg ; M.J. Smith
Traffic control system optimisation: a multiobjective approach / T. Sayers et al.
3.

図書
図書
3. The state of the art in numerical analysis
edited by I.S. Duff and G.A. Watson
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1997  xiv, 562 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 63
所蔵情報: loading…
目次情報: 続きを見る
Recent Developments in Dense Numerical Linear Algebra / N.J. Higham1：
Sparse Numerical Linear Algebra: Direct Methods and Preconditioning / I.S. Duff2：
Closer to the Solution: Iterative Linear Solvers / G.H. Golub ; H.A. van der Vorst3：
150 Years Old and Still Alive: Eigenproblems / 4：
Geometric Integration / J.M. Sanz-Serna5：
Convergence and Stability in the Numerical Approximation of Dynamical Systems / A. Stuart6：
Beyond the Classical Theory of Computational Ordinary Differential Equations / A. Iserles7：
Numerical Analysis of Volterra Functional and Integral Equations / C.T.H. Baker8：
The Numerical Solution of Boundary Integral Equations / K.E. Atkinson9：
Aspects of Approximation with Emphasis on the Univariate Case / G.A. Watson10：
A Review of Methods for Multivariable Interpolation at Scattered Data Points / M.J.D. Powell11：
Large Scale Unconstrained Optimization / J. Nocedal12：
Interior Point Methods for Linear and Nonlinear Programming / D.F. Shanno ; E.M. Simantiraki13：
Methods for Nonlinear Constraints in Optimization Calculations / A.R. Conn ; N.I.M. Gould ; Ph.L. Toint14：
Stabilization Techniques and Subgrid Scales Capturing / F. Brezzi ; L.P. Franca ; T.J.R. Hughes ; A. Russo15：
Approximation of Curvature Dependent Interface Motion / C.M. Elliott16：
Finite Element Methods for Hyperbolic Problems: a Posteriori Error Analysis and Adaptivity / E. Suli ; P. Houston17：
Approximation of Multidimensional Hyperbolic Partial Differential Equations / K.W. Morton18：
Algorithms in Tomography / F. Natterer19：
Partial Differential Equations and Image Iterative Filtering / F. Guichard ; J-M. Morel20：
Recent Developments in Dense Numerical Linear Algebra / N.J. Higham1：
Sparse Numerical Linear Algebra: Direct Methods and Preconditioning / I.S. Duff2：
Closer to the Solution: Iterative Linear Solvers / G.H. Golub ; H.A. van der Vorst3：
4.

図書
図書
4. Flow and dispersion through groups of obstacles : based on the proceedings of a conference on flow and dispersion through groups of obstacles, organized by the Institute of Mathematics and Its Applications and held at the University of Cambridge in March 1994
edited by R.J. Perkins and S.E. Belcher
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1997  xv, 249 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 62
所蔵情報: loading…
5.

図書
図書
5. Applications of combinatorial mathematics
edited by Chris Mitchell
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, c1997  X, 241 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 60
所蔵情報: loading…
6.

図書
図書
6. Image processing : mathematical methods and applications
edited by J.M. Blackledge
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1997  xviii, 516p. ; 24cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser. 61
所蔵情報: loading…
7.

図書
図書
7. Complex stochastic systems and engineering : based on the proceedings of a Conference on Complex Stochastic Systems and Engineering, organized by the Institute of Mathematics and Its Applications and the Royal Statistical Society, and held at the University of Leeds in September 1993
edited by D.M. Titterington
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1995  xiii, 296 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser. 54
所蔵情報: loading…
目次情報: 続きを見る
Chaos / I：
Overview: Chaos / H. Tong
Nonlinear signal processing / D.S. Broomhead
Detecting symmetric chaos / M.R. Owen ; M.G.M. Gomes ; G.P. King
Stochastically reversed chaotic map models / A.J. Lawrance ; N.M. Spencer
Theory and application of synchronised chaotic systems to communication systems / P. Mars ; J.R. Chen ; V. Thornley
Chaos in search: the Golden Section, normal numbers and ergodically fast line-search / H.P. Wynn ; A.A. Zhigljavsky
Image Analysis / II：
Overview: Image analysis / D.M. Titterington
Statistics, shape and images / K.V. Mardia ; S. Rabe ; J.T. Kent
Accelerated optimization in Image Processing via the Renormalization Group Transformation / M. Petrou
Bayesian inference for vector-based images / P. Clifford ; G.K. Nicholls
Statistics for the spatial Poisson-Voronoi tessellation / U. Lorz
Bayesian method for compact object recognition from noisy images / W. Qian
Bayesian deformable templates / D.B. Phillips ; A.F.M. Smith
Binary image restoration at sub-pixel resolution from multi-level data / D. Hitchcock ; C.A. Glasbey
Bayesian analysis of image sequences / A.I. Sutherland
Monte Carol Methods / III：
Overview: Monte Carlo methods / P.J. Green
The "Markov chain Monte Carlo" method: analytical techniques and applications / M. Jerrum
Stochastic optimisation: simulated annealing and the genetic algorithm / C. Jennison ; L. Franconi ; N. Sheehan
Networks / IV：
Overview: Networks / F.P. Kelly
Mathematical models of multiservice networks
Admission control problems in telecommunications / P.B. Key
Fractal structure of traffic jam images / C.R. Abbess ; P. Roberg
Performance bounds applied to loss networks / R.J. Gibbens ; P.C. Reichl
Routing in diverse queueing networks / C.N. Laws
Miscellaneous Abstracts / V：
Estimating optimum inspection intervals for a repairable system using a delay-time model / P.A. Scarf ; R.D. Baker ; W. Wang
Stochastic geometry of root growth in agricultural soils / D. Wulfsohn
Chaos / I：
Overview: Chaos / H. Tong
Nonlinear signal processing / D.S. Broomhead
8.

図書
図書
8. The mathematics of deforming surfaces : based on the proceedings of a Conference on the Mathematics and Computation of Deforming Surfaces, organized by the Institute of Mathematics and its Applications and held at the University of Cambridge in December 1988
edited by D.G. Dritschel and R.J. Perkins
出版情報: Oxford ; New York : Clarendon Press, 1996  xi, 248 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 56
所蔵情報: loading…
目次情報: 続きを見る
Modelling Deforming Surfaces / 1：
Modelling axisymmetric thin shells with LF-splines / 2：
Approaches to modelling the mechanical properties of fabrics and the representation of fabrics as flexible surfaces using differential geometry / 3：
The complex buckling of textile fabrics / 4：
Stability of steep unsteady water waves / 5：
Deforming surfaces and viscous sintering / 6：
The Deformation of Notional Surfaces: / 7：
Contour dynamics/surgery / 8：
Stretching of line and surface elements in random velocity fields / 9：
Moving surfaces in turbulent flows / 10：
Techniques for Analysing Deforming Interfaces: / 11：
Fourier descriptions for measuring bubble motion and deformation / 12：
Extraction of spatial statistics from experimentally visualised cross-sections of a turbulent flame / 13：
Geometrical observations of turbulent density interfaces / 14：
Modelling Deforming Surfaces / 1：
Modelling axisymmetric thin shells with LF-splines / 2：
Approaches to modelling the mechanical properties of fabrics and the representation of fabrics as flexible surfaces using differential geometry / 3：
9.

図書
図書
9. The mathematics of surfaces VI : based on the proceedings of a conference organized by The Institute of Mathematics and its Applications on the mathematics of surfaces held at Brunel University in September 1994
edited by Glen Mullineux
出版情報: Oxford : Clarendon, 1996  xiv,569p ; 25 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; no.58
所蔵情報: loading…
10.

図書
図書
10. Mathematical education of engineers : based on the proceedings of a Conference on the Mathematical Education of Engineers, organized by the Institute of Mathematics and its Applications and held at Loughborough University in March 1994
edited by L.R. Mustoe and S. Hibberd
出版情報: Oxford ; New York : Clarendon Press, 1995  xxiii, 383 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 57
所蔵情報: loading…
目次情報: 続きを見る
Engineering Viewpoints; included invited speakers / 1：
Education Backdrop; including invited speakers / 2：
Issues of Wider Access / 3：
Teaching Experiences / 4：
Computers in Teaching and Assessment / 5：
Epilogue; including invited speaker / 6：
Engineering Viewpoints; included invited speakers / 1：
Education Backdrop; including invited speakers / 2：
Issues of Wider Access / 3：
11.

図書
図書
11. Mathematics of dependable systems ([1] ; 2)
edited by Chris Mitchell and Victoria Stavridou
出版情報: Oxford ; New York : Clarendon Press, 1995-  v.
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 55, 64
所蔵情報: loading…
12.

図書
図書
12. Applications of finite fields : based on the proceedings of a conference organized by the Institute of Mathematics and Its Applications on the applications of finite fields held at the Royal Holloway, University of London in July 1994
edited by Dieter Gollman
出版情報: New York : Clarendon Press, 1996  xii, 139 p. ; 24cm.
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 59
所蔵情報: loading…
目次情報: 続きを見る
Bases and the distribution of irreducible and primitive polynomials over finite fields / G.L. Muller1：
Construction and distribution for irreducible trinomials over finite fields / I.F. Blake ; S. Gao ; R.J. Lambert2：
Congruences for generalised Dickson polynomials / P.T. Young3：
Dickson polynomials and completely normal elements over finite fields / A. Scheerhorn4：
An iterated normal elements over finite fields / H. Meyn5：
Weakly self-dual normal bases in finite fields / W. Geiselmann6：
On the quaternary [11,6,5] and [12,6,6] codes / S. Dodunekov ; I. Landgev7：
On the nonexistence of some Quatenary codes / R. Hill8：
A new RSA-type cryptosystem based on singular cubic curves / H. Kuwakado ; K. Koyama9：
A generalisation of the discrete Fourier transform / S.R. Blackburn10：
On a generalized minimum distance Reed-Solomon decoding algorithm / R.E. Reile11：
Bases and the distribution of irreducible and primitive polynomials over finite fields / G.L. Muller1：
Construction and distribution for irreducible trinomials over finite fields / I.F. Blake ; S. Gao ; R.J. Lambert2：
Congruences for generalised Dickson polynomials / P.T. Young3：
13.

図書
図書
13. Mathematical structures for software engineering : based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Institute of Mathematics and its Applications held at Manchester Polytechnic in July 1988
edited by Bernard De Neumann, Dan Simpson, Gil Slater
出版情報: Oxford : Clarendon , New York : Oxford University Press, 1991  xiii, 355 p. ; 25 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; New sereis ; 27
所蔵情報: loading…
目次情報: 続きを見る
The Role of Mathematics in Software Engineering / T. Denvir1：
Verification and Transformation of Simple Recursive Programs--An Algebraic Approach / C.T.P. Burton2：
The Need For Standards in Computing Mathematics / H.L. Porteous3：
Some Proposals Toward a Theory of Notation in Software Engineering / W. Godwin4：
A Random Walk Through Software Reliability Theory / P.G. Bishop ; F.D. Pullen5：
Mathematical Modelling of Software Testing / T. Downs6：
Draft MOD Policy for Safety Critical Software / K. Geary7：
Introducing Formal Methods: The CICS Experience with Z / B.P. Collins ; J.E. Nicholls ; I.H. Sorenson8：
Why Execute Formal Specifications? / A. M. Gravell ; P. Henderson9：
An Evolutionary Software Model / C. Rattray10：
Software Engineering Practices and Numerical Mathematical Software / G. Markham11：
Using Discrete Mathematics to Formalise the Software Testing Process / P.Dunne ; M. Roper ; P. Smith12：
Programming as Constructive Mathematics / S. Reeves13：
Conceptual Modelling of Software Diversity / B. Littlewood ; D. Miller14：
Formal Development of Communication Software / H. Haughton15：
An Evaluation of Functional Programming for the Commercial Environment / P. Sanders16：
Software Engineering and the Maintenance of a Large Old Program / A.J.S. Mann17：
Modal Action Logic for the Specification and Validation of Safety / W.D. Atkinson ; J.P. Booth ; W.J. Quirk18：
Formal Specification and Verification of Synchronised Resources Using an Extended Path Notation / C.C. Tam19：
The Role of Mathematics in Software Engineering / T. Denvir1：
Verification and Transformation of Simple Recursive Programs--An Algebraic Approach / C.T.P. Burton2：
The Need For Standards in Computing Mathematics / H.L. Porteous3：
14.

図書
図書
14. The Mathematical revolution inspired by computing : based on the proceedings of a conference on the mathematical revolution inspired by computing organized by the Institute of Mathematics and its Applications and held at Brighton Polytechnic in April 1989
[edited by] J.H. Johnson, M.J. Loomes
出版情報: Oxford : Clarendon Press, 1991  x, 329 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; New ser., 30
所蔵情報: loading…
目次情報: 続きを見る
An Introduction to the Mathematical Revolution Inspired by Computing / Part 1：
Computers in Mathematics / Jeffrey Johnson1：
Cryptography - The Catalyst / Fred Piper2：
The Return of the Visual / R.V. Evans3：
The Mathematics of Chaos / D.K. Arrowsmith4：
Computing the Unpredictable: Deterministic Chaos and the Nervous System / Arun V. Holden5：
Word Processing Algorithms, rewrite Rules and Group Theory / D.B.A. Epstein6：
Computer Assisted Proof for Mathematics: an Introduction Using the LEGO Proof System / Rod Burstall7：
A New Method of Automated ZTheorem Proving / Yang Lu8：
Making Discrete Mathematics Executable on a Computer / R.D. KnottR9：
The Wider Uses of the Z Specification Language in Mathematical Modelling / Allen Norcliffe10：
Scene Analysis via Galois Lattices / M. Andrew ; D. Bose ; S. Cosby11：
The Mathematics of Complex Systems / 12：
Mathematics in Computing / Part 3：
The Mathematics of Complex Computational Systems / Stephen B. Seidman13：
A Euclidean Basis for Computation / Dan Simpson14：
An Extension of Turing Machines / Claudio Sossai15：
Algorithmic Languages and the Computability of Z Functions / Newcomb Greenleaf16：
The Parallel Computation Hypothesis and Its Applications to Computer Science / V.J. Rayward Smith17：
The Mathematics of Complexity in Computing and Software Engineering / N. E. Fenton18：
The Mathematics of Calibration / K.L. Tse ; R. W. Whitty19：
Is There A Mathematical Revolution Inspired by Computing? / Part 4：
Computing and Foundations / J.M. E. Hyland20：
The Development and Use of Variables in Mathematics and Computer Science / Meurig Beynon ; Steve Russ21：
The End of the Defensive Era of Mathematics / C. Ormell22：
Revolution, Evolution or Renaissance? / D.J. Cooke23：
The Superfluous Paradigm / Daniel I. A. Cohen24：
An Introduction to the Mathematical Revolution Inspired by Computing / Part 1：
Computers in Mathematics / Jeffrey Johnson1：
Cryptography - The Catalyst / Fred Piper2：
15.

図書
図書
15. Cryptography and coding II
edited by Chris Mitchell
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1992  xi, 301 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 33
所蔵情報: loading…
目次情報: 続きを見る
Applying Compression Coding in Cryptography / C. Boyd1：
Performance Limits for Combined Coding and Modulation Schemes: A Geometric Approach / A.G. Burr2：
Enumeration Results on Linear Complexity Profiles / G. Carter3：
Algorithmic Information Theory / G. Chaitin4：
Multi-Level Complementary Sequence Sets: Synthesis and Applications / M. Darnell ; A.H. Kemp5：
Automata Theory and Cryptoanalysis / D. Gollmann6：
Optimal Linear Codes / R. Hill7：
Embedded Modulation and Coding for HF Channels / B. Honary ; F.S. Arani8：
Nonexistence Results for Barker Arrays / J. Jedwab9：
An Algebraic Zero-knowledge Identification Scheme / N. Jefferies ; M. Walker10：
Standards for Data Security / R.W. Jones11：
A Strategy for Designing Multilevel Codes with Defined Spectral and Error Control Properties / A. Kokkos ; J.J. O'Reilly12：
Characterising and Counting Functions Satisfying the Strict Avalanche Criterion of Order (n-3) / S.A. Lloyd13：
Some Number-theoretic Conjectures and their Relation to the Generation of Cryptographic Primes / U.M. Maurer14：
Recognising Elements of Finite Fields / R.G.E. Pinch15：
Design and Implementation of Binary Combined Error Control and Line Coding Schemes / A. Popplewell ; S. Williams16：
Applying Compression Coding in Cryptography / C. Boyd1：
Performance Limits for Combined Coding and Modulation Schemes: A Geometric Approach / A.G. Burr2：
Enumeration Results on Linear Complexity Profiles / G. Carter3：
16.

図書
図書
16. Credit scoring and credit control : based on the proceedings of a conference on credit scoring and credit control, organized by the Institute of Mathematics and Its Applications and held at the University of Edinburgh in August 1989
edited by L.C. Thomas, J.N. Crook, D.B. Edelman
出版情報: Oxford : Clarendon Press, 1992  xiv, 276 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; . new ser. ; 32
所蔵情報: loading…
目次情報: 続きを見る
Development of Credit Scoring / Part I：
Credit Scoring and Credit Control from Four Points of View / E. M. Lewis1：
Legal, Social and Economic Issues in Implementing Scoring in the US / R. W. Johnson2：
Original French Experiences in Scoring / C. Guyon3：
Theory and Models for Credit Scoring / Part II：
Discriminant Analysis and Related Topics / D. M. Titterington4：
Methods for Credit Scoring Applied to Slow Payers / M. Boyle ; J. N. Crook ; R. Hamilton ; L. C. Thomas5：
Cluster Analysis in Credit Scoring / M. Lundy6：
Survival Analysis and the Credit Granting Decision / B. Narain7：
Measures for Comparing Scoring Systems / A. D. Wilkie8：
Implementing Credit Scoring Systems / Part III：
How Credit Scoring Really Works / G. Wilkinson9：
The Introduction of Credit Scoring into Branch Banking / D. B. Edelman10：
Updating Scorecards: Removing the Mystique / A. Lucas11：
Turning Data into Information / G. Scallan12：
New Objectives in Credit Scoring Systems / Part IV：
Profit by the Score / G. Bazley13：
Activity Scoring-An Optimistic and Proactive View of Credit Assessment? / M. F. Graney ; A. J. Wynn14：
A Comparison of Discriminators Under Alternative Definitions of Credit Default / 15：
"The Score's The Limit?!" / M. O'Connor16：
Behavioural Scoring / Part V：
Behavior Scoring and Adaptive Control Systems / M. A. Hopper17：
Development of Credit Scoring / Part I：
Credit Scoring and Credit Control from Four Points of View / E. M. Lewis1：
Legal, Social and Economic Issues in Implementing Scoring in the US / R. W. Johnson2：
17.

図書
図書
17. Statistics in medicine : based on the proceedings of a conference on applications of statistics in medicine
organized by the Institute of Mathematics and Its Applications and held at the University of Wales College of Cardiff in April 1988 ; edited by F. Dunstan, J. Pickles
出版情報: Oxford [England] : Clarendon Press , New York : Oxford University Press, 1991  xii, 266 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 29
所蔵情報: loading…
目次情報: 続きを見る
A Recent Study of the Health of UK Atmospheric Nuclear Weapon Test Participants / S.C. Darby1：
The Test of Hypothesis and Leukaemia Near Nuclear Installations / R. Wakeford ; K. Binks ; D. Wilkie2：
A New Approach to the Detection and Validation of Cancer Clusters: A Review of Opportunities, Progress and Problems / S. Openshaw3：
Modelling the Spread of AIDS / J.D. Griffiths ; K.A. Wheeler4：
The Identification and Investigation of Epidemics / S.R. Palmer5：
The Computation of General Deterministic and Stochastic Epidemics / G. Reece6：
Stochastic Process Models in Clinical Psychology and Psychiatry / A. Pickles ; R. Crouchley7：
Estimation After Stopping a Clinical Trial Early / M.D. Hughes ; S.J. Pocock8：
Helping the Doctor to Prescribe: PHILEX - A Computer Based Decision Support System / J.R. Ashford9：
Assessing the Role of Diet in Cancer Epidemiology in Singapore / S.W. Duffy ; H.P. Lee ; L. Gourley10：
Discriminant Analysis Applied to an Orthopaedic Problem / C.C.Patterson ; W.G. Kernohan ; R.A.B.Mollan11：
Problems of Prognosis in Severe Head Injuries Using Discriminant Analysis Techniques / D. Jerwood ; D.J. Price ; F.A. Geoorgiakodis12：
Risk Factor Analysis in Early Detection of Blood Clots in Orthopaedic Patients / W.G. Kernohan et al.13：
Correspondence Analysis and Independent Bayes for Clinical Diagnosis / N.J. Crichton ; J.P. Hinde14：
Interpretation of Oral Glucose Tolerance Test Results / M. Farrow ; A. H. Leyland15：
A Recent Study of the Health of UK Atmospheric Nuclear Weapon Test Participants / S.C. Darby1：
The Test of Hypothesis and Leukaemia Near Nuclear Installations / R. Wakeford ; K. Binks ; D. Wilkie2：
A New Approach to the Detection and Validation of Cancer Clusters: A Review of Opportunities, Progress and Problems / S. Openshaw3：
18.

図書
図書
18. Mathematics in transport planning and control : based on the proceedings of a conference on mathematics in transport planning and control organized by the Institute of Mathematics and its Applications and held at the University of Wales College of Cardiff in September 1989
edited by J.D. Griffiths
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1992  xiv, 463 p. ; 25 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 38
所蔵情報: loading…
目次情報: 続きを見る
Evolving Application of Mathematical Optimization in Design and Operations of Individual Signal-Controlled Road Junctions / R.E. Allsop1：
Ward Level Modelling of Cycling to Work, C. Ashley & C. Banister / 2：
Estimation of Trip Matrices From Traffic Counts: An Equilibrium Approach / J. Oh3：
Phase-Based Optimization of Isolated Signal-Controlled Junctions: Sensitivity Analysis and a Treatment of Double Green Phases / J.P. Silcock4：
Sequencing of Traffic Signals / B.G. Heydecker5：
A Theoretical Model for the Permissive Right-Turn Capacity of Shared Lanes with an Opposed Flow at Traffic Signals / K. Brahimi ; R. Ashworth6：
Multicriteria Signal Plan Choice at an Isolated Intersection / S. Reljic ; M. Kamhi-Barna ; S. Stojanovic7：
Variability of Traffic Conditions at Junction Approaches in the Light of Non-Stationary Flow Demands / M. Tracz8：
SAM - A Stochastic Assignment Model / M.J. Maher9：
The SPI (Stepwise Path Increment) Algorithm Applied to Solve the Traffic Assignment Problem with Fixed Demand / Y. Arezki10：
Trees, Cycles and Sensitivity of the Traffic Assignment Problem / A. Sheer ; N. Simhairi ; L. Bennett11：
Equilibrium Traffic Assignment with Two Vehicle Types / M.J. Smith ; T. van Vuren12：
Spatial Sampling Considerations Involved in Modelling Speeds on Rural Single Carriageway Roads in Scotland / A. Morrison ; R. Hewitt13：
Traffic Behavior at Diverges on Dual Carriageway Roads / J.G. Hunt ; S.Y. Yousif14：
Computer Supported Planning of Aircraft Ground Handling Personnel / O. Babic ; V. Tosic ; D. Teodorovic15：
The Gatwick Rapid Transit Systems / J.D. Griffiths ; W. Holland ; J.E. Holland16：
A Design Tool to Identify Those Elements of a Road Network Necessary to Support an Efficient Traffic Routing Pattern / P. Wackrill17：
Road Planning in Rural Areas of Developing Countries / G.A. Makarachi ; H.T. Tillotson18：
Vehicle Responsive Traffic Signal Control / M. Bell19：
Pelican Crossings - The Development of a Simulation Model to Evaluate Operating Strategies / 20：
Surveying Traffic Delays at a Roundabout Near Plymouth / J. Dinwoodie21：
A Probabilistic Model for Estimating Travel Choice / H.S.L. Fan22：
Some Observations on the Impaired Operation of Buses in Central Urban Corridors / J.D. Nelson23：
The Quantifications of Passengers' Perceptions in Response to Bus Deregulation / W.T. Pullen24：
Crowding Levels and Fare Classes in Public Transport / D. Reyniers25：
Mathematical Programming Models for Conflict Minimization on Roads / G. Appa ; C. Wright26：
Analysis of Partial Registration Plate Data Using a Model with Poisson Input and Output / D.P. Watling ; D.R. Grey27：
Pedal Cycle Accidents at T-Junctions / R.R. Henson28：
Accidents to Young Pedestrians: Circumstances, Consequences and Countermeasures / S.D. Lawson ; M. Belcher ; S. Proctor ; P.J. Edwards29：
Some New Developments in Traffic Flow Theory and Practice / W. Leutzbach30：
The Dynamics of Large Complex Road Systems / J.H. Johnson31：
The Use of Stated Preference Techniques in the Quantitative Analysis of Travel Behavior / D. Pearmain ; J. Swanson32：
'Accident Migration' Following the Implementation of Highway Engineering Schemes / B. Fawaz ; L. Mountain33：
Spatial Modelling of Road Accident Data / J. Loveday ; D. Jarrett34：
A Method for Estimating Saturation Flows at Signal-Controlled Junctions / A. Tarko35：
Evolving Application of Mathematical Optimization in Design and Operations of Individual Signal-Controlled Road Junctions / R.E. Allsop1：
Ward Level Modelling of Cycling to Work, C. Ashley & C. Banister / 2：
Estimation of Trip Matrices From Traffic Counts: An Equilibrium Approach / J. Oh3：
19.

図書
図書
19. The Mathematics of control theory : based on the proceedings of a conference on control theory, organized by the Institute of Mathematics and Its Applications and held at the University of Strathclyde in September 1988 (: hard)
edited by N.K. Nichols and D.H. Owens
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1992  xvii, 472 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 37
所蔵情報: loading…
20.

図書
図書
20. Waves and turbulence in stably stratified flows : based on the proceedings of a conference on waves and turbulence in stably stratified flows, organized by the Institute of Mathematics and Its Applications and held at the University of Leeds inDecember 1989
edited by S.D. Mobbs and J.C. King
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1993  xiii, 465 p. ; 25 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 40
所蔵情報: loading…
21.

図書
図書
21. Mathematics in the automotive industry : based on the proceedings of a conference on mathematics in the automotive industry, organized by the Institute of Mathematics and Its Applications and held at the University of Warwick in September 1989
edited by James R. Smith
出版情報: Oxford : Clarendon Press, 1992  xv, 331 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 36
所蔵情報: loading…
22.

図書
図書
22. The interface of mathematics and particle physics : based on the proceedings of a conference organized by the institute of mathematics and its applications on the interface of mathematics and particle physics held at the University of Oxford in September 1988
edited by D.G. Quillen, G.B. Segal, and Tsou S.T
出版情報: Oxford ; New York : Clarendon Press , New York : Oxford University Press, 1990  ix, 230 p. ; 25 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser. ; 24
所蔵情報: loading…
目次情報: 続きを見る
Quantum Groups and Conformal Field Theories / L. Alvarez-Gaum'e1：
Essay on Physics and Non-Commutative Geometry / A. Connes2：
Twistors, Particles, Strings and Links / R. Penrose3：
Instantons in Yang-Mills Theory / S.K. Donaldson4：
Extended Conformal Algebras / Peter Goddard5：
Super Riemann Surfaces / Alice Rogers6：
Gauge Theories and Relativistic Membranes / P.K. Townsend7：
The Space of 2d Quantum Field Theories / Emil J. Martinec8：
Chern-Simons Forms and Cyclic Cohomology / D. Quillen9：
Yang-Mills Structure for String Field Theory / Tsou Sheung Tsun10：
An Approach to Constructing Rational Conformal Field Theories / K.S. Narain11：
A Universal Link Invariant / R.J. Lawrence12：
Strings and Quantum Gravity / H.J. de Vega ; N. S'anchez13：
Quantum Group Generalizations of String Theory / 14：
Towards a Covariant Closed String Theory / J.G. Taylor ; A. Restuccia15：
Contact Interactions for Light-Cone Superstrings / 16：
Closed String Field Theory: The Failure of BRST Cohomology for the Open String / P. Mansfield17：
Twistors and Four-Dimensional Conformal Field Theory / M.A. Singer18：
Projective and Superconformal Structures on Surfaces / W.J. Harvey19：
Unified Spin Gauge Theories of the Four Fundamental Forces / J.S.R. Chisholm ; R.S. Farwell20：
Path Integral Formulation of Chiral Gauge Theories / T.D. Kieu21：
The Correct Significance of the Binary Pulsar Observations / D.F. Roscoe22：
Approaches to Scale Invariance in Two Dimensional Statistical Mechanics / P.P. Martin23：
String Amplitudes and Twistor Diagrams: An Analogy / A.P. Hodges24：
Lie Cochains on an Algebra / Jacek Brodzki25：
Quantum Groups and Conformal Field Theories / L. Alvarez-Gaum'e1：
Essay on Physics and Non-Commutative Geometry / A. Connes2：
Twistors, Particles, Strings and Links / R. Penrose3：
23.

図書
図書
23. Computational methods in aeronautical fluid dynamics : based on the proceedings of a conference organized by the Institute of Mathematics and Its Applications on computational methods in aeronautical fluid dynamics, held at the University of Reading in April 1987
edited by P. Stow
出版情報: Oxford [Oxfordshire] : Clarendon Press , New York : Oxford University Press, 1990  xiii, 402 p. ; 25 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 25
所蔵情報: loading…
目次情報: 続きを見る
A Numerical Study of the Aerodynamic Interference of a Model Support System Used in the RAE 5m Wind Tunnel / B.C. Hardy1：
Modelling Winglets Using the SPARV Computer Program / J.S. Smith2：
Integral Methods at British Aerospace Brough / P.M. Sinclair3：
Integral Method: Theoretical and Practical Aspects / J. Bousquet et al4：
Analysis and Computation of Turbulent Boundary Layers with Varying Pressure Gradients / J.C.R. Hunt ; T.M.J. Newley ; W.S. Weng5：
Unsteady Viscous-Inviscid Interaction Method and Computation of Buffeting Over Airfoils / P. Girodroux-Lavigne ; J.C. Le Balleur6：
Coupling of Turbulence Models with Reynolds-Averaged Compressible Navier-Stokes Equations: Applications to Shock Interactions / D. Vandromme ; H. Haminh7：
Nearly Navier-Stokes Solutions / P. Bradshaw8：
Coupled Inviscid-Boundary Layer Methods for Turbomachinery Blading Design / P. Stow ; S.P. Newman9：
Boundary Layer Transition and the Development of Intermittent Turbulence--Fact, Fiction and CFD / D.I.A. Poll10：
Turbulence Modelling and Some Industrial Applications / A. Jami11：
A Three Dimensional Point Vortex Method for Unsteady Incompressible Flows / B. Cantaloube12：
Vortex Flow Modelling with Euler and Navier-Stokes Equations / A. Rizzi ; B. Muller13：
Some Navier-Stokes Solutions for External Flows / W. Kordulla14：
Navier-Stokes Methods for Turbomachinery Blade Design / N.T. Birch ; J.D. Northall15：
Adaptive Remeshing Applied to the Solution of a Shock Interaction Problem on a Cylindrical Leading Edge / K. Morgan, et al16：
Grid Generation: Structured, Unstructured or Both? / N.P. Weatherall17：
The Modelling of Inlet Skew in Turbomachinery / J.A. Walsh ; D.G. Gregory-Smith ; J.G.E. Cleak18：
Calculation of the Flow Over Afterbodies, Showing the Effects of Mach Number and Jet Pressure Ratio / D.R. Glynn ; J.C. Ludwig19：
Some Structural Improvements to Model Closure for Wake/Boundary Layer Interactions and Manipulated Flows? / A.M. Savill20：
An Investigation of Flow Properties in a Transonic Flow Over a Circular-Arc Model Using a Navier-Stokes Code / N. Chokani ; L.C. Squire21：
A Numerical Study of the Aerodynamic Interference of a Model Support System Used in the RAE 5m Wind Tunnel / B.C. Hardy1：
Modelling Winglets Using the SPARV Computer Program / J.S. Smith2：
Integral Methods at British Aerospace Brough / P.M. Sinclair3：
24.

図書
図書
24. Aerospace vehicle dynamics and control : based on the proceedings of a conference organized by the Institute of Mathematics and its Applications on Aerospace Vehicle Dynamics and Control, held at the Cranfield Institute of Technology, in September 1992
edited by M.V. Cook and M.J. Rycroft
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1994  x, 438 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new series. 47
所蔵情報: loading…
25.

図書
図書
25. Mathematics in signal processing III : based on the proceedings of the Third Conference organized by the Institute of Mathematics and Its Applications on Mathematics in Signal Processing, held at the University of Warwick in December 1992
edited by J.G. McWhirter
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1994  xv, 445 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 49
所蔵情報: loading…
目次情報: 続きを見る
Adaptive algorithms for blind channel equalization / J.G. Proakis
Parallel DSP computations and direct product rings / N.M. Wigley ; G.A. Jullien and D.J. Reaume
The Arithmetic Fourier Transform and its applications / W.J. Walker ; J.L. Schiff ; R.Y.Y. Woo
A coding theoretic approach to fault tolerant matrix decomposition and solution of linear systems of equations / P. Fitzpatrick
Automatic derivation of systolic algorithms for Kalman filtering / G.M. Megson ; D. Comish
A redundant arithmetic CORDIC system with a unit scale factor / C.T. Clarke ; G.R. Nudd
Neural networks and the VC dimension / S.B. Holden
Fractal approximation functions for image and signal coding / F. Dudbridge
Fast recursive least squares using the FFT / M.K. Ng ; R.J. Plemmons
On the approximation character of some recursive identification schemes / P.A. Regalia ; M. Mboup
Generalized split lattices for alpha-stationary processes / F. Desbouvries
Signal processing applications in astronomy / A.H. Greenaway
Removal of the water resonance from 1H Magnetic Resonance spectra / A. van den Boogaart ; D. van Ormondt ; W.W.F. Pijnappel ; R. de Beer ; M. Ala-Korpela
Resolution improvement by minimum variance signal enhancement / S. van Huffel ; C. Decanniere ; H. Chen ; P. van Hecke
Wavelet analysis of system response / J.G. Jones ; G.H. Watson
Recent developments in maximum entropy and the design of FIR filters / R.N. Madan
A statistically based eigenanalysis method for frequency estimation / A. Eriksson ; P. Stoica ; T. Soderstrom
Fast algorithm for NTTs and other transforms / S. Boussakta ; A.G.J. Holt
A class of qaudratic least squares problems which are solvable without linearisation / A.J. Fenwick
On the use of cluster classification for channel equalisation at high signal to noise ratios / C.P. Callender ; C.F.N. Cowan
AR model order selection using third-order statistics and predictive least-squares / A.K. Nandi ; J.R. Dickie
Signal processing techniques for nearfield acoustic holography / L.A. Brown ; J.A.G. Knight ; A. Croft ; M. Hargreaves ; Z. Stih
Parallel implementation of restricted parameter tracking / J. Kadlec ; F.M.F. Gaston ; G.W. Irwin
A geometric theory of locally optimum processing / J.W. Bond ; S. Hui
The objective admission of Ockham's Razor by marginalization in Bayesian model-based inference / A. Quinn
Hardware implementation of a fast method for performing modular multiplication with applications to cryptography and DSP / R.N. Gorgui-Naguib ; S.S. Dlay
Spectral analysis via the analytic continuation problem / D.Z. Arov ; Y.I. Baramovich ; J.F. Bohme ; D. Maiwald
Root location and confinement for systems with annular uncertainties / F. Perez ; D. Docampo ; C. Abdallah
Systolic second-order Kalman filters
Nonstationary seismic Data analysis / A. Perez Neira
Nonlinear signal processing / D.S. Broomhead
Fast regularised deconvolution in optics and radar / J.B. Abbis ; J.C. Allen ; R.P. Bocker ; H.J. Whitehouse
Adaptive algorithms for blind channel equalization / J.G. Proakis
Parallel DSP computations and direct product rings / N.M. Wigley ; G.A. Jullien and D.J. Reaume
The Arithmetic Fourier Transform and its applications / W.J. Walker ; J.L. Schiff ; R.Y.Y. Woo
26.

図書
図書
26. Computational learning theory : EuroCOLT '93 : based on the proceedings of the First European Conference on Computational Learning Theory, organized by the Institute of Mathematics and Its Applications and held at Royal Holloway, University of London in December, 1993
edited by John Shawe-Taylor and Martin Anthony
出版情報: Oxford, [England] : Clarendon Press , Oxford, [England] ; New York : Oxford University Press, 1994  xi, 239 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., no. 53
所蔵情報: loading…
27.

図書
図書
27. Cryptography and coding III : based on the proceedings of a conference organized by the Institute of Mathematics and its Applications on Cryptography and Coding, held at the Royal Agricultural College, Cirencester in December 1991
edited by M.J. Ganley
出版情報: Oxford : Clarendon Press , Oxford : Oxford University Press, 1993  xi, 377 p. ; 25 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser. ; 45
所蔵情報: loading…
28.

図書
図書
28. Parallel computation : based on the proceedings of a conference on parallel computation
organized by the Institute of Mathematics and Its Applications and held at St. Catherine's College, Oxford, in September 1991 ; edited by A.E. Fincham and B. Ford
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, c1993  x, 366 p. ; 25 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 46
所蔵情報: loading…
目次情報: 続きを見る
From Dinos to Rhinos / J.J. Dongarra1：
Development of numerical software libraries for Vector and Parallel machines / S.J. Hammarling2：
The challenge of general purpose parallel computing / W.F. McColl3：
Performance prediction for parallel numerical algorithms / K. Gallivan ; W. Jalby ; A. Malony ; H. Wijshoff4：
Optimizing air pollution models on two alliant computers / Z. Zlatev ; J. Wasniewski ; M. Venugopal ; J. Moth5：
Calculation of radiative heat transfer through a grey gas on parallel computer architectures / H. Al-Bahadili ; J. Wood6：
Exploitation of parallelism in direct and semi-direct solution of large sparse systems / I.S. Duff7：
Parallel aspects of iterative methods / H.A. van der Vorst8：
Parallel global optimization: Numerical methods, dynamic scheduling methods, and application to molecular configuration / R.H. Byrd ; E. Eskow ; R.B. Schnabel ; S.L. Smith9：
Iterative algorithms and the data-parallel solution of optimization problems / S.A. Zenios10：
Evolution of parallel algorithms in dense linear algebra / J. Du Croz11：
Parallel iterative solution of sparse linear systems on a transputer network / R.H. Bisseling12：
Concurrent matrix factorizations on workstation networks / A. Benzoni ; M.L. Sales13：
Modelling performance of MICCG algorithms on a multicomputer / P. Manneback ; J. Qin14：
Optimisation of a 532-city symmetric travelling salesman problem with a parallel genetic algorithm / T.C. Fogarty ; J. Cui15：
Scientific applications and parallel computing / D.L. Gee ; A.J.G. Hey16：
Parallel algorithms in vision and robotics / M. Brady ; H. Hu ; H. Wang ; S. Udall17：
From Dinos to Rhinos / J.J. Dongarra1：
Development of numerical software libraries for Vector and Parallel machines / S.J. Hammarling2：
The challenge of general purpose parallel computing / W.F. McColl3：
29.

図書
図書
29. Computer-aided surface geometry and design : the mathematics of surfaces IV
edited by Adrian Bowyer
出版情報: Oxford ; New York : Oxford University Press, c1994  xi, 472 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 48
所蔵情報: loading…
30.

図書
図書
30. Design and application of curves and surfaces : mathematics of surfaces V : based on the proceedings of the Fifth Conference on the Mathematics of Surfaces organized by the Institute of Mathematics and its Applications, held in Edinburgh in September 1992
edited by R. B. Fisher
出版情報: Oxford : Clarendon Press, 1994  xi, 514 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 50
所蔵情報: loading…
目次情報: 続きを見る
Mathematics of Surfaces / Part 1：
Dupin cyclides as blending surfaces for cones / J.K. Johnstone ; C.-K. Shene1：
A new method for drawing algebraic surfaces / R. Morris2：
Weingarten surfaces / B. van-Brunt3：
Surface Modelling / Part 2：
Towards a geometric characterisation of shape / A.A. Ball4：
The reconstruction of workpiece surface from probe coordinate data / B.P. Butler ; M.G. Cox ; A.B. Forbes5：
Nets with plane silhouettes / W.L.F. Degen6：
Degree reduction of Bezier surfaces / M. Eck7：
Best approximations of some parametric surfaces by Bezier surfaces / E.F. Eisele8：
Variational principles in curve and surface design / H. Hagen9：
Intersection techniques for assessing surface quality / G. Liden10：
The Shell Game: Surface modeling with a non-manifold solid modeler / P. Malraison11：
Intersecting engineering surfaces using silhouettes / J.C. Owen ; S.A. Reid12：
Data reduction on simple closed smooth surfaces / A.R.M. Piah13：
Bezier surface blending in solid modelling / M.J. Pratt14：
Shape preserving lifting of B-spline curves with an extension to surfaces / M. Schichtel15：
Multi-sided rational surface patches with independent boundary control / J. Warren16：
A proposal for geometric processing of rational polynomial curves / F. Yamaguchi ; M. Niiizeki17：
Curves and Curve Modeling / Part 3：
Computing point/curve and curve/curve bisectors / R.T. Farouki18：
Knot insertion for natural splines / T. Lyche ; K. Strom19：
Parametrization of implicit elliptic curves by rational function / J.-J. Malosse20：
Interpolation with G2 cubic curves / G. Renner21：
Computer Vision Applications / Part 4：
Scale space behaviour of small shape featurs on the KH sign image of surfaces / L.-D. Cai22：
The outline of an algebraic surface yields the surface / D.A. Forsyth23：
Moving surfaces / P.J. Giblin ; J.E. Rycroft ; F.E. Pollick24：
Algebraic curves and surfaces in 3D computer vision / G. Taubin25：
Preserving shape at boundaries in diffusion smoothing / E. Trucco ; R.B. Fisher26：
A comparative analysis of algorithms for fitting planar curves and surfaces defined by implicit polynomials / M. Umusuthan ; A.M. Wallace27：
Mathematics of Surfaces / Part 1：
Dupin cyclides as blending surfaces for cones / J.K. Johnstone ; C.-K. Shene1：
A new method for drawing algebraic surfaces / R. Morris2：
31.

図書
図書
31. Artificial intelligence in mathematics
edited by Jeffrey Johnson, Sean McKee and Alfred Vella
出版情報: Oxford, England : Clarendon Press , New York : Oxford University Press, 1994  x, 328 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser. 51
所蔵情報: loading…
32.

図書
図書
32. Stably stratified flows : flow and dispersion over topography : based on the proceedings of the Fourth Conference on Stably Stratified Flows, organized by the Institute of Mathematics and Its Applications and held at the University of Surrey in September, 1992
edited by I.P. Castro and N.J. Rockliff
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994  xiii, 358 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 52
所蔵情報: loading…
33.

図書
図書
33. Robotics : applied mathematics and computational aspects : based on the proceedings of a conference on Robotics: applied mathematics and computational aspects
organized by the Institute of Mathematics and Its Applications and held at Loughborough University of Technology in July 1989 ; edited by Kevin Warwick
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1993  xvii,596 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser. 41
所蔵情報: loading…
34.

図書
図書
34. The Mathematics of oil recovery : based on the proceedings of a conference on the mathematics of oil recovery, organized by the Institute of Mathematics and its Applications, in association with the Society of Petroleum Engineers and held at Robinson College, Cambridge in July 1989
edited by P.R. King
出版情報: Oxford [England] : Clarendon Press , New York : Oxford University Press, 1992  xviii, 817 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 31
所蔵情報: loading…
目次情報: 続きを見る
A Review of Reservoir Simulation Techniques and Considerations on Future Developments / 1：
Simulation of Waterflood Fracture Growth with Coupled Fluid Flow, Temperature and Rock Elasticity / 2：
Corner Point Geometry in Reservoir Simulation / 3：
A Boundary Element Solution to the Transient Pressure Response of Multiply Fractured Horizontal Wells / 4：
A Convective Segregation Model for Predicting Reservoir Fluid Compositional Distribution / 5：
Effects of Heterogeneities on Phase Behavior in Enhanced Oil Recovery / 6：
On the Strict Hyperbolicity on the Buckley-Leverett Equations for Three-Phase Flow / 7：
Application of Fractional-Flow Theory to 3-Phase, 1-Dimensional Surfactant Flooding / 8：
Averaging of Relative Permeability in Heterogeneous Reservoirs / 9：
Equations for Two-Phase Flow in Porous Media Derived from Space Averaging / 10：
Statistical Physics and Fractal Displacement Patterns in Porous Media / 11：
Simulations of Viscous Fingering in a Random Network / 12：
A Simple Analytical Model of the Growth of Viscous Fingers in Heterogeneous Porous Media / 13：
Simple Renormalization Schemes for Calculating Effective Properties of Heterogeneous Reservoirs / 14：
Finite Element Principles for Evolutionary Problems, With Applications to Oil Reservoir Modelling / 15：
Multigrid Methods in Modelling Porous Media Flow / 16：
Local Grid Refinement / 17：
Analysis of a Mode and Sequential Numerical Method for Thermal Reservoir Simulation / 18：
Operator Splitting and Domain Decomposition Techniques for Reservoir Flow Problems / 19：
Simulation of Compositional Reservoir Phenomena on a Hypercube / 20：
The Parallelization of Bosim, Shell's Black/Volatile Oil Reserve Simulator / 21：
Monte Carlo Simulation of Lithology from Seismic Data in a Channel-Sand Reservoir / 22：
Numerical Rocks / 23：
Modelling Flow through Heterogeneous Porous Media Using Effective Relative Permeabilities Generated from Detailed Simulations / 24：
Viscous/Gravity Scaling of Pseudo Relative Permeabilities for the Simulation of Moderately Heterogeneous Reservoirs / 25：
Microscopic Flow and Generalized Darcy's Equations / 26：
Prediction of permeability from a Combination of Mercury Injection and Pore Image Analysis Data / 27：
The Inclusion of Molecular Diffusion Effects in the Network Modelling of Hydrodynamic Dispersion in Porous Media / 28：
The Network Simulation of Displacement Processes in Fractured reservoir Matrix Blocks / 29：
An Analytical Solution to a Multiple-Region Moving Boundary Problem: Nonisothermal Water Injection into Oil Reserves / 30：
Statistical and Experimental Calculation of Effective Permeabilities in the Presence of Oblique Shales / 31：
Reservoir Simulation Using Mixed Methods, a Modified Method Characteristics, and Local Grid Refinement / 32：
Tracking an In-Situ Combustion Front Using the Thin Flame Technique / 33：
Averaging of Relative Permeability in Composite Cores / 34：
A Reservoir Simulator Based on Front-Tracking / 35：
Effective Absolute Permeability in the Presence of Sub-Grid Heterogeneities: An Analytic Approach / 36：
Relative Permeabilities and Capillary pressure Estimation through Least Square Fitting / 37：
Coning Simulation More Accurately / 38：
A Finite Difference Scheme for a Polymer Flooding Problem / 39：
Two-Phase Flow in Heterogeneous Porous Media: Large-Scale Capillary Pressure and Permeability Determination / 40：
A Matrix Injection Simulator / 41：
Effect of Fluid Properties on Convective Dispersion: Comparison of Analytical Models with Numerical Simulations / 42：
Fundamental Mechanisms of Particle Deposition on / 43：
A Review of Reservoir Simulation Techniques and Considerations on Future Developments / 1：
Simulation of Waterflood Fracture Growth with Coupled Fluid Flow, Temperature and Rock Elasticity / 2：
Corner Point Geometry in Reservoir Simulation / 3：
35.

図書
図書
35. Mathematical modelling for materials processing : based on the proceedings of a Conference on Mathematical Modelling of Materials Processing, organized by the Institute of Mathematics and its Applications and held at the University of Bristol in September 1991
edited by Mark Cross, J.F.T. Pittman, Richard D. Wood
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1993  xv, 556 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser. 42
所蔵情報: loading…
目次情報: 続きを見る
A Strategy for Casting Modelling / G.A. Butlin ; A.W. Nutbourne1：
Modelling of Metallurgical Structural Changes in Forming / R.W. Evans2：
Finite Element Modelling of Metal Forming: From Process Simulation to Physical Identification / J.-L. Chenot3：
Solidification Processes: Constitutive Equations / Microstructures ; M. Rappaz4：
Solidification Processes--Algorithms and Codes / V.R. Voller ; M. Cross5：
Solidification Processes--Industrial Applications / D.R. Adams6：
Some Recent Developments in the Numerical Simulation of Thin Sheet Superplastic Forming / J. Bonet ; R.D. Wood7：
The Computational Modelling of Thermoforming for the Creation of Axisymmetric Container Structures / M.K. Warby ; J.R. Whiteman8：
Development of an Elastic-plastic Anisotropic and Multi-material Finite-element System to Model Metalforming of High Performance Materials / F.R. Hall ; P. Hartley ; I. Pillinger ; C. Sturgess ; A. Van Bael ; P. Van Houtte ; E. Aernoudt9：
3D Elastoplastic Modelling of Cold Shape Rolling / A. Antunes ; P. Montmitonnet ; J.L. Chenot10：
Study of Inoculation Treatment of Spheroidal Graphite Cast Iron: Experimental Investigation and Micro-macroscopic Simulation / J. Lacaze ; P. Alexandre11：
Application of Computational Fluid Dynamics (CFD) Pressure Correction Techniques to Metal Forming Processes / A.W. Bush ; T.A. Jones ; G.S. Marshall12：
Solving Thermoelastic Problems Using FDM on a Staggered Grid / J. Hattel ; P.N. Hansen13：
Predicting the Deformation of Castings in Moulds Using a Control Volume Approach on Unstructured Meshes / C. Bailey ; Y.D. Fryer ; P. Chow14：
Three Dimensional Simulation of the Filling of Moulds by Liquid Metals / K.A. Pericleous ; A. Chan15：
3D Finite Element Simulation of Filling Transients in Metal Castings / M. Samonds ; D. Waite16：
Numerical Simulation of Mold Filling for Metal Castings / P.C.J. Jeurissen ; P.C. van Eldijk17：
SIMULOR and Fast Solutions for Mold Filling Simulations / A. Bourg ; A. Latrobe ; P. Large ; P. Laty ; C. Rigaut18：
A Model for the Simulation of Three-dimensional Mold-filling Processes with Complex Geometries / I.S. Hamill ; L. Jun ; N.P. Waterson19：
Simulation of Powder Injection Molding Using the Mixture Theory / B. Lanteri ; H. Burlet ; A. Poitou ; N. Burkarth20：
Computer Aided Runner Design / J.F.T. Pittman ; A.O. Sharif21：
Numerical Simulation of Injection Molding: Non-isothermal Filling of Complex Thin Parts, Including Abrupt Changes of Thickness of Bifurcations of the Midsurface / A. Counoit ; L. Dheur ; F. Dupret22：
Mathematical Modelling and Computer Simulation of the Flow of Chemically-reacting Polymeric Foams / L. Lefebvre ; R. Keunings23：
How to Obtain Physical Data for the Simulation of Solidification Processes in Crystallizable Polymers / H. Janeschitz-Kriegl ; G. Eder ; E. Ratajski ; C.H. Wu24：
Simulation of Plastics Injection, Compression, and Resin Transfer Molding Processes / H.P. Wang ; E.W. Liang ; E.M. Perry25：
Modelling of Dispersed Two-phase Flows in Materials Processing / C. Lekakou ; P. Tsakiropoulos26：
Numerical Simulation of a Planetary GaAs CVD Reactor / C. Waucquez ; J.M. Marchal27：
A Numerical Method for Analysing the Dynamic Behavior of Crystal Growth Furnaces / N. Van den Bogaert28：
Mapping Computational Mechanics Codes onto Parallel Processing Systems / m. Cross ; S. Johnson ; C. Ierotheou ; P. Leggett ; F. Ali29：
Software Tools for Aspects of Computational Modelling Codes for Materials Processing / M.G. Everett ; P. Lawrence ; B. Jones30：
Simulation, Systemization and Parameter Optimization with a Computer Gene / 31：
A Strategy for Casting Modelling / G.A. Butlin ; A.W. Nutbourne1：
Modelling of Metallurgical Structural Changes in Forming / R.W. Evans2：
Finite Element Modelling of Metal Forming: From Process Simulation to Physical Identification / J.-L. Chenot3：
36.

図書
図書
36. Computational ordinary differential equations : based on the proceedings of a conference on computational ordinary differential equations
organized by the Institute of Mathematics and Its Applications and held at Imperial College of Science and Technology, University of London, in July 1989 ; edited by J.R. Cash and I. Gladwell
出版情報: Oxford [England] : Clarendon Press , New York : Oxford University Press, 1992  xiv, 457 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new ser., 39
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼