Home
|
Learning Center
|
中文版
Publications
站内成果搜索:
搜索
An improvement of Herbrand's theorem and its application to model generation theorem proving
An indoor environmental quality investigation of the Fayette County (Pennsylvania) courthouse
An iterative method for generalized nonlinear set-valued mixed quasi-variational inequalities with H-monotone mappings
An improved nearly analytical discrete method: an efficient tool to simulate the seismic response of 2-D porous structures
An improved computing method for the image edge detection
An in vitro model of the leukocyte interactions associated with granuloma formation in Mycobacterium tuberculosis infection
An inverse method applied to the determination of deformation energy distributions in the presence of pre-hardening stresses
An investigation of dispersion and stability of carbon black nano particles in water via UV-Visible Spectroscopy
An innovative design program for engineering students
An improved procedure for synthesis of alpha-asarone
An integrated approach for operational knowledge acquisition of refuse incinerators
An intelligent fuzzy-based recommendation system for consumer electronic products
An integrable (2+1)-dimensional Toda equation with two discrete variables
An inexact SQP method for equality constrained optimization
An investigation of the wear behaviour of 0.2%C dual phase steels
An integrated strategy for teaching biochemistry to biotechnology specialty students
An imbalanced development of coal and electricity industries in China
An international and multidisciplinary drilling project into a young complex impact structure: The 2004 ICDP Bosumtwi Crater Drilling Project - An overview
An in vitro model to assess pneumococcal adherence to nasopharyngeal cells under competition conditions
An improved assessment model of variable frequency-driven direct expansion air-conditioning system in commercial buildings for Taiwan green building rating system
An inside job for siRNAs
An improved method of gene synthesis based on DNA works software and overlap extension PCR
An importance sampling procedure for estimating failure probabilities of non-linear dynamic systems subjected to random noise
An investigation of stresses induced by temperature variation in integrated circuit molding process
An interactive micro-void shear localization mechanism in high strength steels
An inexact proximal-type algorithm in banach spaces
An improved genetic algorithm-simulated annealing hybrid algorithm for the optimization of multiple reservoirs
An inverse method to estimate the source-sink term in the nitrate transport equation
An improved method for chemical bath deposition of ZnS thin films
An improved correlation method for determining the period of a torsion pendulum
An integrated multi-objective immune algorithm for optimizing the wire bonding process of integrated circuits
An investigation into business-to-business electronic commerce organizations
An integrated multichannel waveform generator for large-scale spatio-temporal stimulation of neural tissue
An immunosensing system using stilbene glycoside as a fluorogenic substrate for an enzymatic reaction model
An intelligent and integrated driver assistance system for increased safety and convenience based on all-around sensing
An integrated stratigraphic record from the Paleocene of the Chijiang Basin, Jiangxi Province (China): Implications for mammalian turnover and Asian block rotations
An intronic SNP of PPARG and its association with fat traits in four meat-type duck populations
An innovative design methodology for the metadata in master data management system
An improved modal pushover analysis procedure for estimating seismic demands of structures
An iterated logarithm law related to decimal and continued fraction expansions
An improved electroforming process for Ni-Co-Mn deposition using synchronized electric and magnetic impulse
An indeterminate rational moment problem and Caratheodory functions
An interdigitated functionally rigid [2]rotaxane
An intelligent neural networks system for adaptive learning and prediction of a bioreactor benchmark process
An interleaved winding-coupled boost converter with passive lossless clamp circuits
An improved method for preparation of Ce0.8Pr0.2OY solid solutions with nanoparticles smaller than 10 nm
An introduction to the structural organization of parasitic protozoa
An improvement in the absorbing boundary technique for numerical simulation of elastic wave propagation
An in-process customer utility prediction system for product conceptualisation
An investigation of molecular layering at the liquid-solid interface in nanofluids by molecular dynamics simulation
An ion optics study for KSTAR neutral beam injector development
An improved method for estimating global evapotranspiration based on satellite determination of surface net radiation, vegetation index, temperature, and soil moisture
An improved particle swarm optimization algorithm for global optimizations of electromagnetic devices
An investigation on the solid state sintering of mechanically alloyed nano-structured 90W-Ni-Fe tungsten heavy alloy
An inexact multi-objective dynamic model and its application in China for the management of municipal solid waste
An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems
An improved genetic algorithm for job-shop scheduling problems using Taguchi-based crossover
An integrated fuzzy-stochastic modeling approach for assessing health-impact risk from air pollution
An ideal topology type convergent theorem on scale effect algebras
An inverse adhesion problem for extracting interfacial pair potentials for the Al(001)/3C-SiC(001) interface
An improved bathymetric portrayal of the Arctic Ocean: Implications for ocean modeling and geological, geophysical and oceanographic analyses
An investigation of the effects of nanosize delivery system for antisense oligonucleotide on esophageal squamous cancer cells
An investigation on manufacturing process parameters of CNG pressure vessels
An investigation on internal solitary waves in a two-layer fluid: Propagation and reflection from steep slopes
An inexact proximal-type method for the generalized variational inequality in Banach spaces
An interval full-infinite programming method to supporting environmental decision-making
An interval-parameter fuzzy-stochastic programming approach for air quality management under uncertainty
An inexact stochastic quadratic programming method for municipal solid waste management
An intermediate-value theorem for the upper quantization dimension
An inorganic-organic intercalated nanocomposite, BEDT-TTF into layered MnPS(3)
An improved method for Daugman's iris localization algorithm
An improved HPLC method with fluorescence detection for the determination of pyrene in rat plasma and its pharmacokinetics
An improved model-free adaptive control with G function fuzzy reasoning regulation design and its applications
An investigation of the flow and overall performance in a water-jet axial flow pump based on computational fluid dynamics and inverse design method
An integrated method of rough set, Kano's model and AHP for rating customer requirements' final importance
An insight into the mechanistic role of Beclin 1 and its inhibition by prosurvival Bcl-2 family proteins
An investigation into the forces that drive ice-shelf rift propagation on the Amery Ice Shelf, East Antarctica
An iterative scheme for determining glacier velocities and stresses
An implementation of the Decision Feedback Equalizer based on Delay-Matched structure
An investigation into nickel implanted 316L stainless steel as a bipolar plate for PEM fuel cell
An isospectral transformation and the related integrable hierarchies of soliton equations
An investigation of hand forces and postures for using selected mechanical pipettes
An improved single-stage Flyback PFC converter for high-luminance lighting LED lamps