We describe a machine learning method for collecting idiomatic fixed stem verb frames. Firstly we collect frequent frame candidates from the output of a partial parser, secondly we apply a certain idiomaticity metric to the list to get the most idiomatic frames. The extracted frames will be translated to English and used as a resource in a Hungarian-to-English machine translation system.

Lazard showed in his seminal work [L] that for rational coefficients continuous group cohomology of p-adic Lie-groups is isomorphic to Lie-algebra cohomology. We refine this result in two directions: firstly we extend his isomorphism under certain conditions to integral coefficients and secondly, we show that for algebraic groups, his isomorphism can be realized by differentiating locally analy...

In this paper, firstly we have established Hermite–Hadamard-Fejér inequality for fractional integrals. Secondly, an integral identity and some HermiteHadamard-Fejér type integral inequalities for the fractional integrals have been obtained. The some results presented here would provide extensions of those given in earlier works. Mathematics Subject Classification (2010): 26A51, 26A33, 26D10.

Abstract Philosophers of science have recently taken care to highlight different modeling practices where scientific models primarily contribute modal information, in the form for example possibility claims, how‐possibly explanations, or counterfactual conditionals. While examples abound, comparatively little attention is being paid question under what conditions , and virtue what, can perform ...

First, we briefly introduce the technologies of PDR (Pedestrian Dead Reckoning) that can be used to track the location and orientation of a pedestrian. Secondly, we show some enhancement of the PDR to improve its performance on accuracy. Finally, we describe the applications of the PDR.

We are concerning with a nonlinear Hammerstein quadratic integral equation. We prove the existence of at least one positive solution x ∈ L1 under Carathèodory condition. Secondly we will make a link between Peano condition and Carathèodory condition to prove the existence of at least one positive continuous solution. Finally the existence of the maximal and minimal solutions will be proved.

Interval Temporal Logics over infinite intervals are studied. First, the ordinary possible worlds models are extended to infinite possible world models. Accordingly, an axiomatic system is proposed and it has been proved complete. Secondly, infinite intervals are included in a logic over abstract intervals. A corresponding axiomatic system is given and proven to be complete also.

In this paper, we firstly propose a novel data min ing problem in a WWW environment. Secondly, we outline the algorithm f o r solving the problem. Our initial implementation of the algorithm suggests the algorithm is very e f i c i en t and scalable in practical. Therefore it can be applied t o a very large database.

We characterize transversality, non-transversality properties on the moduli space of genus 0 stable maps to a rational projective surface. If a target space is equipped with a real structure, i.e, antiholomorphic involution, then the results have real enumerative applications. Firstly, we can define a real version of Gromov-Witten invariants. Secondly, we can prove the invariance of Welschinger...

The objective of this paper is to present some of the key challenges faced when defining and building virtual workspaces for oil & gas Exploration & Production (E&P) activities. First, we present the main E&P processes that can benefit from the VR technology. Secondly, we classify and describe the different challenges.