AI & ChatGPT searches , social queriess for EXPLICIT SUBSTITUTION
Search references for EXPLICIT SUBSTITUTION. Phrases containing EXPLICIT SUBSTITUTION
See searches and references containing EXPLICIT SUBSTITUTION!
Search references for EXPLICIT SUBSTITUTION. Phrases containing EXPLICIT SUBSTITUTION
See searches and references containing EXPLICIT SUBSTITUTION!EXPLICIT SUBSTITUTION
calculi are said to have explicit substitutions if they pay special attention to the formalization of the process of substitution. This is in contrast to
Explicit_substitution
Mathematical-logic system based on functions
evaluation of expressions in programming languages Explicit substitution – The theory of substitution, as used in β-reduction Harrop formula – A kind of
Lambda_calculus
Theoretical model of computation
is Xavier Leroy's ZINC abstract machine, which underlies OCaml.) Explicit substitution Operational semantics SECD machine Semantics of programming languages
Krivine_machine
Formal languages for expressing mathematical theories
adopted and/or reinvented in areas such as typed lambda calculus and explicit substitution. Dependent types is one outstanding example. Automath was also the
Automath
Mathematical relation consisting of a multi-variable function equal to zero
y is restricted to nonnegative values. Some equations do not admit an explicit solution. The implicit function theorem provides conditions under which
Implicit_function
Postulation about the significance of Christ's death
Penal substitution, also called penal substitutionary atonement and especially in older writings forensic theory, is a theory of the atonement within Protestant
Penal_substitution
Mathematical formalism
during substitution, an operation called capture-avoiding substitution. In programming languages with static scope, capture-avoiding substitution can be
Lambda_calculus_definition
System of formal deduction in logic
system uses a substitution rule and uses modus ponens as an inference rule. The exact same system was given (with an explicit substitution rule) by Alonzo
Hilbert_system
proper, specifically, within the framework of explicit substitution. Term rewrite system Explicit substitution Memoization Sinot, François-Régis; Fernández
Director_string
Algorithmic process of solving equations
V} . Then a substitution σ {\displaystyle \sigma } is subsumed by another substitution τ {\displaystyle \tau } if there is a substitution θ {\displaystyle
Unification (computer science)
Unification_(computer_science)
Applicative computing systems Anonymous recursion Evaluation strategy Explicit substitution SKI combinator calculus Unlambda Currying Caml Cousineau G., Curien
Categorical_abstract_machine
Logical formalism using combinators instead of variables
system Categorical abstract machine Combinatory categorial grammar Explicit substitution Fixed point combinator Graph reduction machine Lambda calculus and
Combinatory_logic
Variable that stores data about other variables or program structure
be substituted by different instances. Attempts to formalize the notion of metavariable result in some kind of type theory. Explicit substitution Hunter
Metavariable
Feature of some Unix shells
form of process substitution (=(cmd)) that uses a temporary file instead of a pipe. The fish shell added its own process substitution with yet another
Process_substitution
Alignment of more than two molecular sequences
much simpler substitution matrix, wherein only identical matches and mismatches are considered, is typical. The scores in the substitution matrix may be
Multiple_sequence_alignment
Theoretical computer model
{\displaystyle \lambda {\widehat {\rho }}} calculus — a calculus that uses explicit substitution — with a left-to-right applicative-order reduction strategy, and
CEK_Machine
Mild or indirect word or expression
A euphemism is the substitution of a potentially offensive or unpleasant word or expression with one that is more pleasant or inoffensive. Some euphemisms
Euphemism
Branch of logic
inference rule, as well as a rule of substitution, which permits replacing any well-formed formula with any substitution-instance of it. Alternatively, one
Propositional_logic
Bruijn notation has also been shown to be useful in calculi for explicit substitution in pure type systems. Mathematical notation De Bruijn, Nicolaas
De_Bruijn_notation
Replacing one player with another during a match
substitute or by a starter who is currently on the bench. Free substitution or rolling substitution is a rule in some sports that allows players to enter and
Substitution_(sport)
Sketch from the American television program "Key & Peele"
this reading, then, comes from making this assumed, implicitly white norm explicit and, in doing so, it asks Comedy Central's desired white audience to grapple
Substitute Teacher (Key & Peele)
Substitute_Teacher_(Key_&_Peele)
Matrix representing the frequency of evolution of a protein or nucleotide sequence
type of disruptive substitution is likely to be removed from populations by the action of purifying selection because the substitution has a higher likelihood
Substitution_matrix
Approach to finding numerical solutions of ordinary differential equations
differential equations (ODEs) with a given initial value. It is the most basic explicit method for numerical integration of ordinary differential equations and
Euler_method
Episodes of the American sitcom
appear in this episode. Alice states that Martha "has gone back east for a while", presumably to stay with George, although that is never explicitly said.
List of Dennis the Menace (1959 TV series) episodes
List_of_Dennis_the_Menace_(1959_TV_series)_episodes
Policy on permits required to enter the Kingdom of the Netherlands in the Caribbean
A common visa exists since the end of 2010 for the territories of Aruba, Curaçao, Sint Maarten (landen (English: countries) within the Kingdom) and the
Visa policy of the Kingdom of the Netherlands in the Caribbean
Visa_policy_of_the_Kingdom_of_the_Netherlands_in_the_Caribbean
Category of cloud computing
owner's consent. Certain open-source licenses such as GPL-2.0 do not explicitly grant rights permitting distribution as a SaaS product in Germany. In
Software_as_a_service
Measure of responsiveness of growth rate of consumption
In economics, elasticity of intertemporal substitution (or intertemporal elasticity of substitution, EIS, IES) is a measure of responsiveness of the growth
Elasticity of intertemporal substitution
Elasticity_of_intertemporal_substitution
Formula in calculus
evaluated. In integration, the counterpart to the chain rule is the substitution rule. Intuitively, the chain rule states that knowing the instantaneous
Chain_rule
Generalization of the concept from statistical mechanics
above defines the Fisher information metric can be readily seen by explicitly substituting for the expectation value: g i j ( β ) = ⟨ ( H i − ⟨ H i ⟩ ) (
Partition function (mathematics)
Partition_function_(mathematics)
Republic (Italian: presidente supplente della Repubblica) is an office not explicitly provided for in the Constitution but deriving from the provision contained
List_of_presidents_of_Italy
Monetary symbol used in many national currencies
world, including most currencies denominated "dollar" or "peso". The explicitly double-barred sign is called cifrão in the Portuguese language. The sign
Dollar_sign
sequences. Model-based methods like Maximum Likelihood also incorporate explicit substitution model. Understanding how Minimum evolution relate to these alternatives
Minimum_evolution
Long-range anti-ship cruise missile
The P-700 Granit (Russian: П-700 "Гранит"; English: granite) is a Soviet and Russian naval anti-ship cruise missile. Its GRAU designation is 3M45 and its
P-700_Granit
In general, exponentiation fails to be commutative
given by x = y . {\displaystyle x=y.} Nontrivial solutions can be written explicitly using the Lambert W function. The idea is to write the equation as a e
Equation_xy_=_yx
Replacement, insertion, or deletion of a single DNA or RNA nucleotide
to a high standard. There can also be replication errors that lead to substitution, insertion, or deletion mutations. In 1959 Ernst Freese coined the terms
Point_mutation
psilocybin, mescaline, DOM, 2C-B, 25I-NBOMe, MDA, and LSD among others, are explicitly controlled substances. In addition, most other psychedelic phenethylamines
Legal status of psychedelic drugs in Canada
Legal_status_of_psychedelic_drugs_in_Canada
Modification of the Euler method for solving Hamilton's equations
mathematics, the semi-implicit Euler method, also called symplectic Euler, semi-explicit Euler, Euler–Cromer, and Newton–Størmer–Verlet (NSV), is a modification
Semi-implicit_Euler_method
British politician (born 1970)
economic development with social benefits, with policies designed to explicitly channel the proceeds of growth towards communities, rejecting trickle-down
Andy_Burnham
Electronic structure method
substitution, each one is based on a different formulation of quantum mechanics theory. Here we give a simple derivation of the Peierls substitution,
Peierls_substitution
Dictator of Germany from 1933 to 1945
his dictatorship the appearance of legality. Many of his decrees were explicitly based on the Reichstag Fire Decree and hence on Article 48 of the Weimar
Adolf_Hitler
Command with meaning akin to "be quiet"
respectively. In shut the heck up and shut the fudge up, heck or fudge is substituted for the more aggressive modifiers. Similar phrases include "hush" and
Shut_up
Development strategy based on global trade
Export-oriented industrialization (EOI), sometimes called export substitution industrialization (ESI), export-led industrialization (ELI), or export-led
Export-oriented industrialization
Export-oriented_industrialization
Mathematical models of changing DNA
probability matrix are described in the mathematics of substitution models section of the substitution model page. By expressing models in terms of the instantaneous
Models_of_DNA_evolution
Leader of China since 2012
expanded state-owned enterprises, promoted advanced manufacturing, import substitution, and military–civil fusion, while overseeing regulatory crackdowns on
Xi_Jinping
Intelligence of machines
European Union's General Data Protection Regulation in 2016 included an explicit statement that this right exists. Industry experts noted that this is an
Artificial_intelligence
Rule for substituting a set input with a set output
expansion, but in languages such as C where they use simple textual substitution, they have a number of severe disadvantages over other mechanisms for
Macro_(computer_science)
1991 studio album by Naughty by Nature
soundtrack for Tony Hawk's Pro Skater 2. "Yoke the Joker" "Synthetic Substitution" by Melvin Bliss "Wickedest Man Alive" "Big Beat" by Billy Squier "O
Naughty_by_Nature_(album)
her; a male police officer visits her house to interview her, views the explicit content, and gives her his Instagram details, and they meet up socially;
List_of_Dispatches_episodes
World War II Nazi special-ops mission
two Sherman tanks in poor condition, and Skorzeny had to use German substitutes, five tanks (Panzer V "Panther") and six armored cars. The brigade was
Operation_Greif
the face of it". A legal term typically used to state that a document's explicit terms are defective absent further investigation. Also, "contempt ex facie"
List_of_Latin_phrases_(full)
Physical interaction of charged particles
the variable and limits of integration from t to φ makes this connection explicit: Δ P = ∫ − π − θ 2 π − θ 2 k q a q g r 2 ⋅ cos φ ⋅ d t d φ ⋅ d φ {\displaystyle
Coulomb_scattering
Canadian broadcasting practice
Simultaneous substitution (also known as simsubbing or signal substitution) is a practice mandated by the Canadian Radio-television and Telecommunications
Simultaneous_substitution
boards the Raza and steals the blink drive, while Misaki, against his explicit orders not to harm the crew, kills Nyx by cutting her with a poisoned dagger
List_of_Dark_Matter_episodes
Shorthand to convey tone or intent
joke (which is commonly represented as /j). Tone indicators are used to explicitly state the author's intent, instead of leaving the message up to interpretation
Tone_indicator
One of four stable isomers of butanediol
gamma-butyrolactone) as a Class C controlled substance. In Germany, the drug is not explicitly illegal, but might also be treated as illegal if used as a drug. It is
1,4-Butanediol
Pharmaceutical compound
blotter and pills. 1Fe-LSD is not an explicitly controlled substance in the United States or in Canada. Substituted lysergamide "1Fe-LSD". AIPSIN (in Russian)
1Fe-LSD
Statement and poem by Martin Niemöller
Niemöller frequently used the word "communists" and not "socialists". The substitution of "socialists" for "communists" is an effect of anti-communism, and
First_They_Came
Basic notion of sameness in mathematics
Z),} therefore X = Z . {\displaystyle X=Z.} Substitution: See Substitution (logic) § Proof of substitution in ZFC. Function application: Given a = b {\displaystyle
Equality_(mathematics)
Subsumption relationship between abstractions
with its type (class). Inheritance (object-oriented programming) Liskov substitution principle (in object-oriented programming) Subsumption Is-a Hypernymy
Is-a
Italian computer scientist
required) Abadi, M.; Cardelli, L.; Curien, P. L.; Levy, J. J. (1990). "Explicit substitutions". Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles
Luca_Cardelli
2025 American TV series
(Ruth 1:16; Joshua 2:1–21), but the connection is speculative and not explicitly made in the biblical text. These creative additions provide a dramatic
House_of_David_(TV_series)
In logic, a statement which is always true
predicate logic that can be reduced to propositional tautologies by substitution. Propositional logic begins with propositional variables, atomic units
Tautology_(logic)
Statement supporting a conclusion
their mode of expression, their role in arguments, and their content. Explicit premises are overtly stated, whereas implicit premises are tacitly assumed
Premise
Type system used in computer programming and mathematics
substitution. mgu {\displaystyle {\textsf {mgu}}} is a side-effect free version of union {\displaystyle {\textit {union}}} producing a substitution which
Hindley–Milner_type_system
Optimization replacing a function call with that function's source code
the last expression invoked inside it. Since C macros use mere textual substitution, this may result in unintended side-effects and inefficiency due to re-evaluation
Inline_expansion
conditions) and θ, a weighting parameter between 0 and 1. Substitution of θ = 0 gives the explicit discretization of the unsteady conductive heat transfer
Numerical solution of the convection–diffusion equation
Numerical_solution_of_the_convection–diffusion_equation
Organic compound (C6H5NH2); simplest aromatic amine
for which full substitution is permitted on the ring and the nitrogen atom. It is a Type 2a retained name; for the rules of substitution see P-15.1.8.2
Aniline
Non-singular cubic surface in mathematics
2024-11-24. Clebsch, A. (1871), "Ueber die Anwendung der quadratischen Substitution auf die Gleichungen 5ten Grades und die geometrische Theorie des ebenen
Clebsch_surface
Bildungsroman by Colm Tóibín
character of their ill-health, could be disclosed to their families. No explicit parallel is drawn between this phase of the HIV/AIDS epidemic and the advent
The_Story_of_the_Night
Including one data set inside another automatically
example (see Wikipedia:Transclusion and Wikipedia:Substitution for more information). Substituted static copies introduce a different set of considerations
Transclusion
Game theory concept
more in market 2. If the Cournot equilibrium of this model is calculated explicitly, we find x 1 ∗ = max { 0 , 8 p 1 − 2 5 } , x 2 ∗ = max { 0 , 2 − 3 p 1
Strategic_complements
Information systems good practice for data normalization
relies on having SSOTs, via transclusion or (otherwise, at least) substitution. Substitution happens via libraries of objects that can be propagated as static
Single_source_of_truth
Word used in English language for several purposes
to resemble a y shape. With the arrival of movable type printing, the substitution of ⟨y⟩ for ⟨Þ⟩ became ubiquitous, leading to the common ye, as in 'Ye
That
Computer text file character representing blank space
display the character as a fixed-width blank, however the Unicode standard explicitly states that it does not act as a space. Unicode's coverage of the Korean
Whitespace_character
Pharmaceutical compound
good tolerability. 4-PrO-MET is not an explicitly controlled substance in the United States or in Canada. Substituted tryptamine 4-PrO-DMT and 4-PrO-DiPT
4-PrO-MET
2024 game show hosted by Rob Lowe
org or a postal letter to the Wikimedia Foundation. These messages must explicitly permit use under CC BY-SA and the GFDL. See Wikipedia:Donating copyrighted
The Floor (American game show)
The_Floor_(American_game_show)
Equation
}}^{*}&\equiv {\frac {\boldsymbol {\tau }}{\tau _{0}}}\end{aligned}}} Substitution of these inverted relations in the Euler momentum equations yields: ρ
Cauchy_momentum_equation
Stadium in Madrid, Spain
went off injured, reducing Boca to 9 players having used all their substitutions, and Gonzalo Martínez raced the length of the pitch for a clincher into
Bernabéu_(stadium)
Mathematical functions
}}={\frac {1}{2}}\cdot {\frac {1\cdot 3\cdots (2k-1)}{2\cdot 4\cdots (2k)}}} . Explicit formulas are g n ( x ) = ∑ k = 1 n 2 k − 1 ( n − 1 n − k ) ( x k ) = ∑
Mittag-Leffler_polynomials
Relief map of ancient Rome
buildings in the city are the result of a subjective approach that was not explicitly explained and whose genesis is difficult to trace. He had to make decisions
Plan_of_Rome_(Bigot)
Former school for Indigenous children in Townsville, Australia
Australia... in some States with Education Department support and with the explicit Commonwealth support as foreshadowed in the Karmel Report, despite the
Black Community School, Townsville
Black_Community_School,_Townsville
Variety of English spoken in Scotland
(standard in American English), interdict for '"injunction", and sheriff-substitute for "acting sheriff". In Scottish education a short leet is a list of
Scottish_English
American singer and songwriter (born 1958)
director Stephen Jon Lewicki. The film was primarily criticized for its explicit sexual and violent content. In 1980, after leaving the Breakfast Club and
Madonna
entity must either be predefined (built into the markup language) or explicitly declared in a Document Type Definition (DTD). The format is the same as
List_of_Unicode_characters
Performing order of mathematical operations
this convention is not universally understood, and some authors prefer explicit parentheses. Some calculators and programming languages require parentheses
Order_of_operations
broadly be defined as recreational purposes but also receives frequent, explicit mention as an essential component of his writing toolkit, such as in his
History and culture of substituted amphetamines
History_and_culture_of_substituted_amphetamines
Standardised military dress
peacetime dress quickly deteriorated or was replaced with whatever local substitutes were available. Until later on in the century dyes were primitive and
Military_uniform
Riemannian metric on the space of mixed states of a quantum system
1142/s0219749909004839. ISSN 0219-7499. S2CID 2365312. Dittmann, J (1999-01-01). "Explicit formulae for the Bures metric". Journal of Physics A: Mathematical and
Bures_metric
Drug mixture used mainly to treat ADHD and narcolepsy
). New York, US: McGraw-Hill. ISBN 978-0-07-162442-8. Dextrorotatory substitution on the α-carbon generally results in a more potent compound. d-Amphetamine
Adderall
FC Barcelona's youth academy
have come up through La Masia in a La Liga match. After Dani Alves was substituted by Martín Montoya due to an injury in the 13th minute, Barça played the
La_Masia
"irregular voting patterns" in them. As a result, Romania was given a "substitute aggregated result" based on countries with similar voting patterns. Eda
Romania in the Eurovision Song Contest
Romania_in_the_Eurovision_Song_Contest
Name for a coin or unit of currency
Often it was expressed by a solidus symbol (/) (which may have begun as a substitute for ſ ('long s')) thus '1/9' means "one shilling and ninepence". A price
Shilling
Method of moving frames (differential geometry) Method of successive substitution (number theory) Monte Carlo method (computational physics, simulation)
List of mathematics-based methods
List_of_mathematics-based_methods
7th-century Sanskrit poet and philosopher
(Note: In some manuscripts of the Suktimuktavali, the phrasing explicitly substitutes his title as yaścaṇḍālo divākaraḥ – "Divakara the Chandala"). None
Matanga_Divakara
Disney cartoon character
during a TV special honoring Donald's 50th birthday, with Dick Van Dyke substituting for Walt. The rivalry between Mickey and Donald was shown in the 2001-2003
Donald_Duck
Consonantal sound often represented by ⟨ʒ⟩ in IPA
fricative. In English, the phoneme [ʒ] is often found as a hyperforeign substitute for [dʒ] in certain borrowings, Beijing (Mandarin Chinese [tɕ], a voiceless
Voiced_postalveolar_fricative
2006 French law regarding employers and employees
still getting bigger, the government completely withdrew the law, and substituted for it fiscal incentives to firms employing young people. The CPE sparked
First_Employment_Contract
Country in East Asia
from 1952 to 1959. The government also implemented a policy of import substitution industrialization, attempting to produce imported goods domestically
Taiwan
Italian footballer (born 1976)
His limited playing time, which included a controversial 91st minute substitution in a 2–1 away loss against Sampdoria, resulted in several clashes with
Francesco_Totti
Process of mathematical modelling, performed on a computer
Carlo algorithm. Computer simulation is often used as an adjunct to, or substitute for, modeling systems for which simple closed form analytic solutions
Computer_simulation
EXPLICIT SUBSTITUTION
EXPLICIT SUBSTITUTION
Surname or Lastname
Irish
Irish : reduced form of McDade, ‘son of David’.German : from the Frisian personal name Dode, which Bahlow explains as a form derived from baby talk.English (Norfolk) : from Old English dǣd ‘deed’, ‘exploit’, probably applied as a nickname commemorating some exploit perpetrated by the bearer or for someone noted for his derring-do. Compare Deeds.
Surname or Lastname
English
English : from Old English Englisc. The word had originally distinguished Angles (see Engel) from Saxons and other Germanic peoples in the British Isles, but by the time surnames were being acquired it no longer had this meaning. Its frequency as an English surname is somewhat surprising. It may have been commonly used in the early Middle Ages as a distinguishing epithet for an Anglo-Saxon in areas where the culture was not predominantly English--for example the Danelaw area, Scotland, and parts of Wales--or as a distinguishing name after 1066 for a non-Norman in the regions of most intensive Norman settlement. However, explicit evidence for these assumptions is lacking, and at the present day the surname is fairly evenly distributed throughout the country.Irish : see Golightly.
Surname or Lastname
English
English : from the medieval personal name Hicke, a pet form of Richard. The substitution of H- as the initial resulted from the inability of the English to cope with the velar Norman R-.Dutch : from a pet form of a Germanic personal name, such as Icco or Hikke (a Frisian derivative of a compound name with the first element hild ‘strife’, ‘battle’).East German : from a derivative of a Slavic pet form of Heinrich.South German : from Hiko, a pet form of any of the Germanic personal names formed with hild ‘strife’, ‘battle’ as the first element.
Surname or Lastname
English
English : from Old English dǣd ‘deed’, ‘exploit’; probably a nickname commemorating some exploit perpetrated by the bearer or for someone noted for his derring-do.
EXPLICIT SUBSTITUTION
EXPLICIT SUBSTITUTION
Boy/Male
Greek Shakespearean
Son of Aegeus.
Boy/Male
Bengali, Gujarati, Hindu, Indian, Malayalam, Marathi
Saviour of Serpents
Boy/Male
Tamil
Boy/Male
Indian, Tamil
Lord Shiva
Girl/Female
American, Australian
Like God
Biblical
possessing, or building up, of the people
Boy/Male
Finnish, German, Swedish
Honest Advisor; Bold Counsel
Boy/Male
British, English
Place Name; Name of the River
Boy/Male
Slavic
Christian.
Boy/Male
American, Anglo, British, Chinese, Christian, Danish, English, French, German, Gujarati, Indian, Irish, Norse, Scandinavian
All Knowing; All Wise
EXPLICIT SUBSTITUTION
EXPLICIT SUBSTITUTION
EXPLICIT SUBSTITUTION
EXPLICIT SUBSTITUTION
EXPLICIT SUBSTITUTION
n.
To utilize; to make available; to get the value or usefulness out of; as, to exploit a mine or agricultural lands; to exploit public opinion.
v. t.
Illustrious act; achievement; exploit.
n.
Exploit.
v. t.
To draw out or entice forth; to bring to light; to bring out against the will; to deduce by reason or argument; as, to elicit truth by discussion.
n.
The quality of being explicit; clearness; directness.
imp. & p. p.
of Elicit
imp. & p. p.
of Explicate
v. t.
To elicit.
a.
Not explicit; not clearly stated; indefinite; vague.
adv.
In an explicit manner; clearly; plainly; without disguise or reservation of meaning; not by inference or implication; as, he explicitly avows his intention.
a.
Having no disguised meaning or reservation; unreserved; outspoken; -- applied to persons; as, he was earnest and explicit in his statement.
adv.
Avowedly; explicitly.
n.
State or quality of being implicit.
a.
Tacitly comprised; fairly to be understood, though not expressed in words; implied; as, an implicit contract or agreement.
n.
An explicit declaration.
a.
Resting on another; trusting in the word or authority of another, without doubt or reserve; unquestioning; complete; as, implicit confidence; implicit obedience.
a.
A word formerly used (as finis is now) at the conclusion of a book to indicate the end.
p. pr. & vb. n.
of Explicate
p. pr. & vb. n.
of Elicit
a.
Not implied merely, or conveyed by implication; distinctly stated; plain in language; open to the understanding; clear; not obscure or ambiguous; express; unequivocal; as, an explicit declaration.