Technologie financièreLa technologie financière (aussi dénommée fintech) désigne l'ensemble des nouvelles technologies dont l'objectif est d'améliorer l'accessibilité ou le fonctionnement des activités financières. Les innovations permettent, dans le secteur financier comme dans le secteur industriel, d'améliorer la productivité ou la sécurité des opérations. Les technologies financières (souvent appelées fintech, par contraction) visent à rendre le monde financier plus sûr et plus accessible.
Secteur financierLe secteur financier est secteur économique qui regroupe toutes les activités qui se rapportent à la finance. On l'appelle parfois . Le secteur financier comprend notamment le secteur bancaire et celui de l'assurance. Le secteur financier regroupe les différentes activités des établissements de crédit, dont les banques font partie. Ce secteur est présent dans tous les pays du monde. En 2006, l'acteur le plus important était le groupe Citigroup, une entreprise américaine.
Contrat en droit suisseUn contrat en droit suisse est défini par l'article 1, alinéa premier du Code des obligations : « Le contrat est parfait lorsque les parties ont, réciproquement et d'une manière concordante, manifesté leur volonté ». Comme dans de nombreux pays de tradition juridique romano-civiliste, le contrat en droit suisse est l'échange d'au moins deux manifestations de volonté, appelées l'offre et l'acceptation, par lesquelles les parties décident de produire un effet juridique. Le contrat est donc un acte juridique bilatéral ou multilatéral.
Gestion d'actifsLa gestion d'actifs (ou gestion de portefeuille), aussi connu sous son nom anglais asset management, est une activité financière qui consiste à gérer des capitaux, ou bien détenus en propre (capital propre) ou bien confié par un investisseur. L'objectif de la gestion d'actifs est de dégager le meilleur rendement possible en fonction d'un niveau de risque choisi. La gestion d'actif fait référence, au sens large, à toute pratique qui consiste en la mise en oeuvre de stratégies pour faire fructifier des titres financiers (des actifs).
Financial managementFinancial management is the business function concerned with profitability, expenses, cash and credit, so that the "organization may have the means to carry out its objective as satisfactorily as possible;" the latter often defined as maximizing the value of the firm for stockholders. The discipline is then tasked with the "efficient acquisition and deployment" of both short- and long-term financial resources, to ensure the objectives of the enterprise are achieved.
Organisation autonome décentraliséeUne organisation autonome décentralisée ou DAO (de l’anglais decentralized autonomous organization) est une organisation qui se fixe une mission et qui fonctionne grâce à un ensemble de smart contracts permettant d'établir et de fournir des règles de gouvernance à une organisation. Ces règles sont transparentes et immuables car inscrites dans un réseau blockchain, une technologie de stockage et de transmission d’informations, transparente, sécurisée, et fonctionnant sans organe central de contrôle.
Évaluation immobilièreRéaliser une évaluation immobilière consiste à apprécier la valeur à laquelle un bien immobilier est vendable. Opinion motivée sur la valeur d'un immeuble, pour une fin particulière, à une date donnée. Plusieurs raisons peuvent inciter à estimer la valeur d'un immeuble : préparer une mutation (transaction), financer ou refinancer l'immeuble, effectuer les actes de gestion (assurer l'immeuble en valeur à neuf, faire le point de la valeur de ses propres biens dans le cadre d'une saine gestion, déterminer la valeur locative, i.
Decentralized applicationA decentralised application (DApp, dApp, Dapp, or dapp) is an application that can operate autonomously, typically through the use of smart contracts, that run on a decentralized computing, blockchain or other distributed ledger system. Like traditional applications, DApps provide some function or utility to its users. However, unlike traditional applications, DApps operate without human intervention and are not owned by any one entity, rather DApps distribute tokens that represent ownership.
CryptoKittiesCryptoKitties est un jeu en ligne et DApp qui permet aux joueurs d'acheter et de vendre ainsi que de collecter et d'élever différents types de chats virtuels. Il utilise la blockchain Ethereum, et les chats virtuels sont négociés en échange d'Ether la crypto-monnaie native de la blockchain Ethereum. Le jeu est de la société canadienne Axiom Zen ou Animoca Brands et peut être joué depuis le . Le jeu vidéo de CryptoKitties est le premier à être développé sur la blockchain Ethereum à connaître un succès important.
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.
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.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
