The latent learning model to derive semantic relations of words from unstructured text data in social media

Multimedia Tools and Applications - Unstructured text data is very important in many applications because it reflects the thought of the people who create this data. However, it is difficult to...     

Investigation on mining subsidence over Appin–West Cliff Colliery using time-series SAR interferometry

Advanced Time Series InSAR (ATS-InSAR) generally refers to those TS-InSAR methods with an external distributed scatterer selection module, e.g. SqueeSAR?, and GEOS-ATSA (Advanced Time-Series Analysis). It is being known as a very efficient tool for monitoring ground deformation over suburban or non-urban regions with great success. However, research conducted using C-band Envisat-based ATS-InSAR failed to produce reasonable outcome within Appin Colliery primarily due to the underground mining effect, which is located in the southeastern corner of the Southern Coalfield, New South Wales, Australia; thus, the general underground mining pattern cannot be formed. This work presents a modified ATS-InSAR method for mapping the ground deformation over underground mining region. More specifically, in order to achieve the best outcome, a modified measurement scatterer (MS) pixel selection method is introduced by including less reliable MS pixels through an Inverse Distance Weighted-based integration method. In addition, the proposed method is also applied to C-band Sentinel-1 image stacks for testing purpose, and the final result proved to be efficient to offer sufficient information to the mining industry and government for risk management purpose.     

How verified (or tested) is my code? Falsification-driven verification and testing

Formal verification has advanced to the point that developers can verify the correctness of small, critical modules. Unfortunately, despite considerable efforts, determining if a “verification” verifies what the author intends is still difficult. Previous approaches are difficult to understand and often limited in applicability. Developers need verification coverage in terms of the software they are verifying, not model checking diagnostics. We propose a methodology to allow developers to determine (and correct) what it is that they have verified, and tools to support that methodology. Our basic approach is based on a novel variation of mutation analysis and the idea of verification driven by falsification. We use the CBMC model checker to show that this approach is applicable not only to simple data structures and sorting routines, and verification of a routine in Mozilla’s JavaScript engine, but to understanding an ongoing effort to verify the Linux kernel read-copy-update mechanism. Moreover, we show that despite the probabilistic nature of random testing and the tendency to incompleteness of testing as opposed to verification, the same techniques, with suitable modifications, apply to automated test generation as well as to formal verification. In essence, it is the number of surviving mutants that drives the scalability of our methods, not the underlying method for detecting faults in a program. From the point of view of a Popperian analysis where an unkilled mutant is a weakness (in terms of its falsifiability) in a “scientific theory” of program behavior, it is only the number of weaknesses to be examined by a user that is important.     

TSTL: the template scripting testing language

International Journal on Software Tools for Technology Transfer - A test harness, in automated test generation, defines the set of valid tests for a system, as well as their correctness properties....     

From experimental data,the mechanics relationships describing the behaviour of four different low alloyed steel powders during uniaxial cold compaction

This work aims at determining the constitutive model of four commercial water atomised low alloyed steel powders during cold compaction. Single-action experiments were performed, obtaining cylindrical specimens with different H/D ratios. The distribution of axial and radial stresses was investigated, and the relationships describing both the radial stress transmission coefficient and the flow stress as functions of the relative density were determined. The radial stress transmission coefficient also confirmed the hypothesised value of Poisson’s coefficient. The friction coefficient between the powder column and the die wall was determined, also highlighting the influence of the H/D ratio. Measuring the axial and radial strains due to spring-back, the axial and radial elastic moduli were determined, as functions of the relative density. The results obtained for the four materials were compared, also highlighting both differences and similarities.     

Design,Synthesis, Radiosynthesis and Biological Evaluation of Fenretinide Analogues as Anticancer and Metabolic Syndrome-Preventive Agents

Fenretinide (4-HPR) is a synthetic derivative of all-trans-retinoic acid (ATRA) characterised by improved therapeutic properties and toxicological profile relative to ATRA. 4-HPR has been mostly investigated as an anti-cancer agent, but recent studies showed its promising therapeutic potential for preventing metabolic syndrome. Several biological targets are involved in 4-HPR's activity, leading to the potential use of this molecule for treating different pathologies. However, although 4-HPR displays quite well-understood multitarget promiscuity with regards to pharmacology, interpreting its precise physiological role remains challenging. In addition, despite promising results in vitro, the clinical efficacy of 4-HPR as a chemotherapeutic agent has not been satisfactory so far. Herein, we describe the preparation of a library of 4-HPR analogues, followed by the biological evaluation of their anti-cancer and anti-obesity/diabetic properties. The click-type analogue 3 b showed good capacity to reduce the amount of lipid accumulation in 3T3-L1 adipocytes during differentiation. Furthermore, it showed an IC₅₀ of 0.53±0.8 μM in cell viability tests on breast cancer cell line MCF-7, together with a good selectivity (SI=121) over noncancerous HEK293 cells. Thus, 3 b was selected as a potential PET tracer to study retinoids in vivo, and the radiosynthesis of [¹⁸F] 3b was successfully developed. Unfortunately, the stability of [¹⁸F] 3b turned out to be insufficient to pursue imaging studies.     

Effect of diethyl ether blended with neem oil methyl esters in CI engine

Vegetable oils are now considered to be a potential alternative that can be used in place of partial or total substitution of diesel fuels. In this study, we used diethyl ether as an oxygenated additive to investigate the possible use of higher percentages of biodiesel in an unmodified diesel engine. Neem oil was selected for biodiesel production. The tests were performed at a steady-state condition in a single-cylinder constant speed DI diesel engine. The combustion process involved in diesel engine would be improved and the particulate matter would be reduced if these biodiesels are blended. An experimental investigation is carried out to establish the emission characteristics of a direct injection diesel engine using diethyl ether as additive in Neat Neem oil Biodiesel. Emissions of hydro carbon oxides of nitrogen and carbon monoxide significantly reduced by adding diethyl ether into neem oil biodiesel at 10% and 20% on volume basis.     

Shrimp processing residue as an alternative ingredient for new product development

Shrimp residues were dried (65 °C), grounded, and posteriorly used as an ingredient to the production of ‘spiced shrimp flour’ and ‘shrimp flavoured biscuits’. Both products were packed in modified atmosphere (100% N₂) and stored for 180 days (25 °C) for shelf life evaluation. The centesimal composition, physicochemical, microbiological and sensory analyses were carried out in triplicate. The microbiological analysis (residue and shrimp flour) was within the limits of the legislation, confirming the hygienic–sanitary care during processing. The protein content was the most outstanding (40.13% for the spiced shrimp flour and 20.52% for the shrimp flavoured biscuits). The microbiological evaluation for the ‘spiced shrimp flour’ and ‘shrimp flavoured biscuits’ was below the legal limit, and both products were accepted by sensory analysis. The shelf life evaluation demonstrated stability for 6 months. Thus, we concluded that the Litopenaeus vannamei shrimp residue is a promising ingredient in the food industry.