18 resultados para Constraint handling
em Chinese Academy of Sciences Institutional Repositories Grid Portal
Resumo:
Neurotrypsin is one of the extra-cellular serine proteases that are predominantly expressed in the brain and involved in neuronal development and function. Mutations in humans are associated with autosomal recessive non-syndromic mental retardation (MR). We studied the molecular evolution of neurotrypsin by sequencing the coding region of neurotrypsin in 11 representative non-human primate species covering great apes, lesser apes, Old World monkeys and New World monkeys. Our results demonstrated a strong functional constraint of neurotrypsin that was caused by strong purifying selection during primate evolution, an implication of an essential functional role of neurotrypsin in primate cognition. Further analysis indicated that the purifying selection was in fact acting on the SRCR domains of neurotrypsin, which mediate the binding activity of neurotrypsin to cell surface or extracellular proteins. In addition, by comparing primates with three other mammalian orders, we demonstrated that the absence of the first copy of the SRCR domain (exon 2 and 3) in mouse and rat was due to the deletion of this segment in the murine lineage. Copyright (C) 2005 S. Karger AG, Basel.
Resumo:
We captured free-ranging male Yangtze finless porpoises over three seasons and assayed leukocytes and serum biochemistry to investigate physiological responses to the capture and handlings. Serum thyroid hormones (THs) declined sharply in those porpoises compared with hormone variation in a captive male finless porpoise. Hypernatremia and hypokalemia were also significant in the free-ranging animals suggesting that conservation of serum sodium might be acutely vital for this freshwater subspecies. The animals captured in spring showed more significant neutrophilia and eosinopenia than those captured in autumn suggesting that they may be more affected by capture during the breeding season. Furthermore, physical examination of porpoises when out of the water was apparently stressful, particularly when they were kept out of the water for longer periods. However, an increase in circulating THs may be an adaptive response to accommodate these short-term stresses.
Resumo:
Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe constraint-based tools that can be used for this purpose. They accept constraints expressed in a natural form, which may involve variables of different types such as integers, Booleans, reals and fixed-size arrays. The constraint solver is an extension of a Boolean satisfiability checker and it makes use of a linear programming package. The solving algorithm is described, and examples are given to illustrate the use of the tools. For many paths in the testing literature, their feasibility can be decided in a reasonable amount of time.
a constraint-driven human resource scheduling method in software development and maintenance process
Resumo:
University of Twente; Centre for Telematics and Information Technology; Netherlands Organisation for Scientific Research; Jacquard; Capgemini