Search Interfaces for Mathematicians

Access to mathematical knowledge has changed dramatically in recent years, therefore changing mathematical search practices. Our aim with this study is to scrutinize professional mathematicians' search behavior. With this understanding we want to be able to reason why mathematicians use which tool for what search problem in what phase of the search process. To gain these insights we conducted 24 repertory grid interviews with mathematically inclined people (ranging from senior professional mathematicians to non-mathematicians). From the interview data we elicited patterns for the user group "mathematicians" that can be applied when understanding design issues or creating new designs for mathematical search interfaces.Comment: conference article "CICM'14: International Conference on Computer Mathematics 2014", DML-Track: Digital Math Libraries 17 page

Fermionic Molecular Dynamics for nuclear dynamics and thermodynamics

A new Fermionic Molecular Dynamics (FMD) model based on a Skyrme functional is proposed in this paper. After introducing the basic formalism, some first applications to nuclear structure and nuclear thermodynamics are presentedComment: 5 pages, Proceedings of the French-Japanese Symposium, September 2008. To be published in Int. J. of Mod. Phys.

Extreme State Aggregation Beyond MDPs

We consider a Reinforcement Learning setup where an agent interacts with an environment in observation-reward-action cycles without any (esp.\ MDP) assumptions on the environment. State aggregation and more generally feature reinforcement learning is concerned with mapping histories/raw-states to reduced/aggregated states. The idea behind both is that the resulting reduced process (approximately) forms a small stationary finite-state MDP, which can then be efficiently solved or learnt. We considerably generalize existing aggregation results by showing that even if the reduced process is not an MDP, the (q-)value functions and (optimal) policies of an associated MDP with same state-space size solve the original problem, as long as the solution can approximately be represented as a function of the reduced states. This implies an upper bound on the required state space size that holds uniformly for all RL problems. It may also explain why RL algorithms designed for MDPs sometimes perform well beyond MDPs.Comment: 28 LaTeX pages. 8 Theorem

Dietary fat restriction increases fat taste sensitivity in people with obesity

OBJECTIVE: Individuals with obesity may be less sensitive to the taste of fat, and it is hypothesized that this is due to excess dietary fat intake. This study assessed the effect of a 6-week low-fat (LF) or portion control (PC) diet matched for weight loss on fat taste thresholds, fat perception, and preference in people with overweight/obesity. METHODS: Participants (n = 53) completed a randomized dietary intervention and consumed either a LF diet (25% fat) or PC diet (33% fat) for 6 weeks. Fat taste thresholds (lowest detectable fat concentration), fat perception (discrimination ability), preference, and anthropometry were assessed at baseline and week 6. RESULTS: Consumption of a LF diet (n = 26) and PC diet (n = 27) reduced participants\u27 weight (P < 0.001), with no significant differences between groups (LF, -2.9%, PC, -2.7%). Both diets resulted in a decrease in fat taste thresholds (P = 0.014), and the effect tended to be stronger in the LF diet vs. the PC diet (P = 0.060). The ability to perceive different fat concentrations in foods was increased after the LF diet only (P = 0.017); however, food preference did not change on either diet. CONCLUSIONS: A PC and LF diet both increase fat taste sensitivity in people with overweight/obesity, with the strongest effect after the LF diet

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning

Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries like term and graph rewriting. Realistic problems, however, call for suitable techniques to guarantee scalability. For instance, many domains exhibit a hierarchical structure that can be exploited conveniently. This is particularly evident for composition associations of models. We propose an explicit representation of such structured models and a methodology that exploits it for the description and analysis of model- and rule-based systems. The approach is presented in the framework of rewriting logic and its efficient implementation in the rewrite engine Maude and is illustrated with a case study.

Robust Trajectory Planning for Autonomous Parafoils under Wind Uncertainty

A key challenge facing modern airborne delivery systems, such as parafoils, is the ability to accurately and consistently deliver supplies into di cult, complex terrain. Robustness is a primary concern, given that environmental wind disturbances are often highly uncertain and time-varying, coupled with under-actuated dynamics and potentially narrow drop zones. This paper presents a new on-line trajectory planning algorithm that enables a large, autonomous parafoil to robustly execute collision avoidance and precision landing on mapped terrain, even with signi cant wind uncertainties. This algorithm is designed to handle arbitrary initial altitudes, approach geometries, and terrain surfaces, and is robust to wind disturbances which may be highly dynamic throughout the terminal approach. Explicit, real-time wind modeling and classi cation is used to anticipate future disturbances, while a novel uncertainty-sampling technique ensures that robustness to possible future variation is e ciently maintained. The designed cost-to-go function enables selection of partial paths which intelligently trade o between current and reachable future states. Simulation results demonstrate that the proposed algorithm reduces the worst-case impact of wind disturbances relative to state-of-the-art approaches.Charles Stark Draper Laborator

Intelligence as inference or forcing Occam on the world

We propose to perform the optimization task of Universal Artificial Intelligence (UAI) through learning a reference machine on which good programs are short. Further, we also acknowledge that the choice of reference machine that the UAI objective is based on is arbitrary and, therefore, we learn a suitable machine for the environment we are in. This is based on viewing Occam’s razor as an imperative instead of as a proposition about the world. Since this principle cannot be true for all reference machines, we need to find a machine that makes the principle true. We both want good policies and the environment to have short implementations on the machine. Such a machine is learnt iteratively through a procedure that generalizes the principle underlying the Expectation-Maximization algorithm

Clinical Outcomes and Survival Following Treatment of Metastatic Castrate-Refractory Prostate Cancer With Docetaxel Alone or With Strontium-89, Zoledronic Acid, or Both

Importance Bony metastatic castrate-refractory prostate cancer (CRPC) has a poor prognosis and high morbidity. Zoledronic acid (ZA) is commonly combined with docetaxel in practice but lacks evidence that combining is effective, and strontium-89 (Sr89) is generally used palliatively in patients unfit for chemotherapy. Phase 2 analysis of the TRAPEZE trial confirmed combining the agents was safe and feasible, and the objectives of phase 3 include assessment of the treatments on survival. Objective To determine clinical effectiveness and cost-effectiveness of combining docetaxel, ZA, and Sr89, all having palliative benefits and used in bony metastatic CRPC to control bone symptoms and, for docetaxel, to prolong survival. Design, Setting, and Participants The TRAPEZE trial is a 2 × 2 factorial trial comparing docetaxel alone or with ZA, Sr89, or both. A cohort of 757 participants were recruited between February 2005 and February 2012 from hospitals in the United Kingdom. Overall, 169 participants (45%) had received palliative radiotherapy, and the median (IQR) prostate-specific antigen level was 146 (51-354). Follow-ups were performed for at least 12 months. Interventions Up to 10 cycles of docetaxel alone; docetaxel with ZA; docetaxel with a single Sr89 dose after 6 cycles; or docetaxel with both ZA and Sr89. Main Outcomes and Measures Primary outcomes included clinical progression-free survival (CPFS) (pain progression, skeletal-related events [SREs], or death) and cost-effectiveness. Secondary outcomes included SRE-free interval, pain progression–free interval, total SREs, and overall survival (OS). Results Overall, of 757 participants, 349 (46%) completed docetaxel treatment. Median (IQR) age was 68 (63-73) years. Clinical progression-free survival did not reach statistical significance for either Sr89 or ZA. Cox regression analysis adjusted for all stratification variables showed benefit of Sr89 on CPFS (hazard ratio [HR], 0.85; 95% CI, 0.73-0.99; P = .03) and confirmed no effect of ZA (HR, 0.98; 95% CI, 0.85-1.14; P = .81); ZA had a significant effect on SRE-free interval (HR, 0.78; 95% CI, 0.65-0.95; P = .01). For OS, there was no effect of either Sr89 (HR, 0.92; 95% CI, 0.79-1.08; P = 0.34) or ZA (HR, 0.99; 95% CI, 0.84-1.16; P = 0.91). Conclusions and Relevance Strontium-89 combined with docetaxel improved CPFS but did not improve OS, SRE-free interval, or total SREs; ZA did not improve CPFS or OS but did significantly improve median SRE-free interval and reduced total SREs by around one-third, suggesting a role as postchemotherapy maintenance therapy

Extreme Ultra-Violet Spectroscopy of the Lower Solar Atmosphere During Solar Flares

The extreme ultraviolet portion of the solar spectrum contains a wealth of diagnostic tools for probing the lower solar atmosphere in response to an injection of energy, particularly during the impulsive phase of solar flares. These include temperature and density sensitive line ratios, Doppler shifted emission lines and nonthermal broadening, abundance measurements, differential emission measure profiles, and continuum temperatures and energetics, among others. In this paper I shall review some of the advances made in recent years using these techniques, focusing primarily on studies that have utilized data from Hinode/EIS and SDO/EVE, while also providing some historical background and a summary of future spectroscopic instrumentation.Comment: 34 pages, 8 figures. Submitted to Solar Physics as part of the Topical Issue on Solar and Stellar Flare

Genetics of migraine and pharmacogenomics: some considerations

Migraine is a complex disorder caused by a combination of genetic and environmental factors