Sentence examples for ldc in from inspiring English sources

We instantiate LDC in the theory of equality with uninterpreted functions, and implement a parallel solver PZ3 based on Z3.

We estimate the option value of a non-firm electricity tariff commonly used by a local distribution company (LDC) in its electricity demand response program.

Special emphasis is placed on obtaining the load duration curve (LDC) in a detailed way, in order to implement the ramps for better short-term planning.

To understand the important role of LDC in computer modeling, a sensitivity analysis was conducted on the result of analytical solution.

Securing forward contracts to manage procurement-cost risk is an intuitively appealing and economically reasonable strategy for a load-serving local distribution company (LDC) in today's volatile electricity marketplace.

In the course of a municipal Landscape Development Concept (LDC) in Switzerland, short-term effects were assessed regarding participants' (a) trust in other persons involved, (b) confidence in the outcomes of the LDC, and (c) intention to participate.

Dear President Obama, As the lead negotiator for the world's 48 Least Developed Countries (LDCs) in the United Nations climate change negotiations, I congratulate you on your re-election.

The fund, raised from a 2% levy on the money derived from carbon trading in developed countries, held less than 1% of the amount needed to assist the LDCs in coping with the effects of climate change.

It is shown in Fig. 3 that the R-LDC in SAS is not a delay-tolerant scheme because of the degradation of the BER performance.

"In the LDCs in particular, fixed-broadband services remain unaffordable, and most of the countries ranked at the bottom of the fixed-broadband basket are LDCs," the ITU writes.

This Snapshot summarizes our current knowledge on LDCs in the healthy and injured liver, and their role in fibrosis progression and reversal.