To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
“Return-to-player” information is used in several jurisdictions to display the long-run cost of gambling, but previous evidence suggests that these messages are frequently misunderstood by gamblers. Two ways of improving the communication of return-to-player information have been suggested: switching to an equivalent “house-edge” format, or via the use of a “volatility warning,” clarifying that the information applies only in the statistical long run. In this study, Australian participants (N = 603) were presented with either a standard return-to-player message, the same message supplemented with a volatility warning, or a house-edge message. The return-to-player plus volatility warning message was understood correctly more frequently than the return-to-player message, but the house-edge message was understood best of all. Participants perceived the lowest chance of winning in the return-to-player plus volatility warning condition. These findings contribute data on the relative merits of two proposed approaches in the design of improved gambling information.
Teleconnections that link climate processes at widely separated spatial locations form a key component of the climate system. Their analysis has traditionally been based on means, climatologies, correlations, or spectral properties, which cannot always reveal the dynamical mechanisms between different climatological processes. More recently, causal discovery methods based either on time series at grid locations or on modes of variability, estimated through dimension-reduction methods, have been introduced. A major challenge in the development of such analysis methods is a lack of ground truth benchmark datasets that have facilitated improvements in many parts of machine learning. Here, we present a simplified stochastic climate model that outputs gridded data and represents climate modes and their teleconnections through a spatially aggregated vector-autoregressive model. The model is used to construct benchmarks and evaluate a range of analysis methods. The results highlight that the model can be successfully used to benchmark different causal discovery methods for spatiotemporal data and show their strengths and weaknesses. Furthermore, we introduce a novel causal discovery method at the grid level and demonstrate that it has orders of magnitude better performance than the current approaches. Improved causal analysis tools for spatiotemporal climate data are pivotal to advance process-based understanding and climate model evaluation.
The unfolded protein response has recently been implicated as a mechanism by which 1,10-phenanthroline-containing coordination compounds trigger cell death. We explored the interaction of two such compounds—one containing copper and one containing manganese—with endoplasmic reticulum (ER) stress. Pretreatment with anisomycin significantly enhanced the cytotoxic activity of both metal-based compounds in A2780, but only the copper-based compound in A549 cells. The effects of pretreatment with tunicamycin were dependent on the nature of the metal center in the compounds. In A2780 cells, the cytotoxic action of the copper compound was reduced by tunicamycin only at high concentration. In contrast, in A549 cells the efficacy of the manganese compound cells was reduced at all tested concentrations. Intriguingly, some impact of free 1,10-phenanthroline was also observed in A549 cells. These results are discussed in the context of the emerging evidence that the ER plays a role in the cytotoxic action of 1,10-phenanthroline-based compounds.
The Science of Deep Learning emerged from courses taught by the author that have provided thousands of students with training and experience for their academic studies, and prepared them for careers in deep learning, machine learning, and artificial intelligence in top companies in industry and academia. The book begins by covering the foundations of deep learning, followed by key deep learning architectures. Subsequent parts on generative models and reinforcement learning may be used as part of a deep learning course or as part of a course on each topic. The book includes state-of-the-art topics such as Transformers, graph neural networks, variational autoencoders, and deep reinforcement learning, with a broad range of applications. The appendices provide equations for computing gradients in backpropagation and optimization, and best practices in scientific writing and reviewing. The text presents an up-to-date guide to the field built upon clear visualizations using a unified notation and equations, lowering the barrier to entry for the reader. The accompanying website provides complementary code and hundreds of exercises with solutions.
We suggest two related conjectures dealing with the existence of spanning irregular subgraphs of graphs. The first asserts that any $d$-regular graph on $n$ vertices contains a spanning subgraph in which the number of vertices of each degree between $0$ and $d$ deviates from $\frac{n}{d+1}$ by at most $2$. The second is that every graph on $n$ vertices with minimum degree $\delta$ contains a spanning subgraph in which the number of vertices of each degree does not exceed $\frac{n}{\delta +1}+2$. Both conjectures remain open, but we prove several asymptotic relaxations for graphs with a large number of vertices $n$. In particular we show that if $d^3 \log n \leq o(n)$ then every $d$-regular graph with $n$ vertices contains a spanning subgraph in which the number of vertices of each degree between $0$ and $d$ is $(1+o(1))\frac{n}{d+1}$. We also prove that any graph with $n$ vertices and minimum degree $\delta$ contains a spanning subgraph in which no degree is repeated more than $(1+o(1))\frac{n}{\delta +1}+2$ times.
For a bivariate random vector $(X, Y)$, suppose $X$ is some interesting loss variable and $Y$ is a benchmark variable. This paper proposes a new variability measure called the joint tail-Gini functional, which considers not only the tail event of benchmark variable $Y$, but also the tail information of $X$ itself. It can be viewed as a class of tail Gini-type variability measures, which also include the recently proposed tail-Gini functional. It is a challenging and interesting task to measure the tail variability of $X$ under some extreme scenarios of the variables by extending the Gini's methodology, and the two tail variability measures can serve such a purpose. We study the asymptotic behaviors of these tail Gini-type variability measures, including tail-Gini and joint tail-Gini functionals. The paper conducts this study under both tail dependent and tail independent cases, which are modeled by copulas with so-called tail order property. Some examples are also shown to illuminate our results. In particular, a generalization of the joint tail-Gini functional is considered to provide a more flexible version.
Randomized prospective studies represent the gold standard for experimental design. In this paper, we present a randomized prospective study to validate the benefits of combining rule-based and data-driven natural language understanding methods in a virtual patient dialogue system. The system uses a rule-based pattern matching approach together with a machine learning (ML) approach in the form of a text-based convolutional neural network, combining the two methods with a simple logistic regression model to choose between their predictions for each dialogue turn. In an earlier, retrospective study, the hybrid system yielded a nearly 50% error reduction on our initial data, in part due to the differential performance between the two methods as a function of label frequency. Given these gains, and considering that our hybrid approach is unique among virtual patient systems, we compare the hybrid system to the rule-based system by itself in a randomized prospective study. We evaluate 110 unique medical student subjects interacting with the system over 5,296 conversation turns, to verify whether similar gains are observed in a deployed system. This prospective study broadly confirms the findings from the earlier one but also highlights important deficits in our training data. The hybrid approach still improves over either rule-based or ML approaches individually, even handling unseen classes with some success. However, we observe that live subjects ask more out-of-scope questions than expected. To better handle such questions, we investigate several modifications to the system combination component. These show significant overall accuracy improvements and modest F1 improvements on out-of-scope queries in an offline evaluation. We provide further analysis to characterize the difficulty of the out-of-scope problem that we have identified, as well as to suggest future improvements over the baseline we establish here.
This paper examines the preservation of several aging classes of lifetime distributions in the formation of coherent and mixed systems with independent and identically distributed (i.i.d.) or identically distributed (i.d.) component lifetimes. The increasing mean inactivity time class and the decreasing mean time to failure class are developed for the lifetime of systems with possibly dependent and i.d. component lifetimes. The increasing likelihood ratio property is also discussed for the lifetime of a coherent system with i.i.d. component lifetimes. We present sufficient conditions satisfied by the signature of a coherent system with i.i.d. components with exponential distribution, under which the decreasing mean remaining lifetime, the increasing mean inactivity time, and the decreasing mean time to failure are all satisfied by the lifetime of the system. Illustrative examples are presented to support the established results.
This fast-moving tutorial introduces you to OCaml, an industrial-strength programming language designed for expressiveness, safety, and speed. Through the book's many examples, you'll quickly learn how OCaml stands out as a tool for writing fast, succinct, and readable systems code using functional programming. Real World OCaml takes you through the concepts of the language at a brisk pace, and then helps you explore the tools and techniques that make OCaml an effective and practical tool. You'll also delve deep into the details of the compiler toolchain and OCaml's simple and efficient runtime system. This second edition brings the book up to date with almost a decade of improvements in the OCaml language and ecosystem, with new chapters covering testing, GADTs, and platform tooling. This title is also available as open access on Cambridge Core, thanks to the support of Tarides. Their generous contribution will bring more people to OCaml.
In the present work, a new hybrid approach combining particle swarm optimization (PSO) algorithm with recurrent dynamic neural network (RDNN), which is described as PSO-RDNN algorithm, is proposed for multi-performance optimization of machining parameters in finish turning of hardened AISI D2. The suggested optimization problem is solved using the weighted sum technique. Process parameters including cutting speed and feed rate are optimized for minimizing operation cost, maximizing tool life, and producing parts with acceptable surface roughness. Based on experimental results, two neural network models were developed for predicting tool flank wear and surface roughness during the machining process. Based on trained neural networks and structured hybrid algorithm, optimum cutting parameters were obtained. The coefficient of determination for trained neural networks was calculated as R2 = 0.9893 and R2 = 0.9879 for predicted flank wear and surface roughness, respectively, which proves the efficiency of trained neural models in real industrial applications. Furthermore, the offered methodology returns a Pareto optimality graph, which represents optimized cutting variables for several various cutting conditions.
Reinforcement Learning (RL) methods often rely on gradient estimates to learn an optimal policy for control problems. These expensive computations result in long training times, a poor rate of convergence, and sample inefficiency when applied to real-world problems with a large state and action space. Evolutionary Computation (EC)-based techniques offer a gradient-free apparatus to train a deep neural network for RL problems. In this work, we leverage the benefits of EC and propose a novel variant of genetic algorithm called SP-GA which utilizes a species-inspired weight initialization strategy and trains a population of deep neural networks, each estimating the Q-function for the RL problem. Efficient encoding of a neural network that utilizes less memory is also proposed which provides an intuitive mechanism to apply Gaussian mutations and single-point crossover. The results on Atari 2600 games outline comparable performance with gradient-based algorithms like Deep Q-Network (DQN), Asynchronous Advantage Actor Critic (A3C), and gradient-free algorithms like Evolution Strategy (ES) and simple Genetic Algorithm (GA) while requiring far fewer hyperparameters to train. The algorithm also improved certain Key Performance Indicators (KPIs) when applied to a Remote Electrical Tilt (RET) optimization task in the telecommunication domain.
Hoare Logic has a long tradition in formal verification and has been continuously developed and used to verify a broad class of programs, including sequential, object-oriented, and concurrent programs. Here we focus on partial and total correctness assertions within the framework of Hoare logic and show that a comprehensive categorical analysis of its axiomatic semantics needs the languages of indexed and fibered category theory. We consider Hoare formulas with local, finite contexts, of program and logical variables. The structural features of Hoare assertions are presented in an indexed setting, while the logical features of deduction are modeled in the fibered one.
We have previously shown that the geographic routing’s greedy packet forwarding distance (PFD), in dissimilarity values of its average measures, characterizes a mobile ad hoc network’s (MANET) topology by node size. In this article, we demonstrate a distribution-based analysis of the PFD measures that were generated by two representative greedy algorithms, namely GREEDY and ELLIPSOID. The result shows the potential of the distribution-based dissimilarity learning of the PFD in topology characterizing. Characterizing dynamic MANET topology supports context-aware performance optimization in position-based or geographic packet routing.
Answer set programs used in real-world applications often require that the program is usable with different input data. This, however, can often lead to contradictory statements and consequently to an inconsistent program. Causes for potential contradictions in a program are conflicting rules. In this paper, we show how to ensure that a program $\mathcal{P}$ remains non-contradictory given any allowed set of such input data. For that, we introduce the notion of conflict-resolving ${\lambda}$-extensions. A conflict-resolving ${\lambda}$-extension for a conflicting rule r is a set ${\lambda}$ of (default) literals such that extending the body of r by ${\lambda}$ resolves all conflicts of r at once. We investigate the properties that suitable ${\lambda}$-extensions should possess and building on that, we develop a strategy to compute all such conflict-resolving ${\lambda}$-extensions for each conflicting rule in $\mathcal{P}$. We show that by implementing a conflict resolution process that successively resolves conflicts using ${\lambda}$-extensions eventually yields a program that remains non-contradictory given any allowed set of input data.
In dynamic outdoor environments characterized by turbulent airflow and intermittent odor plumes, robotic odor plume tracking remains challenging, because existing algorithms heavily rely on manually tuning or learning from expert experience, which are hard to implement in an unknown environment. In this paper, a multi-continuous-output Takagi–Sugeno–Kang fuzzy system was designed and tuned with reinforcement learning to solve the robotic odor source localization problem in dynamic odor plumes. Based on the Lévy Taxis plume tracking controller, the proposed fuzzy system determined the parameters of the controller based on the robot’s observation and guided the robot to turn and move towards the odor source at each searching step. The trained fuzzy system was tested in simulated filament-based odor plumes dispersed by a changing wind field. The results showed that the performance of the proposed fuzzy system-based controller trained with reinforcement learning can achieve a similar success rate and higher efficiency compared with a manually tuned and well-designed fuzzy system-based controller. The fuzzy system-based plume tracking controller was also validated through real robotic experiments.
Reducing negative attitudes toward older adults is an urgent issue. A previous study has conducted “stereotype embodiment theory”-based interventions (SET interventions) that present participants with the contents of SET and related empirical findings. I focus on the subjective time to become older (the perception of how long people feel it will be before they become old) as a mechanism for the effect of SET interventions. I make the SET intervention group and the control group in which the participants are presented with an irrelevant vignette. The data from 641 participants (M = 31.97 years) were analyzed. Consequently, the SET intervention shortened the subjective time to become older and reduced negative attitudes toward older adults. When considering SET interventions, it would be useful to focus not only on the self-interested motives to avoid age discrimination but also on the subjective time to become older.
As relational event models are an increasingly popular model for studying relational structures, the reliability of large-scale event data collection becomes more and more important. Automated or human-coded events often suffer from non-negligible false-discovery rates in event identification. And most sensor data are primarily based on actors’ spatial proximity for predefined time windows; hence, the observed events could relate either to a social relationship or random co-location. Both examples imply spurious events that may bias estimates and inference. We propose the Relational Event Model for Spurious Events (REMSE), an extension to existing approaches for interaction data. The model provides a flexible solution for modeling data while controlling for spurious events. Estimation of our model is carried out in an empirical Bayesian approach via data augmentation. Based on a simulation study, we investigate the properties of the estimation procedure. To demonstrate its usefulness in two distinct applications, we employ this model to combat events from the Syrian civil war and student co-location data. Results from the simulation and the applications identify the REMSE as a suitable approach to modeling relational event data in the presence of spurious events.
Electronic skin (e-skin) is playing an increasingly important role in health detection, robotic teleoperation, and human-machine interaction, but most e-skins currently lack the integration of on-site signal acquisition and transmission modules. In this paper, we develop a novel flexible wearable e-skin sensing system with 11 sensing channels for robotic teleoperation. The designed sensing system is mainly composed of three components: e-skin sensor, customized flexible printed circuit (FPC), and human-machine interface. The e-skin sensor has 10 stretchable resistors distributed at the proximal and metacarpal joints of each finger respectively and 1 stretchable resistor distributed at the purlicue. The e-skin sensor can be attached to the opisthenar, and thanks to its stretchability, the sensor can detect the bent angle of the finger. The customized FPC, with WiFi module, wirelessly transmits the signal to the terminal device with human-machine interface, and we design a graphical user interface based on the Qt framework for real-time signal acquisition, storage, and display. Based on this developed e-skin system and self-developed robotic multi-fingered hand, we conduct gesture recognition and robotic multi-fingered teleoperation experiments using deep learning techniques and obtain a recognition accuracy of 91.22%. The results demonstrate that the developed e-skin sensing system has great potential in human-machine interaction.