#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2006

2013

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Peilin Cui, Minghua Yu, +4 authors Zhaoxu Yang
- Journal of pineal research
- 2008

Melatonin, an indolamine mainly produced in the pineal gland, has received a great deal of attention in the last decade because of its oncostatic effects, which are due to its immunomodulatory, antiproliferative, antioxidant and its possible antiangiogenesis properties. Herein, we document its antiproliferative action on human umbilical vein endothelial… (More)

- Peilin Cui, Zhaohua Luo, +6 authors Ruijuan Xiu
- Journal of pineal research
- 2006

Melatonin is the major secretory product of the pineal gland and is considered an important natural oncostatic agent. The anticancer activity of melatonin is due to its immunomodulatory, anti-proliferative and antioxidative effects. At present there are no direct data available as to melatonin's possible influence on angiogenesis, which is a major… (More)

- Zhaohua Luo
- ArXiv
- 2007

A genoid is a category of two objects such that one is the product of itself with the other. A genoid may be viewed as an abstract substitution algebra. It is a remarkable fact that such a simple concept can be applied to present a unified algebraic approach to lambda calculus and first order logic.

- Zhaohua Luo
- ArXiv
- 2007

The primary goal of this paper is to present a unified way to transform the syntax of a logic system into certain initial algebraic structure so that it can be studied algebraically. The algebraic structures which one may choose for this purpose are various clones over a full subcategory of a category. We show that the syntax of equational logic, lambda… (More)

- Zhixue Luo, Z. Luo
- 2011

We study optimal birth policies for an age-dependent n-dimensional food chain model, which is controlled by fertility. New results on problems with free final time and integral phase constraints are presented, the approximate controllability of system is discussed.

- Zhaohua Luo
- ArXiv
- 2011

In this paper, first-order logic is interpreted in the framework of universal algebra, using the clone theory developed in three previous papers [1] [2] and [3]. We first define the free clone T ÔL, CÕ of terms of a first order language L over a set C of parameters in a standard way. The free right algebra F ÔL, CÕ of formulas over the clone T ÔL, CÕ of… (More)

- Zhaohua Luo
- ArXiv
- 2013

Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the category of a monad of sets to the category of Boolean algebras, together with a uniquely determined system of… (More)

- Zhaohua Luo
- ArXiv
- 2010

An abstract machine is a theoretical model designed to perform a rigorous study of computation. Such a model usually consists of configurations, instructions, programs , inputs and outputs for the machine. In this paper we formalize these notions as a very simple algebraic system, called a configuration machine. If an abstract machine is defined as a… (More)

- Zhaohua Luo, Hongwei Li, Jing Zhang, Honggang Zhang, Ruijuan Xiu
- Clinical hemorheology and microcirculation
- 2006

Connective tissue growth factor (CTGF) is a 38-kDa cysteine-rich protein and an important regulator of angiogenesis. In order to study the role CTGF gene playing in angiogenesis, the eukaryotic expression vector of CTGF gene was constructed in this study, and the role of endogenous CTGF on migration of human umbilical vein endothelial cell (HUVECs) was… (More)

- Zhaohua Luo
- ArXiv
- 2009

The concept of a clone is central to many branches of mathematics, such as universal algebra, algebraic logic, and lambda calculus. Abstractly a clone is a category with two objects such that one is a countably infinite power of the other. Left and right algebras over a clone are covariant and contravariant functors from the category to that of sets… (More)

- ‹
- 1
- ›