Search Sciweavers | Sciweavers

152 search results - page 10 / 31

» A Tutorial on the Cross-Entropy Method

click to vote

IJBC
2008

60views more IJBC 2008»

Methods of the Qualitative Theory for the Hindmarsh-rose Model: a Case Study - a Tutorial

13 years 8 months ago

Download www2.gsu.edu

Andrey Shilnikov, Marina Kolomiets

claim paper

Read More »

click to vote

IADIS
2004

101views Internet Technology» more IADIS 2004»

Problem-Based Learning Method Simulation by PBL Virtual Environment

13 years 9 months ago

Download www.iadis.net

Problem Based Learning (PBL) is a new teaching-learning method originated from the changes that have occurred in the world economical basis and in the information and communicatio...

Hernane Borges de Barros Pereira, Gabriela Ribeiro...

claim paper

Read More »

click to vote

FMCO
2006
Springer

103views Formal Methods» more FMCO 2006»

Verifying Object-Oriented Programs with KeY: A Tutorial

14 years 1 days ago

Download www.uni-koblenz.de

This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä...

claim paper

Read More »

121

click to vote

Tutorial

5367views

An overview of the implementation of Level Set methods, including the use of the Narrow Band Method

15 years 7 months ago

Download www.daimi.au.dk

An easy to follow tutorial that covers the implementation details of the Narrow Band Level Set Method. It also covers the numerical approximation for PDEs governing different types...

Jonas Larsen, Thomas Greve Kristensen

posted by msabry

Read More »

click to vote

SAS
1999
Springer

113views Formal Methods» more SAS 1999»

Model-Checking: A Tutorial Introduction

14 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers