close
1.

図書

図書
edited by J. C. Fields, with the collaboration of an editorial committee
出版情報: Nendeln/Liechtenstein : Kraus Reprint, 1967  2 v. ; 25 cm
所蔵情報: loading…
目次情報:
v. 1.Report of the congress. Lectures. Communications to sections 1 and 2
v. 2.Communications to sections 3-6.
v. 1.Report of the congress. Lectures. Communications to sections 1 and 2
v. 2.Communications to sections 3-6.
2.

図書

図書
Roman Wyrzykowski ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xix, 915 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2328
所蔵情報: loading…
目次情報: 続きを見る
Parallel, Distributed, and Grid Architectures / I:
Interrupt and Cancellation as Synchronization Methods / Janusz Borkowski
Supercomputing for the Masses: A Parallel Macintosh Cluster / Viktor K. Decyk ; Dean E. Dauger
Applications of Virtual Data in the LIGO Experiment / Ewa Deelman ; Carl Kesselman ; Roy Williams ; Kent Blackburn ; Albert Lazzarini ; Scott Koranda
Visualization of Automorphisms and Vertex-Symmetry / Michael Sampels
κNUMA: A Model for Clusters of SMP-Machines / Martin Schmollinger ; Michael Kaufmann
A Parallel System Architecture Based on Dynamically Configurable Shared Memory Clusters / Marek Tudruj ; Łukasz Masko
Scheduling and Load Balancing / II:
SASEPA: Simultaneous Allocation and Scheduling with Exclusion and Precedence Relations Algorithm / C. Fernández ; F. Torres ; S.T. Puente
Optimal Task Scheduling of a Complete K-Ary Tree with Communication Delays / Noriyuki Fujimoto ; Kenichi Hagihara
A Greedy Approach for a Time-Dependent Scheduling Problem / Stanisław Gawiejnowicz ; Wiesław Kurc ; Lidia Pankowska
Dedicated Scheduling of Biprocessor Tasks to Minimize Mean Flow Time / Krzyszt of Giaro ; Marek Kubale ; Michał Małafiejski ; Konrad Piwakowski
Fast Scheduling and Partitioning Algorithm in the Multi-processor System with Redundant Communication Resources / Eryk Laskowski
Heterogeneous Dynamic Load Balancing with a Scheme Based on the Laplacian Polynomial / Tiberiu Rotaru ; Hans-Heinrich Nägeli
Task Scheduling for Dynamically Configurable Multiple SMP Clusters Based on Extended DSC Approach
Processing Time and Memory Requirements for Multi-instalment Divisible Job Processing / Paweł Wolniewicz ; Maciej Drozdowski
Performance Analysis and Prediction / III:
Estimating Execution Time of Distributed Applications
Evaluation of Parallel Programs by Measurement of Its Granularity / Jan Kwiatkowski
The Performance of Different Communication Mechanisms and Algorithms Used for Parallelization of Molecular Dynamics Code / Rafał Metkowski ; Piotr Bała ; Terry Clark
Benchmarking Tertiary Storage Systems with File Fragmentation / Darin Nikolow ; Renata Słota ; Jacek Kitowski
FEM Computations on Clusters Using Different Models of Parallel Programming / Tomasz Olas ; Konrad Karczewski ; Adam Tomas ; Roman Wyrzykowski
Parallel Non-numerical Algorithms / IV:
Parallel Skeletons for Tabu Search Method Based on Search Strategies and Neighborhood Partition / Maria J. Blesa ; Lluis Hernàndez ; Fatos Xhafa
A New Parallel Approach for Multi-dimensional Packing Problems / Jacek Błazewicz ; Rafał Walkowiak
Consistency Requirements of Peterson's Algorithm for Mutual Exclusion of n Processes in a Distributed Shared Memory System / Jerzy Brzeziński ; Dariusz Wawrzyniak
Three Parallel Algorithms for Simulated Annealing / Zbigniew J. Czech
Construction of Phylogenetic Trees on Parallel Clusters / Frédéric Guinand ; Gilles Parmentier ; Denis Trystram
On Parallel Generation of t-Ary Trees in an Associative Model / Zbigniew Kokosiński
Solving the Flow Shop Problem by Parallel Simulated Annealing / Mieczysław Wodecki ; Wojciech Bozejko
Parallel Programming / V:
Automated Verification of Infinite State Concurrent Systems / Piotr Dembiński ; Wojciech Penczek ; Agata Półrola
A Language for the Complexity Analysis of Parallel Programs / J.A. González ; C. León ; M. Pristinta ; J.L. Roda ; C. Rodríguez ; J.M. Rodríguez ; F. Sande
Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine Constraints / Sergey Krivoi
Systematic Generation of Executing Programs for Processor Elements in Parallel ASIC or FPGA-Based Systems and Their Transformation into VHDL-Descriptions of Processor Element Control Units / Oleg Maslennikov
Developing a Data-Parallel Application with DaParT / Cevat Şener ; Yakup Paker ; Ayşe Kiper
Application of Mixed MPI/OpenMP Programming in a Multi SMP Cluster Computer / Adam Smyk
Tools and Environments for Parallel and Distributed Processing / VI:
Irregular and Out-of-Core Parallel Computing on Clusters / Peter Brezany ; Marian Bubak ; Maciej Malawski ; Katarzyna Zaj&acedil;c
A Concept of Grid Application Monitoring / Włodzimierz Funika ; Bartosz Balinś ; Roland Wismüller
Towards a Monitoring Interface Specification for Distributed Java Applications / Piotr M&ecedil;tel ; Rafał Orłowski
Testing for Conformance of Parallel Programming Pattern Languages / Łukasz Garstecki ; Paweł Kaczmarek ; Jacques Chassin de Kergommeaux ; Henryk Krawczyk ; Bogdan Wiszniewski
Overview of IA-64 Explicitly Parallel Instruction Computing Architecture / Pawel Gepner
Toward an Operating System That Supports Parallel Processing on Nondedicated Clusters / A. Gonściński ; M. Hobbs ; J. Silcock
Load Distribution in Jini Using JINT / Joong-Han Kim ; Seong-Soo Yae ; R.S. Ramakrishna ; Yoo-Sung Kim
Agent System for Load Monitoring of the Heterogeneous Computer Network / Marcin Lepiarz ; Zdzislaw Onderka
DDG Task Recovery for Cluster Computing / G.T. Nguyen ; L. Hluchy ; V.D. Tran ; M. Kotocova
Parallel Numerical Algorithms / VII:
A Columnwise Block Striping in Neville Elimination / Pedro Alonso ; Raquel Cortina ; Irene Díaz ; Vicente Hernández ; José Ranilla
A Flexible 2-Level Neumann-Neumann Method for Structural Analysis Problems / Petter E. Bjørstad ; Piotr Krzyżanowski
Parallel Displacement Decomposition Solvers for Elasticity Problems / Radim Blaheta ; Ondřej Jakl ; Jiří Starý
A Scheme for Partitioning Regular Graphs / R. Čiegis ; G. Šilko
Analysis of the Lanczos Error Bounds and Its Application to the Explicitly Restarted Lanczos Algorithm / A. Cooper ; M. Szularz ; J. Weston
New Generalized Data Structures for Matrices Lead to a Variety of High Performance Algorithms / Fred G. Gustavson
Solving Large Systems of Differential Equations with PaViS / Dana Petcu
pARMS: A Package for Solving General Sparse Linear Systems on Parallel Computers / Y. Saad ; M. Sosonkina
Implementation of Givens QR-Decomposition in FPGA / Anatoli Sergyienko
A New Message Passing Algorithm for Solving Linear Recurrence Systems / Przemysław Stpiczyński
Applications of Parallel/Distributed Processing / VIII:
Distributed Evolutionary Algorithms in Shape Optimization of Nonlinear Structures / Tadeusz Burczyński ; Wacław Kus
Parallel Numerical Solution for Flood Modeling Systems / D. Froehlich ; J. Astalos ; M. Dobrucky
An Empirical Comparison of Decomposition Algorithms for Complex Finite Element Meshes / Tomasz Jurczyk ; Barbara Głut
Application of Parallel Computing in the Transfer - Matrix Simulations of the Supramolecules Mn6 and Ni12 / Grzegorz Kamieniarz ; Ryszard Matysiak ; Alvaro Caramico D'Auria ; Filippo Esposito ; Cristiano Benelli
The Parallel Environment for Endoscopic Image Analysis / Aleksander Neyman ; Michal Nowikowski ; Jamil Saif
Using Fractal Coding in Medical Image Magnification / Wieslawa Kwiatkowska ; Krzyszt of Kawa ; Piotr Kania
Quasi-Characteristics Scheme with Parallel Facilities for Computations of Two-Phase Flows in Heterogeneous Porous Media / Mikhail P. Levin
Monte Carlo Method with Parallel Computation of Phase Transitions in the Three-Dimensional Ashkin-Teller Model / G. Musiał ; L. D&ecedil;bski
Flow Simulations on Overlapping Grids / Stefan Nilsson
Parallel Unstructured AMR and Gigabit Networking for Beowulf-Class Clusters / Charles D. Norton ; Thomas A. Ćwik
Parallel Grid Manipulations for General Circulation Models / William Sawyer ; Peter Messmer
Block Models of Lithosphere Dynamics: Approach and Algorithms / Alexander Soloviev ; Vyacheslav Maksimov ; Valerii Rozenberg ; Yurii Ermoliev
A Component Model for Discrete Event Simulation / Boleslaw K. Szymański ; Gilbert Chen
Evolutionary Computing and Neural Networks / IX:
Modelling Hierarchical Genetic Strategy as a Family of Markov Chains / Joanna Kołodziej
Parallel Processing by Implication-Based Neuro-Fuzzy Systems / Danuta Rutkowska ; Robert Nowicki ; Yoichi Hayashi
On the Convergence of Sampling Measures in the Global Genetic Search / Robert Schaefer ; Zenon J. Jabłoński
Genetic Algorithms: Two Different Elitism Operators for Stochastic and Deterministic Applications / Juan Seijas ; Carmen Morató ; José L. Sanz-González
Immune-Like System Approach to Cellular Automata-Based Scheduling / Franciszek Seredyński ; Anna Świ&ecedil;cicka
Connectionist Structures of Type 2 Fuzzy Inference Systems / Janusz Starczewski ; Leszek Rutkowski
LTF-C - Neural Network for Solving Classification Problems / Marcin Wojnarski
EPL-Julia the High-Performance Library for Evolutionary Computations / Jarosław Żola
Numerical Methods and Their Applications / X:
Aggregation Multilevel Iterative Solver for Analysis of Large-Scale Finite Element Problems of Structural Mechanics: Linear Statics and Natural Vibrations / Sergiy Fialko
Computer Simulations in Constructing a Coefficient of Uncertainty in Regression Estimation - Methodology and Results / Andrzej Grzybowski
Multi-phase Inverse Stefan Problems Solved by Approximation Method / Radosław Grzymkowski ; Damian Słota
Error Estimates for BE/FE Method in Elastic Scattering / Andrzej Karafiat ; Lech Sławik ; Olga Trzos
A Numerical Method for Solution of Ordinary Differential Equations of Fractional Order / Jacek Leszczyński ; Mariusz Ciesielski
The Efficient Generation of Unstructured Control Volumes in 2D and 3D / Sebastian Pluta
Coupling of Thermal and Mechanical Phenomena by Boundary Conditions in Numerical Modelling of Solidifying Castings / Arkadiusz Nagórka ; Norbert Sczygiol ; Grzegorz Szwarc
Solvers for Nonlinear Algebraic Equations; Where Are We Today? / Marcin Paprzycki ; Deborah Dent ; Anna Kucaba-Pi&ecedil;tal
Optimal Location of Sensors for Parameter Estimation of Static Distributed Systems / Maciej Patan ; Dariusz Uciński
Application of Equations with a Retarded Argument in Physical Systems / Amalia Pielorz
The Method of Fundamental Solutions in Three-Dimensional Elastostatics / Andreas Poullikkas ; Andreas Karageorghis ; Georgios Georgiou
A Constructive Numerical Method for the Comparison of Intervals / Pavel V. Sevastjanov ; Paweł Róg ; Andrey V. Venberg
Rotation of the Sources and Normalization of the Fundamental Solutions in the MFS / Yiorgos-Sokratis Smyrlis
Reconstruction of Unknown Properties of Seismic Flows / Ekaterina Vasilyeva
Parallel Two-Step W-Methods on Singular Perturbation Problems / R. Weiner ; B.A. Schmitt ; H. Podhaisky
Special Session on Parallel/Distributed Constraint Solving / XI:
The Langford's Problem: A Challenge for Parallel Resolution of CSP / Zineb Habbas ; Michaël Krajecki ; Daniel Singer
A Model of Cooperative Solvers for Computational Problems / A. Kleymenov ; D. Petunin ; A. Semenov ; I. Vazhev
A Methodology of Parallelization for Continuous Verified Global Optimization / N. Revol ; Y. Denneulin ; J.-F. Méhaut ; B. Planquelle
Mobile Concurrent Constraint Programming / Nicolas Romero
Combining Parallel and Distributed Search in Automated Equational Deduction / Carsten Sinz ; Jörg Denzinger ; Jürgen Avenhaus ; Wolfgang Küchlin
Minisymposium on Theoretical and Computational Methods in Hydrodynamics / XII:
Numerical Methods for Evolutionary Convection-Diffusion Problems with Nonlinear Reaction Terms / Blanca Bujanda ; Juan Carlos Jorge
Solution of Incompressible Navier-Stokes Equations Using Projection Methods / Jan Jankowski ; Monika Warmowska
Minisymposium on Functional Differential Equations and Their Application / XIII:
Theory and Solution Techniques for Singular Boundary Value Problems in Ordinary Differential Equations / Winfried Auzinger ; Othmar Koch ; Ewa Weinmüller
Estimation of Numerical Dynamics Constants of a Weakly Nonlinear Neuron / Andrzej Bielecki ; Dariusz Jabłoński
On Positivity of Solutions of Delayed Differential Equation with State Dependent Impulses / Alexander Domoshnitsky ; Michael Drakhlin ; Elena Litsyn
Workshop on the Complex Systems Simulation / XIV:
Distributed Simulation of Silicon-Based Film Growth / V.V. Krzhizhanovskaya ; M.A. Zatevakhin ; A.A. Ignatiev ; Y.E. Gorbachev ; P.M.A. Sloot
Biological Time Scale and Ageing in the Penna Model / Maria Stanisława Magdoń-Maksymowicz ; Andrzej Zbigniew Maksymowicz
Spatial Models of Persistence in RNA Worlds: Exploring the Origins of Life / William A. Maniatty ; Thomas Caraco ; Niles Lehman
Anastomosing Transportation Networks / Paweł Topa ; Mariusz Paszkowski
Author Index
Parallel, Distributed, and Grid Architectures / I:
Interrupt and Cancellation as Synchronization Methods / Janusz Borkowski
Supercomputing for the Masses: A Parallel Macintosh Cluster / Viktor K. Decyk ; Dean E. Dauger
3.

図書

図書
International Congress of Mathematicians
出版情報: Providence, R.I. ; American Mathematical Society, 1952  2 v. ; 26 cm
所蔵情報: loading…
4.

図書

図書
edited by E.W. Hobson and A.E.H. Love
出版情報: Cambridge : at the University Press, 1913  2 v. ; 25 cm
所蔵情報: loading…
目次情報:
v. 1:pt.1; Report of the congress. pt.2; Lectures. Communications (Sec.1)
v. 2:Communications to sections 2-4
v. 1:pt.1; Report of the congress. pt.2; Lectures. Communications (Sec.1)
v. 2:Communications to sections 2-4
5.

図書

図書
Roman Wyrzykowski ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xxiii, 1126 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3911
所蔵情報: loading…
6.

図書

図書
Roman Wyrzykowski ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xix, 1174 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3019
所蔵情報: loading…
7.

図書

図書
Linda Keen, editor
出版情報: Providence, R.I. : American Mathematical Society, c1987  xiii, 297 p. ; 25 cm
シリーズ名: Contemporary mathematics ; v. 64
所蔵情報: loading…
目次情報: 続きを見る
Sofia Kovalevskaia: her life and work / A. H. Koblitz
Sonya Kovalevskaya's place in nineteenth century mathematics / R. Cooke
Changing views of Sofia Kovalevskaia
Isospectral metrics and finite Riemannian coverings / D. M. DeTurck ; C. S. Gordon
Estimating small eigenvalues of Riemann surfaces / J. Dodziuk ; T. Pignaturo ; B. Randol ; D. Sullivan
A conformal analog of Bernstein's theorem for timelike surfaces in Minkowski 3-space / T. K. Milnor
Geometry of canonical forms / R. S. Palais ; C.-L. Terng
Geometric analysis in crystalline media / J. Taylor
Some geometric developments related to Kowaleski's work
Large-time behavior of solutions to a scalar conservation law in several space dimensions / P. Bauman
Strong solutions for strongly damped quasilinear wave equations / H. Engler
Flows on $r$-gonal Jacobeans / E. Previato
Some linearly induced Morse-Smale systems, the QR algorithm, and the Toda lattice / M. Shub ; A. T. Vasquez
An introduction to quasicrystals / J. W. Cahn ; J. E. Taylor
Quasicrystals, tilings, and algebraic number theory: some preliminary connections / E. Bombieri
Sofia Kovalevskaia: her life and work / A. H. Koblitz
Sonya Kovalevskaya's place in nineteenth century mathematics / R. Cooke
Changing views of Sofia Kovalevskaia
8.

図書

図書
edited by F. Hirzebruch, J. Schwermer, and S. Suter
出版情報: Berlin ; New York : Springer-Verlag, c1985  481 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1111
所蔵情報: loading…
9.

図書

図書
edited by S. Albeverio, Ph. Blanchard and L. Streit
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 359 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1250
所蔵情報: loading…
10.

図書

図書
sponsored by the Sloan Foundation, the National Science Foundation, and the Air Force Office of Scientific Research ; edited by Richard E. Ewing, Kenneth I. Gross, Clyde F. Martin
出版情報: New York ; Tokyo : Springer-Verlag, c1986  xvi, 214 p. ; 25 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼