‎The objective of this paper is to obtain an upper bound to the second Hankel determinant $|a_{2}a_{4}-a_{3}^{2}|$‎ ‎for the function $f$‎, ‎belonging to the class of Gamma-starlike functions‎, ‎using Toeplitz determinants‎. ‎The result presented here include‎ ‎two known results as their special cases‎.  

A polytypic (or generic) program captures a common pattern of computation over di erent datatypes by abstracting over the structure of the datatype. Examples of algorithms that can be de ned polytypically are equality tests, mapping functions and pretty printers. A commonly used technique to implement polytypic programming is specialization, where a specialized version of a polytypic function i...

In this tool demonstration, we give an overview of the Chameleon type debugger. The type debugger’s primary use is to identify locations within a source program which are involved in a type error. By further examining these (potentially) problematic program locations, users gain a better understanding of their program and are able to work towards the actual mistake which was the cause of the ty...

We describe a monad for checked, explicitly typed exceptions, which provides as a simple Haskell library what for other languages is a native feature. Multi parameter type classes and overlapping instances are the only essential extensions to Haskell 98 required.

The satisfiability and finite satisfiability problems for the two-variable guarded fragment of first-order logic with counting quantifiers, a database, and path-functional dependencies are both ExpTime-complete.

Background Cardiac magnetic resonance imaging (cMRI) has recently emerged as a new noninvasive imaging modality that offers superior structural and functional assessment of the heart. cMRI benefits from a large field of view but, consequently, may capture incidental extracardiac findings (IEFs). We aimed to evaluate the frequency and significance of IEFs reported from clinically indicated cMRI ...

Uniformization, choice functions and well orders in the class of trees. ABSTRACT The monadic second-order theory of trees allows quantification over elements and over arbitrary subsets. We classify the class of trees with respect to the question: does a tree T have a definable choice function (by a monadic formula with parameters)? A natural dichotomy arises where the trees that fall in the fir...

Automatic discovery and invocation of services will only be accepted in practise, if the non-functional, especially QoS, parameters are taken into consideration during matchmaking. In this paper we present how this can be achieved. As an example, we use the DIANE framework and explain how the concepts developed there can be extended to easily accommodate non-functional aspects. Thereby, these a...

  In this paper, an existence result for a class of infinite systems of functional-integral equations in the Banach sequence space $c_{0}$ is established via the well-known Schauder fixed-point theorem together with a criterion of compactness in the space $c_{0}$. Furthermore, we include some remarks to show the vastity of the class of infinite systems which can be covered by our result. The a...