Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different application domains, including planning and formal verification. The main reason for this success is that modern SAT solvers can successfully deal with problems having millions of variables. All these solvers are based on the D...

PURPOSE To compare the criterion validity and accuracy of a 1 Hz non-differential global positioning system (GPS) and data logger device (DL) for the measurement of wheelchair tennis court movement variables. METHODS Initial validation of the DL device was performed. GPS and DL were fitted to the wheelchair and used to record distance (m) and speed (m/second) during (a) tennis field (b) linea...

BACKGROUND The invasion of colon cancer is associated with the tumor angiogenesis. Endostatin is an important anti-angiogenic agent, and the additive effect of endostatin with a chemotherapeutic agent, cyclophosphamide, on micrangium has not been established. METHODS Male BALB/c strain nude mice were injected with human colorectal carcinoma cells (HCT-116). The mice were divided into four gro...

This article describes a dual-controller dual-delay line delay lock loop (DC-DL DLL). The proposed DLL adopted dual structure, each was composed of coarse adjustment and fine unit, the lines had corresponding control units to reduce mismatch between lines, it avoided complicated design duty cycle correction (DCC) circuit. A frequency divider added divide input clock achieve wider adjustment. Ad...

During the embryonic growth mechanisms that are not fully clear ensures that exo-and endocrine cells are formed in the correct proportion. The embryonic endocrine progenitor cells are a subset of the developing Pdxl pancre-atic epithelial cells marked by the expression of Neurogenin3 (Ngn3). Ngn3 encodes a basic-Helix-Loop-Helix (bHLH) transcription factor (NGN3) that is required for the expres...

In this chapter we discuss flexible cognitive radio circuits for dynamic access of unused spectrum. Ideally, such circuits can work at an arbitrary radio frequency (RF). We review techniques to realize radios without resorting to frequency selective dedicated filters [24], in particular a recently proposed polyphase multipath technique canceling harmonics and sidebands [11,12]. Using this techn...

Instability of the scapholunate joint is frequently manifested by wrist pain and is sometimes visualized by a 2 to 4 mm gap between the scaphoid and lunate. Surgical repairs have had limited success, in part due to the surgeon being unsure which ligament or ligaments have been torn until the time of surgery. Various methods have been used to describe this gap between the bones and various level...

Geomagnetically trapped protons forming Earth's proton radiation belt pose a hazard to orbiting spacecraft. In particular, solar cell degradation is caused by non-ionising collisions with at energies of several megaelectron volts (MeV), which can shorten mission lifespan. Dynamic enhancements in flux following energetic particle events have been observed last months, and there strong need for p...