unsat
Look at other dictionaries:
unsat — • unsatisfactory; • unsaturated … Dictionary of medical acronyms & abbreviations
(SAT, ε-UNSAT) — In computational complexity theory, (SAT, ε UNSAT) is a language that is used in the proof of the PCP theorem, which relates the language NP to probabilistically checkable proof systems.For a given 3 CNF formula, Φ, and a constant, ε < 1, Φ is in … Wikipedia
unsatisfyingness — unsatˈisfyingness n(1) • • • Main Entry: ↑un … Useful english dictionary
EigenTrust — algorithm is a reputation management algorithm for peer to peer networks, developed by Sep Kamvar, Mario Schlosser, and Hector Garcia Molina. The algorithm provides each peer in the network a unique global trust value based on the peer s history… … Wikipedia
УЧИТЕЛЬ ГНУС — (нем. Professor Unsat) герой романа Г.Манна «Учитель Гнус, или Конец одного тирана» (1905). УГ. школьный учитель, настоящая фамилия которого Нусс, но за его вздорный и мстительный характер, за его мелочность и издевательства над учениками его… … Литературные герои
Groundwater recharge — Water balance Groundwater recharge or deep drainage or deep percolation is a hydrologic process where water moves downward from surface water to groundwater. This process usually occurs in the vadose zone below plant roots and is often expressed… … Wikipedia
Hydrologic Evaluation of Landfill Performance — The HELP model (Hydrologic Evaluation of Landfill Performance) is a hydrologic numerical model initially developed by the United States Environmental Protection Agency for landfills.cite book |author=Schroeder, P.R. and Dozier, T.S. and Zappi,… … Wikipedia
List of U.S. Marine Corps acronyms and expressions — This is a list of acronyms, expressions, euphemisms, jargon, military slang, and sayings in common or formerly common use in the United States Marine Corps. Many of the words or phrases have varying levels of acceptance among different units or… … Wikipedia
Lard — Infobox oils name=Lard imagesize=300px caption= Wet rendered lard, from pork fatback. composition= fat= water= solids= sterols= fatcomposition=y sat= 38–43%: Palmitic acid: 25–28% Stearic acid: 12–14% Myristic acid: 1% interster= unsat= 56–62%… … Wikipedia
Telecupón — es un programa español de televisión estrenado por Telecinco en 1990 que, entre concursos y variedades, tenía como centro la emisión en directo el sorteo del cupón de la ONCE del día. También se ha emitido a través de Antena 3, Cuatro, CNN+ y,… … Wikipedia Español
