Finding efficient analytical techniques is overwhelmingly turning into a bottleneck for the effectiveness of large biological data. Machine learning offers a novel and powerful tool to advance classification and modeling solutions in molecular biology. However, these methods have been less frequently used with empirical population genetics data. In this study, we developed a new combined approa...

Beyond numerical simulation, the possibility of performing symbolic computation on biomolecular interaction networks opens the way to the design of new automated reasoning tools for biologists/modelers. The Biochemical Abstract machine BIOCHAM provides a precise semantics to biomolecular interaction maps as concurrent transition systems. Based on this formal semantics, BIOCHAM offers a composit...

Two very different insights motivate characterizing the brain as a computer. One depends on mathematical theory that defines computability in a highly abstract sense. Here the foundational idea is that of a Turing machine. Not an actual machine, the Turing machine is really a conceptual way of making the point that any well-defined function could be executed, step by step, according to simple “...

In this paper, a new algorithm is proposed to interpolate G01 codes in 2D milling. Without resorting to smooth curve approximation, the algorithm makes full use of the acceleration bounds to change directions with optimal velocities at the cutter location points designated by the G01 codes, and then makes global lookahead and optimization to generate time-optimal interpolation of the G01 codes....

Four model selection methods are applied to the problem of predicting business cycle turning points: equally-weighted forecasts, Bayesian model averaged forecasts, and two models produced by the machine learning algorithm boosting. The model selection algorithms condition on different economic indicators at different forecast horizons. Models produced by BMA and boosting outperform equally-weig...

Database system is mainly created for superhard cutting. In the paper, the processing time is considered as the objective function based on the issue needs, the establishing of the mathematical model of the cutting database system mainly takes cutting force, power tools, precision machining and tool life as constraints. And the database develops through the development software VS2008 and SQL S...

In this paper, we describe the CASIA statistical machine translation (SMT) system for the IWSLT2013 Evaluation Campaign. We participated in the Chinese-English and English-Chinese translation tasks. For both of these tasks, we used a hierarchical phrase-based (HPB) decoder and made it as our baseline translation system. A number of techniques were proposed to deal with these translation tasks, ...

growing cost of human resources and the pressing need for increased productivity, industry is turning more and more towards automation, specifically the use of robots. But exactly what is a robot? The word itself comes from the Czech word robota, meaning work, and Webster's calls it "an automatic device that performs functions ordinarily ascribed to human beings." However, with that description...

EVERY EVENING OUR EYES TELL US THAT THE SUN SETS, WHILE we know that, in fact, the Earth is turning us away from it. Astronomy taught us centuries ago that common sense is not a reliable guide to reality. Today it is neuroscience that is forcing us to readjust our intuitions. People naturally believe in the Ghost in the Machine: that we have bodies made of matter and spirits made of an ethereal...

In this paper, we report an analysis of the strengths and weaknesses of several Machine Translation (MT) engines implementing the three most widely used paradigms. The analysis is based on a manually built test suite that comprises a large range of linguistic phenomena. Two main observations are on the one hand the striking improvement of an commercial online system when turning from a phrase-b...