Efficient mixture preparation on digital microfluidic biochips

S Kumar, S Roy, PP Chakrabarti… - 2013 IEEE 16th …, 2013 - ieeexplore.ieee.org
Digital microfluidic biochips are recently being developed for on-chip implementation of
biochemical laboratory assays. Existing mixing algorithms determine the mixing tree or …

Demand-driven single-and multitarget mixture preparation using digital microfluidic biochips

Shalu, S Kumar, A Singla, S Roy… - ACM Transactions on …, 2018 - dl.acm.org
Recent studies in algorithmic microfluidics have led to the development of several
techniques for automated solution preparation using droplet-based digital microfluidic (DMF) …

A Boolean extraction technique for multiple-level logic optimization

OH Kwon - 2003 IEEE International symposium on circuits and …, 2003 - ieeexplore.ieee.org
Extraction is the most important step in global minimization. Its approach is to identify and
extract subexpressions, which are multiple-cubes or single-cubes, common to two or more …

Common Expression Extraction Using Two-cube Quotient Matrices

OH Kwon - Journal of the Korea Academia-industrial cooperation …, 2011 - koreascience.kr
This paper presents a new Boolean extraction technique for logic synthesis. This method
first calculates divisor/2-cube quotients, 2-cube quotient pairs, and 2-cube quotient matrices …

Common Expression Extraction Using Kernel-Kernel pairs

OH Kwon - Journal of the Korea Academia-industrial cooperation …, 2011 - koreascience.kr
This paper presents a new Boolean extraction technique for logic synthesis. This method
extracts kernel-kernel pairs as well as cokernel-kernel pairs. The given logic expressions …

3D interaction design: Increasing the stimulus-response correspondence by using stereoscopic vision

T Fetzer, C Petry, F Deinzer… - 2015 11th IEEE …, 2015 - ieeexplore.ieee.org
This paper presents a hand-based interaction approach for grabbing and manipulating
virtual objects within immersive virtual environments. Considering the stimulus-response of …

다출력논리식에서서포트를이용한공통식추출

권오형 - 한국정보기술학회논문지, 2011 - dbpia.co.kr
다출력 논리식에서 공통식을 추출하는 것은 최적화를 위해 매우 중요한 기술이다. 이러한
공통식 추출 방법은 크게 대수 방법과 부울 방법으로 구분된다. 본 논문에서는 부울 방법에 의한 …

[PDF][PDF] 2-큐브몫행렬을이용한공통식산출

권오형 - 한국산학기술학회논문지, 2011 - kais99.org
요약 본 논문에서는 논리합성을 위한 부울 공통식 추출 방법을 제안한다. 제안하는 방법은
주어진 각 논리식들에서 제수/2-큐브 몫들과 2-큐브 몫 쌍들을 산출하고, 이들을 이용해서 2 …

[PDF][PDF] 커널-커널쌍을이용한공통논리식산출

권오형 - 한국산학기술학회논문지, 2011 - kais99.org
요약 본 논문에서는 논리합성을 위한 공통식 추출 방법을 새롭게 제안한다. 제안하는 방법은
주어진 각 논리식들에서 커널/커널 쌍들과 코커널/커널 쌍을 추출한다. 커널/커널 쌍은 주어진 …

Combinatorial logic synthesis using technology directed decomposition

K Santeppa, K Neelakantan… - IETE journal of …, 1999 - Taylor & Francis
The aim of logic synthesis is to produce circuits which satisfy the given boolean function
while meeting timing constraints and requiring the minimum silicon area. Logic synthesis …