Search Results - problems method program implementation https https

1

Problems and monitoring in implementation of guidance and counseling programs at school

by Mustika, Humaira, Firman, Firman, S, Neviyarni, Che Amat, Muhammad Asyraf
Published 2023

“... reinforcement to find out the benefits of the program and the implementation of guidance and counseling...”

Article

2

The Boundary Element Method with Programming For Engineers and Scientists /

by Beer, Gernot., Beer, Gernot., Smith, Ian., Duenser, Christian.
Published 2008

Table of Contents: “... and Fundamental Solutions -- Boundary Integral Equations -- Boundary Element Methods — Numerical Implementation...”
View full text

Electronic eBook

3

Implementing Models in Quantitative Finance: Methods and Cases

by Fusai, Gianluca., Fusai, Gianluca., Roncoroni, Andrea.
Published 2008

Table of Contents: “...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
View full text

Electronic eBook

4

Implementation and Application of Automata 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers /

Published 2007

Table of Contents: “... -- An Implementation of Deterministic Tree Automata Minimization -- Accelerating Boyer Moore Searches on Binary Texts...”
View full text

Electronic eBook

5

An Introduction to Programming and Numerical Methods in MATLAB

by Otto, Steve., Otto, Steve., Denier, James P.
Published 2005

Subjects: “...Computational Mathematics and Numerical Analysis. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

6

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work...

Published 2007

Table of Contents: “...High Performance Implementation of an FPGA-Based Sequential DT-CNN -- HANNA: A Tool for Hardware...”
View full text

Electronic eBook

7

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2012

Subjects: “...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”
View full text

Electronic eBook

8

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming

by Nowak, Ivo., Nowak, Ivo.
Published 2005

Table of Contents: “...Basic Concepts -- Problem Formulations -- Convex and Lagrangian Relaxations -- Decomposition...”
View full text

Electronic eBook

9

Parallel Problem Solving from Nature - PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings /

Published 2008

Table of Contents: “... Methods -- Applications....”
View full text

Electronic eBook

10

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods...

Published 2010

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

Electronic eBook

11

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /

Published 2008

Table of Contents: “... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”
View full text

Electronic eBook

12

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “...Session 1. Invited Talks -- Aspects and Formal Methods -- Getting Formal Verification into Design...”
View full text

Electronic eBook

13

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

14

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Published 2015

Table of Contents: “... Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries...”
View full text

Electronic eBook

15

A Multiple-Testing Approach to the Multivariate Behrens-Fisher Problem with Simulations and Examples in SAS® /

by Desai, Tejas., Desai, Tejas.
Published 2013

Subjects: “...Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes...”
View full text

Electronic eBook

16

Automatic Differentiation: Applications, Theory, and Implementations

Published 2006

Table of Contents: “... -- Application of AD-based Quasi-Newton Methods to Stiff ODEs -- Reduction of Storage Requirement...”
View full text

Electronic eBook

17

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

Published 2015

Table of Contents: “... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...”
View full text

Electronic eBook

18

Distributed Programming Theory and Practice /

by Shankar, A. Udaya., Shankar, A. Udaya.
Published 2013

Table of Contents: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text

Electronic eBook

19

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures /

Published 2006

Table of Contents: “...++ Programs -- Algebraic Methods -- Beyond Bisimulation: The “up-to” Techniques -- Separation Results Via...”
View full text

Electronic eBook

20

Linear Programming Foundations and Extensions /

by Vanderbei, Robert J., Vanderbei, Robert J.
Published 2014

Table of Contents: “... Theory -- The Simplex Method in Matrix Notation -- Sensitivity and Parametric Analyses -- Implementation...”
View full text

Electronic eBook

Narrow Search