265 results on '"Feifei, Ma"'
Search Results
52. A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs.
53. On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model.
54. Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment.
55. Counting the Number of Solutions to Constraints.
56. Computing and estimating the volume of the solution space of SMT(LA) constraints.
57. Recycling utilization of Chinese medicine herbal residues resources: systematic evaluation on industrializable treatment modes
58. Dysregulated NF-κB signal promotes the hub gene PCLAF expression to facilitate nasopharyngeal carcinoma proliferation and metastasis
59. Folic acid prevents cardiac dysfunction and reduces myocardial fibrosis in a mouse model of high-fat diet-induced obesity
60. Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic.
61. Lightweight Method-Level Energy Consumption Estimation for Android Applications.
62. Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.
63. Profiling and identification of new proteins involved in brain ischemia using MALDI-imaging-mass-spectrometry
64. VolCE: An Efficient Tool for Solving #SMT(LA) Problems.
65. Weak QMV algebras and some ring-like structures.
66. A Fast and Practical Method to Estimate Volumes of Convex Polytopes.
67. SMT Solving for the Theory of Ordering Constraints.
68. Characteristics of syphilitic uveitis in northern China
69. Long Non-Coding RNA Expression Profiling in Obesity Mice with Folic Acid Supplement
70. On Teaching the Curriculum of Urban Landscape Painting in The Field of Chinese Painting
71. Word Level Robustness Enhancement: Fight Perturbation with Perturbation
72. GNPDA2 Gene Affects Adipogenesis and Alters the Transcriptome Profile of Human Adipose-Derived Mesenchymal Stem Cells
73. Automatic Generation of Combinatorial Test Data
74. A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China.
75. On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model.
76. Matrix metalloproteinase-13 participates in neuroprotection and neurorepair after cerebral ischemia in mice
77. Simulation of zinc electrolyzer based on equivalent circuit model
78. Research Progress on the Function and Application of Proteins of Edible and Medicinal Mushrooms: A Review
79. An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints.
80. Faulty Interaction Identification via Constraint Solving and Optimization.
81. Solving Generalized Optimization Problems Subject to SMT Constraints.
82. Time series decomposition into dyslipidemia prevalence among urban Chinese population: secular and seasonal trends
83. Constraint solving techniques for software testing and analysis.
84. A New Probabilistic Algorithm for Approximate Model Counting.
85. Diversified Top-k Partial MaxSAT Solving.
86. Solving Global Unconstrained Optimization Problems by Symmetry-Breaking.
87. Volume Computation for Boolean Combination of Linear Arithmetic Constraints.
88. Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.
89. Factors associated with suicidal ideation among Chinese adults in the labour force
90. Introgressing the Aegilops tauschii genome into wheat as a basis for cereal improvement
91. Computer Search for Large Sets of Idempotent Quasigroups.
92. Marker-Assisted Development and Evaluation of Near-Isogenic Lines for Broad-Spectrum Powdery Mildew Resistance Gene Pm2b Introgressed into Different Genetic Backgrounds of Wheat
93. Implementation of comprehensive service in nursing care of patients with chronic pelvic inflammation and evaluation of its effect on quality of life
94. Perfluorotridecanoic acid inhibits fetal Leydig cell differentiation after in utero exposure in rats via increasing oxidative stress and autophagy
95. Proposal and Validation of a New Nonradiological Method for Postoperative Three-Dimensional Implant Position Analysis Based on the Dynamic Navigation System: An In Vitro Study
96. Finding orthogonal latin squares using finite model searching tools.
97. Regulatory microRNAs and vascular cognitive impairment and dementia
98. Accuracy of 3 calibration methods of computer-assisted dynamic navigation for implant placement: An in vitro study
99. Comparison of the accuracy of two different dynamic navigation system registration methods for dental implant placement: A retrospective study
100. Serum Unconjugated Bilirubin as a Predictor of Specific Cellular Immunity Response in Kidney Transplant Recipients after Administration of SARS-CoV-2 Inactivated Vaccine
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.