Intellectual property organizationIntellectual property organizations are organizations that are focused on copyrights, trademarks, patents, or other intellectual property law concepts. This includes international intergovernmental organizations that foster governmental cooperation in the area of copyrights, trademarks and patents (such as organizations based on or founded by treaty), as well as non-governmental, non-profit organizations, lobbying organizations, think tanks, notable committees, and professional associations.
Person having ordinary skill in the artA person having ordinary skill in the art (abbreviated PHOSITA), a person of (ordinary) skill in the art (POSITA or PSITA), a person skilled in the art, a skilled addressee or simply a skilled person is a legal fiction found in many patent laws throughout the world. This hypothetical person is considered to have the normal skills and knowledge in a particular technical field (an "art"), without being a genius. The person mainly serves as a reference for determining, or at least evaluating, whether an invention is non-obvious or not (in U.
Search engineA search engine is a software system that finds web pages that match a web search. They search the World Wide Web in a systematic way for particular information specified in a textual web search query. The search results are generally presented in a line of results, often referred to as search engine results pages (SERPs). The information may be a mix of hyperlinks to web pages, images, videos, infographics, articles, and other types of files. Some search engines also mine data available in databases or open directories.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Patent attorneyA patent attorney is an attorney who has the specialized qualifications necessary for representing clients in obtaining patents and acting in all matters and procedures relating to patent law and practice, such as filing patent applications and oppositions to granted patents. The term "patent attorney" is used differently in different countries and thus may or may not require the same legal qualifications as a general legal practitioner. The titles patent agent and patent lawyer are also used in some jurisdictions.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Yahoo! SearchYahoo! Search is a Yahoo! internet search provider that uses Microsoft's Bing search engine to power results, since 2009, apart from four years with Google from 2015 until the end of 2018. Originally, "Yahoo! Search" referred to a Yahoo!-provided interface that sent queries to a searchable index of pages supplemented with its directory of websites. The results were presented to the user under the Yahoo! brand. Originally, none of the actual web crawling and data housing was done by Yahoo! itself.
InventionAn invention is a unique or novel device, method, composition, idea or process. An invention may be an improvement upon a machine, product, or process for increasing efficiency or lowering cost. It may also be an entirely new concept. If an idea is unique enough either as a stand alone invention or as a significant improvement over the work of others, it can be patented. A patent, if granted, gives the inventor a proprietary interest in the patent over a specific period of time, which can be licensed for financial gain.
Type inferenceType inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. Types in a most general view can be associated to a designated use suggesting and restricting the activities possible for an object of that type. Many nouns in language specify such uses. For instance, the word leash indicates a different use than the word line.
Data typeIn computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these values as machine types. A data type specification in a program constrains the possible values that an expression, such as a variable or a function call, might take. On literal data, it tells the compiler or interpreter how the programmer intends to use the data.
Patent trollIn international law and business, patent trolling or patent hoarding is a categorical or pejorative term applied to a person or company that attempts to enforce patent rights against accused infringers far beyond the patent's actual value or contribution to the prior art, often through hardball legal tactics (frivolous litigation, vexatious litigation, strategic lawsuits against public participation (SLAPP), chilling effects, and the like). Patent trolls often do not manufacture products or supply services based upon the patents in question.
