دانلود مقالات ISI درباره Sat + ترجمه فارسی

Phosphorous retardation and breakthrough into well water in a soil-aquifer treatment (SAT) system used for large-scale wastewater reclamation

Keywords: Phosphorous; Effluent; SAT; Distribution coefficient; RetardationSAT-soil aquifer treatment; OW-observation well; RW-recovery well; ASL-above sea level; WWTP-wastewater treatment plant

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2006 سفارش ترجمه

A competitive and cooperative approach to propositional satisfiability

Keywords: SAT; SAT solver; Parallel execution; Planning; Job-shop scheduling

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2006 سفارش ترجمه

The common organization of the amygdaloid complex in tetrapods: New concepts based on developmental, hodological and neurochemical data in anuran amphibians

Keywords: A; anterior nucleus of the dorsal thalamus; AA; anterior amygdala; ac; anterior commissure; Acc; nucleus accumbens; Ad; anterodorsal tegmental nucleus; Av; anteroventral tegmental nucleus; AOB; accesory olfactory bulb; Apl; amygdala pars lateralis; Apm; a

دانلود رایگان متن کامل مقاله ISI 30 صفحه سال انتشار : 2006 سفارش ترجمه

Enhanced Shear-Induced Platelet Aggregation in Patients Who Experience Subacute Stent Thrombosis

Keywords: ADP; adenosine diphosphate; DSP; disappearance of single platelets; PCI; percutaneous coronary intervention; PRP; platelet-rich plasma; SAT; subacute stent thrombosis; SIPA; shear-induced platelet aggregation; vWF; von Willebrand factor;

دانلود رایگان متن کامل مقاله ISI 4 صفحه سال انتشار : 2005 سفارش ترجمه

Overestimation of Platelet Aspirin Resistance Detection by Thrombelastograph Platelet Mapping and Validation by Conventional Aggregometry Using Arachidonic Acid Stimulation

Keywords: AA; arachidonic acid; ADP; adenosine diphosphate; COX-1; cyclooxygenase-1; GP; glycoprotein; LTA; light-transmittance aggregometry; MAAA; arachidonic acid-induced clot strength (measurement of aspirin effect); MAfibrin; activator-induced clot strength (me

دانلود رایگان متن کامل مقاله ISI 5 صفحه سال انتشار : 2005 سفارش ترجمه

Clopidogrel Effect on Platelet REactivity in Patients With Stent Thrombosis

Keywords: ADP; adenosine diphosphate; GP; glycoprotein; MFI; mean fluorescence intensity; PGE1; prostaglandin E1; SAT; stent thrombosis; VASP; vasodilator-stimulated phosphoprotein;

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2005 سفارش ترجمه

Theoretical study of hydrated sulfuric acid: clusters and periodic modeling

Keywords: Weakly hydrated sulfuric acid; SAD; SAT; NMR; DFT-B3LYP; DFT-GGA; Transfer of protons; Cluster models; Periodic models;

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2005 سفارش ترجمه

Secreted autotransporter toxin produced by a diffusely adhering Escherichia coli strain causes intestinal damage in animal model assays

Keywords: Escherichia coli; Diarrhea; Intestinal damage; SAT;

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2005 سفارش ترجمه

Seroprevalence of brucellosis in mithuns (Bos frontalis) in India

Keywords: A-B ELISA; Brucellosis; Mithun; RBPT; SAT; Seroprevalence;

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2005 سفارش ترجمه

Resistance to clopidogrel: A review of the evidence

Keywords: ACS; acute coronary syndromes; ADP; adenosine diphosphate; cAMP; cyclic adenosine monophosphate; CYP450; cytochrome P450; GPIIb/IIIa; glycoprotein IIb/IIIa; PCI; percutaneous coronary intervention; PGE1; prostaglandin E1; SAT; subacute stent thrombosis; V

دانلود رایگان متن کامل مقاله ISI 8 صفحه سال انتشار : 2005 سفارش ترجمه

Impact of elevated H2S on metabolite levels, activity of enzymes and expression of genes involved in cysteine metabolism

Keywords: Arabidopsis thaliana; Cysteine; Desulfhydrase; H2S; O-acetyl-l-serine; AtStr1; 3-mercaptopyruvate sulfurtransferase 1; CAS; β-cyano-l-alanine synthase; d-CDes; d-cysteine desulfhydrase; H2S; hydrogen sulfide; NAS; N-acetyl-l-serine; OAS; O-acetyl-l-serin

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2005 سفارش ترجمه

SAT-based Induction for Temporal Safety Properties

Keywords: SAT; induction; windowed induction; safety;

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2005 سفارش ترجمه

Reducing Symmetries to Generate Easier SAT Instances

Keywords: Finite model searching; SAT; symmetries; the least number heuristic;

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2005 سفارش ترجمه

Verifying Industrial Hybrid Systems with MathSAT

Keywords: Formal Verification; Hybrid Systems; SAT;

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2005 سفارش ترجمه

An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols

Keywords: Security Protocols; Bounded Model Checking; SAT; Rewriting;

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2005 سفارش ترجمه

Seasonal variation of surface fluxes and scalar roughness of suburban land covers

Keywords: BR; Bowen ratio and energy balance method; EB; energy budget; EC; eddy covariance methods; FOV; field of view; HFP; heat flux plate; IRT; infrared thermometer; LAI; leaf area index; MRI; Meteorological Research Institute; NR; net radiometer; PRT; platinum

دانلود رایگان متن کامل مقاله ISI 21 صفحه سال انتشار : 2005 سفارش ترجمه

Pharmacological aspects of cytotoxic polyamine analogs and derivatives for cancer therapy

Keywords: dansyl; 5-dimethylamino-1-naphthalenesulfonyl; DEHSpm; N1,N14-diethylhomospermine; DENSpm; N1,N11-diethylnorspermine; DESpm; N1,N12-diethylspermine; DFMO; (d,l)-2-(difluoromethyl)ornithine; MDL 72527; N1,N4-bis(2,3-butadienyl)-1,4-butanediamine; MK-801; (

دانلود رایگان متن کامل مقاله ISI 21 صفحه سال انتشار : 2005 سفارش ترجمه

Partition-based logical reasoning for first-order and propositional theories

Keywords: Reasoning with structure; Theorem proving; First-order logic; SAT; Tree decomposition; Graphical models; Parallel computation; Distributed computation;

دانلود رایگان متن کامل مقاله ISI 40 صفحه سال انتشار : 2005 سفارش ترجمه

Recent climate change in the Arctic and its impact on contaminant pathways and interpretation of temporal trend data

Keywords: AO; Arctic Oscillation; DDT; dichlorodiphenyltrichloroethane; ENSO; El Niño-Southern Oscillation; GHG; greenhouse gases; HCB; hexachlorobenzene; HCH; hexachlorocyclohexane; HLC; Henry's Law Constant; IABP; International Arctic Buoy Programme; IPCC; Int

دانلود رایگان متن کامل مقاله ISI 82 صفحه سال انتشار : 2005 سفارش ترجمه