We show that every henselian valued field L of residue characteristic 0 admits a proper subfield K which is dense in L. We present conditions under which this can be taken such that L|K is transcendental and K is henselian. These results are of interest for the investigation of integer parts of ordered fields. We present examples of real closed fields which are larger than the quotient fields o...

The open neighborhood of a vertex $v$ of a graph $G$ is the set $N(v)$ consisting of all vertices adjacent to $v$ in $G$. For $Dsubseteq V(G)$, we define $overline{D}=V(G)setminus D$. A set $Dsubseteq V(G)$ is called a super dominating set of $G$ if for every vertex $uin overline{D}$, there exists $vin D$ such that $N(v)cap overline{D}={u}$. The super domination number of $G$ is the minimum car...

This paper details the coreference resolution system submitted by Stanford at the CoNLL2011 shared task. Our system is a collection of deterministic coreference resolution models that incorporate lexical, syntactic, semantic, and discourse information. All these models use global document-level information by sharing mention attributes, such as gender and number, across mentions in the same clu...

We analyse the hitherto unexplored relationship between intra-firm conflict between the research and development (R&D) department and central management, conflict alleviation and the choice of ‘open’ versus ‘closed’ innovation, in the context of a simple formal model. We find that in the presence of (intentional or unintentional) divergence of preferred (R&D) output between the R&D department a...

In this paper a new element for analysis of thin-walled structures is presented, and the effects of secondary shear stresses on longitudinal displacements are examined. Since the Interpolation Functions are based on non-uniform torsional differential equations, the analysis of stiffness matrix is facilitated. Therefore, its ability to produce accurate results with the least number of elements i...

Workload generators may be classified as based on a closed system model, where new job arrivals are only triggered by job completions (followed by think time), or an open system model, where new jobs arrive independently of job completions. In general, system designers pay little attention to whether a workload generator is closed or open. Using a combination of implementation and simulation ex...

Today most accidents are caused by drivers’ fatigue, drowsiness and losing attention on the road ahead. In this paper, a system is introduced, using RGB-D cameras to automatically identify drowsiness and give warning. In this system two important modules have been utilized simultaneously to identify the state of driver’s mouth and eyes for detecting drowsiness. At first, using the depth informa...