An integrated system to remote monitor and control anaerobic wastewater treatment plants through the internet.

The TELEMAC project brings new methodologies from the Information and Science Technologies field to the world of water treatment. TELEMAC offers an advanced remote management system which adapts to most of the anaerobic wastewater treatment plants that do not benefit from a local expert in wastewater treatment. The TELEMAC system takes advantage of new sensors to better monitor the process dynamics and to run automatic controllers that stabilise the treatment plant, meet the depollution requirements and provide a biogas quality suitable for cogeneration. If the automatic system detects a failure which cannot be solved automatically or locally by a technician, then an expert from the TELEMAC Control Centre is contacted via the internet and manages the problem.     

Superfluid-insulator transition in disordered boson systems

We review the localization problem in two dimensions for interacting bosons in a random potential. This problem is intimately related to the study of ⁴ He adsorbed in porous media, Josephson junction arrays, disordered superconducting films and vortex glasses. Using path integral Monte Carlo techniques, we find a superfluid, a localized or Bose glass insulator with gapless excitations, and (at commensurate densities) a Mott insulator with a finite gap to excitations.     

Silhouette-based human action recognition using SAX-Shapes

Human action recognition is an important problem in Computer Vision. Although most of the existing solutions provide good accuracy results, the methods are often overly complex and computationally expensive, hindering practical applications. In this regard, we introduce the combination of time-series representation for the silhouette and Symbolic Aggregate approXimation (SAX), which we refer to as SAX-Shapes, to address the problem of human action recognition. Given an action sequence, the extracted silhouettes of an actor from every frame are transformed into time series. Each of these time series is then efficiently converted into the symbolic vector: SAX. The set of all these SAX vectors (SAX-Shape) represents the action. We propose a rotation invariant distance function to be used by a random forest algorithm to perform the human action recognition. Requiring only silhouettes of actors, the proposed method is validated on two public datasets. It has an accuracy comparable to the related works and it performs well even in varying rotation.     

IESK-ArDB: a database for handwritten Arabic and an optimized topological segmentation approach

Even though a lot of researches have been conducted in order to solve the problem of unconstrained handwriting recognition, an effective solution is still a serious challenge. In this article, we address two Arabic handwriting recognition-related issues. Firstly, we present IESK-arDB, a new multi-propose off-line Arabic handwritten database. It is publicly available and contains more than 4,000 word images, each equipped with binary version, thinned version as well as a ground truth information stored in separate XML file. Additionally, it contains around 6,000 character images segmented from the database. A letter frequency analysis showed that the database exhibits letter frequencies similar to that of large corpora of digital text, which proof the database usefulness. Secondly, we proposed a multi-phase segmentation approach that starts by detecting and resolving sub-word overlaps, then hypothesizing a large number of segmentation points that are later reduced by a set of heuristic rules. The proposed approach has been successfully tested on IESK-arDB. The results were very promising, indicating the efficiency of the suggested approach.     

A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas

Explaining the causes of infeasibility of Boolean formulas has practical applications in numerous fields, such as artificial intelligence (repairing inconsistent knowledge bases), formal verification (abstraction refinement and unbounded model checking), and electronic design (diagnosing and correcting infeasibility). Minimal unsatisfiable subformulas (MUSes) provide useful insights into the causes of infeasibility. An unsatisfiable formula often has many MUSes. Based on the application domain, however, MUSes with specific properties might be of interest. In this paper, we tackle the problem of finding a smallest-cardinality MUS (SMUS) of a given formula. An SMUS provides a succinct explanation of infeasibility and is valuable for applications that are heavily affected by the size of the explanation. We present (1) a baseline algorithm for finding an SMUS, founded on earlier work for finding all MUSes, and (2) a new branch-and-bound algorithm called Digger that computes a strong lower bound on the size of an SMUS and splits the problem into more tractable subformulas in a recursive search tree. Using two benchmark suites, we experimentally compare Digger to the baseline algorithm and to an existing incomplete genetic algorithm approach. Digger is shown to be faster in nearly all cases. It is also able to solve far more instances within a given runtime limit than either of the other approaches.     

Quantum Inspired Broadband Photonic Absorber: Potential Application as Solar Sail along with Mobility Analysis

Electromagnetic wideband absorption is still perceived as a critical and formidable challenge to address with an unambiguous photonic absorber. Subwavelength metamaterial (MM) unit cells with unique and controlled features have recently gained considerable interest. However, meta-atoms, generated using a quantum-inspired pattern distribution, are underwhelming in existing literature to design photonic absorbers and their potential application to manufacture solar sails is still quite uncommon. In this article, to create a flexible, polarization-insensitive, ultrathin, and broadband MM absorber, quantum interference pattern-inspired design is utilized. Herein, a novel approach to fabricating solar sails for the space exploration incorporates the proposed broadband photonic absorber rather than conventional reflectors. The quantum-inspired meta-absorber (QIMA) exhibits an absorption of over 91% for the visible domain, i.e., 380–800 nm under a conventional plane-polarized source. It is shown in the study that broadband absorbers are almost equivalent to excellent reflectors to design the solar sails in terms of the time-averaged force calculated by utilizing the Maxwell stress tensor method. Thus, the QIMA has the potential to be a viable alternative to reflectors in the design of futuristic solar sails for space exploration. The interference theory model is also utilized to assure the dependability of calculated data, and additionally, the standard AM1.5 solar spectrum is utilized to demonstrate the QIMA's solar-harvesting potentiality.     

Efficient Body-Transfer Wheelchair for Assisting Functionally ImpairedPeople

Functionally impaired people always have difficulty accomplishing activities of daily living. In this regard, tasks including toileting and bathing have a higher prevalence rate of injuries and greater risk of falling. In this study, a body-transfer wheelchair was developed to assist people in transferring from bed to wheelchair for bathing, and toileting. The body-transfer wheelchair is a semi-automatic wheelchair that has features such as a controlled leg and backrest, linkage commode slot, and height adjustment. The wheelchair consists of a seat and a main frame that can be detached to enable bathtub transfer. This mechanism lets the user stay on the seat while being transferred into the bathtub without any risk of falling. A linkage mechanism was developed as a part of the seat for ease of toileting. Kinematic and force analysis was conducted to calculate the force required for each actuator. It has been proved by the experimental results that the wheelchair can securely and comfortably transfer a patient from the bed to the toilet or bathtub. A survey has been conducted to evaluate the wheelchair prototype design idea. Two focus groups were chosen: one comprised of functionally impaired people, and the other comprised of caregivers. The results of the survey show that 60% of both functionally impaired people and caregivers would like to use the body-transfer wheelchair for toileting and bathing purpose. Additionally, on average 65% of both focus groups find it convenient to operate the body-transfer wheelchair independently.     

Selective determination of urea using urease immobilized on ZnO nanowires

Well-aligned zinc oxide (ZnO) nanowire arrays were fabricated on gold-coated plastic substrates using a low-temperature aqueous chemical growth (ACG) method. The ZnO nanowire arrays with 50–130 nm diameters and ∼1 μm in lengths were used in an enzyme-based urea sensor through immobilization of the enzyme urease that was found to be sensitive to urea concentrations from 0.1 mM to 100 mM. Two linear sensitivity regions were observed when the electrochemical responses (EMF) of the sensors were plotted vs. the logarithmic concentration range of urea from 0.1 mM to 100 mM. The proposed sensor showed a sensitivity of 52.8 mV/decade for 0.1–40 mM urea and a fast response time less than 4 s was achieved with good selectivity, reproducibility and negligible response to common interferents such as ascorbic acid and uric acid, glucose, K⁺ and Na⁺ ions.