Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 50 for “"LTL"”.
-
Estimating carbon emissions from less-than-truckload (LTL) shipments
Less-than-truckload (LTL) is a $32-billion sector of the trucking industry that focuses on moving smaller shipments, typically with weights between 100 and 10,000 pounds, that do not require a full trailer to be moved. Currently, there are no widely accepted methods to estimate carbon emissions …
-
Shipping exchange analysis of outsourced parcel shipping to LTL carriers
There is a large and intricate network of trucks, warehouses, stores, and companies that support the transportation and logistics industries in the United States. Different categories of carriers transport shipments of all sizes by utilizing complex tracking systems. Further, there is a network of …
-
Compositional Reasoning and Model Checking of Asynchronous Systems on Variations of LTL
… based algorithm for verifying a class of LTL modulo theory properties by leveraging the notion of relative safety. This contributes to a more scalable verification strategy for non-trivial properties beyond traditional safety. We also present an open framework supporting both finite and …
-
Valid inequalities and algorithms for the network design problem with an application to LTL consolidation
Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, 1985.
-
Cross-Docking: A Proven LTL Technique to Help Suppliers Minimize Products' Unit Costs Delivered to the Final Customers
… node is hired to handle the less-than-truckload (LTL) product transportation between the suppliers and customers. TTC model helps minimize the total transportation costs by maximization of the number of FT transportation and reduction of the total number of LTL. TCDC model tries to minimize total …
-
Genetic epidemiology of markers of genomic ageing
… of genomic ageing, leukocyte telomere length (LTL) and mosaic loss of chromosomal Y (mLOY) and test their causal relevance for cardiometabolic and other age-related disorders. Methods Large-scale, genome-wide meta-analysis, two-sample Mendelian Randomization (MR), and prospective observational …
-
Investigating markers of accelerated aging in patients with Treatment Resistant Depression
… aging, namely leucocyte telomere length (LTL) and mitochondrial DNA copy numbers (mtDNAcn), in patients with TRD and in response to ECT. To achieve this aim, we performed two studies. The first study involved a sample of 148 patients with TRD (125 with MDD, and 23 with BD) treated with …
-
Controller synthesis for reactive systems in distributed, real-time and hybrid settings
… processor; for both linear time temporal logic (LTL) or quantified propositional LTL (QPLTL) specifications. In hybrid setting, we show the decidability of controller synthesis for restricted differential hybrid automata (with no sensing delay), for both LTL and QPLTL specifications. In both …
-
An outcome evaluation of Living Through Learning's Coronation Reading Adventure Room Programme
… Coronation Reading Adventure Room Programme. LTL's reading programme objectives include aspects of improving and developing English literacy in disadvantaged schools, teaching learners how to read and write and equipping teachers with the necessary skills to teach effectively. LTL also …
-
Productivity and competition in the U.S. trucking industry since deregulation
… the truckload (TL) and less-than-truckload (LTL) sectors separatIy. The Form M dataset covers the years 1977-1992; the baseline for cumulative analysis is set as 1979, the eve of the Motor Carrier Act. The productivity analysis is contextualized within a wider account of industry changes, …
-
Postmortem energy metabolisms' role in calpain activation, inhibition, and subsequent function
… from the longissimus thoracis et lumborum (LTL) and extensor carpi radialis (ER) muscles at 0, 1, 2, 7, and 14 d postmortem. Purified myofibrils served as substrates to monitor degradation of desmin and troponin-T, two surrogates of muscle proteolysis postmortem. Minimal proteolysis occurred …
-
Verification of linear-time properties for finite probabilistic systems
… described using Linear Temporal Logic (LTL). The model checking problem under this semantics are of two kinds: qualitative and quantitative. In the qualitative version we are interested in finding out if the specification is satisfied with non-zero probability, and in the more general …
-
On the Learnability of General Reinforcement-Learning Objectives
… of objectives: (1) Linear Temporal Logic (LTL) objectives, which extend conventional scalar rewards to temporal specifications of behavior and have garnered recent attention, (2) Computable objectives, encompassing a broad class of structured, algorithmically definable objectives and (3) …
-
A Development Platform to Evaluate UAV Runtime Verification Through Hardware-in-the-loop Simulation
… are formally described in linear temporal logic (LTL) specifications. The sensor data is actively monitored to verify its adherence to the LTL specifications using monitors. Corrective action is taken if a violation of a specification is found. An unmanned aerial vehicle (UAV) development platform …
-
XFM: An Incremental Methodology for Developing Formal Models
… PFMs work by adding user stories (expressed as LTL formulae) gleaned from the natural language specifications, one by one, into the model. XFM builds the models, retaining correctness with respect to incrementally added properties by regressively model checking all the LTL properties captured …
-
Towards explainable AI: directed inference of linear temporal logic constraints
… can be described with linear temporal logic (LTL). In the case where the constraints are not known, their inference offers a type of explanation for their behavior. Previous work has attempted to infer constraints for MLD systems by Bayesian methods, searching for optimally contrastive rules …
-
Algorithms for bundling and pricing trucking services: Deterministic and stochastic approaches
… include: Truckload (TL) and less-than-truckload (LTL) operations, behavioral attributes driving the selection of trucking services, and consideration of deterministic and stochastic demand. Analytical tools include: advanced econometrics, network modeling, statistical network analysis, …
-
Estudio del crecimiento del camarón de agua dulce (M rosenbergu), en condiciones semi-intensivas en la comunidad de Alos Encuentros, Municipio de Limay, Esteli
… y a son de 0.338010.57300 respectivamente, laPr> ltl iguala 1.0001con r2 = 0.976605 y C.V= 29.66412. En el segundo estanque se obtuvo Ln(kly)-1 = 6.53469- 0.89897 (cm) el error standard para Lnb y a son de 0.4235;0.6858. La Pr > ltl para ambos son de 0.0001 con r1 = 0.96084 y C.V= 36.20477, para …
-
Improving the Efficiency of Hub Operations in a Less-than-Truckload Distribution Network
The less-than-truckload (LTL) industry is highly competitive, with recent average profit margins less than 3%. LTL shipments are routed through a network of service centers and hubs. The performance of the entire LTL distribution network is highly dependent on the speed and accuracy of the hub …
-
The value of RFID in transportation : from greater operational efficiency to collaborative transportation management
… for truckload (TL) and less than truckload (LTL) services. The results show that the value of RFID in transportation highly varies according to the sub-process and the player which are considered. The value in forecasting and planning is high for consignees and TL carriers, but low for …
Page 1 of 3