Parole in English per '(computing theory) self-applicable partial evaluation'
Sopra trovi parole correlate a "(computing theory) self-applicable partial evaluation". Porta il focus o il cursore su una parola per vedere la definizione.
Risultati di ricerca
noun
- (computing) One of several alternative computational paradigms for a given theory.
- (literature) An approach to interpretation and/or evaluation focused on the (usually linguistic) structure of a literary work rather than on the contexts of its origin or reception.
- (philosophy of mathematics) The ontological view of mathematics as a mere collection of string manipulation rules.
- (music) The tendency to elevate formal above expressive value in music, as in serialism.
- (mathematics, physics) A particular mathematical or scientific theory or description of a given state or effect.
- Strict adherence to a given form of conduct, practice etc.
- (linguistics, computing, mathematics) A formal expression of a grammar; a formal grammar; a set of rules of syntax that, without reference to semantics, determine whether a sequence of symbols is a well-formed sentence in a given formal language.
- the practice of scrupulous adherence to prescribed or external forms
- (philosophy) the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications
- the doctrine that formal structure rather than content is what should be represented
noun
- (programming, loosely) An actual value given to such a formal parameter.
- A value kept constant during an experiment, equation, calculation, or similar, but varied over other versions of the experiment, equation, calculation, etc.
- (crystallography) The ratio of the three crystallographic axes which determines the position of any plane.
- (sciences) A variable that describes a property or characteristic of some system (material, object, event, etc.) or some aspect thereof.
- (geometry) In the ellipse and hyperbola, a third proportional to any diameter and its conjugate, or in the parabola, to any abscissa and the corresponding ordinate.
- (programming) An input variable of a function definition, that gets an actual value (argument) at execution time.
- (commutative algebra) Clipping of uniformizing parameter.
- A characteristic or feature that distinguishes something from others.
- (crystallography) The fundamental axial ratio for a given species.
- (statistics) Any measured quantity of a statistical population that summarises or describes an aspect of the population.
- (machine learning) A variable of a model that is trained by a machine learning algorithm.
- a constant in the equation of a curve that can be varied to yield a family of similar curves
- any factor that defines a system and determines (or limits) its performance
- a quantity (such as the mean or variance) that characterizes a statistical population and that can be estimated by calculations from sample data
- (computer science) a reference or value that is passed to a function, procedure, subroutine, command, or program
noun
- Initialism of partial induction (see AI).
- (biochemistry) Abbreviation of phosphatidylinositol, a phospholipid component of eukaryotic cell membranes, also abbreviated in PtdIns.
- (surgery) Initialism of penile inversion.
- (pharmacology) Initialism of protease inhibitor.
- (organic chemistry) Initialism of polyimide.
- (electronics) Initialism of power integrity.
- Initialism of personal injury.
- (automotive) Initialism of port injection (“fuel injection”).
- (informatics, SGML, XML) Initialism of processing instruction.
- (psychology) Initialism of paradoxical intention.
- (business) Initialism of pro forma invoice.
- Initialism of principal investigator (“lead researcher on a grant-funded project”).
- Initialism of parallel import.
- (fan fiction category) Initialism of pseudoincest.
- (medicine) Initialism of ponderal index.
- Initialism of private investigator.
- Abbreviation of prohibited immigrant.
- Initialism of politically incorrect (see PC).
- (Philippines, politics) Initialism of People's Initiative.
- the scientist in charge of an experiment or research project
- an antiviral drug used against HIV; interrupts HIV replication by binding and blocking HIV protease; often used in combination with other drugs
- someone who can be employed as a detective to collect information and assist in criminal investigations
name
adj
- manifesting partiality
- Of or relating to the showing or giving of preference.
- Of or relating to a voting system in which the voters are allowed to indicate on their ballots their preference (usually their first and second choices) between two or more candidates, so that if no candidate receives a majority of first choices the one receiving the greatest number of first and second choices together is the winner.
noun
name
phrase
verb
verb
- (transitive, computing theory) To extract (code) from a loop construct as part of optimization.
- (transitive, sports, often figurative) To lift a trophy or similar prize into the air in celebration of a victory.
- (transitive, slang) To steal.
- (transitive, historical) To lift someone up to be flogged.
- (transitive, slang) To rob.
- (intransitive) To be lifted up.
- (transitive) To raise; to lift; to elevate (especially, to raise or lift to a desired elevation, by means of tackle or pulley, said of a sail, a flag, a heavy package or weight).
- raise or haul up with or as if with mechanical help
- move from one place to another by lifting
- raise by using ropes and pulleys
noun
- The position of a flag (on a mast) or of a sail on a ship when lifted up to its highest level.
- Any member of certain classes of devices that hoist things.
- The act of hoisting; a lift.
- The triangular vertical position of a flag, as opposed to the flying state, or triangular vertical position of a sail, when flying from a mast.
- The position of a main fore-and-aft topsail on a ship and fore fore-and-aft topsail on a ship.
- lifting device for raising heavy or cumbersome objects
adj
- (programming) Properties of the program that can be reasoned about during compilation.
- (computing) Operations performed by a compiler (the “compile-time operations”).
- (computing) Programming language requirements that must be met by source code for it to be successfully compiled (the “compile-time requirements”).
noun
- (computing) Initialism of processing unit.
- Initialism of penalty unit.
- Initialism of power unit.
- (broadcasting) Initialism of pickup.
- (Internet slang) Initialism of pickup (as in pickup artist).
- (organic chemistry) Initialism of polyurethane.
- (linguistics) Initialism of prosodic unit (IU for intonation unit is preferred).
- Abbreviation of Punjab: a state of India.
- any of various polymers containing the urethane radical; a wide variety of synthetic forms are made and used as adhesives or plastics or paints or rubber
intj
adj
name
noun
- Initialism of reaction time.
- (medicine) Initialism of respiratory therapy.
- A bus formerly manufactured by the Associated Equipment Company, mostly for use in London.
- (sciences) Initialism of response time.
- Alternative form of R/T.
- (knitting) Initialism of right twist.
- (medicine) Initialism of radiotherapy.
- (Internet) Initialism of retweet.
- Symbol for refrigeration tons.
- (medicine) Initialism of respiratory therapy technician / respiratory technician / respiratory therapist.
- (American football, Canadian football) Initialism of right tackle.
- Initialism of resistance training.
- (transport) Initialism of road test.
- (medicine) Initialism of radiology technologist / radiology technician.
verb
noun
- (countable) Initialism of scoping review.
- (countable) Initialism of state route.
- (countable) Initialism of systematic review.
- (law, politics) Initialism of state resolution.
- (uncountable) Initialism of speculative realism.
- (uncountable) Initialism of semen retention.
- (countable) Initialism of state road.
- (uncountable) Initialism of special relativity.
- (countable) Initialism of speculative realist.
- (law, politics) Initialism of senate resolution.
- (uncountable, computing) Initialism of speech recognition.
name
adj
- (computing theory) Employing lazy evaluation; not calculating results until they are immediately required.
- Showing a lack of effort or care.
- Droopy.
- Sluggish; slow-moving.
- Unwilling to do work or make an effort; disinclined to exertion.
- (optometry) Of an eye, squinting because of a weakness of the eye muscles.
- Causing or characterised by idleness; relaxed or leisurely.
- (of a cattle brand) Turned so that (the letter) is horizontal instead of vertical.
- moving slowly and gently
- disinclined to work or exertion
noun
verb
noun
- (arithmetic) The incidental or subsidiary calculations performed in solving an overall problem.
- Method of operation.
- (usually in the plural) Operation; action.
- Fermentation.
- (countable) A train movement.
- A place where work is carried on.
- (of bodies of water) Becoming full of a vegetable substance.
- a mine or quarry that is being or has been worked
adj
- Enough to allow one to use something.
- That suffices but requires additional work; provisional.
- In paid employment.
- Used in real life; practical.
- That is or are functioning.
- Of or relating to employment.
- serving to permit or facilitate further work or activity
- (of e.g. a machine) performing or capable of performing
- adequate for practical use; especially sufficient in strength or numbers to accomplish something
- actively engaged in paid work
- adopted as a temporary basis for further work
verb
noun
- (computing) Initialism of constrained conditional model.
- Initialism of countercountermeasure.
- (aeronautics) Initialism of Cabin Crew Member (“cabin crew, flight attendant”).
- (military, US) Initialism of Combined Cypher Machine.
- (botany, biochemistry) Initialism of carbon-concentrating mechanism.
- Initialism of contemporary Christian music.
name
noun
- (mathematics) Initialism of nonlinear programming.
- (psychology) Initialism of neuro-linguistic psychotherapy.
- (computing) Initialism of natural language processing.
- (pseudoscience, psychology) Initialism of neuro-linguistic programming.
- the branch of information science that deals with natural language information
name
phrase
noun
adj
verb
noun
adj
- (mathematics, philosophy) Relating to mere manipulation and construction of strings of symbols, without regard to their meaning.
- Relating to the form or structure of something.
- Official.
- Ceremonial or traditional.
- Relating to formation.
- In accordance with established forms.
- Organized; well-structured and planned.
- Proper, according to strict etiquette; not casual.
- (especially sciences, mathematics, linguistics) In accordance with a methodological framework with well-defined rules or laws; rigorous.
- characteristic of or befitting a person in authority
- logically deductive
- represented in simplified or symbolic form
- (of spoken and written language) adhering to traditional standards of correctness and without casual, contracted, and colloquial forms
- refined or imposing in manner or appearance; befitting a royal court
- being in accord with established forms and conventions and requirements (as e.g. of formal dress)
noun
- (computing theory) A partial description gleaned from data mining.
- (countable) A small, compact chunk or clump.
- (Australia, slang, countable) An item that is typically old and of dubious quality or poor condition.
- (countable) A small piece of tasty food, a tidbit.
- (uncountable) A type of boot polish.
- (countable, slang) An inexperienced, newly trained fighter pilot.
- (countable) A bud from the Cannabis sativa plant, especially one that is potent.
- (countable) A tidbit of something valuable.
- (slang, countable) A person with no arms or legs; a basket case.
- (countable) A chicken nugget.
- a solid lump of a precious metal (especially gold) as found in the earth
verb
noun
- (countable, computing) Initialism of finite-state machine.
- (uncountable, Internet slang, dating) Initialism of female seeking male.
- (uncountable, microbiology) Initialism of fluorescent speckle microscopy.
- (telecommunications) Initialism of field strength meter.
- (UK, education) Initialism of free school meals.
name
phrase
adj
- (computing theory, not comparable, of a function) which can be computed by a theoretical model of a computer, in a finite amount of time
- (mathematics, not comparable) of an expression, each term of which is determined by applying a formula to preceding terms
- drawing upon itself, referring back.
- (computing theory, not comparable, of a set) whose characteristic function is recursive (4)
- (computing, not comparable) of a program or function that calls itself
- of or relating to a recursion
noun
- (computing) One of several alternative computational paradigms for a given theory.
- (literature) An approach to interpretation and/or evaluation focused on the (usually linguistic) structure of a literary work rather than on the contexts of its origin or reception.
- (philosophy of mathematics) The ontological view of mathematics as a mere collection of string manipulation rules.
- (music) The tendency to elevate formal above expressive value in music, as in serialism.
- (mathematics, physics) A particular mathematical or scientific theory or description of a given state or effect.
- Strict adherence to a given form of conduct, practice etc.
- (linguistics, computing, mathematics) A formal expression of a grammar; a formal grammar; a set of rules of syntax that, without reference to semantics, determine whether a sequence of symbols is a well-formed sentence in a given formal language.
- the practice of scrupulous adherence to prescribed or external forms
- (philosophy) the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications
- the doctrine that formal structure rather than content is what should be represented
noun
- (programming, loosely) An actual value given to such a formal parameter.
- A value kept constant during an experiment, equation, calculation, or similar, but varied over other versions of the experiment, equation, calculation, etc.
- (crystallography) The ratio of the three crystallographic axes which determines the position of any plane.
- (sciences) A variable that describes a property or characteristic of some system (material, object, event, etc.) or some aspect thereof.
- (geometry) In the ellipse and hyperbola, a third proportional to any diameter and its conjugate, or in the parabola, to any abscissa and the corresponding ordinate.
- (programming) An input variable of a function definition, that gets an actual value (argument) at execution time.
- (commutative algebra) Clipping of uniformizing parameter.
- A characteristic or feature that distinguishes something from others.
- (crystallography) The fundamental axial ratio for a given species.
- (statistics) Any measured quantity of a statistical population that summarises or describes an aspect of the population.
- (machine learning) A variable of a model that is trained by a machine learning algorithm.
- a constant in the equation of a curve that can be varied to yield a family of similar curves
- any factor that defines a system and determines (or limits) its performance
- a quantity (such as the mean or variance) that characterizes a statistical population and that can be estimated by calculations from sample data
- (computer science) a reference or value that is passed to a function, procedure, subroutine, command, or program
noun
- Initialism of partial induction (see AI).
- (biochemistry) Abbreviation of phosphatidylinositol, a phospholipid component of eukaryotic cell membranes, also abbreviated in PtdIns.
- (surgery) Initialism of penile inversion.
- (pharmacology) Initialism of protease inhibitor.
- (organic chemistry) Initialism of polyimide.
- (electronics) Initialism of power integrity.
- Initialism of personal injury.
- (automotive) Initialism of port injection (“fuel injection”).
- (informatics, SGML, XML) Initialism of processing instruction.
- (psychology) Initialism of paradoxical intention.
- (business) Initialism of pro forma invoice.
- Initialism of principal investigator (“lead researcher on a grant-funded project”).
- Initialism of parallel import.
- (fan fiction category) Initialism of pseudoincest.
- (medicine) Initialism of ponderal index.
- Initialism of private investigator.
- Abbreviation of prohibited immigrant.
- Initialism of politically incorrect (see PC).
- (Philippines, politics) Initialism of People's Initiative.
- the scientist in charge of an experiment or research project
- an antiviral drug used against HIV; interrupts HIV replication by binding and blocking HIV protease; often used in combination with other drugs
- someone who can be employed as a detective to collect information and assist in criminal investigations
name
noun
name
phrase
verb
noun
- (computing) Initialism of processing unit.
- Initialism of penalty unit.
- Initialism of power unit.
- (broadcasting) Initialism of pickup.
- (Internet slang) Initialism of pickup (as in pickup artist).
- (organic chemistry) Initialism of polyurethane.
- (linguistics) Initialism of prosodic unit (IU for intonation unit is preferred).
- Abbreviation of Punjab: a state of India.
- any of various polymers containing the urethane radical; a wide variety of synthetic forms are made and used as adhesives or plastics or paints or rubber
intj
noun
- (countable) Initialism of scoping review.
- (countable) Initialism of state route.
- (countable) Initialism of systematic review.
- (law, politics) Initialism of state resolution.
- (uncountable) Initialism of speculative realism.
- (uncountable) Initialism of semen retention.
- (countable) Initialism of state road.
- (uncountable) Initialism of special relativity.
- (countable) Initialism of speculative realist.
- (law, politics) Initialism of senate resolution.
- (uncountable, computing) Initialism of speech recognition.
name
noun
- (arithmetic) The incidental or subsidiary calculations performed in solving an overall problem.
- Method of operation.
- (usually in the plural) Operation; action.
- Fermentation.
- (countable) A train movement.
- A place where work is carried on.
- (of bodies of water) Becoming full of a vegetable substance.
- a mine or quarry that is being or has been worked
adj
- Enough to allow one to use something.
- That suffices but requires additional work; provisional.
- In paid employment.
- Used in real life; practical.
- That is or are functioning.
- Of or relating to employment.
- serving to permit or facilitate further work or activity
- (of e.g. a machine) performing or capable of performing
- adequate for practical use; especially sufficient in strength or numbers to accomplish something
- actively engaged in paid work
- adopted as a temporary basis for further work
verb
noun
- (computing) Initialism of constrained conditional model.
- Initialism of countercountermeasure.
- (aeronautics) Initialism of Cabin Crew Member (“cabin crew, flight attendant”).
- (military, US) Initialism of Combined Cypher Machine.
- (botany, biochemistry) Initialism of carbon-concentrating mechanism.
- Initialism of contemporary Christian music.
name
noun
- (mathematics) Initialism of nonlinear programming.
- (psychology) Initialism of neuro-linguistic psychotherapy.
- (computing) Initialism of natural language processing.
- (pseudoscience, psychology) Initialism of neuro-linguistic programming.
- the branch of information science that deals with natural language information
name
phrase
noun
adj
verb
noun
adj
- (mathematics, philosophy) Relating to mere manipulation and construction of strings of symbols, without regard to their meaning.
- Relating to the form or structure of something.
- Official.
- Ceremonial or traditional.
- Relating to formation.
- In accordance with established forms.
- Organized; well-structured and planned.
- Proper, according to strict etiquette; not casual.
- (especially sciences, mathematics, linguistics) In accordance with a methodological framework with well-defined rules or laws; rigorous.
- characteristic of or befitting a person in authority
- logically deductive
- represented in simplified or symbolic form
- (of spoken and written language) adhering to traditional standards of correctness and without casual, contracted, and colloquial forms
- refined or imposing in manner or appearance; befitting a royal court
- being in accord with established forms and conventions and requirements (as e.g. of formal dress)
noun
- (computing theory) A partial description gleaned from data mining.
- (countable) A small, compact chunk or clump.
- (Australia, slang, countable) An item that is typically old and of dubious quality or poor condition.
- (countable) A small piece of tasty food, a tidbit.
- (uncountable) A type of boot polish.
- (countable, slang) An inexperienced, newly trained fighter pilot.
- (countable) A bud from the Cannabis sativa plant, especially one that is potent.
- (countable) A tidbit of something valuable.
- (slang, countable) A person with no arms or legs; a basket case.
- (countable) A chicken nugget.
- a solid lump of a precious metal (especially gold) as found in the earth
verb
noun
- (countable, computing) Initialism of finite-state machine.
- (uncountable, Internet slang, dating) Initialism of female seeking male.
- (uncountable, microbiology) Initialism of fluorescent speckle microscopy.
- (telecommunications) Initialism of field strength meter.
- (UK, education) Initialism of free school meals.
name
phrase
verb
- (transitive, computing theory) To extract (code) from a loop construct as part of optimization.
- (transitive, sports, often figurative) To lift a trophy or similar prize into the air in celebration of a victory.
- (transitive, slang) To steal.
- (transitive, historical) To lift someone up to be flogged.
- (transitive, slang) To rob.
- (intransitive) To be lifted up.
- (transitive) To raise; to lift; to elevate (especially, to raise or lift to a desired elevation, by means of tackle or pulley, said of a sail, a flag, a heavy package or weight).
- raise or haul up with or as if with mechanical help
- move from one place to another by lifting
- raise by using ropes and pulleys
noun
- The position of a flag (on a mast) or of a sail on a ship when lifted up to its highest level.
- Any member of certain classes of devices that hoist things.
- The act of hoisting; a lift.
- The triangular vertical position of a flag, as opposed to the flying state, or triangular vertical position of a sail, when flying from a mast.
- The position of a main fore-and-aft topsail on a ship and fore fore-and-aft topsail on a ship.
- lifting device for raising heavy or cumbersome objects
adj
- manifesting partiality
- Of or relating to the showing or giving of preference.
- Of or relating to a voting system in which the voters are allowed to indicate on their ballots their preference (usually their first and second choices) between two or more candidates, so that if no candidate receives a majority of first choices the one receiving the greatest number of first and second choices together is the winner.
adj
- (programming) Properties of the program that can be reasoned about during compilation.
- (computing) Operations performed by a compiler (the “compile-time operations”).
- (computing) Programming language requirements that must be met by source code for it to be successfully compiled (the “compile-time requirements”).
adj
name
noun
- Initialism of reaction time.
- (medicine) Initialism of respiratory therapy.
- A bus formerly manufactured by the Associated Equipment Company, mostly for use in London.
- (sciences) Initialism of response time.
- Alternative form of R/T.
- (knitting) Initialism of right twist.
- (medicine) Initialism of radiotherapy.
- (Internet) Initialism of retweet.
- Symbol for refrigeration tons.
- (medicine) Initialism of respiratory therapy technician / respiratory technician / respiratory therapist.
- (American football, Canadian football) Initialism of right tackle.
- Initialism of resistance training.
- (transport) Initialism of road test.
- (medicine) Initialism of radiology technologist / radiology technician.
verb
adj
- (computing theory) Employing lazy evaluation; not calculating results until they are immediately required.
- Showing a lack of effort or care.
- Droopy.
- Sluggish; slow-moving.
- Unwilling to do work or make an effort; disinclined to exertion.
- (optometry) Of an eye, squinting because of a weakness of the eye muscles.
- Causing or characterised by idleness; relaxed or leisurely.
- (of a cattle brand) Turned so that (the letter) is horizontal instead of vertical.
- moving slowly and gently
- disinclined to work or exertion
noun
verb
adj
- (computing theory, not comparable, of a function) which can be computed by a theoretical model of a computer, in a finite amount of time
- (mathematics, not comparable) of an expression, each term of which is determined by applying a formula to preceding terms
- drawing upon itself, referring back.
- (computing theory, not comparable, of a set) whose characteristic function is recursive (4)
- (computing, not comparable) of a program or function that calls itself
- of or relating to a recursion