Amanote Research

Amanote Research

    RegisterSign In

Effective Bug Hunting With Spin and Modex

Lecture Notes in Computer Science - Germany
doi 10.1007/11537328_3
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2005

Authors
Gerard J. HolzmannTheo C. Ruys
Publisher

Springer Berlin Heidelberg


Related search

LibReplay: Deterministic Replay for Bug Hunting in Sensor Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Effective-One-Body Hamiltonian With Next-To-Leading Order Spin-Spin Coupling

Physical Review D
2015English

A Technique to Combine Feature Selection With Instance Selection for Effective Bug Triage

International Journal of Science and Research (IJSR)
2015English

Effective Anisotropic Interactions in Spin Pairs Containing High-Spin Ions With Large Zero-Field Splitting

English

Effective Spin-Orbit Couplings in an Analytical Tight-Binding Model of DNA: Spin Filtering and Chiral Spin Transport

Physical Review B
OpticalElectronicCondensed Matter PhysicsMagnetic Materials
2016English

Mine Hunting With Drones

Information & Security: An International Journal
2004English

Quantum Tunneling in Ferromagnetic Nanoparticles Interacting With a Spin Thermostat: Effective Hamiltonian

JETP Letters
AstronomyPhysics
1998English

Radiation Reaction for Spinning Bodies in Effective Field Theory. II. Spin-Spin Effects

Physical Review D
AstronomyPhysics
2017English

Hunting for New Drugs With AI

Nature
Multidisciplinary
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy