Dysprosium doped copper oxide (Cu1-xDyxO) nanoparticles enabled bifunctional electrode for overall water splitting

The production of hydrogen, a favourable alternative to an unsustainable fossil fuel remains as a significant hurdle with the pertaining challenge in the design of proficient, highly productive and sustainable electrocatalyst for both oxygen evolution reaction (OER) and hydrogen evolution reaction (HER). Herein, the dysprosium (Dy) doped copper oxide (Cu_1-xDy_xO) nanoparticles were synthesized via solution combustion technique and utilized as a non-noble metal based bi-functional electrocatalyst for overall water splitting. Due to the improved surface to volume ratio and conductivity, the optimized Cu_1-xDy_xO (x = 0.01, 0.02) electrocatalysts exhibited impressive HER and OER performance respectively in 1 M KOH delivering a current density of 10 mAcm^?2 at a potential of ?0.18 V vs RHE for HER and 1.53 V vs RHE for OER. Moreover, the Dy doped CuO electrocatalyst used as a bi-functional catalyst for overall water splitting achieved a potential of 1.56 V at a current density 10 mAcm^?2 and relatively high current density of 66 mAcm^?2 at a peak potential of 2 V. A long term stability of 24 h was achieved for a cell voltage of 2.2 V at a constant current density of 30 mAcm^?2 with only 10% of the initial current loss. This showcases the accumulative opportunity of dysprosium as a dopant in CuO nanoparticles for fabricating a highly effective and low-cost bi-functional electrocatalyst for overall water splitting.     

Discovery of Affinity-Based Probes for Btk Occupancy Assays

Bruton's tyrosine kinase (Btk) is an attractive target for the treatment of a wide array of B-cell malignancies and autoimmune diseases. Small-molecule covalent irreversible Btk inhibitors targeting Cys481 have been developed for the treatment of such diseases. In clinical trials, probe molecules are required in occupancy studies to measure the level of engagement of the protein by these covalent irreversible inhibitors. The result of this pharmacodynamic (PD) activity provides guidance for appropriate dosage selection to optimize inhibition of the drug target and correlation of target inhibition with disease treatment efficacy. This information is crucial for successful evaluation of drug candidates in clinical trials. Based on the pyridine carboxamide scaffold of a novel solvent-accessible pocket (SAP) series of covalent irreversible Btk inhibitors, we successfully developed a potent and selective affinity-based biotinylated probe 12 (2-[(4-{4-[5-(1-{5-[(3aS,4S,6aR)-2-oxo-hexahydro-1H-thieno[3,4-d]imidazol-4-yl]pentanamido}-3,6,9,12-tetraoxapentadecan-15-amido)pentanoyl]piperazine-1-carbonyl}phenyl)amino]-6-[1-(prop-2-enoyl)piperidin-4-yl]pyridine-3-carboxamide). Compound 12 has been used in Btk occupancy assays for preclinical studies to determine the therapeutic efficacy of Btk inhibition in two mouse lupus models driven by TLR7 activation and type I interferon.     

Formation of a geometric pattern with a mobile wireless sensor network

Mobile wireless sensor networks (MWSNs) will enable information systems to gather detailed information about the environment on an unprecedented scale. These self‐organizing, distributed networks of sensors, processors, and actuators that are capable of movement have a broad range of potential applications, including military reconnaissance, surveillance, planetary exploration, and geophysical mapping. In many of the foreseen applications, the MWSN will need to form a geometric pattern without assistance from the user. In military reconnaissance, for example, the nodes will be dropped onto the battlefield from a plane and land at random positions. The nodes will be expected to arrange themselves into a predetermined formation in order to perform a specific task. Thus, we present algorithms for forming a line, circle, and regular polygon from a given set of random positions. The algorithms are distributed and use no communication between the nodes to minimize energy consumption. Unlike past studies of geometric problems where algorithms are either tested in simulations where each node has global knowledge of all the other nodes or implemented on a small number of robots, the robustness of our algorithms has been studied with simulations that model the sensor system in detail. The simulations demonstrate that the algorithms are robust against random errors in the sensors and actuators. © 2004 Wiley Periodicals, Inc.     

Situating natural language understanding within experience-based design

Building useful systems with an ability to understand "real" natural language input has long been an elusive goal for Artificial Intelligence. Well-known problems such as ambiguity, indirectness, and incompleteness of natural language inputs have thwarted efforts to build natural language interfaces to intelligent systems. In this article, we report on our work on a model of understanding natural language design specifications of physical devices such as simple electrical circuits. Our system, called KA, solves the classical problems of ambiguity, incompleteness and indirectness by exploiting the knowledge and problem-solving processes in the situation of designing simple physical devices. In addition, KA acquires its knowledge structures (apart from a basic ontology of devices) from the results of its problem-solving processes. Thus, KA can be bootstrapped to understand design specifications and user feedback about new devices using the knowledge structures it acquired from similar devices designed previously.In this paper, we report on three investigations in the KA project. Our first investigation demonstrates that KA can resolve ambiguities in design specifications as well as infer unarticulated requirements using the ontology, the knowledge structures, and the problem-solving processes provided by its design situation. The second investigation shows that KA's problem-solving capabilities help ascertain the relevance of indirect design specifications, and identify unspecified relations between detailed requirements. The third investigation demonstrates the extensibility of KA's theory of natural language understanding by showing that KA can interpret user feedback as well as design requirements. Our results demonstrate that situating language understanding in problem solving, such as device design in KA, provides effective solutions to unresolved problems in natural language processing.     

An Experimental Investigation into the Feed Rate Capacity of Rotary Valve and Blow Tank Feeders

Industry widely uses rotary valves and blow tanks for the pneumatic conveying of products, each having their pros and cons depending on the specific application. This article shows the differing results obtained when low-velocity conveying a product through a common pipeline using both a drop-through rotary valve and a bottom-discharge blow tank feeder. A number of issues arise in the rotary valve system, the main one being rotary valve air leakage. A blow tank system, on the other hand, does not leak, as it is an enclosed system. The experimental results show dramatic differences in product throughput. Further exploration leads to a novel modification being made to the rotary valve system in an attempt to increase its capacity. The result of this modification shows a slight increase in output tonnage, but still significantly less than that obtained from the blow tank.     

P#: a concurrent Prolog for the .NET framework

We discuss P#, our implementation of a tool that allows interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for Microsoft's .NET platform. P# compiles a linear logic extension of Prolog to C# source code. We can thus create C# objects from Prolog and use C#'s graphical, networking and other libraries. We add language constructs on the Prolog side that allow concurrent Prolog code to be written. A primitive predicate is provided that evaluates a Prolog structure on a newly forked thread. Communication between threads is based on the unification of variables contained in such a structure. It is also possible for threads to communicate through a globally accessible table. All of the new features are available to the programmer through new built-in Prolog predicates. We discuss two software engineering tools implemented using P#. Copyright © 2004 John Wiley & Sons, Ltd.     

Collaborative cross-checking to enhance resilience

Resilience, the ability to adapt or absorb disturbance, disruption, and change, may be increased by team processes in a complex, socio-technical system. In particular, collaborative cross-checking is a strategy where at least two individuals or groups with different perspectives examine the others’ assumptions and/or actions to assess validity or accuracy. With this strategy, erroneous assessments or actions can be detected quickly enough to mitigate or eliminate negative consequences. In this paper, we seek to add to the understanding of the elements that are needed in effective cross-checking and the limitations of the strategy. We define collaborative cross-checking, describe in detail three healthcare incidents where collaborative cross-checks played a key role, and discuss the implications of emerging patterns.