Søgeresultater - ((functions computation) or (functions computational)) programming problems methods case*

1

Udgivet 2006

Indholdsfortegnelse: “... -- A COMPUTATIONAL METHOD FOR SOLVING CAUCHY PROBLEMS OF ELLIPTIC OPERATORS -- NUMERICAL DETERMINATION...”
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: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
Få fuldtekst

Electronisk eBog

3

Stochastic Linear Programming Models, Theory, and Computation /

af Kall, Peter., Kall, Peter., Mayer, János.
Udgivet 2005

Indholdsfortegnelse: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Få fuldtekst

Electronisk eBog

4

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
Få fuldtekst

Electronisk eBog

5

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

Udgivet 2007

Indholdsfortegnelse: “... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2007

Indholdsfortegnelse: “... Phylogenetic Forest Problem -- Seed-Based Exclusion Method for Non-coding RNA Gene Search -- A New Quartet...”
Få fuldtekst

Electronisk eBog

7

Complex Data Modeling and Computationally Intensive Statistical Methods

af Mantovan, Pietro., Mantovan, Pietro., Secchi, Piercesare.
Udgivet 2010

Indholdsfortegnelse: “... for variance estimation in ?PS sampling -- Fast Bayesian functional data analysis of basal body temperature...”
Få fuldtekst

Electronisk eBog

8

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Udgivet 2005

Indholdsfortegnelse: “... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...”
Få fuldtekst

Electronisk eBog

9

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...-Way Function Based on an Average-Case Assumption -- On Characteristic Constants of Theories Defined...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2012

Indholdsfortegnelse: “...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”
Få fuldtekst

Electronisk eBog

11

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

12

Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium...

Udgivet 2014

Indholdsfortegnelse: “... the Symbolic Solution of a Geometric Problem through Numeric Computations -- A Simple Quantifier-free Formula...”
Få fuldtekst

Electronisk eBog

13

Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”
Få fuldtekst

Electronisk eBog

14

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...”
Få fuldtekst

Electronisk eBog

15

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...

Udgivet 2013

Indholdsfortegnelse: “... Realizability Problems -- Potential Functions in Strategic Games -- The Probabilistic Min Dominating Set Problem...”
Få fuldtekst

Electronisk eBog

16

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...”
Få fuldtekst

Electronisk eBog

17

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...”
Få fuldtekst

Electronisk eBog

18

Electronic Engineering and Computing Technology

Udgivet 2010

Indholdsfortegnelse: “... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”
Få fuldtekst

Electronisk eBog

19

Innovations in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
Få fuldtekst

Electronisk eBog

20

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Engineering of Emergency and Process Shutdown Systems -- Combining Extended UML Models and Formal Methods...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning