Zoekresultaten - functions computational problem definitions based tool*

1

Gröbner Bases Statistics and Software Systems /

Gepubliceerd in 2013

Inhoudsopgave: “... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...”
Volledige tekst

Elektronisch E-boek

2

Mathematica®: A Problem-Centered Approach

door Hazrat, Roozbeh., Hazrat, Roozbeh.
Gepubliceerd in 2015

Inhoudsopgave: “... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Volledige tekst

Elektronisch E-boek

3

Mathematica®: A Problem-Centered Approach

door Hazrat, Roozbeh., Hazrat, Roozbeh.
Gepubliceerd in 2010

Inhoudsopgave: “... -- 8. Substitution, Mathematica rules -- 9. Pattern matching -- 10. Functions with multiple definitions...”
Volledige tekst

Elektronisch E-boek

4

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... in a Heterogeneous Network of Computers -- Block-Based Allocation Algorithms for FLASH Memory...”
Volledige tekst

Elektronisch E-boek

5

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Gepubliceerd in 2006

Inhoudsopgave: “... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...”
Volledige tekst

Elektronisch E-boek

6

Computational Intelligence and Informatics Principles and Practice /

Gepubliceerd in 2010

Inhoudsopgave: “... to Solve Multiple Traveling Salesmen Problem by Genetic Algorithm -- Some Examples of Computing...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2010

Inhoudsopgave: “... Toolbox QuPAT on Scilab -- Agent Based Evacuation Model with Car-Following Parameters by Means of Cellular...”
Volledige tekst

Elektronisch E-boek

8

Frontier and Innovation in Future Computing and Communications

Gepubliceerd in 2014

Inhoudsopgave: “... Computing; P.P. Hung, et al -- Study on Encryption of Wireless Network-Based Mobility Energy-Enterprise...”
Volledige tekst

Elektronisch E-boek

9

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Gepubliceerd in 2013

Inhoudsopgave: “... Diameter Signal for Affective Assessment of a Computer User -- TCCT: A GUI Table Comparison Computer Tool...”
Volledige tekst

Elektronisch E-boek

10

Advances in Type-2 Fuzzy Sets and Systems Theory and Applications /

Gepubliceerd in 2013

Inhoudsopgave: “...Part 1 - Theoretical Foundations -- Interval Type-2 Fuzzy Logic Systems and Perceptual Computers...”
Volledige tekst

Elektronisch E-boek

11

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Volledige tekst

Elektronisch E-boek

12

Continuous System Simulation

door Cellier, François E., Cellier, François E., Kofman, Ernesto.
Gepubliceerd in 2006

Inhoudsopgave: “.... Simulation -- Time and Again -- Simulation as a Problem Solving Tool -- Simulation Software: Today...”
Volledige tekst

Elektronisch E-boek

13

The Open Knowledge Society A Computer Science and Information Systems Manifesto /

Gepubliceerd in 2008

Inhoudsopgave: “... Recent Theory for Problem-Solving and Learning in Computers and People -- SOLERES-HCI: Modelling a Human...”
Volledige tekst

Elektronisch E-boek

14

Hypernumbers and Extrafunctions Extending the Classical Calculus /

door Burgin, Mark., Burgin, Mark.
Gepubliceerd in 2012

Inhoudsopgave: “...-1. Introduction: How mathematicians solve ”unsolvable” problems.-2. Hypernumbers(Definitions...”
Volledige tekst

Elektronisch E-boek

15

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Gepubliceerd in 2006

Inhoudsopgave: “... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...”
Volledige tekst

Elektronisch E-boek

16

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Gepubliceerd in 2014

Inhoudsopgave: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Volledige tekst

Elektronisch E-boek

17

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Gepubliceerd in 2006

Inhoudsopgave: “... Definition, Assurance, and Enforcement -- Ontology-Based Model Transformation -- Modeling Turnpike: A Model...”
Volledige tekst

Elektronisch E-boek

18

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS,KSinBIT,MIOS-CIAO,MONET,OnToCont...

Gepubliceerd in 2006

Inhoudsopgave: “... Against Currently Used Hash Functions in RFID Protocols -- An Efficient ID-Based Delegation Network...”
Volledige tekst

Elektronisch E-boek

19

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...”
Volledige tekst

Elektronisch E-boek

20

Artificial Intelligence in Theory and Practice IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile /

Gepubliceerd in 2006

Inhoudsopgave: “... -- Evolutionary Computation -- Global Convexity in the Bi-Criteria Traveling Salesman Problem -- Evolutionary...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken