Søgeresultater - general computing programming series arrays a

1

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
Få fuldtekst

Electronisk eBog

2

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra -- Some...”
Få fuldtekst

Electronisk eBog

3

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Få fuldtekst

Electronisk eBog

4

Mathematica®: A Problem-Centered Approach

af Hazrat, Roozbeh., Hazrat, Roozbeh.
Udgivet 2010

Indholdsfortegnelse: “...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
Få fuldtekst

Electronisk eBog

5

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

Udgivet 2010

Indholdsfortegnelse: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2012

Indholdsfortegnelse: “... for Modelling with Intuitionistic Fuzzy Estimations: Part 1.-A Generalized Net with an ACO-Algorithm...”
Få fuldtekst

Electronisk eBog

7

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Få fuldtekst

Electronisk eBog

8

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Få fuldtekst

Electronisk eBog

9

Financial Decision Making Using Computational Intelligence

Udgivet 2012

Indholdsfortegnelse: “...? A New Direction for Computational Intelligence in Behavioral Finance (S.-H. Chen, K.-C. Shih, C.-C...”
Få fuldtekst

Electronisk eBog

10

Nanotechnology: Science and Computation

Udgivet 2006

Indholdsfortegnelse: “... and DNA -- A Supramolecular Approach to Metal Array Programming Using Artificial DNA -- Multicomponent...”
Få fuldtekst

Electronisk eBog

11

Applications of Soft Computing Recent Trends /

Udgivet 2006

Indholdsfortegnelse: “...Computer Graphics, Imaging and Vision -- Efficient Genetic Algorithms for Arabic Handwritten...”
Få fuldtekst

Electronisk eBog

12

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III /

Udgivet 2010

Indholdsfortegnelse: “...Workshop on Mobile Communications (MC 2010) -- A Control Loop Reduction Scheme for Wireless Process...”
Få fuldtekst

Electronisk eBog

13

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Udgivet 2013

Indholdsfortegnelse: “... -- Meta-modeling and Optimization for Varying Dimensional Search Space -- A General Variable Neighborhood...”
Få fuldtekst

Electronisk eBog

14

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Udgivet 2005

Indholdsfortegnelse: “... and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis...”
Få fuldtekst

Electronisk eBog

15

Global Poverty Alleviation: A Case Book

Udgivet 2014

Fag: “...Sociology, general. https://scigraph.springernature.com/ontologies/product-market-codes/X22000...”
Få fuldtekst

Electronisk eBog

16

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Få fuldtekst

Electronisk eBog

17

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Programs with Two Integer Variables and Two Constraints -- A Polyhedral Investigation of the LCS Problem...”
Få fuldtekst

Electronisk eBog

18

Adaptive Optics for Industry and Medicine Proceedings of the 4th International Workshop, Münster, Germany, Oct. 19-24, 2003 /

Udgivet 2005

Indholdsfortegnelse: “... Bimorph Deformable Mirrors -- Deformable Mirrors with Thermal Actuators -- Technology and Operation of a...”
Få fuldtekst

Electronisk eBog

19

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...”
Få fuldtekst

Electronisk eBog

20

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

Udgivet 2005

Indholdsfortegnelse: “... of Frequent Pattern Queries -- A General Effective Framework for Monotony and Tough Constraint Based...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning