Search Results - interval computing problems progress computing https

1

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...”
View full text

Electronic eBook

2

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...”
View full text

Electronic eBook

3

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings /

Published 2007

Table of Contents: “... Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation -- Finding Paths...”
View full text

Electronic eBook

4

A progressive trigonometric mixed response surface method for double-loop interval optimization

by Zheng, Guanchao, Xu, Wen, Mohd Ariffin, Mohd Khairol Anuar, Abdul Aziz, Nuraini, Ahmad, Siti Azfanizam
Published 2023

“...For some highly nonlinear problems, the general second-order response surface method (RSM) cannot...”
View full text

Article

5

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory...

Published 2005

Table of Contents: “... Platform and Open Source Environments -- Progress on Crossing Number Problems -- Full Contributed Papers...”
View full text

Electronic eBook

6

Structure of Solutions of Variational Problems

by Zaslavski, Alexander J., Zaslavski, Alexander J.
Published 2013

Table of Contents: “...Preface -- 1. Introduction -- 2. Nonautonomous problems -- 3.Autonomous problems -- 4.Convex...”
View full text

Electronic eBook

7

Medical Imaging and Augmented Reality 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010, Proceedings /

Published 2010

Table of Contents: “...) Pullback Sequences -- Automatic Computation of Electrodes Trajectory for Deep Brain Stimulation -- Shape...”
View full text

Electronic eBook

8

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Published 2006

Table of Contents: “... Proof -- Exploring the Effect of Animation and Progressive Revealing on Diagrammatic Problem Solving...”
View full text

Electronic eBook

9

Frontiers in Algorithms 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, Proceedings /

Published 2010

Table of Contents: “...Progress on Certifying Algorithms -- Computational Geometry for Uncertain Data -- On Foundations...”
View full text

Electronic eBook

10

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem...”
View full text

Electronic eBook

11

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems /

by Hardin, Christopher S., Hardin, Christopher S., Taylor, Alan D.
Published 2013

Table of Contents: “.... The Denumerable Setting: One-Way Visibility -- 5. Dual Hat Problems and the Uncountable -- 6. Galvin's Setting...”
View full text

Electronic eBook

12

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...”
View full text

Electronic eBook

13

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Published 2005

Table of Contents: “... in Data Cubes -- Aggregates -- Progressive Ranking of Range Aggregates -- On Efficient Storing...”
View full text

Electronic eBook

14

Fuzzy Portfolio Optimization Theory and Methods /

by Fang, Yong., Fang, Yong., Lai, Kin Keung., Wang, Shouyang.
Published 2008

Table of Contents: “... and Securities Portfolio Selection Model -- Portfolio Selection Models with Interval Coefficients -- Linear...”
View full text

Electronic eBook

15

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
View full text

Electronic eBook

16

Linking Models and Experiments, Volume 2 Proceedings of the 29th IMAC, A Conference on Structural Dynamics, 2011 /

Published 2011

Table of Contents: “...Modal Testing and FE-model Validation of Azimuthing Thruster -- POD Based Computation of Joint...”
View full text

Electronic eBook

17

Self-adjoint Extensions in Quantum Mechanics General Theory and Applications to Schrödinger and Dirac Equations with Singular Potentials /

by Gitman, D.M., Gitman, D.M., Tyutin, I.V., Voronov, B.L.
Published 2012

Table of Contents: “... Particle on an Interval -- One-Dimensional Particle in Potential Fields -- Schrödinger Operators...”
View full text

Electronic eBook

18

Cardinal Invariants on Boolean Algebras Second Revised Edition /

by Monk, J. Donald., Monk, J. Donald.
Published 2014

Table of Contents: “.... Diagrams -- 26. Examples -- 27. Problems -- References -- Symbol Index -- Subject Index -- Name Index....”
View full text

Electronic eBook

19

Statistical Models and Methods for Biomedical and Technical Systems

Published 2008

Table of Contents: “... Goodness-of-Fit Testing -- Goodness-of-Fit Tests for Pareto Distribution -- Application of Inverse Problems...”
View full text

Electronic eBook

20

The Mathematics of Paul Erdős I

Published 2013

Table of Contents: “... -- Some of My Favorite Problems and Results -- 3 Encounters with Paul Erdős -- 4 Did Erdős Save Western...”
View full text

Electronic eBook

Narrow Search