198 results on '"Jiang, Jie-Hong"'
Search Results
152. BooM
153. TRECO: Dynamic technology remapping for timing Engineering Change Orders
154. Interpolating functions from large Boolean relations
155. PP-123 IFN-β and λ1, the most specific IFN subtypes in chronic hepatitis C virus infection
156. Session details: Recent advances in timing, ECO and logic optimization
157. Scalable don't-care-based logic optimization and resynthesis
158. A dynamic accuracy-refinement approach to timing-driven technology mapping
159. Bi-decomposing large Boolean functions via interpolation and satisfiability solving
160. Polymorphisms of microsomal triglyceride transfer protein in different hepatitis B virus-infected patients
161. Quantum Mechanical Search and Harmonic Perturbation
162. MxA Induction May Predict Sustained Virologic Responses of Chronic Hepatitis B Patients with IFN-α Treatment
163. Retiming and Resynthesis: A Complexity Perspective
164. Encoding multi-valued functions for symmetry.
165. Automatic test pattern generation for delay defects using timed characteristic functions.
166. Synthesis of Feedback Decoders for Initialized Encoders.
167. Compiling program control flows into biochemical reactions.
168. Functional Timing Analysis Made Fast and General.
169. Functional timing analysis made fast and general.
170. Clock rescheduling for timing engineering change orders.
171. Towards completely automatic decoder synthesis.
172. A robust functional ECO engine by SAT proof minimization and interpolation techniques.
173. Boolean matching of function vectors with strengthened learning.
174. BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning.
175. TRECO.
176. BooM: A decision procedure for boolean matching with abstraction and dynamic learning.
177. Interpolating functions from large Boolean relations.
178. To SAT or not to SAT.
179. Bi-decomposing large Boolean functions via interpolation and satisfiability solving.
180. Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving.
181. Inductive equivalence checking under retiming and resynthesis.
182. Scalable exploration of functional dependency by interpolation and incremental SAT solving.
183. A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits.
184. On Some Transformation Invariants Under Retiming and Resynthesis.
185. Compatible class encoding in hyper-function decomposition for FPGA synthesis
186. Optimum loading dispersion for high-speed tree-type decision circuitry.
187. TRECO: Dynamic Technology Remapping for Timing Engineering Change Orders.
188. Compatible class encoding in hyper-function decomposition for FPGA synthesis.
189. To SAT or Not to SAT: Scalable Exploration of Functional Dependency.
190. Static detection of API call vulnerabilities in iOS executables.
191. Unified functional decomposition via encoding for FPGA technology mapping
192. Reducing Multi-Valued Algebraic Operations to Binary.
193. [Laparoscopic percutaneous extraperitoneal closure does not affect vas deferens orientation or testicular volume and perfusion].
194. Serum WFA + -M2BP levels for evaluation of early stages of liver fibrosis in patients with chronic hepatitis B virus infection.
195. Reconfigurable neuromorphic computation in biochemical systems.
196. [Functional analysis of hepatitis B virus immune escape mutants with insertion mutations in the surface antigen].
197. [Association of polymorphism of 2'-5' oligoadenylate synthetase 1 gene with the susceptibility of hepatitis B virus infection and IFN-alpha treatment response].
198. MxA induction may predict sustained virologic responses of chronic hepatitis B patients with IFN-alpha treatment.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.