Exécution par arme à feuvignette|Exécution de partisans soviétiques par l'armée allemande durant la Seconde Guerre mondiale (septembre 1941). Le peloton d'exécution est une méthode d'exécution principalement utilisée par les armées. vignette|gauche|Reconstitution de l'exécution d'insurgés cubains durant la guerre hispano-américaine, par Thomas Edison avec des acteurs en 1898. Le condamné à mort est placé face aux tireurs, à une distance qui varie selon les codes militaires ou parfois selon les dispositions ou la volonté du gradé ou de l'autorité qui commande ou ordonne l'exécution.
FinalizerIn computer science, a finalizer or finalize method is a special method that performs finalization, generally some form of cleanup. A finalizer is executed during object destruction, prior to the object being deallocated, and is complementary to an initializer, which is executed during object creation, following allocation. Finalizers are strongly discouraged by some, due to difficulty in proper use and the complexity they add, and alternatives are suggested instead, mainly the dispose pattern (see problems with finalizers).
Régression logicielleA software regression is a type of software bug where a feature that has worked before stops working. This may happen after changes are applied to the software's source code, including the addition of new features and bug fixes. They may also be introduced by changes to the environment in which the software is running, such as system upgrades, system patching or a change to daylight saving time. A software performance regression is a situation where the software still functions correctly, but performs more slowly or uses more memory or resources than before.
Analog recordingAnalog recording is a category of techniques used for the recording of analog signals. This enables later playback of the recorded analog audio. Analog audio recording began with mechanical systems such as the phonautograph and phonograph. Later, electronic techniques such as wire and tape recording were developed. Analog recording methods store analog signals directly in or on the media. The signal may be stored as a physical texture on a phonograph record, or a fluctuation in the field strength of a magnetic recording.
Exécution sommairevignette|Tres de mayo est un tableau de Goya illustrant les exécutions sommaires du 3 Mai 1808 Une exécution sommaire (ou extrajudiciaire, bien que l'expression exécution extrajudiciaire ait aussi un sens différent) est un type d'homicide dans lequel un prisonnier, accusé ou suspect d'activités criminelles ou subversives, est tué, souvent sur le lieu et au moment de sa capture, après avoir été arrêté et fait prisonnier au préalable.
Peine de mort aux États-Unisvignette|upright=1.5|Une salle d'exécution par injection létale située dans la prison d’État de San Quentin, en Californie. La peine de mort aux États-Unis est appliquée au niveau fédéral, par la justice militaire ainsi que dans vingt-six des cinquante États fédérés que compte le pays. Aujourd'hui, les États-Unis font partie du cercle restreint des démocraties libérales qui appliquent la peine de mort.
Chaise électriquevignette|La première chaise électrique, qui a été utilisée pour exécuter William Kemmler en 1890. La chaise électrique est un instrument d'application de la peine de mort par électrocution, inventé et utilisé aux États-Unis (et aussi aux Philippines par le passé). Elle a été mise au point à la fin des années 1880 par l'ingénieur électricien Harold P. Brown et le dentiste à la demande de Thomas Edison (afin de discréditer le courant alternatif par rapport au continu dans le cadre de la guerre des courants), alors que les États-Unis cherchaient une alternative moins cruelle et plus efficace à la pendaison.
SubstringIn formal language theory and computer science, a substring is a contiguous sequence of characters within a string. For instance, "the best of" is a substring of "It was the best of times". In contrast, "Itwastimes" is a subsequence of "It was the best of times", but not a substring. Prefixes and suffixes are special cases of substrings. A prefix of a string is a substring of that occurs at the beginning of ; likewise, a suffix of a string is a substring that occurs at the end of .
IndéterminismeL'indéterminisme est la théorie épistémologique opposée au déterminisme. Elle nie donc le fait que tout événement soit prévisible en vertu d'une loi physique ou mathématique. Cette théorie semble avoir trouvé une confirmation éclatante avec le principe d'incertitude d'Heisenberg sur le cas spécifique des particules élémentaires ; reste à la démontrer pour l'ensemble du macrocosme. L'indéterminisme a trouvé en Karl Popper un ardent défenseur surtout dans l'éthique, notamment dans son ouvrage The Open Universe : An Argument for Indeterminism (1982).
Construction par sous-ensemblesEn informatique théorique, et notamment en théorie des automates, l'algorithme appelé la construction par sous-ensembles, en anglais « powerset construction » ou « subset construction », est la méthode usuelle pour convertir un automate fini non déterministe (abrégé en « AFN ») en un automate fini déterministe (abrégé en « AFD ») équivalent, c'est-à-dire qui reconnaît le même langage rationnel. L'existence même d'une conversion, et l'existence d'un algorithme pour la réaliser, est remarquable et utile.
