Although previous studies have shown that people use both optic flow and target egocentric direction to walk or steer toward a goal, it remains in question how enriching the optic flow field affects the control of heading specified by optic flow and the control of target egocentric direction during goal-oriented locomotion. In the current study, we used a control-theoretic approach to separate ...

The yield of flow cytometric sorted Xand Y-chromosome-bearing sperm in a given time period is an important factor in the strategies used for fertilization and the production of sex-preselected offspring. This yield is dependent on the efficiency with which the modified flow cytometer/cell sorter analyzes the DNA of spermatozoa. The efficiency is directly related to the number of sperm with the ...

This paper introduces a scalable maxmin flow control protocol which guarantees the minimum rate for each connection-oriented flow without requiring per-flow information. The protocol is called MR-ASAP (Minimum Rate guaranteeing Adaptive Source-link Accounting Protocol). MR-ASAP is an extension of ASAP [Tsa98a, Kim99], the first exact maxmin flow control protocol for best-effort connection-orien...

Fish are particularly sensitive to connectivity loss as their ability to reach spawning grounds is seriously affected. The most common way to circumvent a barrier to longitudinal connectivity, and to mitigate its impacts, is to implement a fish passage device. However, these structures are often non-effective for species with different morphological and ecological characteristics so there is a ...

cognitive linguistics gives the most inclusive, consistent description of how language is organized, used and learned to date. cognitive linguistics contains a great number of concepts that are useful to second language learners.  if-clauses in english, on the other hand, remain intriguing for foreign language learners to struggle with, due to their intrinsic intricacies. efl grammar books are ...

This thesis develops a demand driven solver for constraint based control flow analysis. Our approach is modular, flow-sensitive and scaling. It allows to efficiently construct the interprocedural control flow graph (ICFG) for object-oriented languages. The analysis is based on the formal semantics of a Java-like language. It is proven to be correct with respect to this semantics. The base algor...

Language-based information-flow security is concerned with specifying and enforcing security policies for information flow via language constructs. Although much progress has been made on understanding information flow in object-oriented programs, the impact of class initialization on information flow has been so far largely unexplored. This paper turns the spotlight on security implications of...

Object-oriented programming consists of several different levels of abstraction, namely, the algorithmic level, class level, cluster level, and system level. In this article, we discuss a testing technique to generate test cases at class level for object-oriented programs. The formal object oriented class specification is used to develop a test model. This test model is based on finite state ma...