Sökresultat

Symmetry and dominance breaking can be crucial for solving hard combinatorial search and optimisation problems, but the correctness of these techniques sometimes relies on subtle arguments. For this reason, it is desirable to produce efficient, machine-verifiable certificates that solutions have been computed correctly. Building on the cutting planes proof system, we develop a certification method

Purpose: To demonstrate the technical feasibility and the value of ultrahigh-performance gradient in imaging the prostate in a 3T MRI system. Methods: In this local institutional review board–approved study, prostate MRI was performed on 4 healthy men. Each subject was scanned in a prototype 3T MRI system with a 42-cm inner-diameter gradient coil that achieves a maximum gradient amplitude of 200 m

Recent successful cardiac transplantation from pig to non-human primates and the first pig-to-human transplantation has put the focus on the properties of the pig heart. In contrast to the coronary arteries, the coronary veins are less well characterized and the aim was to examine the mechanical and pharmacological properties of coronary veins in comparison to the arteries. Vessel segments from th

How people distinguish well-justified from poorly justified arguments is not well known. To study the involvement of intuitive and analytic cognitive processes, we contrasted participants’ personal beliefs with argument strength that was determined in relation to established criteria of sound argumentation. In line with previous findings indicating that people have a myside bias, participants (N =

Aims Our objective was to assess changes in the birth prevalence of CHD over a half-century in a high-resource, nationwide setting, as well as changes in the prevalence of cardiac interventions in this population. Methods The Swedish National Patient and Cause of Death registers were linked to estimate the annual rates of CHD and cardiac and results interventions among live-born infants from 1970

Immunoglobulin G4-related disease (IgG4-RD), which was initially identified as a type of autoimmune pancreatitis around the year 2000, is now widely acknowledged to be a systemic sickness. Based on both general and organ-specific criteria, alongside laboratory measurements of IgG4-subtype, the diagnosis is made. The diagnosis requires, however, a heightened index of suspicion, especially given the

This study addresses a challenging problem of predicting mean annual precipitation across arid and semi-arid areas in northern Algeria, utilizing deterministic, geostatistical (GS), and machine learning (ML) models. Through the analysis of data spanning nearly five decades and encompassing 150 monitoring stations, the result of Random Forest showed the highest training performance, with R square v

This paper proposes a methodology to include induction machine (IM) in an optimization scheme for EV powertrains using Particle Swarm Optimization (PSO) as the optimization algorithm. The IM model is developed based on finite element analysis (FEA) and all the losses are estimated. The main objective is to generate a large database of base designs in a computationally efficient but accurate way. T

Residual stress is of great importance on the fatigue life of components; nevertheless, most of the simulations of turning operation focus on the first cut and ignore the evolution of residual stress in sequential cutting. The present study aims to explore the surface residual stress profile along the feed direction during longitudinal turning, to understand the impact of sequential cuts on turnin

Cuerpo-territorio is a method stemming from Latin American geography, which recognizes the centrality of situated and embodied experiences as a form of knowing. We engaged with this method in the classroom to understand how students through their embodied and situated experiences had absorbed a post-development geographic course content and how these notions had remained with them. Given that emot

Researchers have shown a substantial amount of interest in smart tourism. Despite the fact that smart tourism has been a popular research topic in the tourism and hospitality industries over the past decade, research on this concept is still at a relatively early stage. This research extracted 50 studies (from 2015 to 2023) on the definition of smart tourism using a systematic review and performed