Search results for "cki"
showing 10 items of 2390 documents
Reclaimed asphalt binders and mortars fatigue behaviour
2017
Fatigue cracking is one of the most important failure mechanisms occurring in asphalt pavements, especially when mixtures incorporate considerable amount of rReclaimed asphalt pavement (RAP). In fact, aged binders contained in RAP generally make asphalt more brittle and specifically reduce fatigue resistance of the resulting asphalt mixtures. Binders and mortars play a key role in this phenomenon, considering fatigue cracking usually starts within these asphalt components. However, performance-related tests and specifications commonly regard binders and there are no sound methodologies allowing the use of mortars to predicting fatigue performance of asphalts containing RAP. For this reason,…
Rheological characterisation of cold bitumen emulsion slurries
2021
The performance of cold bitumen emulsion (CBE) mixtures is strongly linked to an optimised design of the binder blends and mastics. Types and dosages of bitumen, mineral additions and the workability must be characterised and optimised. This study aims at providing an approach for the fundamental characterisation of CBE materials using rotational viscometry. Firstly, a procedure for measuring the viscosity of CBE slurries using the Brookfield viscometer was investigated by comparing results obtained by using a traditional spindle geometry and a novel impeller engineered to avoid phase separation: the dual helical ribbon (DHR). Afterwards, the effect of mineral additions and bitumen emulsion…
Stabilized branch-price-and-cut for the commodity-constrained split delivery vehicle routing problem
2019
Abstract In the commodity-constrained split delivery vehicle routing problem (C-SDVRP), customer demands are composed of sets of different commodities. The C-SDVRP asks for a minimum-distance set of routes such that all customer demands are met and vehicle capacities are respected. Moreover, whenever a commodity is delivered by a vehicle to a customer, the entire amount requested by this customer must be provided. Different commodities demanded by one customer, however, can be delivered by different vehicles. Thus, the C-SDVRP is a relaxation of the capacitated vehicle routing problem and a restriction of the split delivery vehicle routing problem. For its exact solution, we propose a branc…
Irregular packing problems: a review of mathematical models
2020
Abstract Irregular packing problems (also known as nesting problems) belong to the more general class of cutting and packing problems and consist of allocating a set of irregular and regular pieces to larger rectangular or irregular containers, while minimizing the waste of material or space. These problems combine the combinatorial hardness of cutting and packing problems with the computational difficulty of enforcing the geometric non-overlap and containment constraints. Unsurprisingly, nesting problems have been addressed, both in the scientific literature and in real-world applications, by means of heuristic and metaheuristic techniques. However, more recently a variety of mathematical …
Improved polyhedral descriptions and exact procedures for a broad class of uncapacitated p-hub median problems
2019
Abstract This work focuses on a broad class of uncapacitated p-hub median problems that includes non-stop services and setup costs for the network structures. In order to capture both the single and the multiple allocation patterns as well as any intermediate case of interest, we consider the so-called r-allocation pattern with r denoting the maximum number of hubs a terminal can be allocated to. We start by revisiting an optimization model recently proposed for the problem. For that model, we introduce several families of valid inequalities as well as optimality cuts. Moreover, we consider a relaxation of the model that contains several sets of set packing constraints. This motivates a pol…
Models of the Translation Process
2017
Progress Checking for Dummies
2018
Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known model to demonstrate that it passes progress verification although the resulting model is intuitively badly incorrect. Then we point out that the error can be caught easily by adding a termination branch to the system. We compare the use of termination branches to the established method of addressing the same need, that is, weak fairness. Then we discuss another problem that may cause failure of catching progress errors even with weak fairness. Fi…
Pyrazolo[3,4-d][1,2,3]triazolo[1,5-a]pyrimidine: a new ring system through Dimroth rearrangement
2008
Abstract Derivatives of the new ring system pyrazolo[3,4- d ][1,2,3]triazolo[1,5- a ]pyrimidine were synthesized from the corresponding angular isomers, through a Dimroth rearrangement, in quantitative yields. Preliminary computational studies demonstrated that this class of compounds could be a good candidate as DNA intercalating agents.
Measurement of the W boson mass
1996
The W boson mass is measured using proton-proton collision data at root s = 13 TeV corresponding to an integrated luminosity of 1.7fb(-1) recorded during 2016 by the LHCb experiment. With a simultaneous fit of the muon q/p(T) distribution of a sample of W ->mu y decays and the phi* distribution of a sample of Z -> mu mu decays the W boson mass is determined to be
2019
We constructed a food-based diet quality score (DQS) and examined its association with obesity measures, eating styles and nutrient intakes. Participants were 3592 individuals (764 dizygotic [DZ] and 430 monozygotic [MZ] twin pairs) from the FinnTwin16 study. The DQS (0–12 points) was constructed from a short 14 item food frequency questionnaire. Anthropometric measures and eating styles were self-reported. Nutrient intakes were calculated from food diaries completed in a subsample of 249 individuals (45 same-sex DZ and 60 MZ twin pairs). Twins were analyzed both as individuals and as twin pairs. The DQS was inversely associated with body mass index (β = −0.12, per one-unit increase in DQS,…