Advancements in the Development of non-BET Bromodomain Chemical Probes

The bromodomain and extra terminal (BET) family of bromodomain-containing proteins (BCPs) have been the subject of extensive research over the past decade, resulting in a plethora of high-quality chemical probes for their tandem bromodomains. In turn, these chemical probes have helped reveal the profound biological role of the BET bromodomains and their role in disease, ultimately leading to a number of molecules in active clinical development. However, the BET subfamily represents just 8/61 of the known human bromodomains, and attention has now expanded to the biological role of the remaining 53 non-BET bromodomains. Rapid growth of this research area has been accompanied by a greater understanding of the requirements for an effective bromodomain chemical probe and has led to a number of new non-BET bromodomain chemical probes being developed. Advances since December 2015 are discussed, highlighting the strengths/caveats of each molecule, and the value they add toward validating the non-BET bromodomains as tractable therapeutic targets.     

Quantifying co-creative writing experiences

Collaboration with artificial intelligence (AI) is a growing trend even in the field of creativity. This paper examines which quantitative metrics can be used to comparatively analyse human-computer co-creativity with children. To study this question, 24 schoolchildren of age 10–11 wrote a poem with three co-creative poetry writing processes: a human-computer, a human-human, and a human-human-computer process. The computational participant in the processes was an AI-based application called the Poetry Machine. The children were asked to evaluate their user experience with a 5-point Likert-type questionnaire after each writing process and a comparative questionnaire after finishing all processes. The metrics used in the evaluation were immediate fun, long-term enjoyment, creativity, self-expression, outcome satisfaction, ease of starting and finishing writing, quality of ideas and support from others, and ownership.

Significant differences were found in fun, long-term enjoyment, quality of ideas, support, and ownership. The high number of statistically relevant results was enabled by exposing all participants to all writing processes, and the comparative questionnaire. The human-human-computer process was evaluated the best in long-term enjoyment and the human-computer process the weakest in support and idea quality. Creativity and ease of finishing writing turned out to be outlining metrics for the co-creative processes.     

APP软件性能效率研究

性能效率是APP软件的重要质量属性，但目前缺乏APP软件性能效率的通用模型。分析了APP软件的性能特征，基于ISO/IEC 25010标准提出了APP软件的性能效率模型，定义了APP软件性能效率的子特性和度量指标。基于提出的APP软件性能效率模型，通过实验对APP软件的性能效率进行了度量及相关分析。     

Progressive damage modelling of SMC composite materials

The present work deals with the modelling of damage behaviour for sheet moulding compound (SMC) composite materials using a finite element analysis package. Specifically, a comparison is made between the results obtained experimentally for a three-point bending test, and those obtained from numerical simulation using a material model already implemented. The simulation has been performed for the material models available within the PAM-CRASH software. The simulation results are compared and validated with respect to experimentation.     

绝缘涂敷制件的加工工艺研究与应用

主要论述了电工绝缘粉末的性能及其在高压电器设备应用中的有关试验项目。     

Model validation and model structure determination

This paper gives a tutorial overview of basic approaches for model validation and model structure determination.Work partially supported by the Swedish Research Council for Engineering Sciences under contract 98-654.     

Sandia National Laboratories Validation Workshop: Structural dynamics application

This article specifies a virtual structural dynamic subsystem and some systems, as well as mathematical models that approximately simulate them. The purpose is to define a setting for model validations conceived by participants in the Sandia National Laboratories Validation Workshop. Some broad guidelines for the model validations are set, as well as a regulatory requirement to be satisfied by the target system. Participants are directed to present techniques for subsystem model validation, to analytically predict whether or not the regulatory requirement will be met, and to estimate the likelihood of accuracy of the prediction.     

Employing optimized combinations of one-class classifiers for automated currency validation

Automated currency validation requires a decision to be made regarding the authenticity of a banknote presented to the validation system. This decision often has to be made with little or no information regarding the characteristics of possible counterfeits as is the case for issues of new currency. A method for automated currency validation is presented which segments the whole banknote into different regions, builds individual classifiers on each region and then combines a small subset of the region specific classifiers to provide an overall decision. The segmentation and combination of region specific classifiers to provide optimized false positive and false negative rates is achieved by employing a genetic algorithm. Experiments based on high value notes of Sterling currency were carried out to assess the effectiveness of the proposed solution.     

FluNet: A hybrid internet simulator for fast queue regimes

Motivated by the scale and complexity of simulating large-scale networks, recent research has focused on hybrid fluid/packet simulators, where fluid models are combined with packet models in order to reduce simulation complexity as well as to track dynamics of end-sources accurately. However, these simulators still need to track the queuing dynamics of network routers, leading to considerable simulation complexity in a large-scale network model. In this paper, we propose a new hybrid simulator – FluNet – where queueing dynamics are not tracked, but instead, an equivalent rate-based model is used. The FluNet simulator is predicated on a fast-queueing regime at bottleneck routers, where the queue length fluctuates on a faster time-scale than end systems. This allows us to simulate large-scale systems, where the simulation “time step-size” is governed only by the time-scale of the end-systems, and not by that of the intermediate routers; whereas a queue-tracking based fluid simulator would require decreasingly smaller step-sizes as the system scale size increases. We validate our model using a ns-2 based implementation. Our results indicate a good match between packet systems and the associated FluNet system.     

Metric-based reasoning about pseudocode design in the partial metrics system

The goal of the PMS project is to produce an environment in which the intelligent online assessment of the design for large-scale ADA programming projects is provided. The focus is on the representation of knowledge about the design process for an individual module. Changes in pseudocode complexity are measured in terms of partial metrics. These metrics can take the designers inferences about the pseudocode program structure into account when assessing module complexity. Next, a model of the stepwise refinement process is given which demonstrates how pseudocode elaboration decisions can be modelled in partial metric terms. Finally, the decisions associated with each refinement step for 17 example refinements taken from the computer science literature are described using partial metrics.