Relating formal grammars is a hard problem that balances between language equivalence (which is known to be undecidable) and grammar identity (which is trivial). In this paper, we investigate several milestones between those two extremes and propose a methodology for inconsistency management in grammar engineering. While conventional grammar convergence is a practical approach relying on human ...

Soft computing techniques, such as fuzzy logic and artificial neural network (ANN) approaches, have enabled researchers to create precise models for use in many scientific and engineering applications. Applications that can be employed in geodetic studies include the estimation of earth rotation parameters and the determination of mean sea level changes. Another important field of geodesy in wh...

The determination of the software release time for a new software product is the most critical issue for designing and controlling software development processes. This paper presents an innovative technique to predict the optimal software release time using a neural network. In our approach, a three-layer perceptron neural network with multiple outputs is used, where the underlying software fau...

Deep convolutional neural networks have achieved impressive performance on a broad range of problems, beating prior art on established benchmarks, but it often remains unclear what are the representations learnt by those systems and how they achieve such performance. This article examines the specific problem of saliency detection, where benchmarks are currently dominated by CNN-based approache...

Proposing A Neural Mechanism. Transformation-tolerant recognition seems to still pose a hard challenge for artificial vision systems, as opposed to their biological counterparts. We present a neurally-plausible mechanism to establish local feature correspondences between object images at different scales and orientations while using and explicitly representing the information about the given tr...

This paper proposes an affinity based complex artificial immune system considering the fact that the different eptitopes located on the surface of antigen can be recognized by a set of different paratopes expressed on the surface of immune cells. A neighborhood set consisting of immune cells with different affinities to a certain input antigen is built to simulate the nature immune behavior. Fu...

Thermal metamaterials, designed by transformation thermodynamics are artificial structures that can actively control heat flux at a continuum scale. However, fabrication of them is very challenging because it requires a continuous change of thermal properties in materials, for one specific function. Herein, we introduce tunable thermal metamaterials that use the assembly of unit-cell thermal sh...

Establishing processing-structure-property relationships for monolayer materials is crucial for a range of applications spanning optics, catalysis, electronics and energy. Presently, for molybdenum disulfide, a promising catalyst for artificial photosynthesis, considerable debate surrounds the structure/property relationships of its various allotropes. Here we unambiguously solve the structure ...

Proper preservation of transgenes and transgenic materials is important for wider use of transgenic technology in plants. Here, we report stable preservation and faithful expression of a transgene via artificial seed technology in alfalfa. DNA constructs containing the uid reporter gene coding for β-glucuronidase (GUS) driven by a 35S promoter or a tCUP promoter were introduced into alfalfa via...

An isotopic tracer assay based on the hydrogenase-dependent formation of tritiated water from tritium gas was developed for in life analysis of microbial hydrogen transformation. This method allowed detection of bacterial hydrogen metabolism in pure cultures or in natural samples obtained from aquatic ecosystems. A differentiation between chemical-biological and aerobic-anaerobic hydrogen metab...