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.
Conseil en propriété industrielleEn France, la profession de Conseil en propriété industrielle (CPI) est une profession règlementée par le livre IV du Code de la propriété intellectuelle, qui possède la capacité de représenter ses clients auprès de l'INPI en vue du dépôt et du suivi des droits de propriété industrielle et droits annexes, ainsi que la capacité de produire des consultations juridiques et des actes sous sein privé dans ce domaine. Les droits de propriété industrielle principaux sont les brevets d'invention et les marques de produits ou de services.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
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.
Invention (technique)Une invention est une méthode, une technique, un moyen nouveau par lequel il est possible de résoudre un problème pratique donné. Une invention est une création nouvelle. Elle est, en général, reconnue par la délivrance d'un brevet d'invention. On ne dépose pas un brevet, mais une demande de brevet. Le concept d'invention est très proche de celui d'innovation, mais distinct : une innovation est construite sur une invention, mais toute invention ne donne pas lieu à une innovation.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Patent trollUn patent troll (en français « troll des brevets », ou plus rarement « chasseur de brevets ») est, dans le domaine de la propriété intellectuelle et plus précisément dans celui de la concession de licences (licensing), une société ou une personne physique qui utilise la concession de licence et le litige de brevets comme principale activité économique. Cette notion fait aujourd'hui l'objet de nombreux articles universitaires, ce qui s'accompagne d'un usage de plus en plus fréquent par les cours de justice.
