Discussion and Correspondence:On "Soma Influence"' in Ovarian Transplantation: PROFESSOR W. E. CASTLE. Genotypes are the Species upon which Genera are based: DR. CHARLES H. T. TOWNSEND. Mleeasuring the Merit of English Writing: DR. W. H. DALL. Latin Diagnosis of Fossil Plants: DR. EDWARD W. BERRY. Executive Responsibility: PROFESSOR SIDNEY GUNN. Academic and Industrial Efficiency: PROFESSOR WYM...

In contrast to the regular media reports decrying the so-called crisis in the health system, a number of academic commentators have identified areas in which the Australian health care system could improve. George Palmer has been one of those, and over the years has published a body of work identifying areas for improvement. This paper reviews the performance of the Australian health care syste...

Vehicular ad hoc network (VANETs) allows vehicles to communicate to each other and to roadside units. This enables a lot of different applications which can bring safety, efficiency, convenience and other benefit to users and the traffic system. Therefore, it received huge attention from academic area, government and manufactory. This paper focus on the security issues of the system. We are goi...

The problem of oscillations detection for nonlinear systems is addressed. The notion of homogeneity in bi-limit from (Andrieu, et al., 2008) is extended to local homogeneity. Next, sufficient conditions of oscillations existence for locally homogeneous systems are formulated. The proposed approach allows one to estimate the number of limit cycles and the regions of their location. Efficiency of...

In 2000 – 2003, the author made publicly available a collection of more than 1,100 Boolean formulas generated in formal verification of complex pipelined, superscalar, and VLIW microprocessors. These formulas galvanized the Boolean Satisfiability (SAT) community, and were used for the development of all recent academic and industrial SAT solvers. The paper evaluates the efficiency of various te...

Deviation is a recent constraint to balance a set of variables with respect to a given mean. We show that the propagators recently introduced are not bound-consistent when the mean is rational. We introduce bound-consistent propagators running in linear time with respect to the number of variables. We evaluate the improvement in terms of efficiency and pruning obtained with the new propagators ...

The commercialization of university-based research occurs to varying degrees between academic institutions. Previous studies have found that multiple barriers can impede the effectiveness and efficiency by which academic research is commercialized. This case study was designed to analyze the status of the commercialization activity at the University of Kentucky via a survey and interview with a...

This study examines the long-term impact of the faculty development programs on the multiple choice question (MCQ) items' quality leading to study its effect on the students' overall competency level during their yearly academic assessment. A series of longitudinal highly constructed faculty development workshops were conducted to improve the quality of the MCQs items writing skills. A total of...

Both academic and practitioner endeavors aim to improve idea generation for individuals and groups. However, administering studies to study group brainstorming is difficult due to measurement, task choice, and logistics. A big question concerning group brainstorming is, What factors affect efficiency? To answer this question, we built a multi-agent model. The results of this inquiry point to in...