Sökning: "data resolution"
Visar resultat 1 - 5 av 1221 avhandlingar innehållade orden data resolution.
1. SLDFA-resolution : computing answers for negative queries
Sammanfattning : The notion of SLDNF-resolution gives a theoretical foundation for implementation of logic programming languages. However, a major drawback of SLDNF-resolution is that for negative queries it can not produce answers other than yes or no. Thus, only a limited class of negative queries can be handled. LÄS MER
2. Information Needs for Water Resource and Risk Management : Hydro-Meteorological Data Value and Non-Traditional Information
Sammanfattning : Data availability is extremely important for water management. Without data it would not be possible to know how much water is available or how often extreme events are likely to occur. The usually available hydro-meteorological data often have a limited representativeness and are affected by errors and uncertainties. LÄS MER
3. How can data science contribute to a greener world? : an exploration featuring machine learning and data mining for environmental facilities and energy end users
Sammanfattning : Human society has taken many measures to address environmental issues. For example, deploying wastewater treatment plants (WWTPs) to alleviate water pollution and the shortage of usable water; using waste-to-energy (WtE) plants to recover energy from the waste and reduce its environmental impact. LÄS MER
4. Mapping incomplete relational data : networks in ecology & evolution
Sammanfattning : We live in an interconnected world full of complex systems that cannot be understood simply by analyzing their components. From how genes regulate biological functions to the distribution of life on Earth, we need methods that can analyze systems as a whole. LÄS MER
5. Short Proofs May Be Spacious : Understanding Space in Resolution
Sammanfattning : Om man ser på de bästa nu kända algoritmerna för att avgöra satisfierbarhet hos logiska formler så är de allra flesta baserade på den så kallade DPLL-metoden utökad med klausulinlärning. De två viktigaste gränssättande faktorerna för sådana algoritmer är hur mycket tid och minne de använder, och att förstå sig på detta är därför en fråga som har stor praktisk betydelse. LÄS MER