Procedural knowledgeProcedural knowledge (also known as knowing-how, and sometimes referred to as practical knowledge, imperative knowledge, or performative knowledge) is the knowledge exercised in the performance of some task. Unlike descriptive knowledge (also known as declarative knowledge, propositional knowledge or "knowing-that"), which involves knowledge of specific facts or propositions (e.g. "I know that snow is white"), procedural knowledge involves one's ability to do something (e.g. "I know how to change a flat tire").
UnderstandingUnderstanding is a cognitive process related to an abstract or physical object, such as a person, situation, or message whereby one is able to use concepts to model that object. Understanding is a relation between the knower and an object of understanding. Understanding implies abilities and dispositions with respect to an object of knowledge that are sufficient to support intelligent behavior. Understanding is often, though not always, related to learning concepts, and sometimes also the theory or theories associated with those concepts.
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.
AnalysisAnalysis (: analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (384–322 B.C.), though analysis as a formal concept is a relatively recent development. The word comes from the Ancient Greek ἀνάλυσις (analysis, "a breaking-up" or "an untying;" from ana- "up, throughout" and lysis "a loosening"). From it also comes the word's plural, analyses.
Peace movementA peace movement is a social movement which seeks to achieve ideals such as the ending of a particular war (or wars) or minimizing inter-human violence in a particular place or situation. They are often linked to the goal of achieving world peace. Some of the methods used to achieve these goals include advocacy of pacifism, nonviolent resistance, diplomacy, boycotts, peace camps, ethical consumerism, supporting anti-war political candidates, supporting legislation to remove profits from government contracts to the military–industrial complex, banning guns, creating tools for open government and transparency, direct democracy, supporting whistleblowers who expose war crimes or conspiracies to create wars, demonstrations, and political lobbying.
ResearchResearch is "creative and systematic work undertaken to increase the stock of knowledge". It involves the collection, organization and analysis of evidence to increase understanding of a topic, characterized by a particular attentiveness to controlling sources of bias and error. These activities are characterized by accounting and controlling for biases. A research project may be an expansion on past work in the field. To test the validity of instruments, procedures, or experiments, research may replicate elements of prior projects or the project as a whole.
Structural violenceStructural violence is a form of violence wherein some social structure or social institution may harm people by preventing them from meeting their basic needs. The term was coined by Norwegian sociologist Johan Galtung, who introduced it in his 1969 article "Violence, Peace, and Peace Research". Some examples of structural violence as proposed by Galtung include institutionalized racism, sexism, and classism, among others.
Structural mechanicsStructural mechanics or mechanics of structures is the computation of deformations, deflections, and internal forces or stresses (stress equivalents) within structures, either for design or for performance evaluation of existing structures. It is one subset of structural analysis. Structural mechanics analysis needs input data such as structural loads, the structure's geometric representation and support conditions, and the materials' properties. Output quantities may include support reactions, stresses and displacements.
IdentifierAn identifier is a name that identifies (that is, labels the identity of) either a unique object or a unique class of objects, where the "object" or class may be an idea, physical countable object (or class thereof), or physical noncountable substance (or class thereof). The abbreviation Id often refers to identity, identification (the process of identifying), or an identifier (that is, an instance of identification). An identifier may be a word, number, letter, symbol, or any combination of those.
Religious violenceReligious violence covers phenomena in which religion is either the subject or the object of violent behavior. All the religions of the world contain narratives, symbols, and metaphors of violence and war. Religious violence is violence that is motivated by, or in reaction to, religious precepts, texts, or the doctrines of a target or an attacker. It includes violence against religious institutions, people, objects, or events.
InterviewAn interview is a structured conversation where one participant asks questions, and the other provides answers. In common parlance, the word "interview" refers to a one-on-one conversation between an interviewer and an interviewee. The interviewer asks questions to which the interviewee responds, usually providing information. That information may be used or provided to other audiences immediately or later.
WomanA woman is an adult female human. Prior to adulthood, a female human is referred to as a girl (a female child or adolescent). The plural women is sometimes used in certain phrases such as "women's rights" to denote female humans regardless of age. Typically, women inherit a pair of X chromosomes, one from each parent, and are capable of pregnancy and giving birth from puberty until menopause. More generally, sex differentiation of the female fetus is governed by the lack of a present, or functioning, SRY-gene on either one of the respective sex chromosomes.
