Latest Publications & Patents on Signal Processing

The repeatability limit, \(r\), is a critical value derived from the repeatability standard deviation (\(s_r\)). It represents the maximum expected absolute difference between two single test results, obtained under repeatability conditions, with a 95% probability. It is commonly calculated as \(r = 2.8 \times s_r\). If the difference exceeds \(r\), the results are considered suspect.

The Spiral Model is a risk-driven software development process model that combines elements of both prototyping and the waterfall model. It is a type of iterative development where the project passes through four phases in each iteration (spiral): determine objectives, identify and resolve risks, develop and test, and plan the next iteration. It emphasizes continuous risk analysis.

Signal detection is the process of identifying potential causal relationships between a drug and an adverse event from large datasets, typically spontaneous reporting systems. It uses statistical methods, known as disproportionality analysis, to find drug-event combinations reported more frequently than expected. A common measure is the Reporting Odds Ratio (ROR), a value greater than one suggesting a potential signal that requires further investigation.

Jakob Nielsen, a prominent usability consultant in UI and webdesign mainly, defined usability through five quality components: Learnability (how easy is it for users to accomplish basic tasks the first time?), Efficiency (how quickly can they perform tasks once learned?), Memorability (can users reestablish proficiency after a period of not using it?), Errors (how many errors do users make?), and Satisfaction (how pleasant is it to use?).

The international standard ISO 9241-11 defines usability as the "extent to which a product can be used by specified users to achieve specified goals with effectiveness, efficiency and satisfaction in a specified context of use." This definition provides a framework for measuring usability by breaking it down into three distinct, quantifiable components, moving beyond purely subjective assessments.

Formal verification is the use of mathematical methods to prove or disprove the correctness of a system's design with respect to a formal specification. Unlike testing, which can only show the presence of bugs for specific inputs, formal verification can prove their absence for all possible inputs. It involves creating a formal model of the system and using techniques like model checking or theorem proving.

BFT (acronym of Byzantine Fault Tolerance) is a property of a system that allows it to continue operating correctly and reach consensus even if some of its components fail in arbitrary, unpredictable ways, including malicious behavior (Byzantine failures). This is a much stronger guarantee than tolerating simple crash failures. It requires a minimum of \(3f+1\) total components to tolerate \(f\) faulty, malicious components.

RAID (acronym of Redundant Array of Independent Disks) is a data storage virtualization technology that combines multiple physical disk drives into one or more logical units for data redundancy, performance improvement, or both. Different RAID levels provide varying balances of reliability, availability, performance, and capacity. For example, RAID 1 mirrors data across two disks, while RAID 5 stripes data and parity across at least three disks.

Agile project management is an iterative approach to delivering a project throughout its life cycle. It breaks down large projects into smaller, manageable tasks completed in short iterations or 'sprints.' This allows for frequent reassessment, adaptation of plans, and flexibility in response to change. It prioritizes customer collaboration, working software, and responding to change over comprehensive documentation and rigid plans.