Design and Deployment of Expressive and Correct Web of Things Applications

Consumer Internet of Things (IoT) applications are largely built through end-user programming in the form of event-action rules. Although end-user tools help simplify the building of IoT applications to a large extent, there are still challenges in developing expressive applications in a simple yet correct fashion. In this context, we propose a formal development framework based on the Web of Things specification. An application is defined using a composition language that allows users to compose the basic event-action rules to express complex scenarios. It is transformed into a formal specification that serves as the input for formal analysis, where the application is checked for functional and quantitative properties at design time using model checking techniques. Once the application is validated, it can be deployed and the rules are executed following the composition language semantics. We have implemented these proposals in a tool built on top of the Mozilla WebThings platform. The steps from design to deployment were validated on real-world applications.

Density of type-dependent sets in Krull monoids with analytic structure

We describe structural and quantitative properties of type-dependent sets in monoids with suitable analytic structure, including simple analytic monoids, introduced by Kaczorowski (Semigroup Forum 94:532–555, 2017. 10.1007/s00233-016-9778-9), and formations, as defined by Geroldinger and Halter-Koch (Non-unique factorizations, Chapman and Hall, Boca Raton, 2006. 10.1201/9781420003208). We propose the notions of rank and degree to measure the size of a type-dependent set in structural terms. We also consider various notions of regularity of type-dependent sets, related to the analytic properties of their zeta functions, and obtain results on the counting functions of these sets.

Stochastic turbulence for Burgers equation driven by cylindrical Lévy process

This work is devoted to investigating stochastic turbulence for the fluid flow in one-dimensional viscous Burgers equation perturbed by Lévy space-time white noise with the periodic boundary condition. We rigorously discuss the regularity of solutions and their statistical quantities in this stochastic dynamical system. The quantities include moment estimate, structure function and energy spectrum of the turbulent velocity field. Furthermore, we provide qualitative and quantitative properties of the stochastic Burgers equation when the kinematic viscosity [Formula: see text] tends towards zero. The inviscid limit describes the strong stochastic turbulence.

On the Quantitative Properties of Some Market Models Involving Fractional Derivatives

We review and discuss the properties of various models that are used to describe the behavior of stock returns and are related in a way or another to fractional pseudo-differential operators in the space variable; we compare their main features and discuss what behaviors they are able to capture. Then, we extend the discussion by showing how the pricing of contingent claims can be integrated into the framework of a model featuring a fractional derivative in both time and space, recall some recently obtained formulas in this context, and derive new ones for some commonly traded instruments and a model involving a Riesz temporal derivative and a particular case of Riesz–Feller space derivative. Finally, we provide formulas for implied volatility and first- and second-order market sensitivities in this model, discuss hedging and profit and loss policies, and compare with other fractional (Caputo) or non-fractional models.

Chemical Composition and Biological Activities of Tunisian Ziziphus lotus Extracts: Evaluation of Drying Effect, Solvent Extraction, and Extracted Plant Parts

The Tunisian Ziziphus lotus plant was investigated to determine its phytoconstituents and evaluate its biological activities. In particular, the GC/MS technique was used to describe the chemical composition of Z. lotus active extracts and fractions. Among the obtained extracts, the yields of the dried root methanolic extract (29.80%) and the fruit aqueous extract (48.00%) were the highest ones. The dried root methanolic extract exhibited the highest amount in the total phenolics (186.44 ± 0.26 mg GAE/g DW), total flavonoids (102.50 ± 3.53 mg QE/g DW), and tannins (60.714 ± 2.2 mg catechin/g DW). The root aqueous extracts revealed the highest antioxidant activity with an IC50 of 8.96 ± 0.38 mg/L and 16.46 ± 0.60 mg/L for the ABTS•+ and DPPH• assays, respectively. The total antioxidant capacity was accorded to the methanolic extract of the dried roots with a value of 304.07 ± 1.11 µg AAE/mg. The drying process was found to improve the qualitative and quantitative properties of the Z. lotus extracts. The evaluation of the cytotoxic activity against the SH-SY5Y cell line was carried out using MTT assay. The petroleum ether and dichloromethane extracts of the dried roots showed relevant cytotoxic activities. The thin layer chromatography and the GC-MS/GC-FID analysis led to the identification of the 13-epimanool as a potent cytotoxic compound.

Morphological characterization of natural orchids Dendrobium spp.

Dendrobium is characterized by long pseudobulbs or canes with soft leaves over the entire length, or in some species short or swollen pseudobulbs with two leathery leaves. The inflorescence is composed from dozens of flowers of different sizes and colors. This study aimed to identify the quantitative morphological character of five species of Dendrobium spp. namely D. mirbelianum, D. lamellatum from Java, D. anosmum from South Kalimantan, D. bracteosum from Papua, and D. purpureum from North Sumatera. The resulted dendrogram based on the similarity matrix were divided into two clusters, among the five species the value of similarity coefficient is 1.50. The first cluster is only composed from D. mirbelianum, the second cluster is D. lamellatum, D. purpureum, D. bracteosum, and D. anosmum which have more distant relationship with the other three orchids. Moreover, D. lamellatum and D. purpureum have the closest similarity coefficient with 0.81 value, which have bigger chance to use as the parents for hybridization. There are many Dendrobiums spp. distribution which based on the relationship area. In addition to quantitative properties, it also needs to be expanded to qualitative, anatomy, cytology, and also molecular characteristic to have more comprehensive data.

Modified Fuzzy Logic Method for Materials Selection in Mechanical Engineering Design

Materials selection is one of the primary steps in designing products, including mechanical ones. As a result, researchers are continuously developing simple, accurate, and feasible techniques to enhance the performance of the designed component by selecting the optimum materials from a wide variety of candidate materials. In this research work, a modified fuzzy approach referred to as Modified Fuzzy Logic Method (MFLM) is proposed to provide some highly appreciated advantages besides resolving some of the substantial shortcomings of the existing solutions. Customizing the method based on the designer’s knowledge and level of expertise, simultaneous consideration of qualitative and quantitative properties, and high accuracy in the ranking of candidate materials are some of the significant benefits of MFLM in comparison to the available alternative methods. While, complexity, high volume computational efforts, and more are amongst the resolved drawbacks. Moreover, the produced results show the power and simplicity of the technique in solving complex problems like materials selection for a gas turbine blade which involves a high range working temperature.

Quantitative and Qualitative Comparison Study between Classification Methods on normal and abnormal (with a coronavirus ) lung images

Classification is concerned with establishing criteria that can be used to identify or distinguish different populations of objects that appear in images. In this paper Supervised and unsupervised classification method applied on normal, abnormal (with a coronavirus) ct- lung images (which it took from Al shaikh zaeid Hospital) to study the quantitative and qualitative properties of these two categories. The analysis of performance with default quantitative parameters revealed that (kurtosis, skewness, entropy, Stander deviation (STD), mean). We found that: Qualitative (as seen) of abnormal lung images after applying Supervisors classification are better than the qualitative of abnormal lung images after applying unsupervisors classification to detect the virus with white color in the lower lobes of the lung.. from The quantitative Properties such as (kurtosis, skewness) of original lung images are similar in rising to resulted value after applying Supervisors classification on it, so Supervisors method is better than unSupervisors method to distinguishing between normal and abnormal lung images.