We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension of a host language, such as Prolog or Java, this type system is parameterized by the type system of the host language. We show the consistency of the type system for CHR w.r.t. its operational semantics. We also study the case ...

Penelitian ini dilakukan untuk membuat paving block dengan memanfaatkan limbah plastik, pecahan keramik, pasir, dan oli sebagai bahan alternatif infrastruktur yang aman, kuat tahan lama. Paving dihasilkan diuji kelayakannya berdasarkan nilai uji tekan, serap air, TCLP. Terdapat 4 variasi komposisi dalam penelitian ini. Berdasarkan hasil penelitian, memiliki tekan air telah memenuhi standar SNI ...

Organized mesoporous aluminas (OMA) are materials that present interesting properties as catalytic supports in reactions in which bulky molecules are involved. In this work, a number of OMA were prepared using a non-ionic structure directing agent (a tri-block co-polymer). The study of the quantitative influence of some OMA synthesis conditions (water aluminium ratio (H2O:Al), ageing temperatur...

Arsenic in groundwater was first detected in Bangladesh at Chapai Nawabgonj district in 1993. Since then arsenic contamination problem has been reported from almost every parts of the country. It is estimated that approximately 27% of the wells are contaminated with levels above 50ppb, the current drinking water standard for arsenic in Bangladesh (Kinninburg, D. G., et al., 2001). It is also es...

A new nanoporous porphyrin-based benzimidazole linked polymer, PBILP, was synthesized. The use of porphyrin monomers as molecular building units led to the formation of a rigid amorphous network that has a moderate surface area (SBET 1⁄4 557 m g ). The CO2 adsorption ability of PBILP is 12.1 wt% (2.76 mmol g ) and it has a CO2/CH4 selectivity of 7.2 at 273 K/1 bar and a CO2/N2 selectivity of 72...

In this study, a high-performance mortar (HPM) was produced using fly ash as an alternative binder to increase the strength and solve problem regarding environmental degradation due harmful elements content in ash. The used study obtained from NII Tanasa Power Plant. assessment of leaching test only for HPM containing high volume (40%) compared initial After performing compressive strength, wer...

A new functional AlNi-pillared clays (AlNi-PILC) with a large surface area and pore volume was synthesized. The performance of adsorption/desorption-catalytic combustion over CeO2-modified Pd/AlNi-PILC catalysts was also studied. The results showed that the d001-value and specific surface area (SBET) of AlNi-PILC reached 2.11 nm and 374.8 m²/g, respectively. The large SBET and the d001-value im...

High-surface-area mesoporous MgO-templated nanocarbons made with reinforcing fibres from scrap tyres and a bituminous waste as carbon precursor were employed for the simultaneous adsorption of Cd and reactive Cibacron Brilliant Yellow 3G-P dye. A commercial activated carbon (AC) Darco KB-WJ was also used for comparison purposes. The effect of the pH of the solution was studied to establish whet...