The beneficial effects of pozzolans on cement manufacture have encouraged their use in that industry. Traditional natural pozzolan have become less available of late, however, due to a decline in quarrying intensity aimed at minimizing the impact on the landscape. At the same time, environmental policies pursue the reduction or elimination of spoil heaps by valorizing industrial waste and by‐products as raw materials, in keeping with the principles of the circular economy. The quest for new types of waste and by‐products with pozzolanic properties has consequently become a priority line of research. This study explored the valorization of one such by‐product, the ceramic sludge resulting from fired clay industry milling and glazing, as a component in new, more eco‐sustainable cements. The sludge was characterized physically, chemically, morphologically, and mineralogically to determine its suitability as a pozzolanic addition in cement. The findings showed that ceramic sludge consists in clustered particles ranging in size from 100 μm to 1 μm. SiO2, Al2O3, and Fe2O3 together comprise over 70% of the total composition, while the reactive silica content is greater than the 25% required by the existing legislation. The predominant minerals are quartz, kaolinite, and muscovite, with some zircon. A study of pozzolanic reaction kinetics in the ceramic sludge/lime system revealed that over time this waste can fix lime, generating products such as calcium aluminate hydrates and C–S–H gels. The cements made with ceramic sludge proved to be standard‐compliant in terms of water demand, setting, drying shrinkage and mechanical strength. 相似文献
Partial evaluation is a semantics-based program optimization technique which has been investigated within different programming
paradigms and applied to a wide variety of languages. Recently, a partial evaluation framework for functional logic programs
has been proposed. In this framework, narrowing—the standard operational semantics of integrated languages—is used to drive
the partial evaluation process. This paper surveys the essentials of narrowing-driven partial evaluation.
Elvira Albert, Ph.D.: She is an associate professor in Computer Science at the Technical University of Valencia, Spain. She received her bachelors
degree in computer science in 1998 and her Ph.D. in computer science in 2001, both from the Technical University of Valencia.
She has investigated on program optimization and on partial evaluation for declarative multi-paradigm programming languages.
Her current research interests include term rewriting, multi-paradigm declarative programming, and formal methods, in particular
semantics-based program analysis, transformation, specification, verification, and debugging.
Germán Vidal, Ph.D.: He is an associate professor in Computer Science at the Technical University of Valencia, Spain. He obtained his bachelors
degree in computer science in 1992 and his Ph.D. in computer science in 1996, both from the Technical University of Valencia.
He is active on several research topics in Functional Logic Programming. He has worked on compositionality, on abstract interpretation,
and on program transformation techniques for functional logic programs. Currently, his research interests include declarative
multi-paradigm programming languages, term rewriting, and semantics-based program manipulation, in particular partial evaluation. 相似文献
Classification methods are becoming more and more useful as part of the standard data analyst’s toolbox in many application domains. The specific data and domain characteristics of social media tools used in online educational contexts present the challenging problem of training high-quality classifiers that bring important insight into activity patterns of learners. Currently, standard and also very successful model for classification tasks is represented by decision trees. In this paper, we introduce a custom-designed data analysis pipeline for predicting “spam” and “don’t care” learners from eMUSE online educational environment. The trained classifiers rely on social media traces as independent variables and on final grade of the learner as dependent variables. Current analysis evaluates performed activities of learners and the similarity of two derived data models. Experiments performed on social media traces from five years and 285 learners show satisfactory classification results that may be further used in productive environment. Accurate identification of “spam” and “don’t care” users may have further a great impact on producing better classification models for the rest of the “regular” learners. 相似文献
Distributed and Parallel Databases - We present a crowdsourcing system for large-scale production of accurate wrappers to extract data from data-intensive websites. Our approach is based on... 相似文献
The possibility of controlled droplet motion (droplet addressing) mediated by DC electric field in aqueous two-phase systems (ATPS) is here reported for the first time. Three ATPS of polyethylene glycol (PEG)/salt type, namely PEG/phosphate, PEG/sulphate, and PEG/carbonate, were selected for this study. We observed fast motion of salty droplets dispersed in PEG continuous phase induced by electric field of relative low strength. Hence, three fluidic systems with separated electrode chambers for the evaluation of electrophoretic mobilities and for addressing experiments were fabricated. Electrophoretic mobilities of salty droplets always exceeded the value of \(1\times 10^{-7}\, \hbox {m}^2\hbox {V}^{-1}\hbox {s}^{-1}\), which is about by one magnitude higher value than those typically measured in water–oil droplet systems. The electrophoretic mobilities in systems with free surface are the same or even smaller than in closed microfluidic structures, which is accounted mainly to the fact that a significant part of salty droplets is exposed to air and does not contribute to droplet forcing. Series of addressing and merging experiments in a microfluidic chip shows that DC electric field can be used as a powerful tool for smart manipulation of droplets in microfluidic systems with PEG/salt ATPS. 相似文献
A new concept for reusable eco‐friendly hydrogel electrolytes based on cellulose is introduced. The reported electrolytes are designed and engineered through a simple, fast, low‐cost, and eco‐friendly dissolution method of microcrystalline cellulose at low temperature using an aqueous LiOH/urea solvent system. The cellulose solution is combined with carboxymethyl cellulose, followed by the regeneration and simultaneous ion incorporation. The produced free standing cellulose‐based electrolyte films exhibit interesting properties for application in flexible electrochemical devices, such as biosensors or electrolyte‐gated transistors (EGTs), because of their high specific capacitances (4–5 µF cm?2), transparency, and flexibility. Indium–gallium–zinc‐oxide EGTs on glass with laminated cellulose‐based hydrogel electrolytes (CHEs) as the gate dielectric are produced presenting a low working voltage (<2 V), showing an on–off current ratio (I on/off) of 106, a subthreshold swing lower than 0.2 V dec?1, and saturation mobility (μSat) reaching 26 cm2 V?1 s?1. The flexible CHE‐gated transistors on paper are also demonstrated, which operate at switching frequencies up to 100 Hz. Combining the flexibility of the EGTs on paper with the reusability of the developed CHEs is a breakthrough toward biodegradable advanced functional materials allied with disposable/recyclable and low‐cost electronic devices. 相似文献
A significant amount of energy is required to operate pressurised water distribution systems, and therefore, improving their efficiency is crucial. Traditionally, more emphasis has been placed on operational losses (pumping inefficiencies, excess leakage or friction in pipes) than on structural (or topographic) losses, which arise because of the irregular (unchangeable) terrain on which the system is located and the network’s layout. Hence, modifying the network to adopt an ecologically friendly layout is the only way to reduce structural losses. With the aim of improving the management of water distribution systems and optimising their energy use, this work audits and classifies water networks’ structural losses (derived from topographic energy), which constitutes the main novelty of this paper. Energy can be recovered with PATs (pumps as turbines) or removed through PRVs (pressure reducing valves). The proposed hydraulic analysis clarifies how that energy is used and identifies the most suitable strategy for improving efficiency as locating the most suitable place to install PRVs or PATs. Two examples are discussed to illustrate the relevance of this analysis.
Lunasin is a 43-amino acid naturally occurring chemopreventive peptide with demonstrated anti-cancer and anti-inflammatory properties. The objectives of this study were to determine the effect of temperature on the secondary structure of lunasin, to develop a method of isolating lunasin from human plasma using an ion-exchange microspin column and to quantify the amount of lunasin using an optimized enzyme-linked immunosorbent assay. Lunasin was purified using a combination of ion-exchange chromatography, ultrafiltration and gel filtration chromatography. Circular dichroism showed that increased in temperature from 25 to 100 °C resulted in changes on the secondary structure of lunasin and its capability to interact with rabbit polyclonal antibody. Enzyme linked immunosorbent assay showed that lunasin rabbit polyclonal antibody has a titer of 250 and a specific activity of 0.05 mL/μg. A linear response was detected between 16 to 48 ng lunasin per mL (y = 0.03x − 0.38, R2 = 0.96). The use of diethylaminoethyl microspin column to isolate spiked lunasin in human plasma showed that most lunasin (37.8–46.5%) bound to the column eluted with Tris–HCl buffer, pH 7.5 with a yield up to 76.6%. In conclusion, lunasin can be isolated from human plasma by a simple DEAE microspin column technique and can be quantified using a validated and optimized immunoassay procedure. This method can be used directly to quantify lunasin from plasma in different human and animal studies aiming to determine its bioavailability. 相似文献