SAT-solving in CSP trace refinement
Keywords: CSP; FDR; Concurrency; Process algebra; SAT-solving; Bounded model checking; kk-induction; Safety properties
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
French Society of Cardiology guidelines for cardiac rehabilitation in adults
Keywords: Cardiac rehabilitation; Exercise training; French guidelines; Société française de cardiologie; Therapeutic education; Réadaptation cardiaque; Recommandations françaises; Entraînement physique; Ãducation thérapeutique; CSP; Code de la Santé Publi
Generating a Petri net from a CSP specification: A semantics-based method
Keywords: Concurrent programming; CSP; Petri nets; Semantics; Traces; Specification and Simulation;
Solution structure of UIM and interaction of tandem ubiquitin binding domains in STAM1 with ubiquitin
Keywords: MVB; multivesicular body; ESCRT; endosomal sorting complex required for transport; STAM; signal transducing adaptor molecule; Hrs; hepatocyte growth factor-regulated substrate; VHS; Vps7/Hrs/Stam; UIM; ubiquitin interacting motif; DUIM; double-sided ubiqu
Concentrating solar power - Technology, potential and policy in India
Keywords: Solar; CSP; India;
A novel method for reliable and fast extraction of neuronal EEG/MEG oscillations on the basis of spatio-spectral decomposition
Keywords: CSP; common spatial patterns; ICA; independent component analysis; SOBI; second-order blind identification algorithm; SSD; spatio-spectral decomposition; SNR; signal-to-noise ratio; Oscillations; Synchronization; EEG; MEG; Alpha;
cspB encodes a major cold shock protein in Clostridium botulinum ATCC 3502
Keywords: Clostridium botulinum; Cold shock protein; csp
Minesweeper on graphs
Keywords: Minesweeper; Counting problem; Consistency; Treewidth; Constraint satisfaction; CSP; Generating polynomials; Dynamic programming
A hybrid approach based on MEP and CSP for contour registration
Keywords: Contour registration; MEP; CSP; Contour extraction; Moment;
MRM methods for high precision shift measurements in H/DX-MS
Keywords: H/DX; hydrogen/deuterium exchange; NMR; nuclear magnetic resonance; CSP; chemical shift perturbation; MSP; mass shift perturbation; MRM; multiple reaction monitoring; DMSO; dimethyl sulfoxide; K-PIPES; potassium 1,4-piperazinediethanesulfonate; GTP; guano
A workflow framework for intelligent service composition
Keywords: Workflow framework; Service composition; AI planning; CSP
Systems engineering principles for the design of biomedical signal processing systems
Keywords: Systems engineering; CSP; B method; CSP‖‖B; Testing; Plantar pressure; Diabetes type 2; Neuropathy; Fast Fourier transform
Technical and economical analysis of a solar–geothermal hybrid plant based on an Organic Rankine Cycle
Keywords: Geothermal; ORC; Binary cycle; Solar energy; CSP; Parabolic trough
Protection against malaria is conferred by passive transferring rabbit F(ab)2â² antibody fragments, induced by Plasmodium falciparum MSP-1 site-directed designed pseudopeptide-BSA conjugates assessed in a rodent model
Keywords: F(ab)â²2; antibody fragment for antigen binding; HABP; high activity binding peptide; Ï-[CH2NH]; reduced amide isoster bond; MHC; major histocompatibility complex; TCR; T-cell receptor; TCC; T-cell clone; APC; antigen presenting cell; CDR; complimentari
Raphé tauopathy alters serotonin metabolism and breathing activity in terminal Tau.P301L mice: Possible implications for tauopathies and Alzheimer's disease
Keywords: AD; Alzheimer disease; ASp; airflow spirogram; CSp; chest spirogram; g7; genu of the facial nerve; KF; kolliker-fuse nucleus; LPB; lateral parabrachial nucleus; mcp; middle cerebellar peduncle; nA; nucleus ambiguus; n7; facial motor nucleus; nTS; nucleus
Psychomotor retardation in depression: Biological underpinnings, measurement, and treatment
Keywords: 99mTc-HMPAO; technetium-99m hexamethylpropylene amine oxime; AVP; arginine vasopressin; CANTAB; Cambridge Automated Neuropsychological Test Battery; COVA; Posner's covert orientation of visual attention test; CSP; cortical silent period; DST; dexamethason
Property specifications for workflow modelling
Keywords: Compatibility; CSP; Workflow specification; Linear temporal logic; Property specification patterns; Workflow verification
Modulation of cortical excitability induced by repetitive transcranial magnetic stimulation: Influence of timing and geometrical parameters and underlying mechanisms
Keywords: AMPA; amino-3-hydroxyl-5-methyl-4-isoxazole-propionate; AMT; active motor threshold; AP; anterior-posterior; BiPA; biphasic pulse with initial phase of induced current anteriorly directed (second phase posteriorly directed); BiAP; biphasic pulse with in
A review on factors for maximizing solar fraction under wet climate environment in Malaysia
Keywords: Renewable energy; CSP; Solar dish concentrator; Solar fraction; Climate change
Substrate recognition characteristics of human holocarboxylase synthetase for biotin ligation
Keywords: DSS; dimethylsilyl propionate; DTT; 1,4-dithiothreitol; HRP; horseradish peroxidase; HSQC; heteronuclear single quantum coherence; NMR; nuclear magnetic resonance; CSP; chemical shift perturbation; HCS; BirA; Acetyl-CoA carboxylase; Biotinoyl domain; Biot
Synthesis and chiral recognition of novel amylose derivatives containing regioselectively benzoate and phenylcarbamate groups
Keywords: Regioselective substitution; Polysaccharide; Chiral stationary phase; CSP; High-performance liquid chromatography; HPLC; Enantioseparation
On- and off column enantiomerization of 4,4â²-bisquinolin-2-ones: A comparison of Auto-, DHPLcy2k and DCXplorer calculated thermodynamic data generated by dynamic high, performance liquid chromatography with theoretically calculated data
Keywords: Axial chirality; Atropisomer; 1,1â²-Binaphthyl; CSP; Stochastic theory; Theoretical plates; BINAP; Racemization; Circular dichroism; Calculated CD spectra;
GIS-based assessment of combined CSP electric power and seawater desalination plant for Duqum—Oman
Keywords: CSP; Duqum; Electric power; GIS; Oman; Plant; Solar radiation; Water desalination
GIS assessment of large CSP plant in Duqum, Oman
Keywords: GIS; Oman; Duqum; Prospect; CSP; Concentrated solar power; Solar map; Solar electricity; Solar radiation
Genetic structure of Plasmodium vivax isolates from two malaria endemic areas in Afghanistan
Keywords: Malaria; Plasmodium vivax; Genetic diversity; CSP; MSP; Afghanistan
Solar electricity prospects in Oman using GIS-based solar radiation maps
Keywords: GIS; Oman; Prospect; CSP; Concentrated solar power; Solar map; Solar electricity; Solar radiation
The cost of integration of parabolic trough CSP plants in isolated Mediterranean power systems
Keywords: Solar energy; Solar thermal power plants; CSP; Renewable energy sources
Which is the best solar thermal collection technology for electricity generation in north-west India? Evaluation of options using the analytical hierarchy process
Keywords: Solar thermal collectors; CSP; Multi-criteria decision making; AHP;
A novel power block for CSP systems
Keywords: CSP; Parabolic trough; Condensing steam cycle; Kalina cycle; Combined cycle
A low cost high flux solar simulator
Keywords: CSP; concentrating solar power; FLC; flow line concentrator; NEMA; National Electrical Manufacturers Association; NREL; National Renewable Energy Laboratory; MH; metal halide; Solar simulator; Concentrating solar power; Metal halide lighting; Volumetric r
Research ReportInhibitory mechanisms following electrical stimulation of tendon and cutaneous afferents in the lower limb
Keywords: CSP; Cutaneous silent period; TR; Tendon reflex; TES; Tendon electrical stimulation; TMS; Transcranial magnetic stimulation; EMG; Electromyogram; MEP; Motor evoked potential; TRE; Electrically induced tendon reflex; Tendon electrical stimulation; Presynap
Parametric analysis for the installation of solar dish technologies in Mediterranean regions
Keywords: Solar energy; Solar dish; CSP; Renewable energy sources
Modeling the potential for thermal concentrating solar power technologies
Keywords: Solar; CSP; Thermal storage
Assessing corporate social performance: Strategies of legitimation and conflicting ideologies
Keywords: Social analysis; Social rating; CSP; CSR; SRI; Organizational field; Legitimacy; Ideology; Activism; Conservatism; Utilitarianism; Ideal type
Single-trial classification of vowel speech imagery using common spatial patterns
Keywords: EEG; Vowel; Speech; Imagery; CSP
New environmental policy for system innovation: Casus alternatives for fossil motor fuels
Keywords: Transitions; Biofuels; Fuel cell; CSP; Hybrid; Policy evaluation
Peri-ictal changes of cortical excitability in children suffering from migraine without aura
Keywords: Migraine; Cortical excitability; Visual cortex; Transcranial magnetic stimulation; Motion aftereffect; ANOVA; analysis of variance; CNV; contingent negative variation; CSP; cortical silent period; EEG; electroencephalography; M1; primary motor hand area;
MIG (CXCL9) is a more sensitive measure than IFN-γ of vaccine induced T-cell responses in volunteers receiving investigated malaria vaccines
Keywords: 7AAD; 7-amino-actinomycin D; AMA1; apical membrane antigen 1; APC; antigen presenting cell; BME; β-mercaptoethanol; CFP10; culture filtrate protein 10; CMV; cytomegalovirus; CSP; circumsporozoite protein; CXCL9; CXC chemokine ligand 9; DOC; day of challe
A CSP approach for the network of product lifecycle constraints consistency in a collaborative design context
Keywords: Collaborative product design; CSP; Product lifecycle; Constraints; Conflict detections
Economic analysis of power generation from parabolic trough solar thermal plants for the Mediterranean region—A case study for the island of Cyprus
Keywords: Solar energy; Solar thermal power plants; CSP; Renewable energy sources
Specifying authentication using signal events in CSP
Keywords: Authentication; Security protocols; CSP; Formal specification; Kerberos
A surprising permanence of old motivations (a not-so-rigid story)
Keywords: Homomorphism; Rigidity; Duality; CSP; Category theory; History; Education
Characterization of protein secondary structure from NMR chemical shifts
Keywords: ACS; averaged chemical shift; ACSESS; averaged chemical shifts to estimate secondary structure; BMRB; BioMagResBank; CATH; class, architecture, topology and homologous super family; CD; circular dichroism; COSY; correlated spectroscopy; CSI; chemical shif
Polyimides membranes for pervaporation and biofuels separation
Keywords: APD; alternating polyelectrolyte deposition; BAPP; 3,3-bis[4-(4-aminophenoxy)phenyl]phthalide; BATB; 1,4-bis(4-aminophenoxy)-2-tert-butylbenzene; BADTB; 1,4-bis(4-aminophenoxy)-2,5-tert-butylbenzene; BHTDA; 3,3â²,4,4â²-benzhydrol tetracarboxylic dianhyd
No difference in the prevalence of cavum septum pellucidum (CSP) between first-episode schizophrenia patients, offspring of schizophrenia patients and healthy controls
Keywords: Schizophrenia; First episode; High risk; MRI; Cavum septum pellucidum; CSP; Cavum; Developmental; Schizophrenia offspring; Schizophrenia genetic risk;
Neural response to transcranial magnetic stimulation in adult hypothyroidism and effect of replacement treatment
Keywords: OH; overt hypothyroidism; TMS; transcranial magnetic stimulation; TH; thyroid hormones; MEP; motor evoked potential; CSP; cortical silent period; PSP; peripheral silent period; SICI; short interval intracortical inhibition; ICF; intracortical facilitation
Positive selection on the Plasmodium falciparum sporozoite threonine-asparagine-rich protein: Analysis of isolates mainly from low endemic areas
Keywords: bp; base pair(s); CSP; circumsporozoite surface protein; dN; nonsynonymous substitutions per nonsynonymous site; dS; synonymous substitutions per synonymous site; h; haplotype diversity; kDa; kilodalton; KN; nonsynonymous substitutions per nonsynonymous s
The prerequisite for competition in the restructured wholesale Saudi electricity market
Keywords: Deregulation; Privatization; Framework; CSC; customer services companies; CSP; customer service provider; DISTCO; distribution company; ECRA; Saudi Electricity and Cogeneration Regulatory Authority; FERC; Federal Energy Regulatory Authority (USA); GENCO;
Structural and immunological analysis of circumsporozoite protein peptides: A further step in the identification of potential components of a minimal subunit-based, chemically synthesised antimalarial vaccine
Keywords: HABP, high activity binding peptides; CSP, circumsporozoite protein; TRAP, thrombospondin-related anonymous protein; GAG, glycosaminoglycan; HLA, human leukocyte antigenMHC-II; CSP; Peptides; Structure; NMR
Liposomes Incorporating a Plasmodium Amino Acid Sequence Target Heparan Sulfate Binding Sites in Liver
Keywords: heparan sulfate; hepatocytes; imaging methods; liposome; liver slice; nanotechnology; peptide delivery; Plasmodium; targeted drug delivery; chon-ase; chondroitinase; chon-S; chondroitin sulfate; CSP; circumsporozoite protein; cv; central vein; hep-S; hepa