檢索結果 - parallel rational function function function https

1

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

出版 2006

書本目錄: “... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”
獲取全文

電子電子書

2

Symbolic Integration I Transcendental Functions /

由 Bronstein, Manuel., Bronstein, Manuel.
出版 2005

書本目錄: “...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...”
獲取全文

電子電子書

3

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

出版 2010

書本目錄: “... for Solving Parametric Linear Systems Whose Input Data Are Rational Functions of Interval Parameters -- Direct...”
獲取全文

電子電子書

4

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

出版 2005

書本目錄: “...Inverse Scattering with Rational Scattering Coefficients and Wave Propagation in Nonhomogeneous...”
獲取全文

電子電子書

5

Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings /

出版 2007

書本目錄: “... Through Contouring -- Surfaces with Piecewise Linear Support Functions over Spherical Triangulations -- A...”
獲取全文

電子電子書

6

Crossroads between Innate and Adaptive Immunity

出版 2007

書本目錄: “... -- The Function of Local Lymphoid Tissues in Pulmonary Immune Responses -- The Yin and Yang of Adaptive Immunity...”
獲取全文

電子電子書

7

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

出版 2010

書本目錄: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
獲取全文

電子電子書

8

Animal Models of Speech and Language Disorders

出版 2013

書本目錄: “... are Processed in the Inferior Colliculus -- Chapter 9. Language Parallels in New World Primates -- Chapter 10...”
獲取全文

電子電子書

9

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

出版 2006

書本目錄: “... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”
獲取全文

電子電子書

10

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

出版 2014

書本目錄: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
獲取全文

電子電子書

11

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

出版 2006

書本目錄: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
獲取全文

電子電子書

12

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

出版 2012

書本目錄: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
獲取全文

電子電子書

13

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

出版 2008

書本目錄: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
獲取全文

電子電子書

14

Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers /

出版 2010

書本目錄: “... -- Construction of Rational Curves with Rational Rotation-Minimizing Frames via Möbius Transformations -- Fat Arcs...”
獲取全文

電子電子書

15

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

出版 2010

書本目錄: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
獲取全文

電子電子書

16

Euclidean Geometry and its Subgeometries

由 Specht, Edward John., Specht, Edward John., Jones, Harold Trainer., Calkins, Keith G., Rhoads, Donald H.
出版 2015

書本目錄: “...Preface -- Preliminaries and Incidence Geometry (I) -- Affine Geometry: Incidence with Parallelism...”
獲取全文

電子電子書

17

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

出版 2013

書本目錄: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
獲取全文

電子電子書

18

Proceedings of the 16th International Meshing Roundtable

出版 2008

書本目錄: “... Algorithm Using Non-uniform Rational B-splines -- Removing Small Features with Real CAD Operations...”
獲取全文

電子電子書

19

Algorithms and Computation 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings /

出版 2008

書本目錄: “... for Wavelength Assignment in Multifiber Optical Networks -- The Complexity of Rationalizing Matchings -- A Game...”
獲取全文

電子電子書

20

Algorithmic Learning Theory 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings /

出版 2007

書本目錄: “... of Feasible Learning Functionals -- Parallelism Increases Iterative Learning Power -- Prescribed Learning...”
獲取全文

電子電子書

縮小搜索