Extended-order algebras and fuzzy implicators

In this work we reconsider the notion of implicator in a complete lattice L and discuss its properties, taking into account the viewpoint of the implication operation of classes of (weak) extended-order algebras, introduced by C. Guido and P. Toto and included in the class of implicative algebras considered by E. Rasiowa. In fact, such an implication, that is an extension of an order relation, can be viewed as an implicator in L, whose properties depend on those characterizing the structure of the algebra. We also propose in a (weak) right-distributive complete extended-order algebra $(L,\rightarrow,\top)$ with adjoint product ? a relative implication as a further implicator beyond ${\rightarrow}{.}$ The relative implication allows an extension of the inclusion relation between L-sets A and B, different from the subsethood degree, that consists in seeing to which extent A is included in its conjunction with B. Moreover, we introduce in $(L,\rightarrow,\top)$ a further binary operation that we call conditional conjunction that can be read as “a” and “b, given a”, which motivates the term we have chosen to denote it. This operation, strictly related to the divisibility condition of BL-algebras, satisfies most conditions usually asked to a conjunction and it is well behaved with the adjoint product ? and the meet operation ∧.     

Transmission control of Variable-Bit-Rate video streaming in UMTS networks

Variable-Bit-Rate (VBR) video transmission over UMTS networks is assuming an ever growing importance, then scheduling VBR data over wireless channels attracts great interest today. This paper proposes an on-line PI control algorithm for easily and suitably scheduling interactive multimedia transmission of VBR video streams. It dynamically adapts the transmitted bit rate to the user's actions that can suddenly and highly modify the client buffer level. The Real-time Transport Control Protocol (RTCP) packets periodically feed back the buffer level to the server for keeping the free buffer space at 50% of its capacity, so as to prevent both buffer overflow and underflow. Numerical results of different simulated scenarios show the effectiveness of the proposed controller in comparison with two well-established algorithms, enhanced with RTCP information.     

Modes computation in arbitrarily shaped waveguides by a transformation optics approach

This article applies a new method to analyze modes in empty waveguides having perfectly conducting walls and a rather generic cross‐section. The method is based on a coordinate transformation that maps the generic profile of the waveguide cross‐section to a circular waveguide (CW) filled with an anisotropic material. Modes in this latter waveguide can be represented as a series over the corresponding free‐space CW modes. This representation is particularly useful if used as a modal expansion over the port of a 2.5D or 3D device treated with a transformation optics approach. The method is particularly efficient when the waveguide is “similar” to a CW. Applications are shown to the analysis of some waveguides of arbitrary cross‐section with a view on practical applications.     

Detection and tracking of oil slicks on sun-glittered visible and near infrared satellite imagery

The use of the visible and near infrared (VNIR) bands of MODIS and MERIS imaging sensors acquired in sunglint conditions to reveal smoothed regions such as those affected by oil pollution is investigated. The underlying physical mechanism that enables oil slick detection is based on the modification of the surface slope distribution composing the wind-roughened sea due to the action of mineral oils. The role of sunglint as the chief mechanism that allows the imaging of oil slick features with VNIR wavelengths is assessed for selected case studies in the Mediterranean Sea. The high rate of acquisition and the frequent occurrence of MODIS and MERIS imagery affected by sunglint, especially in low-latitude seas, can thus significantly contribute to increase the actual oil slick detection capability offered by synthetic aperture radar (SAR) systems. We also show how the combined observations from any of the microwave and optical sensors permit the slick to be followed during its movement. Finally, a simulation study specific to the Mediterranean Sea was carried out in order to demonstrate the feasibility of such an approach supporting SAR observations.     

Formal concept analysis in knowledge processing: A survey on applications

This is the second part of a large survey paper in which we analyze recent literature on Formal Concept Analysis (FCA) and some closely related disciplines using FCA. We collected 1072 papers published between 2003 and 2011 mentioning terms related to Formal Concept Analysis in the title, abstract and keywords. We developed a knowledge browsing environment to support our literature analysis process. We use the visualization capabilities of FCA to explore the literature, to discover and conceptually represent the main research topics in the FCA community. In this second part, we zoom in on and give an extensive overview of the papers published between 2003 and 2011 which applied FCA-based methods for knowledge discovery and ontology engineering in various application domains. These domains include software mining, web analytics, medicine, biology and chemistry data.     

Normative requirements for regulatory compliance: An abstract formal framework

By definition, regulatory rules (in legal context called norms) intend to achieve specific behaviour from business processes, and might be relevant to the whole or part of a business process. They can impose conditions on different aspects of process models, e.g., control-flow, data and resources etc. Based on the rules sets, norms can be classified into various classes and sub-classes according to their effects. This paper presents an abstract framework consisting of a list of norms and a generic compliance checking approach on the idea of (possible) execution of processes. The proposed framework is independent of any existing formalism, and provides a conceptually rich and exhaustive ontology and semantics of norms needed for business process compliance checking. Apart from the other uses, the proposed framework can be used to compare different compliance management frameworks (CMFs).     

Stabilized extended finite elements for the approximation of saddle point problems with unfitted interfaces

We address a two-phase Stokes problem, namely the coupling of two fluids with different kinematic viscosities. The domain is crossed by an interface corresponding to the surface separating the two fluids. We observe that the interface conditions allow the pressure and the velocity gradients to be discontinuous across the interface. The eXtended Finite Element Method (XFEM) is applied to accommodate the weak discontinuity of the velocity field across the interface and the jump in pressure on computational meshes that do not fit the interface. Numerical evidence shows that the discrete pressure approximation may be unstable in the neighborhood of the interface, even though the spatial approximation is based on inf-sup stable finite elements. It means that XFEM enrichment locally violates the satisfaction of the stability condition for mixed problems. For this reason, resorting to pressure stabilization techniques in the region of elements cut by the unfitted interface is mandatory. In alternative, we consider the application of stabilized equal order pressure/velocity XFEM discretizations and we analyze their approximation properties. On one side, this strategy increases the flexibility on the choice of velocity and pressure approximation spaces. On the other side, symmetric pressure stabilization operators, such as local pressure projection methods or the Brezzi–Pitkaranta scheme, seem to be effective to cure the additional source of instability arising from the XFEM approximation. We will show that these operators can be applied either locally, namely only in proximity of the interface, or globally, that is on the whole domain when combined with equal order approximations. After analyzing the stability, approximation properties and the conditioning of the scheme, numerical results on benchmark cases will be discussed, in order to thoroughly compare the performance of different variants of the method.     

Improved voice activity detection algorithm using wavelet and support vector machine

This paper proposes an improved voice activity detection (VAD) algorithm using wavelet and support vector machine (SVM) for European Telecommunication Standards Institution (ETSI) adaptive multi-rate (AMR) narrow-band (NB) and wide-band (WB) speech codecs. First, based on the wavelet transform, the original IIR filter bank and pitch/tone detector are implemented, respectively, via the wavelet filter bank and the wavelet-based pitch/tone detection algorithm. The wavelet filter bank can divide input speech signal into several frequency bands so that the signal power level at each sub-band can be calculated. In addition, the background noise level can be estimated in each sub-band by using the wavelet de-noising method. The wavelet filter bank is also derived to detect correlated complex signals like music. Then the proposed algorithm can apply SVM to train an optimized non-linear VAD decision rule involving the sub-band power, noise level, pitch period, tone flag, and complex signals warning flag of input speech signals. By the use of the trained SVM, the proposed VAD algorithm can produce more accurate detection results. Various experimental results carried out from the Aurora speech database with different noise conditions show that the proposed algorithm gives considerable VAD performances superior to the AMR-NB VAD Options 1 and 2, and AMR-WB VAD.     

Ökonomischer Wert von Informationssystemen

The economic relevance of information systems has been studied for many years and has attracted an abundance of research papers. However, the “productivity paradoxon” of the 1990s, Carr’s widely recognized paper “IT doesn’t matter”, and several studies that do not find a positive correlation between IS investments and economic performance reveal long-lasting difficulties for IS researchers to explain “IS business value”. Business executives and researchers also continue to question the value of IS investments. This raises the question of whether literature reviews have tapped their potential to address the concerns by covering key research areas of IS business value and preserving their key findings. In order to address this question, this paper identifies and describes 12 key research areas, and synthesizes what literature reviews published in pertinent academic outlets have done to preserve knowledge. The analysis of 22 literature reviews shows that some crucial areas have not been (sufficiently) covered. They provide fertile areas for future literature reviews. As this work is based on the results of more than 200 research papers, it is capable of drawing a comprehensive picture of the current state-of-the-art in IS business value research.