Formal methodsIn computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
Change detectionIn statistical analysis, change detection or change point detection tries to identify times when the probability distribution of a stochastic process or time series changes. In general the problem concerns both detecting whether or not a change has occurred, or whether several changes might have occurred, and identifying the times of any such changes. Specific applications, like step detection and edge detection, may be concerned with changes in the mean, variance, correlation, or spectral density of the process.
Optical character recognitionOptical character recognition or optical character reader (OCR) is the electronic or mechanical conversion of s of typed, handwritten or printed text into machine-encoded text, whether from a scanned document, a photo of a document, a scene photo (for example the text on signs and billboards in a landscape photo) or from subtitle text superimposed on an image (for example: from a television broadcast).
Intrusion detection systemAn intrusion detection system (IDS; also intrusion prevention system or IPS) is a device or software application that monitors a network or systems for malicious activity or policy violations. Any intrusion activity or violation is typically reported either to an administrator or collected centrally using a security information and event management (SIEM) system. A SIEM system combines outputs from multiple sources and uses alarm filtering techniques to distinguish malicious activity from false alarms.
Art therapyArt therapy (not to be confused with arts therapy, which includes other creative therapies such as drama therapy and music therapy) is a distinct discipline that incorporates creative methods of expression through visual art media. Art therapy, as a creative arts therapy profession, originated in the fields of art and psychotherapy and may vary in definition. There are three main ways that art therapy is employed. The first one is called analytic art therapy.
Feminist artFeminist art is a category of art associated with the late 1960s and 1970s feminist movement. Feminist art highlights the societal and political differences women experience in their lives. The hopeful gain from this form of art is to bring a positive and understanding change to the world, in hope to lead to equality or liberation. Media used range from traditional art forms such as painting to more unorthodox methods such as performance art, conceptual art, body art, craftivism, video, film, and fiber art.
Error detection and correctionIn information theory and coding theory with applications in computer science and telecommunication, error detection and correction (EDAC) or error control are techniques that enable reliable delivery of digital data over unreliable communication channels. Many communication channels are subject to channel noise, and thus errors may be introduced during transmission from the source to a receiver. Error detection techniques allow detecting such errors, while error correction enables reconstruction of the original data in many cases.
Business method patentBusiness method patents are a class of patents which disclose and claim new methods of doing business. This includes new types of e-commerce, insurance, banking and tax compliance etc. Business method patents are a relatively new species of patent and there have been several reviews investigating the appropriateness of patenting business methods. Nonetheless, they have become important assets for both independent inventors and major corporations.
Plain textIn computing, plain text is a loose term for data (e.g. file contents) that represent only characters of readable material but not its graphical representation nor other objects (floating-point numbers, images, etc.). It may also include a limited number of "whitespace" characters that affect simple arrangement of text, such as spaces, line breaks, or tabulation characters.