Voter suppressionVoter suppression is a strategy used to influence the outcome of an election by discouraging or preventing specific groups of people from voting. It is distinguished from political campaigning in that campaigning attempts to change likely voting behavior by changing the opinions of potential voters through persuasion and organization, activating otherwise inactive voters, or registering new supporters. Voter suppression, instead, attempts to gain an advantage by reducing the turnout of certain voters.
Electoral reformElectoral reform is a change in electoral systems which alters how public desires are expressed in election results. Reforms can include changes to: Voting systems, such as proportional representation, a two-round system (runoff voting), instant-runoff voting (alternative voting, ranked-choice voting, or preferential voting), Instant Round Robin Voting called Condorcet Voting, range voting, approval voting, citizen initiatives and referendums and recall elections.
Complementary metal oxide semi-conductorvignette|Vue en coupe d'un transistor MOS On appelle CMOS, ou Complementary Metal Oxide Semiconductor, une technologie de fabrication de composants électroniques et, par extension, les composants fabriqués selon cette technologie. Ce sont pour la plupart des circuits logiques (NAND, NOR) comme ceux de la famille Transistor-Transistor logic (TTL) mais, à la différence de ces derniers, ils peuvent être aussi utilisés comme résistance variable.
Circuit designThe process of circuit design can cover systems ranging from complex electronic systems down to the individual transistors within an integrated circuit. One person can often do the design process without needing a planned or structured design process for simple circuits. Still, teams of designers following a systematic approach with intelligently guided computer simulation are becoming increasingly common for more complex designs.
Voter-verified paper audit trailVoter verifiable paper audit trail (VVPAT) or verified paper record (VPR) is a method of providing feedback to voters using a ballotless voting system. A VVPAT is intended as an independent verification system for voting machines designed to allow voters to verify that their vote was cast correctly, to detect possible election fraud or malfunction, and to provide a means to audit the stored electronic results. It contains the name of the candidate (for whom vote has been cast) and symbol of the party/individual candidate.
Circuit RLCEn électrocinétique, un circuit RLC est un circuit linéaire contenant une résistance électrique, une bobine (inductance) et un condensateur (capacité). Il existe deux types de circuits RLC, série ou parallèle selon l'interconnexion des trois types de composants. Le comportement d'un circuit RLC est généralement décrit par une équation différentielle du second ordre (là où des circuits RL ou circuits RC se comportent comme des circuits du premier ordre).
Topologie (circuits électriques)La topologie d'un circuit électronique est la forme prise par le réseau d'interconnexions des composantes du circuit. Des valeurs différentes des composantes sont considérées comme formant la même topologie. La topologie ne se préoccupe pas de la disposition physique des composantes d'un circuit, ni de leur position sur un schéma électrique (diagramme de circuit). Similairement au concept mathématique de topologie, elle ne se préoccupe que des connexions qui existent entre les composantes.
Informatique théoriquevignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
Circuit booléenvignette|Exemple circuit booléen à deux entrées et une sortie. Le circuit contient 3 portes logique. En théorie de la complexité, un circuit booléen est un modèle de calcul constitué de portes logiques (fonctions logiques) reliées entre elles. C'est une façon de représenter une fonction booléenne. Un circuit booléen peut être utilisé pour reconnaître un langage formel, c'est-à-dire décider si un mot appartient ou non à un langage particulier. Les caractéristiques des circuits qui reconnaissent un langage permettent de définir (ou redéfinir) des classes de complexité.
Nanoélectroniquevignette|Structure d'un transistor FinFET La nanoélectronique fait référence à l'utilisation des nanotechnologies dans la conception des composants électroniques, tels que les transistors. Bien que le terme de nanotechnologie soit généralement utilisé pour des technologies dont la taille est inférieure à environ , la nanoélectronique concerne des composants si petits qu'il est nécessaire de prendre en compte les interactions interatomiques et les phénomènes quantiques.
