Inhaltsangabe: “… Introduction -- Data Types and Lexical Conventions -- Grammar and Semantics.- Tutorial Programs -- The POEM Software Platform -- Modeling and Solving -- Industrial Applications -- Relaxation and Decomposition.-. …”
Click to view e-book

Inhaltsangabe: “… MATLAB tutorial -- Mathematics and statistics tutorial -- Programming tutorial : principles and best practices -- Visualization and documentation tutorial -- Collecting reaction times I : visual search and pop out -- Collecting reaction times II : attention -- Psychophysics -- Psychophysics with GUIs -- Signal detection theory -- Frequency analysis part I : Fourier decomposition -- Frequency analysis part II : nonstationary signals and spectograms -- Wavelets -- Introduction to phase plane analysis -- Exploring the Figzhugh-Nagumo model -- Convolution -- Neural data analysis I : encoding -- Neural data analysis II : binned spike data -- Principal components analysis -- Information theory -- Neural decoding part I : discrete variables -- Neural decoding part II : continuous variables -- Local field potentials -- Functional magnetic imaging -- Voltage-gated ion channels -- Synaptic transmission -- Modeling a single neuron -- Models of the retina -- SImplified model of spiking neurons -- Fitzhugh-Nagumo model : traveling waves -- Decision theory lab -- Markov models -- Modeling spike trains as a Poisson process -- Exploring the Wilson-Cowan equations -- Neural networks as forest fires : stochastic neurodynamics -- Neural networks lab I : unsupervised learing -- Neural network lab II : supervised learning. …”
Click for online access

Click for online access

Inhaltsangabe: “… Rapid character animation in Maya for porting to 3DGS (3DGameStudio) using video tutorials. Programming in 3DGS to compare the relative efficacies of different approaches to teaching estimation for school-age children in a HCI course.  …”
Click for online access

Inhaltsangabe: “… -- Compositional Performance Analysis Using Probabilistic I/O Automata -- Formal Models for Communication-Based Design -- Invited Tutorials -- Programming Access Control: The Klaim Experience -- Exploiting Hierarchical Structure for Efficient Formal Verification -- From Process Calculi to Process Frameworks -- Verification Using Tabled Logic Programming -- Accepted Papers -- Open Systems in Reactive Environments: Control and Synthesis -- Model Checking with Finite Complete Prefixes Is PSPACE-Complete -- Verifying Quantitative Properties of Continuous Probabilistic Timed Automata -- The Impressive Power of Stopwatches -- Optimizing Büchi Automata -- Generalized Model Checking: Reasoning about Partial State Spaces -- Reachability Analysis for Some Models of Infinite-State Transition Systems -- Process Spaces -- Failure Semantics for the Exchange of Information in Multi-Agent Systems -- Proof-Outlines for Threads in Java -- Deriving Bisimulation Congruences for Reactive Systems -- Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic -- Process Languages for Rooted Eager Bisimulation -- Action Contraction -- A Theory of Testing for Markovian Processes -- Reasoning about Probabilistic Lossy Channel Systems -- Weak Bisimulation for Probabilistic Systems -- Nondeterminism and Probabilistic Choice: Obeying the Laws -- Secrecy and Group Creation -- On the Reachability Problem in Cryptographic Protocols -- Secure Information Flow for Concurrent Processes -- LP Deadlock Checking Using Partial Order Dependencies -- Pomsets for Local Trace Languages -- Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs -- The Control of Synchronous Systems -- Typing Non-uniform Concurrent Objects -- An Implicitly-Typed Deadlock-Free Process Calculus -- Typed Mobile Objects -- Synthesizing Distributed Finite-State Systems from MSCs -- Emptiness Is Decidable for Asynchronous Cellular Machines -- Revisiting Safety and Liveness in the Context of Failures -- Well-Abstracted Transition Systems -- A Unifying Approach to Data-Independence -- Chi Calculus with Mismatch. …”
Click to view e-book

Click for online access

Inhaltsangabe: “… A Preliminary Case for Superbugs -- Free/Open Services: Conceptualization, Classification, and Commercialization -- Surveying Industrial Roles in Open Source Software Development -- Guiding the Discovery of Open Source Software Processes with a Reference Model -- Effect of Coupling on Defect Proneness in Evolutionary Open-Source Software Development -- The Use of Open Source Software in Enterprise Distributed Computing Environments -- Shared Assumption Concerning Technical Determination in Apache Web Server Developer Community -- Learning Through Practical Involvement in the OSS Ecosystem: Experiences from a Masters Assignment -- Release Management in Free Software Projects: Practices and Problems -- Context-Dependent Evaluation Methodology for Open Source Software -- Benefits and Drawbacks of Open Source Software: An Exploratory Study of Secondary Software Firms -- Introducing Usability Practices to OSS: The Insiders’ Experience -- Perceptions on F/OSS Adoption -- Open Source Software and Open Data Standards as a form of Technology Adoption: a Case Study -- Free/Open Source Software Adoption, Public Policies and Development Indicators: An International Comparison -- Levels of Formality in FOSS Communities -- Stakeholder value, usage, needs and obligations from differnet types of F/LOSS licenses -- Panels -- to Panel Discussions at the Third International Conference on Open Source Systems — OSS 2007 -- Legal issues for free and open source software in government -- Data and analyses sharing to support research on free/libre open source software -- Tutorials -- to OSS 2007 Tutorial Program -- How to Gather FLOSS Metrics -- EDOS-Tools Tutorial: EDOS Tools for Linux Distributions Dependencies Management and Quality Assurance -- Quality Specification, Testing and Certification of Bespoken, Open Source and Commercial Off-The-Shelf Systems -- Workshops -- to Workshops at the Third International Conference on Open Source Systems — OSS 2007 -- 1st International Workshop on Trust in Open Source Software (TOSS) -- Open Source Software and Product Lines 2007 -- Toward a New Industrial Organization?  …”
Click to view e-book

Inhaltsangabe: “… An extension for a teacher's apprentice -- The program tutoring text model -- Un modèle de représentation du curriculum dans un STI -- A process-sensitive learning environment architecture -- A learning environment for the surgical intensive care unit -- A new way for visual reasoning in geometry education -- Example explanation in learning environments -- Toward a learning environment allowing learner-directed problem practice -- Focusing problem solving in design-centered learning environments -- Une utilisation de la modélisation qualitative pour la planification pédagogique -- Towards design learning environments — I: Exploring how devices work -- Un modèle de simulation basée sur une représentation de type “objets — règles” pour l'enseignement des métiers de ventes -- Generic approaches in developing practical intelligent industrial training systems -- The transfusion medicine tutor: Using expert systems technology to teach domain-specific problem-solving skills -- Evaluation of a knowledge-based tutorial program in rheumatology — A part of a mandatory course in internal medicine -- Iterative development and validation of a simulation-based medical tutor -- WULPUS an intelligent problem solving environment delivering knowledge based help and explanations in business management simulation -- Using case-based reasoning for exercise design in simulation-based training -- Adaptive assessment using granularity hierarchies and bayesian nets -- Adaptive assessment and training using the neighbourhood of knowledge states -- SINT — a symbolic integration tutor -- A belief net backbone for student modelling -- Adaptation of problem presentation and feedback in an intelligent mathematics tutor -- Student and expert modelling for simulation-based training: A cost effective framework -- A programming learning system for beginners — A completion strategy approach -- Generating and revising hierarchical multi-turn text plans in an ITS -- Towards the design of more effective advisors for learning-by-doing systems -- Collaborative dialogue with a learning companion as a source of information on student reasoning -- Arguing with the Devil: Teaching in controversial Domains -- Learning by learning roles: A virtual role-playing environment for tutoring -- ITS-Engineering: A domain independent its for building engineering tutors. …”
Click to view e-book

Click for online access

Click to view e-book

Click for online access

Click to view e-book