A robot-obstacle distance evaluation algorithm is described in this thesis which directly operates on the image given by a depth sensor, also known as Depth Space. The algorithm’s main features are that the entire visible part of the robot is accurately surveyed and that the different robot links are separately considered for the minimum robot-obstacle distance. Several design parameters are de...

The 3D chromatin structure modeling by chromatin interactions derived from Hi-C experiments is significantly challenged by the intrinsic sequencing biases in these experiments. Conventional modeling methods only focus on the bias among different chromatin regions within the same experiment but neglect the bias arising from different experimental sequencing depth. We now show that the regional i...

Database queries within a component framework usually take the form of a string passed to an operation in a component’s interface. The interface operation accepts a value of type string as an actual parameter and implements the necessary support to resolve the query. In such an approach, a component’s interface does not explicitly state the queries supported by that component. In this paper, we...

Soft glassy materials exhibit the so-called glassy transition which means that the behavior of the model at low shear rate changes when a certain parameter (which we call the glass parameter) crosses a critical value. This behavior goes from a Newtonian behavior to a HerschelBulkley behavior through a power-law-type behavior at the transition point. In a previous paper we rigorously proved that...

Combined logics have recently deserved much attention. In this paper we develop a detailed study of a form of combination that generalises the temporalisation construction proposed in 9]. It consists of replacing an atomic part (formal parameter) of one (parameterised) logic by another (actual parameter) logic. We provide a categorial char-acterisation of parameterisation and illustrate it with...

This work studies the question of quantified derandomization, which was introduced by Goldreich and Wigderson (STOC 2014). The generic quantified derandomization problem is the following: For a circuit class C and a parameter B = B(n), given a circuit C ∈ C with n input bits, decide whether C rejects all of its inputs, or accepts all but B(n) of its inputs. In the current work we consider three...

Scientific theories are hard to find, and once scientists have found a theory H, they often believe that there are not many distinct alternatives to H. But is this belief justified? What should scientists believe about the number of alternatives to H, and how should they change these beliefs in the light of new evidence? These are some of the questions that we will address in this paper. We als...

During the past decade, the appreciation and understanding of how bacterial cells can be organized in both space and time have been revolutionized by the identification and characterization of multiple bacterial homologs of the eukaryotic actin cytoskeleton. Some of these bacterial actins, such as the plasmid-borne ParM protein, have highly specialized functions, whereas other bacterial actins,...