Search results for " Method."

The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study

2014

Designing empirical experiments to compare interactive multiobjective optimization methods

2022

Interactive multiobjective optimization methods operate iteratively so that a decision maker directs the solution process by providing preference information, and only solutions of interest are generated. These methods limit the amount of information considered in each iteration and support the decision maker in learning about the trade-offs. Many interactive methods have been developed, and they differ in technical aspects and the type of preference information used. Finding the most appropriate method for a problem to be solved is challenging, and supporting the selection is crucial. Published research lacks information on the conducted experiments’ specifics (e.g. questions asked), makin…

Vertex corrections for positive-definite spectral functions of simple metals

2016

We present a systematic study of vertex corrections in the homogeneous electron gas at metallic densities. The vertex diagrams are built using a recently proposed positive-definite diagrammatic expansion for the spectral function. The vertex function not only provides corrections to the well known plasmon and particle-hole scatterings, but also gives rise to new physical processes such as generation of two plasmon excitations or the decay of the one-particle state into a two-particles-one-hole state. By an efficient Monte Carlo momentum integration we are able to show that the additional scattering channels are responsible for the bandwidth reduction observed in photoemission experiments on…

Performance analysis of Latvian zenith camera

2018

Since finalizing of design in 2016, the digital zenith camera of the University of Latvia was involved in a number of test observations as well as field observations at about 70 different sites. The paper presents analysis of observation results, estimation of instrument’s performance and accuracy. Random and systematic error sources are outlined. Impact of anomalous refraction on vertical deflection determination is discussed. Results of adaptation of GAIA reference star catalog for astrometric data reduction are reported.

Processus d’agglomération et définition de la ville

1997

International audience

High-Reynolds-number turbulent cavity flow using the lattice Boltzmann method

2018

We present a boundary condition scheme for the lattice Boltzmann method that has significantly improved stability for modeling turbulent flows while maintaining excellent parallel scalability. Simulations of a three-dimensional lid-driven cavity flow are found to be stable up to the unprecedented Reynolds number $\mathrm{Re}=5\ifmmode\times\else\texttimes\fi{}{10}^{4}$ for this setup. Excellent agreement with energy balance equations, computational and experimental results are shown. We quantify rises in the production of turbulence and turbulent drag, and determine peak locations of turbulent production.

Designing a graphics processing unit accelerated petaflop capable lattice Boltzmann solver: Read aligned data layouts and asynchronous communication

2016

The lattice Boltzmann method is a well-established numerical approach for complex fluid flow simulations. Recently, general-purpose graphics processing units (GPUs) have become available as high-performance computing resources at large scale. We report on designing and implementing a lattice Boltzmann solver for multi-GPU systems that achieves 1.79 PFLOPS performance on 16,384 GPUs. To achieve this performance, we introduce a GPU compatible version of the so-called bundle data layout and eliminate the halo sites in order to improve data access alignment. Furthermore, we make use of the possibility to overlap data transfer between the host central processing unit and the device GPU with com…

CVB3 VP1 interacts with MAT1 to inhibit cell proliferation by interfering with Cdk-activating kinase complex activity in CVB3-induced acute pancreati…

2021

Coxsackievirus B3 (CVB3) belongs to the genus Enterovirus of the family Picornaviridae and can cause acute acinar pancreatitis in adults. However, the molecular mechanisms of pathogenesis underlying CVB3-induced acute pancreatitis have remained unclear. In this study, we discovered that CVB3 capsid protein VP1 inhibited pancreatic cell proliferation and exerted strong cytopathic effects on HPAC cells. Through yeast two-hybrid, co-immunoprecipitation, and confocal microscopy, we show that Menage a trois 1 (MAT1), a subunit of the Cdk-Activating Kinase (CAK) complex involved in cell proliferation and transcription, is a novel interaction protein with CVB3 VP1. Moreover, CVB3 VP1 inhibited MAT…

Infection-induced chromatin modifications facilitate translocation of herpes simplex virus capsids to the inner nuclear membrane

2021

Herpes simplex virus capsids are assembled and packaged in the nucleus and move by diffusion through the nucleoplasm to the nuclear envelope for egress. Analyzing their motion provides conclusions not only on capsid transport but also on the properties of the nuclear environment during infection. We utilized live-cell imaging and single-particle tracking to characterize capsid motion relative to the host chromatin. The data indicate that as the chromatin was marginalized toward the nuclear envelope it presented a restrictive barrier to the capsids. However, later in infection this barrier became more permissive and the probability of capsids to enter the chromatin increased. Thus, although …

The ALICE experiment at the CERN LHC

2008

Journal of Instrumentation 3(08), S08002 (2008). doi:10.1088/1748-0221/3/08/S08002