GBFS-based satisficing planners often augment their search with knowledge-based enhancements such as preferred operators and multiple heuristics. These techniques seek to improve planner performance by making the search more informed. In our work, we will focus on how these enhancements impact coverage and we will use a simple technique called ✏-greedy node selection to demonstrate that planner...

A versatile robot manipulator is based on techniques of computer vision and neural network learning. For grasping objects four principal tasks have to be done in a cycle | detect the desired object and the grasping ngers in the images, evaluate the spatial relationship wrt. grasping stability, choose a more stable grasping pose (if possible), and move the manipulator to it. In this work we focu...

Fibers can increase the ductility of geopolymer materials, acting as reinforcements to improve mechanical properties. These improvements depend on fiber content and quantity. This study evaluates impacts different percentages glass a GBFS (ground blast furnace slag) matrix. The fibers were used critical length 20 mm, obtained by pull-out test in previous studies. Percentages 0.25%, 0.50%, 0.75%...

In the context of vision based robotics our work focusses on the recognition of target objects for object grasping. The objects are arbitrarily shaped, and the viewing position and orientation of the camera is arbitrary as well. Due to various imponderables it is hard to geometrical model all relevant 3D object shapes and all eeects of perspective projection. Therefore 3D model based approaches...

Microstructural and mechanical properties of alkali activated binders based on blends of Colombian granulated blast furnace slag (GBFS) and fly ash (FA) were investigated. The synthesis of alkali activated binders was conducted at 85 °C for 24 h with different slag/fly ash ratios (100:0, 80:20, 60:40, 40:60, 20:80, and 0:100). Mineralogical and microstructural characterization was carried out b...

In [ 1) axioms and canonical form algorithms for proving equivalence for the theory of conditional forms are presented. These algorithms form the foundation of [2] where they are extended to enable proving the correctness of compilation. The algorithms are distinguished on the basis of whether or not strong or weak equivalence is desired. In the case of strong equivalence, an additional set of ...

Fuzzing is a widely used technique to discover vulnerabilities in software. However, for programs requiring highly structured inputs, the byte-based mutation strategies existing fuzzers have difficulties generating valid inputs. To resolve this challenge, Grammar-Based (GBF) utilizes grammar specifications generate new Some GBFs perform based on Abstract Syntax Trees (ASTs), which can inputs co...

AtbZIP16 and AtbZIP68 are two putative G group bZIP transcription factors in Arabidopsis thaliana, the other three members of G group bZIPs are GBF1-3 which can bind G-box. Members of G group have conservative protein structure: highly homological basic region and a proline-rich domain in the N-terminal region. Here, we report that AtbZIP16 and AtbZIP68 could bind cis elements with ACGT core, s...

This paper introduces a novel graph signal processing framework for building graph-based models from classes of filtered signals. In our framework, graph-based modeling is formulated as a graph system identification problem, where the goal is to learn a weighted graph (a graph Laplacian matrix) and a graph-based filter (a function of graph Laplacian matrices). In order to solve the proposed pro...

In order to achieve a sustainable mix design, this paper evaluates self-consolidating green concrete (SCGC) properties by experimental tests and then examines the design parameters with an artificial intelligence technique. regard, cement was partially replaced in different contents granulated blast furnace slag (GBFS) powder, volcanic fly ash, micro-silica. Moreover, fresh hardened were perfor...