To see the other types of publications on this topic, follow the link: Logic evaluation.
Dissertations / Theses on the topic 'Logic evaluation'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Logic evaluation.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Verma, Atulya Kumar. "Application of fuzzy logic in mineral resource evaluation." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ61304.pdf.
Full text
2
Fuller, David Alfredo. "Partial evaluation and mix computation in logic programming." Thesis, Imperial College London, 1989. http://hdl.handle.net/10044/1/47442.
Full text
3
Modi, Manish Harsukh. "Susceptibility evaluation of combational logic in VLSI circuits." Thesis, Virginia Tech, 1990. http://hdl.handle.net/10919/42221.
Full textAbstract:
A number of errors occur in digital systems operating in a harsh radiation environment. These errors are due to transient faults which may cause a temporary change in the state of the system without any permanent damage. These transient faults are referred to as Single Event Upsets (SEUs). Because of their random and non-recurring nature, such faults are very difficult to detect and hence are of source of great concern.
This thesis examines the logical response of combinational logic circuits to SEUs. Time domain analyses of a large number of circuits attempts to determine the affect of an SEU on a flip-flop which might lay at the end of a chain of combinational logic gates. In this way, the concept of an upset window, as it pertains to different types of logic gates is introduced. The results of the simulations carried out on various blocks of combinational logic are discussed. A program called SUPER (SUsceptibility PrEdiction pRogram) is developed. SUPER predicts the probability of a circuit fault occurring given that a cosmic ray with certain energy characteristics impinges on an arbitrary point within an IC. IC. The input variables to SUPER include the radiation level, the duration of the radiation, the types of gates the radiation affects, the signal path, the type of voltage pulse that the radiation produces (rising or falling) and the time (with respect to the clock pulse) that the radiation is incident on the circuit. The output of SUPER consists of a prediction as to whether or not the incident radiation causes a change in the output of a flip-flop.Master of Science
4
Orri, Stefansson Hlynur. "Decision theory and counterfactual evaluation." Thesis, London School of Economics and Political Science (University of London), 2014. http://etheses.lse.ac.uk/984/.
Full textAbstract:
The value of actual outcomes or states of affairs often depends on what could have been. Such dependencies create well-known “paradoxes” for decision theory, the best-known perhaps being the so-called Allais Paradox. The primary aim of this PhD thesis is to enrich decision theory such that it includes counterfactual prospects in the domains of desirability (or utility) functions, and show that, as a result, the paradoxes in question disappear. Before discussing the way in which counterfactual propositions influence the desirability of actual outcomes, I discuss the way in which the truth of one factual proposition influences the desirability of another. This examination leads me to reject the Invariance assumption, which states that the desirability of a proposition is independent of whether it is true. The assumption plays an important role in David Lewis’ famous arguments against the so-called Desire-as-Belief thesis (DAB). The unsoundness of Lewis’ argument does of course not make DAB true. In fact, I provide novel arguments against different versions of DAB, without assuming Invariance. To justify the assumptions I make when extending decision theory to counterfactual prospects, I discuss several issues concerning the logic, metaphysics and epistemology of counterfactuals. For instance, I defend a version of the so-called Ramsey test, and show that Richard Bradley’s recent Multidimensional Possible World Semantics for Conditionals is both more plausible and permissive than Bradley’s original formulation of it suggested. I use the multidimensional semantics to extend Richard Jeffrey’s decision theory to counterfactuals, and show that his desirability measure, extended to counterfactuals, can represent the various different ways in which counterfactuals influence the desirability of factual propositions. And I explain why the most common alternatives to Jeffrey’s theory cannot be similarly extended. I conclude the thesis by using Jeffrey’s extended decision theory to construct an ethical theory I call Modal Consequentialism, and argue that it better satisfies certain entrenched moral intuitions than Non-Modal Consequentialism (such as classical utilitarianism and welfare economics).
5
Marsh, Andrew J. "A query evaluation model supporting parallelism for logic programs." Thesis, University of Essex, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.278617.
Full text
6
Ucar, Baris. "Coastal Scenic Evaluation By Application Of Fuzzy Logic Mathematics." Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/12605198/index.pdf.
Full textAbstract:
Coastal scenery evaluated by utilization of selected landscape components was subject to fuzzy logic system approach. Based on this methodology, coastal areas were grouped into five classes using the evaluation index D giving the overall result of scenic assessment over the attributes. Within the methodology, public perception surveys from Turkey, UK, Malta, and Croatia were used as a tool for environmental perception in the methodology. The results of the public perception surveys were utilized to obtain the weights of scenic parameters. Public surveys in Çirali were related to demographical information of respondents by factorial analysis. A coastal scenic classification curve was obtained for all 86 coastal sites around the world which enabled grouping of the sites in five different classes.
7
Hardy, Martin Charles. "Control logic evaluation of bespoke computer controlled machine tools." Thesis, University of Huddersfield, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.359143.
Full text
8
Slaney, Kathleen L. "The logic of test analysis: an evaluation of test theory and a proposed logic for test analysis /." Burnaby B.C. : Simon Fraser University, 2006. http://ir.lib.sfu.ca/handle/1892/2668.
Full text
9
Ruff, Tina. "Program Evaluation of Student-Athlete Academic Support Services Unit Using the Logic Model Evaluation." Thesis, University of Nevada, Reno, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10252257.
Full textAbstract:
The study utilized the logic model evaluation to ascertain the effectiveness of the Student-Athlete Academic Support Services (SAASS) unit at a NCAA Division I research university located in the Western United States. The logic model evaluation provided a process to determine the extent to which the unit achieved its purpose and outcomes. The logic model evaluation can be tailored to the exact unit based on the short-term and long-term goals of the program. Based on the tenets of flexibility and adaptability, the logic model evaluation was selected as an appropriate tool for the study. Overall, the SAASS unit was perceived to be effective by its key constituent groups. The evaluation highlighted the importance of the athletic academic advisor in keeping students on track to graduation and communicating issues to administrators, coaches, and professors. Recommendations are provided to potentially improve the SAASS unit under study.
10
Peemöller, Björn [Verfasser]. "Normalization and Partial Evaluation of Functional Logic Programs / Björn Peemöller." Kiel : Universitätsbibliothek Kiel, 2017. http://d-nb.info/1137555211/34.
Full text
11
Del, Rincon Luis A. 1963. "Performance evaluation of microcomputer execution of AHPL combinational logic units." Thesis, The University of Arizona, 1990. http://hdl.handle.net/10150/278438.
Full textAbstract:
Design automation systems use Computer Hardware Description Languages as the input languages to test and verify the design of digital systems. AHPL is a popular hardware description language used to describe digital systems. This language is supported by a function-level simulator (HPSIM2). This simulator was upgraded (HPSIM2_CL) to support the use of unit description called Combinational Logic Units or CLUNITs. This thesis presents the transition of HPSIM2_CL from the VAX to the Macintosh microcomputer environment. The modifications made to the simulator are explained, and examples to test and analyze execution performance are also presented.
12
Rodohan, Darren Patrick. "The associative evaluation of logic programs and heuristic search techniques." Thesis, Brunel University, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334391.
Full text
13
LETICHEVSKY, ANA CAROLINA. "USE OF FUZZY LOGIC IN META-EVALUATION: AN ALTERNATIVE APPROACH." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2006. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=8159@1.
Full textAbstract:
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROAssegurar a qualidade de uma avaliação é um grande desafio para os avaliadores. A avaliação de um processo avaliativo denomina-se meta-avaliação. No Brasil já existe uma grande preocupação com a qualidade da avaliação, contudo o conceito de meta-avaliação ainda é uma novidade. Os profissionais discutem quais são os critérios de excelência que uma verdadeira avaliação deve atender tendo como base os padrões definidos pelo Joint Committee on Standards for Educational Evaluation (1994), que estão agrupados em quatro grandes categorias: utilidade, viabilidade, ética e precisão. Este trabalho propõe uma nova metodologia para meta-avaliação utilizando os conceitos de conjuntos fuzzy e da lógica fuzzy. A metodologia é composta por um instrumental de coleta de dados (lista de checagem para meta-avaliação de programas/projetos) e por um sistema de inferência fuzzy hierárquico para o tratamento de dados referentes à metaavaliação de programas/projetos. As principais vantagens de um sistema desse tipo são: (i) a possibilidade de trabalhar com regras lingüísticas; (ii) a utilização de ferramentas adequadas para trabalhar com a imprecisão intrínseca que existe em problemas complexos, como é o caso de processos de meta- avaliação; (iii) a incorporação de conhecimento subjetivo (de especialistas); (iv) a adaptabilidade do processo de inferência a situações específicas. A metodologia ora proposta utiliza um sistema hierárquico composto por trinta e seis bases de regras organizadas em três níveis: padrão (nível 1), categoria (nível 2), e meta-avaliação (nível 3). As principais características da metodologia desenvolvida são: (i) o instrumento de coleta de dados, que permite respostas intermediárias; (ii) a capacidade de adaptação do sistema de inferência fuzzy a necessidades específicas; (iii) a transparência obtida pela utilização de regras lingüísticas, o que facilita a discussão e o entendimento de todo o processo. Acredita-se que esta metodologia facilitará os processos de meta-avaliação. Este estudo pretende ser uma contribuição para a área da avaliação e para a prática da meta-avaliação.
Assuring the quality of an evaluation is a great challenge to evaluators. The evaluation of an evaluative process is called meta- evaluation. In Brazil there is a great concern about evaluation quality, although the concept of metaevaluation is new. Evaluation professionals are still discussing the criteria of excellence that a true evaluation should attend. The standards defined by the Joint Committee on Standards for Educational Evaluation (1994) that are presented in terms of utility, feasibility, ethics and accuracy, enlighten on that discussion. This study presents a new methodology for meta-evaluation that makes use of fuzzy sets and fuzzy logic concepts. The methodology is composed of an instrument for data collection (checklist for the meta-evaluation of programs/projects) and of a hierarchical fuzzy inference system for treatment of data related to the metaevaluation of projects and programs. The main advantages of using such a system are: (i) the possibility of working with linguistic rules; (ii) the use of tools that deal with the intrinsic imprecision of complex problems, as is the case of metaevaluation; (iii) the incorporation of subjective knowledge (of specialists); (iv) the adaptability of the inference process to specific situations. This new methodology makes use of a system composed of 36 rule bases organized in three levels: standard (level 1), category (level 2), and meta- evaluation (level 3). The main features of the proposed methodology are: (i) the data collection instrument, that allows intermediate answers; (ii) the fuzzy system's capability of adaptation to specific needs; (iii) the transparency provided by the use of linguistic rules, which favours understanding and discussion of the whole process. It is believed that this methodology will make the meta-evaluation process easier. This study intends to be a contribution to evaluation as a subject and to meta- evaluation practice.
14
Valdés, Andrés Mauricio Asprilla. "Design and evaluation of logic gates based on IG FinFET." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2016. http://hdl.handle.net/10183/165484.
Full textAbstract:
A tecnologia CMOS tem sido amplamente usada na fabricação de circuitos integrados durante ás últimas décadas. Embora, os efeitos de canal curto na região sub-limiar restringem a diminuição do comprimento do canal. Com o uso de dispositivos FinFET, o escalamento continua devido à redução dos efeitos de canal curto, permitindo manter a tendência predecida pela lei de Moore. Um dispositivo derivado do FinFET, conhecido como IG FinFET, possui propriedades que são úteis no projeto de portas lógicas combinacionais. Com dispositivos de gates independentes (IG), arranjos de transistores série/paralelo podem ser realizadas utilizando um único transistor, porém, existe um impacto no atraso e no consumo das redes lógicas resultantes. Neste trabalho, é apresentada uma análise elétrica de atraso e consumo de redes lógicas compactadas usando dispositivos IG FinFET. Diferentes topologias de implementação derivadas da operação de gates independentes foram testadas por meio de simulações elétricas e os resultados mostram que existe um compromisso entre o consumo de potência e o atraso de propagação das redes resultantes. Também foi realizado um estudo do comportamento transiente, descrevendo analíticamente o impacto do atraso devido à redução do número de transistores. A análise realizada anteriormente, foi utilizada para calcular o atraso do caminho crítico de um circuito lógico, mostrando a sua utilidade na análise de atraso em circuitos digitais.The CMOS planar technology has been used in fabrication of integrated circuits in the last decades. However, short channel effects in the subthreshold operation region are becoming a critical restriction to the channel length reduction. With the use of FinFET devices, the scaling increases due to the reduction of short channel effects. The origin of the FinFET arises from the scaling limitations of planar devices, reducing the short-channel effects and continuing the scaling predicted by the Moore’s Law. A variation of the standard FinFET device is the independent-gate FinFET device (IG FinFET), in which two independently connected gates control an unique channel. In this work, the independentgate device was explored as a circuit element used for the implementation of different combinational logic networks. With independently connected gates, series/parallel arrays could be performed using a single device, but with direct impact in the electrical performance of logic gates. In this work, it is presented the electrical analysis in terms of signal delay propagation and energy consumption of compacted transistor networks. Different topologies derived from the independent-gate operation were tested through electrical simulations and the results demonstrate the existing trade-off between these two parameters. Also, an analytical delay expression was derived for logic networks which use IG FinFETs, deriving analytical expressions for the impact of reducing arrays of series transistors in logic networks. The analytical model for IG devices was tested in a logic data path and compared to SPICE simulation results, showing its utility for the timing analysis of digital circuits.
15
Peters, Arthur. "The Basic Scheme for the Evaluation of Functional Logic Programs." PDXScholar, 2012. https://pdxscholar.library.pdx.edu/open_access_etds/914.
Full textAbstract:
Functional logic languages provide a powerful programming paradigm combining the features of functional languages and logic languages. However, current implementations of functional logic languages are complex, slow, or both. This thesis presents a scheme, called the Basic Scheme, for compiling and executing functional logic languages based on non-deterministic graph rewriting. This thesis also describes the implementation and optimization of a prototype of the Basic Scheme. The prototype is simple and performs well compared to other current implementations.
16
Martinsson, Håkan. "An evaluation of subjective logic for trust modelling in information fusion." Thesis, University of Skövde, School of Humanities and Informatics, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-977.
Full textAbstract:
Information fusion is to combine information from a variety of sources, or sensors. When the sources are uncertain or contradicting conflict can arise. To deal with such uncertainty and conflict a trust model can be used. The most common ones in information fusion currently is bayesian theory and Dempster-Shafer theory. Bayesian theory does not explicitly handle ignorance, and thus predetermined values has to be hard coded into the system. This is solved in Dempster-Shafer theory by the introduction of ignorance. Even though Dempster-Shafer theory is widely used in information fusion when there is a need for ignorance to be modelled, there has been serious critique presented towards the theory. Thus this work aims at examining another trust models utility in information fusion namely subjective logic. The examination is executed by studying subjective logic using two scenarios from the literature. The results from the scenarios points to subjective logic being a reasonable approach for modelling trust in information fusion.
17
Manns, Monica Rene. "Unfolding the Logic of a 21St Century Learning Center: Program Evaluation." W&M ScholarWorks, 2019. https://scholarworks.wm.edu/etd/1563898914.
Full textAbstract:
Abstract Community Learning Centers (CLC) provide extended learning opportunities for students and families that live in fiscally under-resourced communities. These centers provide opportunities for academic enrichment. This includes an array of additional services, programs, and activities. The programs should be designed to reinforce and complement the academic program of participating students and provide the families of students with opportunities for dynamic and meaningful engagement in the education of the child. Significant research has been done on the effectiveness of community learning centers but little research has been conducted on the formative process for establishing programming for a community learning center. This formative evaluation provided key stakeholders with a unique insight into the program. To accomplish this, the evaluator used Robert E. Stake’s Responsive Evaluation Approach to design a constant-comparative qualitative program evaluation. The evaluation engaged in an analysis that identified the perceived program components. Insight from the analysis will be used to formulate a Theory of Change for the CLC. The Theory of Change process pivots upon identifying the essential program components and establishing the sufficient conditions required to bring about a given long term outcome. The formulation of a Theory of Change will assist with establishing programming, resource building (i.e., grant, monetary solicitation), external program collaborations and potential expansion.
18
Rosa, Junior Leomar Soares da. "Automatic generation and evaluation of transistor networks in different logic styles." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2008. http://hdl.handle.net/10183/61869.
Full textAbstract:
O projeto e o desenvolvimento de circuitos integrados é um dos mais importantes e aquecidos segmentos da indústria eletrônica da atualidade. Neste cenário, ferramentas de automação têm possibilitado aos projetistas manipular uma elevada quantidade de transistores em circuitos cada vez mais complexos, diminuindo, assim, o tempo de projeto. Em especial, ferramentas de síntese lógica têm contribuído significativamente para reduzir o ciclo de desenvolvimento. Na metodologia de projeto full-custom, cada bloco funcional tem sua geração realizada de forma manual, desde a implementação das redes de transistores até a geração do leiaute. Entretanto, esta tarefa é extremamente custosa em tempo de projeto. Neste contexto, torna-se confortável ter a disposição algoritmos dedicados para derivar redes de transistores automaticamente. Diversos tipos de arranjos de transistores são encontrados na literatura. Estas diferentes redes de transistores apresentam diferentes comportamentos em termos de consumo de área, consumo de potência e velocidade. Desta forma, não apenas a geração automática de redes de transistores é importante, mas também técnicas automatizadas para avaliar e comparar estas distintas redes de chaves é de fundamental importância para guiar o projetista que deseja alcançar implementações de circuitos eficientes. Estas avaliações não precisam ser necessariamente processos custosos de caracterização elétrica. Elas podem ser realizadas através de estimativas capazes de fornecer informações acuradas sobre o comportamento das redes. Esta idéia pode ser utilizada por projetistas que desejam gerar e avaliar potenciais soluções em redes de transistores para alimentar fluxos standard-cell (utilizando bibliotecas de células), ou por aqueles que utilizam a abordagem de mapeamento tecnológico library-free (fazendo uso de geradores de células). Neste contexto, este trabalho apresenta um gerador automático de redes de transistores capaz de fornecer diferentes tipos de redes em diversos estilos lógicos. Para comparar as redes geradas, algumas técnicas de estimativa são empregadas. Comparações são realizadas sobre conjuntos distintos de funções Booleanas, demonstrando as vantagens da utilização de lógicas alternativas em relação ao difundido padrão CMOS.Currently, VLSI design has established a dominant role in the electronics industry. Automated tools have enabled designers to manipulate more transistors on a design project and shorten the design cycle. In particular, logic synthesis tools have contributed significantly to reduce the design cycle time. In full-custom designs, manual generation of transistor netlists for each functional block is performed, but this is an extremely time-consuming task. In this sense, it becomes comfortable to have efficient algorithms to derive transistor networks automatically. There are several kinds of transistor networks arrangements. These different networks present different behaviors in terms of area, delay and power consumption. Thus, not only automatic transistor networks generation is important, but also an automated technique to evaluate and to compare the distinct switch networks is fundamental to guide designers that need to achieve efficient circuit implementations. This evaluation not necessarily needs to be an expensive electrical characterization process. It can be obtained through estimation processes capable of delivering good information about the logic cells behavior. This idea is useful for those designers that desire to generate and to evaluate potential transistor network implementations to feed standard-cell flow designs (using cell libraries), or for those designers who target the use of library-free technology mapping concept (using automatic cells generators). In this context, this work presents an automated transistor network generator able to delivery different kinds of networks in several logic styles. In order to compare the obtained networks, some estimation techniques are employed. A comparison is done over a set of Boolean function benchmarks, showing the advantages of using alternative logic styles over the traditional Complementary Series-Parallel CMOS (CSP CMOS).
19
Maharaj, Anish. "The efficient evaluation of visual queries within a logic-based framework." Master's thesis, University of Cape Town, 1995. http://hdl.handle.net/11427/13526.
Full textAbstract:
Bibliography: leaves 149-153.There has been much research in the area of visual query systems in recent years. This has stemmed from the need for a more powerful database visualization and querying ability. In addition, there has been a pressing need for a more intuitive interface for the non-expert user. Systems such as Hy+, developed at the University of Toronto, provide environments that satisfy a wide range of database interaction and querying, with the advantage of maintaining a visual interface abstraction throughout. This thesis explores issues related to the translation and evaluation of visual queries, including semantic and optimization possibilities. The primary focus will be on the GraphLog query language, defined in the context of the Hy+ visualization system. GraphLog is translated to the deductive database language Datalog, which is subsequently evaluated by the CORAL logic database system. We propose graph semantics, which define the meaning of visual queries in terms of paths in a graph, for monotone GraphLog. This provides a more intuitive meaning which is not linked to any particular translation. Therefore, Datalog generated by a translation may be compared to well-defined semantics to ensure that the translation preserves the intended meaning. By examining various queries in terms of the graph semantics, we uncover a shortcoming in the existing GraphLog translation. In addition, an alternative translation to Datalog, based on the construction of a nondeterministic finite state automaton, is described for GraphLog queries. The translation has the property that visual queries containing constants are optimized using a technique known as factoring. In addition, the translation performs an optimization on queries with multiple edges that contain no constants, referred to here as variable constraining.
20
Santos, Jose Carlos Almeida Santos. "Efficient learning and evaluation of complex concepts in inductive logic programming." Thesis, Imperial College London, 2010. http://hdl.handle.net/10044/1/6409.
Full textAbstract:
Inductive Logic Programming (ILP) is a subfield of Machine Learning with foundations in logic programming. In ILP, logic programming, a subset of first-order logic, is used as a uniform representation language for the problem specification and induced theories. ILP has been successfully applied to many real-world problems, especially in the biological domain (e.g. drug design, protein structure prediction), where relational information is of particular importance. The expressiveness of logic programs grants flexibility in specifying the learning task and understandability to the induced theories. However, this flexibility comes at a high computational cost, constraining the applicability of ILP systems. Constructing and evaluating complex concepts remain two of the main issues that prevent ILP systems from tackling many learning problems. These learning problems are interesting both from a research perspective, as they raise the standards for ILP systems, and from an application perspective, where these target concepts naturally occur in many real-world applications. Such complex concepts cannot be constructed or evaluated by parallelizing existing top-down ILP systems or improving the underlying Prolog engine. Novel search strategies and cover algorithms are needed. The main focus of this thesis is on how to efficiently construct and evaluate complex hypotheses in an ILP setting. In order to construct such hypotheses we investigate two approaches. The first, the Top Directed Hypothesis Derivation framework, implemented in the ILP system TopLog, involves the use of a top theory to constrain the hypothesis space. In the second approach we revisit the bottom-up search strategy of Golem, lifting its restriction on determinate clauses which had rendered Golem inapplicable to many key areas. These developments led to the bottom-up ILP system ProGolem. A challenge that arises with a bottom-up approach is the coverage computation of long, non-determinate, clauses. Prolog’s SLD-resolution is no longer adequate. We developed a new, Prolog-based, theta-subsumption engine which is significantly more efficient than SLD-resolution in computing the coverage of such complex clauses. We provide evidence that ProGolem achieves the goal of learning complex concepts by presenting a protein-hexose binding prediction application. The theory ProGolem induced has a statistically significant better predictive accuracy than that of other learners. More importantly, the biological insights ProGolem’s theory provided were judged by domain experts to be relevant and, in some cases, novel.
21
Erxleben, Fredo. "Graphical Support for the Design and Evaluation of Configurable Logic Blocks." Thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-175486.
Full textAbstract:
Developing a tool supporting humans to design and evaluate CLB-based circuits requires a lot of know-how and research from different fields of computer science.
In this work, the newly developed application q2d, especially its design and implementation will be introduced as a possible tool for approaching CLB circuit development with graphical UI support.
Design decisions and implementation will be discussed and a workflow example will be given.
22
Green, Erinn Leary. "Reinventing Logic Modeling: A Stakeholder-Driven Group Approach." Cincinnati, Ohio : University of Cincinnati, 2005. http://www.ohiolink.edu/etd/view.cgi?acc%5Fnum=ucin1123692726.
Full textAbstract:
Thesis (Ph. D.)--University of Cincinnati, 2005.Title from electronic thesis title page (viewed Oct. 3, 2006). Includes abstract. Keywords: logic model; program theory; stakeholder-driven; social psychology; program evaluation. Includes bibliographical references.
23
Bolden, Kenneth Frank. "Applying Logic Modeling to the Higher Education Accreditation Process." ScholarWorks@UNO, 2007. http://scholarworks.uno.edu/td/563.
Full textAbstract:
In recent years, regional accreditation and the regional accreditation associations for higher education have experienced continuing criticism and become the objects of increased scrutiny. Higher education institutions look to the accreditation process as one of the principal means of justifying their actions and activities relative to their performance and results. Since the complaints and criticism directed toward higher education have not diminished but continued, and even increased, the regional accreditation associations find themselves to be the focus of similar complaints and criticisms. In the United States, we have no national system of accreditation. We rely on the actions and activities of one of the six regional accreditation associations. Each of these associations has its own separate and, in some cases, unique accreditation processes. Each publishes its own standards, its own handbooks, its own policies and practices, its own newsletters, and its own rules and regulations for accreditation. This situation can lead to inconsistencies, and could be a source of much confusion and misunderstanding when discussing the implications of an institution being accredited within a particular region. Logic models are diagrams or visual schematics that convey relationships between program processes and outcomes. This study uses logic modeling and logic model theory as the framework for an examination of the components of accreditation within two regional accreditation associations. A systematic and detailed methodology was developed in order to construct a logic model from existing handbooks and documents. As a result, two regional logic models were constructed, as well as a combined model based upon common elements. Implications of this study include the possible construction of a national accreditation logic model if the methodology is applied in the additional regional associations. This conceptual approach could lead to more consistency in the design, communication, and application of accreditation processes. Better understanding of, and less confusion concerning, the myriad of activities and processes required in a successful regional accreditation could lead to better, more effective, and more meaningful accreditation activities and results. This, in turn, could generate true growth and improvement in the actions, activities, and results achieved by our higher education institutions.
24
Berglund, Anton, and Oscar Fredriksson. "Can Microsoft Logic Apps replace Microsoft BizTalk? : An evaluation of integration platforms." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-148698.
Full textAbstract:
Integration has always been an important and tricky task for IT-businesses. There are several products available for solving integration issues, one of them is the long developed platform BizTalk from Microsoft. As cloud computing has grown in recent years, Microsoft has been putting more focus towards the cloud. With their cloud, named Azure, expanding a new integration platform have been released, the iPaaS (integration Platform as a Service) Logic Apps. This report aims to evaluate the integration platforms Logic Apps and BizTalk with the purpose of finding out if the new Logic Apps can replace the long developed BizTalk. The evaluation is performed by implementing an application in both platforms, then evaluating selected parameters by giving each a score to concretize our assessment on quantify whether Logic Apps can replace BizTalk.
25
Gentile, Michela. "Development of a hierarchical fuzzy model for the evaluation of inherent safety." Diss., Texas A&M University, 2004. http://hdl.handle.net/1969.1/1277.
Full textAbstract:
Inherent safety has been recognized as a design approach useful to remove or reduce hazards at the source instead of controlling them with add-on protective barriers. However, inherent safety is based on qualitative principles that cannot easily be evaluated and analyzed, and this is one of the major difficulties for the systematic application and quantification of inherent safety in plant design. The present research introduces the use of fuzzy logic for the measurement of inherent safety by proposing a hierarchical fuzzy model. This dissertation establishes a novel conceptual framework for the analysis of inherent safety and proposes a methodology that addresses several of the limitations of the methodologies available for current inherent safety analysis. This research proposes a methodology based on a hierarchical fuzzy model that analyzes the interaction of variables relevant for inherent safety and process safety in general. The use of fuzzy logic is helpful for modeling uncertainty and subjectivities implied in evaluation of certain variables and it is helpful for combining quantitative data with qualitative information. Fuzzy logic offers the advantage of being able to model numerical and heuristic expert knowledge by using fuzzy IF-THEN rules. Safety is traditionally considered a subjective issue because of the high uncertainty associated with its significant descriptors and parameters; however, this research recognizes that rather than subjective, "safety" is a vague problem. Vagueness derives from the fact that it is not possible to define sharp boundaries between safe and unsafe states; therefore the problem is a "matter of degree". The proposed method is computer-based and process simulator-oriented in order to reduce the time and expertise required for the analysis. It is expected that in the future, by linking the present approach to a process simulator, process engineers can develop safety analysis during the early stages of the design in a rapid and systematic way. Another important aspect of inherent safety, rarely addressed, is transportation of chemical substances; this dissertation includes the analysis of transportation hazard by truck using a fuzzy logic-based approach.
26
Kazana, Wojciech. "Query evaluation with constant delay." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2013. http://tel.archives-ouvertes.fr/tel-00919786.
Full textAbstract:
This thesis is concentrated around the problem of query evaluation. Given a query q and a database D it is to compute the set q(D) of all tuples in the output of q on D. However, the set q(D) may be larger than the database itself as it can have a size of the form n^l where n is the size of the database and l the arity of the query. It can therefore require too many of the available resources to compute it entirely. The main focus of this thesis is a particular solution to this problem: a scenario where in stead of just computing, we are interested in enumerating q(D) with constant delay. Intuitively, this means that there is a two-phase algorithm working as follows: a preprocessing phase that works in time linear in the size of the database, followed by an enumeration phase outputting one by one all the elements of q(D) with a constant delay (which is independent from the size of the database) between any two consecutive outputs. Additionally, four more problems related to enumeration are also considered in the thesis. These are model-checking (where the query q is boolean), counting (where one wants to compute just the size |q(D)| of the output set), testing (where one is interested in an efficient test for whether a given tuple belongs to the output of the query or not) and j-th solution (where, one wants to be able to directly access the j-th element of q(D)). The results presented in the thesis address the above problems with respect to: - first-order queries over the classes of structures with bounded degree, - monadic second-order queries over the classes of structures with bounded treewidth, - first-order queries over the classes of structures with bounded expansion.
27
Wildschut, Lauren Patricia. "Theory-based evaluation, logic modelling and the experience of SA non-governmental organisations." Thesis, Stellenbosch : Stellenbosch University, 2014. http://hdl.handle.net/10019.1/86604.
Full textAbstract:
Thesis (PhD)--Stellenbosch University, 2014.ENGLISH ABSTRACT: This study examined the origins and development of theory-based evaluation (TBE) and the logic models associated with this approach. This was done in order to better understand the roots and evolution of these models which are currently used by donor agencies both nationally and internationally. It was found that logic models, which are used for both project management and evaluation, had their origins in a range of domains including management, education and curriculum design from as early as 1909. Early evaluators from the education, training and health sectors as well as contextual factors such as the professionalization of evaluation and an ever- increasing demand for accountability contributed significantly to the development of both TBE and its associated models. A systematic review of a large sample of logic models and logical frameworks was conducted in order to bring some order and clarity to the plethora of models facing stakeholders in the field of evaluation. It was discovered that four key types of logic models and two key types of logframes face developers and users of models but that the "branding" of donors of their particular demand for accountability, obscures this fact. In order to understand the experience of South African Non-Governmental Organisations when engaging with donors and their demands for accountability a survey was carried out of those organisations which were utilising a specialised form of planning tool. The findings of this study show that South African donors, like their international counterparts, mainly use the models associated with TBE to obtain standardised and focused evidence of results from projects albeit with a distinct scepticism about the actual necessity of some of the donor requirements. Most Non-Governmental Organisations view the donor requirements, such as the logic model and logical framework, as necessary in the funding relationship despite indicating that they find the models inflexible. The study not only makes a contribution to an under-researched area in programme evaluation, it also provides insights into an under-researched area of the South African Non-Governmental sector.
AFRIKAANSE OPSOMMING: Die doel van die studie was om 'n in-diepte begrip van die ontwikkeling van logika modelle ("logic models") en logika raamwerke ("logical framework") te ontwikkel ten einde die ervarings van Suid-Afrikaans nie-regeringsorganisasies met donateurs beter te begryp. In besonder was die doel om vas te stel hoe sodanige organisasies die vereistes rondom projekbeplanning, monitering, evaluasie en rapportering ervaar. Die studie het gevind dat die oorspronge van hierdie modelle, wat beide vir projekbestuur en evaluasie gebruik word, te vinde is in verskeie areas insluit bestuur, opvoedkunde and kurrikulumontwerp. Die eerste generasie evalueerders in opvoedkunde, opleiding en gesondheid sowel as kontekstuele faktore soos die professionalisering van evaluasie en die immer-toenemende vereistes van rekenpligtigheid het alles beduidend bygedra tot die ontwikkeling van logika modelle. 'n Sistematiese oorsig en ontleding van 'n beduidende steekproef van logika modelle en raamwerke is uitgevoer ten einde meer helderheid en sistematiek te kry in 'n domein waar daar uiteenlopende benaderings en modelle is. Daar is gevind dat vier sleuteltipes logika modelle en twee sleuteltipes logika raamwerke deur die meeste organisasies gebruik word maar dat verskillende befondsingsagentskappe en organisasies hul eie betekenis en inhoud aan hul logika modelle gee. Ten einde die ervarings van Suid-Afrikaanse nie-regerings organisasies te begryp is 'n opname uitgestuur aan alle organisasies wat hierdie raamwerke gebruik. Die resultate van die opname wys dat Suid-Afrikaanse befondsagentskappe, soos hulle internasionele vennote, veral modelle gebruik wat geasosieer is met teorie-gebaseerde evaluasie ten einde gestandaardiseerde en gefokusde getuienis van projektesultate te genereer. Die meerderheid Suid-Afrikaanse nie-regeringsorganisasies aanvaar die vereistes van donateurs alhoewel hierdie "aanvaarding" gepaardgaan met 'n duidelike skeptisisme oor die absolute noodsaaklikheid van somige van hierdie vereistes. Die meerderheid organisasies beskou donateur vereistes, veral wat betref die logika model en die logika raamwerk, as noodsaaklik binne die konteks van die befondsingsverhouding ten spyte van persepsies dat sodanige modelle some uiters rigied kan wees. Die studies maak 'n bydrae, nie alleen in area in programevaluasie waar daar weinig navorsing is nie, maar dit bied ook insig in die gedrag en persepsies van die Suid-Afrikaanse nie-regeringsektor wat programevaluasie praktyke betref.
28
FERREIRA, AUGUSTO CESAR ROSITO. "THE LOGIC OF THE SCHOOL SYSTEM AND THE TRANSFIGURATION OF TEACHING AND EVALUATION." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2018. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=35102@1.
Full textAbstract:
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROCOORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
PROGRAMA DE EXCELENCIA ACADEMICA
O presente trabalho se propôs inicialmente a investigar quais são, na visão de professores de uma escola pública de Nível Médio da cidade do Rio de Janeiro, as metas e objetivos de suas respectivas disciplinas, da escola onde lecionam, e do ensino público de modo geral. Partindo da experiência prática do autor para a configuração do objeto, e das contribuições teóricas de Bourdieu, Ball e outros autores ligados à sociologia da educação, o estudo indica a existência de uma distância entre as metas e objetivos educacionais propostos e os realizados, e que a avaliação escolar reflete as finalidades do ensino para aqueles que avaliam. O trabalho de campo consistiu em entrevistas semiestruturadas com o diretor da escola, com 16 professores representando as diferentes disciplinas do currículo, que tinham 10 ou mais anos de magistério de Nível Médio, e observações dos Conselhos de Classe de final de ano letivo. Os achados apontaram para a falta de clareza na definição dos objetivos das disciplinas, e para o desconhecimento de metas e objetivos da escola na qual trabalham e da educação pública em geral. Ficou evidenciado que há uma transfiguração das finalidades do ensino, desde os documentos oficiais ou propostas pessoais dos professores, até os momentos de avaliação, especialmente os últimos do ano letivo e, para além disto, como achado da pesquisa empírica, foi percebido que estas modificações são dadas por uma lógica escolar característica e definidora da dinâmica do ofício docente. O guia de trabalho cotidiano para os professores é dado parcialmente pelo currículo da disciplina, parte por uma elaboração pessoal de cada professor, e parte por uma cultura professoral que valoriza, sobretudo, aspectos atitudinais dos alunos em lugar dos conhecimentos disciplinares. É ressaltada a contradição entre as boas intenções dos professores em aprovar os alunos com baixo nível de aprendizagem e o resultado de suas ações na reprodução das desigualdades escolares e sociais. A estrutura social específica do Brasil é analisada e é percebida a congruência entre esta, caracterizada pela desigualdade social, autoritarismo e tutela, e a atitude manifestada pelos professores pesquisados em sua cultura professoral de valorizar sobretudo os objetivos ligados à educação, despertar do indivíduo, preparação para a cidadania (e outros relacionados a estes), amenizar os conteúdos disciplinares, reduzi-los em quantidade e em profundidade, relativizar os critérios adotados para avaliação, e disposição em dar notas aos alunos com o intuito básico de aprovação escolar.
The present work initially proposed to investigate the goals and objectives of their respective disciplines, the school where they teach, and the general public education, in the view of teachers of a public secondary school in the city of Rio de Janeiro. Based on the author s practical experience in object design, and on the theoretical contributions of Bourdieu, Ball, and other authors related to the sociology of education, the study indicates the existence of a gap between the proposed educational goals and objectives and those achieved; the school evaluation reflects the purposes of teaching for those who evaluate. Fieldwork consisted of semi-structured interviews with the school principal, with 16 teachers representing different curriculum disciplines who had 10 or more years of teaching at the high-school level, and observations from the end-of-year school boards. The findings pointed to the lack of clarity in the definition of the objectives of the subjects, and to the lack of knowledge about the goals and objectives of the school in which they work and of public education in general. It was evidenced that there is a transfiguration of the purposes of teaching, from the official documents or personal proposals of the teachers to the moments of evaluation, especially the last ones of the academic year and, besides, as a finding of the empirical research, it was perceived that these modifications are given by a characteristic school logic and defining the dynamics of the teaching profession. The daily work guide for teachers is given partly by the curriculum of the course, partly by a personal elaboration of each teacher, and partly by a teacher culture that values, above all, attitudinal aspects of the students instead of the disciplinary knowledge. The contradiction between the teachers good intentions to approve students with low learning level and the result of their actions in the reproduction of school and social inequalities is highlighted. The specific social structure of Brazil is analysed and it is perceived the congruence between it, characterized by social inequality, authoritarianism, and tutelage, and the attitude manifested by the teachers researched in their professorial culture to value above all the objectives related to education, awakening of the individual, preparation for citizenship (and others related to them), softening the contents of discipline, reducing them in quantity and depth, relativizing the criteria adopted for evaluation, and willingness to give notes to students for the basic purpose of passing school.
29
Oskui-Tabrizi, Nargas. "Academic Computing Infrastructure Program Evaluation." Thesis, University of Oregon, 2014. http://hdl.handle.net/1794/18504.
Full textAbstract:
Academic computing is one major component of Information Technology infrastructure affecting the availability and utilization of technologies at universities. The study here evaluated two different colleges at the University of Oregon in comparison to a minimal logic model proposed here, the Support for Academic Computing Model (SAC). Based on the differences in IT needs and implementation of existing instructional technology services, the evaluation investigated the utility of the logic model and information regarding the two settings. The two colleges are the College of Education (COE) and the School of Architecture and Allied Arts (AAA). My hypothesis is that empirical evaluation studies based on a comparison with a base logic model for infrastructure needs across contexts may help to provide information to better align resources.
Results show that a strong use case of 100% of faculty interviewed at COE rely on Learning Management Systems (LMSs), Data Visualization and Video & Audio tools, making them a core part of the SAC model. Most faculty interviewed in AAA utilize LMSs at 89%, then Productivity/Content Creation/Research Tools at 83%, and as an extension Instructional Media Tools at 46%, which helps to validate the SAC model across this second context. Other information in the model evaluation allows more specific comparisons of gaps in areas such as access to resources, knowledge of and about resources, mission-driven need for resources, and some patterns.
Common themes that emerged from the faculty interviews are the need to showcase technology usage among colleagues, that services are not always well advertised, that technology may not be accessible or that there may be issues regarding limited or unclear funding for both support and resources that limits their use. This indicates that this style of a model might be helpful in planning and evaluating academic computing support programs and services. Future work would be needed to investigate the degree to which intervening according to the findings of such a model might be efficacious to improve the perceived quality of services or the usage patterns and outcomes, as well as the degree to which such a model could be generalized and evolve over time.
30
Eriksson, Christian, and Lubov Novozhilova. "Opportunity evaluation in a research based spin-off : Causation and Effectuation perspectives on entrepreneurial logic." Thesis, Uppsala universitet, Företagsekonomiska institutionen, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-298478.
Full textAbstract:
This study explores the entrepreneurial logic applied in the opportunity evaluation phase in a research-based startup company (RBSO) faced with multiple business opportunities recognized by external actors. Entrepreneurial logic, measured through the enactment of entrepreneurial behavior, is investigated from the theoretical perspectives of causation and effectuation. Making use of a qualitative, single embedded case study consisting of participant observations and interviews conducted during a seven-month period in a Swedish RBSO, this study contributes to research in the field of entrepreneurship by exploring the logic of opportunity evaluation in RBSOs. Our findings show that the combinations of causal and effectual logical patterns are applied in the opportunity evaluation process but that effectual logic prevails. The effectual logic is related to the operational aspect of the evaluation process and is applied internally while causal logic is related to the general strategic aspect and serves as a way to communicate with the company's stakeholders. The primary driver behind the prevalence of the effectual versus causal logic is uncertainty which in turn is related to the knowledge-intensive nature of the RBSO and the dynamic environment in which it operates. The causal logic is mainly found in the company’s acquisition of human resources aimed to support technology-related knowledge gain.
31
Pukaj, Marek. "Aplikace fuzzy logiky pro hodnocení kvality zákazníků." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2009. http://www.nusl.cz/ntk/nusl-222120.
Full textAbstract:
This thesis is analyzing customers of Geocart CZ a.s. company. Thesis is presenting new models of evaluating of customers. Weight mathematic model is created in MS Excel software. In software fuzzyTECH and MATLAB are designed fuzzy models for evaluating of customers with application of fuzzy logic. This method of evaluating should eliminate risk of mistakes with choosing of customers and minimize opportunity costs.
32
Kováčová, Zuzana. "Využití prostředků umělé inteligence pro podporu rozhodování v podniku." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2011. http://www.nusl.cz/ntk/nusl-222909.
Full textAbstract:
This Master's thesis deals with using the theory of fuzzy logic in building up a model of suppliers evaluation of Heidelberg Slovakia company. Using the model the company will obtain an image about the efficiency and reliability of its suppliers. The information can be used to decision making support in supply chain management.
33
Wienbrandt, Lars [Verfasser]. "FPGAs in Bioinformatics - Implementation and Evaluation of Common Bioinformatics Algorithms in Reconfigurable Logic / Lars Wienbrandt." Kiel : Universitätsbibliothek Kiel, 2016. http://d-nb.info/109818498X/34.
Full text
34
Hutter, Jonas, and Mehnaz Mashayeke. "A dynamic decision model and a system logic evaluation for Sandvik Machining Solutions distribution flows." Thesis, Linköpings universitet, Kommunikations- och transportsystem, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110571.
Full textAbstract:
The aim of this thesis is partly to create a dynamic decision model for Sandvik Machining Solutions distribution flows and partly to evaluate how the stock transfer system logic handle four specific exceptional situations. The purpose is to reduce the total costs while keeping or improving the service level. The thesis presents a total cost model and guidelines for the planning function when deciding the main supplier in the distribution. The thesis also presents a system logic evaluation of the stock transfer logic used by Sandvik Machining Solutions.
35
Fourie, Johannes Christoffel. "Evaluating agricultural potential of a Cape Metropolitan Catchment : a fuzzy logic approach." Thesis, Stellenbosch : University of Stellenbosch, 2006. http://hdl.handle.net/10019.1/1819.
Full textAbstract:
Thesis (MSc (Geography and Environmental Studies))--University of Stellenbosch, 2006.Sustainable use of the earth’s resources is seen by many authorities as critical to ensure the planet’s survival. In this regard agriculture is seen as a major role player and fundamental link in the chain of sustainability. South Africa, a country with relatively little favourable agricultural land, should therefore preserve high potential areas for agricultural purposes. The Western Cape, with 75% of all medium-potential arable land in South Africa, is a valuable asset. One region targeted for development and where uncertainty prevails regarding its agricultural potential, is the G21B catchment in the Atlantis Growth Corridor (AGC). The AGC is envisaged as long-term growth axis for the Cape Metropole, but conflicting opinions exist on its agricultural possibilities and suitability to absorb urban growth. Consequently, the aim of this project was to evaluate the suitability of this catchment for a number of agricultural landuses. Fuzzy logic, a modification of the land evaluation approach originally developed by the Food and Agricultural Organization of the United Nations (FAO), was used to address this problem. Input data consisted of a soil map and digital elevation model (DEM) of the area. Parameters identified from these sources and applicable to the study were soil texture of the first, second and third horizons, as well as coarse fragments in the top soil, wetness, weathered rock, average pH, effective root depth, and slope. These parameters were compared to the requirements of six landuses, i.e. wheat, wine grapes, potatoes, tomatoes, onions, and citrus, and a fuzzy representation for every landuse was constructed. Expert opinion aided in a weighting process whereby the relative weights of parameters were computed and incorporated into the evaluation. Results showed extensive areas with a relatively high agricultural potential for potatoes and wine grapes. In addition, areas with potential were also identified for wheat, citrus, and tomatoes, albeit on more limited scale. Large areas, however, were deemed unsuitable for the aforementioned agricultural crops and would therefore be suitable to absorb metropolitan growth or to be maintained as conservation areas. The fuzzy logic approach provided insightful results. Problematic parameters were easily identified and no information was lost in the evaluation process. It also allowed for an objective quantitative comparison between crops. This provided freedom in deciding which landuse should be practiced, especially if the focus is on a sustainable rather than the most productive crop.
36
Zhou, Jing 1959. "LOVERD--a logic design verification and diagnosis system via test generation." Thesis, The University of Arizona, 1989. http://hdl.handle.net/10150/291686.
Full textAbstract:
The development of cost-effective circuits is primarily a matter of economy. To achieve it, design errors and circuit flaws must be eliminated during the design process. To this end, considerable effort must be put into all phases of the design cycle. Effective CAD tools are essential for the production of high-performance digital systems. This thesis describes a CAD tool called LOVERD, which consists of ATPG, fault simulation, design verification and diagnosis. It uses test patterns, developed to detect single stuck-at faults in the gate-level implementation, to compare the results of the functional level description and its gate-level implementation. Whenever an error is detected, the logic diagnosis tool can be used to provide useful information to designers. It is shown that certain types of design errors in combinational logic circuits can be detected and allocated by LOVERD efficiently.
37
Danas, Ryan. "User Evaluation Framework for Model Finding Research." Digital WPI, 2016. https://digitalcommons.wpi.edu/etd-theses/1009.
Full textAbstract:
"We report the results of a series of crowd-sourced user studies in the formal-methods domain. Specifically, we explore the efficacy of the notion of "minimal counterexample" -- or more colloquially, "minimal bug report" -- when reasoning about logical specifications. Our results here suggest that minimal counterexamples are beneficial some specific cases, and harmful in others. Furthermore, our analysis leads to refined hypotheses about the role of minimal counterexamples that can be further evaluated in future studies. User-based evaluation has little precedent in the formal methods community. Therefore, as a further contribution, we discuss and analyze our research methodology, and offer guidelines for future user studies in formal methods research. "
38
Qu, Xingda. "Development and evaluation of postural control models for lifting motions and balance control." Diss., Virginia Tech, 2008. http://hdl.handle.net/10919/26597.
Full textAbstract:
Accurately simulating human motions is a major function of and challenge to digital human models and integrating humans in computer-aided design systems. Numerous successful applications of human motion simulation have already demonstrated their ability to improve occupational efficiency, effectiveness, and safety. In this dissertation, a novel motion simulation model using fuzzy logic control is presented. This model was motivated by the fact that humans use linguistic terms to guide their behaviors while fuzzy logic provides mathematical representations of linguistic terms. Specifically in this model, fuzzy logic was used to specify a neural controller which was generally considered as the part in the postural control system that plans human motions. Fuzzy rules were generated according to certain trends observed from actual human motions. An optimization procedure was performed to specify the parameters of the membership functions by minimizing the differences between the simulated and actual final postures. This research contributed to the field of human movement science by providing a motion simulation model that can accurately predict novel human motions and provide interpretations of potential human motion planning strategies.
Understanding balance control is another research focus in this dissertation. Investigating balance control may aid in preventing unnecessary fall-related incidents and understanding the postural control system. Since human behaviors are generally effective and efficient, balance control models (both two- and three-dimensional) based on an optimal control strategy were developed to aid in better understanding balance control. Specifically, the neural controller was considered as an optimal controller that minimizes a performance index defined by physical quantities relevant to sway. Free model parameters, such as weights of relevant physical quantities and sensory delay time, were determined by an optimization procedure whose objective was to minimize a scalar error between simulated and experimental center-of-pressure (COP) based measures.
Many factors, such as aging, localized muscle fatigue, and external loads, have been found to adversely affect balance control. At the same time, behaviors during upright stance are commonly characterized by COP-based measures. Thus, changes in COP based measures with aging, LMF, and external loads were addressed by using the proposed models, and possible postural control mechanisms were identified by interpreting these changes. Findings from these studies demonstrated that the proposed models were able to accurately simulate human sway behaviors and provide plausible mechanisms regarding how the postural control system works when maintaining upright balance.Ph. D.
39
Icard, Benjamin. "Lying, deception and strategic omission : definition and evaluation." Thesis, Paris Sciences et Lettres (ComUE), 2019. http://www.theses.fr/2019PSLEE001/document.
Full textAbstract:
Cette thèse vise à mieux définir ainsi qu'à mieux évaluer les stratégies de tromperie et de manipulation de l'information. Des ressources conceptuelles, formelles et expérimentales sont combinées en vue d'analyser des cas standards de tromperie, tels que le mensonge, mais aussi non-standards, tels que les inférences trompeuses et l'omission stratégique. Les aspects définitionnels sont traités en premier. J'analyse la définition traditionnelle du mensonge en présentant des résultats empiriques en faveur de cette définition classique (dite 'définition subjective'), contre certains arguments visant à défendre une 'définition objective' par l'ajout d'une condition de fausseté. J'examine ensuite une énigme logique issue de R. Smullyan, et qui porte sur un cas limite de tromperie basé sur une règle d'inférence par défaut pour tromper un agent par omission. Je traite ensuite des aspects évaluatifs. Je pars du cadre existant pour l'évaluation du renseignement et propose une typologie des messages fondée sur les dimensions descriptives de vérité (pour leur contenu) et d'honnêteté (pour leur source). Je présente ensuite une procédure numérique pour l'évaluation des messages basée sur les dimensions évaluatives de crédibilité (pour la vérité) et de fiabilité (pour l'honnêteté). Des modèles numériques de plausibilité servent à capturer la crédibilité a priori des messages puis des règles numériques sont proposées pour actualiser ces degrés selon la fiabilité de la sourceThis thesis aims at improving the definition and evaluation of deceptive strategies that can manipulate information. Using conceptual, formal and experimental resources, I analyze three deceptive strategies, some of which are standard cases of deception, in particular lies, and others non-standard cases of deception, in particular misleading inferences and strategic omissions. Firstly, I consider definitional aspects. I deal with the definition of lying, and present new empirical data supporting the traditional account of the notion (called the ‘subjective definition’), contradicting recent claims in favour of a falsity clause (leading to an ‘objective definition’). Next, I analyze non-standard cases of deception through the categories of misleading defaults and omissions of information. I use qualitative belief revision to examine a puzzle due to R. Smullyan about the possibility of triggering a default inference to deceive an addressee by omission. Secondly, I consider evaluative aspects. I take the perspective of military intelligence data processing to offer a typology of informational messages based on the descriptive dimensions of truth (for message contents) and honesty (for message sources). I also propose a numerical procedure to evaluate these messages based on the evaluative dimensions of credibility (for truth) and reliability (for honesty). Quantitative plausibility models are used to capture degrees of prior credibility of messages, and dynamic rules are defined to update these degrees depending on the reliability of the source
40
Zhao, Weisheng. "Conception, evaluation and development of the non-volatile programmable logic circuits using the Magnetic Tunnel Junction (MTJ)." Paris 11, 2008. http://www.theses.fr/2008PA112051.
Full textAbstract:
Ces 20 dernières années, les circuits logiques programmables se sont développés rapidement, notamment grâce à l’avantage présenté par leur reconfigurabilité, leur facilité d’utilisation et le prix réduit de leur procédé de développement. Cependant, la volatilité intrinsèque de leur technologie de réalisation (CMOS) est à l’origine des inconvénients pour ces circuits, tels que : la perte de données en cas de pannes d’alimentation, la latence longue pour initialiser le système à chaque démarrage et la consommation d’énergie en état veille à cause des courants de fuite. Ce dernier point est devenu un défi majeur avec la minimisation des transistors sous 90nm. Ces dernières années, de nombreuses technologies émergentes ont été proposées et explorées pour résoudre ces inconvénients. Parmi celles-ci, les technologies magnétiques, basées sur la spintronique, sont parmi les plus performantes et pratiquement réalisables. Ce travail de thèse porte sur l’étude, la conception, la simulation et la réalisation des circuits reconfigurables combinant une technologie CMOS avancée et les technologies non-volatiles émergentes basées sur la nano-spintronique. Les Jonctions Tunnel Magnétiques (JTM) ont été plus particulièrement étudiées selon plusieurs modes d’écriture (écriture par champ et par transfert de spin). Des circuits hybrides ont été tout d’abord conçus et simulés électriquement. Ils montrent de grands potentiels en terme de vitesse, de non-volatilité et de consommation par rapport aux circuits classiques. Ils permettraient également des nouvelles architectures de calcul et des modes de reconfigurations avancés. Enfin, un prototype a été développé pour démontrer les comportements et performances de ces circuits de la manière physiqueOver the past 20 years, programmable logic circuits have grown rapidly, particularly through the advantages presented by their reconfigurability, ease of use and low cost of their development process. However, the inherent volatility of CMOS technology based on charge storage is the source of inconvenient for these circuits, such as: data loss in case of power failure, the long latency to initialize the system at each (re) start-up and increasing high standby power due to the leakage currents. This last point has become a major challenge as the shrinking of transistors down to 90nm or below. In recent years, numerous emerging technologies have been proposed and explored to overcome these problems. Among them, Spintronics technology, is among the most efficient and practical solutions. This thesis focuses on the study, design, simulation and implementation of reconfigurable circuits combining CMOS technology and advanced non-volatile emerging technologies based on Nano Spintronics. The Magnetic Tunnel Junction (MTJ) was particularly studied based on three modes of writing such as Spin Transfer Torque (STT). The hybrid circuits were first designed and simulated electrically. They show great potential in terms of speed, non-volatility and power compared to conventional circuits. They would promise also new computing architectures and some advanced reconfiguration methods. Finally, a prototype was developed to demonstrate the behaviour and performance of these circuits
41
Yang, Fei. "Visualization of Construction Sequence and Fuzzy Logic Evaluation of The Giant Wild Goose Pagoda (Dayanta) in China." The Ohio State University, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=osu1480679323205089.
Full text
42
Sequeira, Movin. "Developing decision-support tools for evaluation of manufacturing reshoring decisions." Licentiate thesis, Tekniska Högskolan, Jönköping University, JTH, Industriell produktutveckling, produktion och design, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-48263.
Full textAbstract:
During last three decades, companies have offshored their manufacturing activities across international borders in order to pursue lower manufacturing costs. Despite having accomplished their purpose, companies have also suffered from issues, especially poor quality of products and a poor response to customer demand. Therefore, companies consider relocating some of the manufacturing activities back to the home country, a process that is known as manufacturing reshoring. There is paucity of scholarly attention on how manufacturing reshoring decisions are evaluated and supported. Therefore, the purpose of this thesis is to develop decision-support tools to evaluate manufacturing reshoring decisions. In order to fulfil this, it is important to know how industry experts reason while making manufacturing reshoring decisions (RQ1), and how their reasoning can be modeled into decision-support tools (RQ2). Therefore, three studies were conducted including a multiple case study and two modeling studies. The multiple case study addressed the criteria that are considered by the industry experts in these decisions, while the two modeling studies, based on fuzzy logic and analytical hierarchy process (AHP), used a part of these criteria to develop decision-support tools. The findings indicate that a holistic set of criteria were considered by industry experts in arriving at a manufacturing reshoring decision. A large portion of these criteria occur within competitive priority category and among them, high importance is given to quality, while low importance to sustainability. Fuzzy logic modeling was used to model the criteria from the perspective of competitive priority at an overall level. Three fuzzy logic concepts were developed to capture industry experts’ reasoning and facilitate modeling of manufacturing reshoring decisions. Furthermore, two configurations and sixteen settings were developed, of which, the best ones were identified. AHP-based tools were used to capture experts’ reasoning of the competitive priority criteria by comparing the criteria. It was observed that fuzzy logic-based tools are able to better emulate industry experts’ reasoning of manufacturing reshoring. This research contributes to theory with a holistic framework of reshoring decision criteria, and to practice with decision-support tools for evaluation of manufacturing reshoring decisions.Under de tre senaste decennierna har många företag flyttat sin produktion till lågkostnadsländer för att kunna utnyttja lägre lönekostnader. Många gånger har företagen genom denna åtgärd lyckats sänka sin tillverkningskostnad men samtidigt drabbats av oförutsedda problem kopplat till exempelvis produkt-kvalitet och möjligheten att kundanpassa produkter. Hanteringen av problemen har lett till ytterligare kostnader som många gånger överstigit besparingen i tillverkningskostnad. Detta har lett till att allt fler företag börjat flytta tillbaka sin produktion till hemlandet, så kallad reshoring. Reshoring är ett ungt område där det saknas forskning gällande bland annat hur den här typen av beslut på bästa sätt kan utvärderas och vilken typ av beslutstöd som kan underlätta den här typen av beslut. Därför är syftet med den här avhandlingen är att utveckla beslutsstödverktyg för utvärdering av reshoring beslut. För att uppfylla syftet har två forskningsfrågor formulerats. Den första frågan handlar om hur industriexperter resonerar kring reshoring beslut (RQ1) medan den andra frågan handlar om hur deras resonemang kan modelleras i beslutsstödverktyg (RQ2). Tre studier har genomförts för att besvara forskningsfrågorna, en fallstudie och två modelleringsstudier. Fallstudien fokuserar på att identifiera vilka kriterier som industriexperter beaktar medan modelleringsstudierna fokuserar på att utveckla beslutstödsverktyg där en del av dessa kriterier beaktas, med hjälp av fuzzy logic och analytical hierarchy process (AHP). Resultaten från forskningen visar att industriexperter bedömer reshoring beslut utifrån ett holistiskt perspektiv. En stor del av dessa beslutskriterier finns inom konkurrenskraft kategorin och inom dessa, har industriexperterna lagt högst vikt på kvalitet och lägst vikt på hållbarhet. Genom fuzzy logic modellering modellerades kriterierna på en övergripande nivå. Tre nya fuzzy logic koncept utvecklades för att fånga experternas resonemang. Dessutom utvecklades två konfigurationer med sexton olika inställningar, och de bästa identifierades. AHP-baserade verktyg utvecklades för att fånga experternas resonemang om kriterierna för konkurrenskraft prioriteringar. Fuzzy logic-baserade verktyg kan bättre fånga experternas resonemang kring reshoring beslut. Denna forskning bidrar till teori med en holistisk lista över beslutskriterier för reshoring beslut, och till praktik med beslutsstöd verktyg för utvärdering av reshoring beslut.
43
Melville, Ruth. "The logic of evaluation in the arts : exploring artists' responses to measurement within a publicly funded arts organisation." Thesis, University of Essex, 2017. http://repository.essex.ac.uk/22408/.
Full textAbstract:
Measurement and evaluation in the publicly funded arts sector is a contested area. On the one hand measurement is constantly demanded by funders to justify the value of art projects, on the other hand, there is a lack of consensus on how it should be done and whether effective evaluation is even possible in the arts. In this context, there is widespread resistance to practices of evaluation within the sector. Previous Cultural Policy research has focussed on what cultural value is, and whether it is desirable, or even possible, to measure value at all in the arts. In contrast, there is relatively little research into the experience of those at the heart of the measurement: the arts practitioners working in settings where evaluation is required and how evaluation regimes affect their practices. There is a similar lack of research into the role of the organisation as an intermediary within the interpretation of value and measurement. Using a longitudinal, ethnographic case study research, the thesis examines how artists and other workers in a cultural organization, respond to expectations of evaluation and shape their practices as a result of those expectations. The thesis adapts the institutional logics perspective frame, creating a sector specific frame to explore how logics of the family, state, corporation, community, religion, profession and market all operate within evaluation. Seen through this lens, the artists’ responses to evaluation are shown to be a response to intersecting and clashing logics. This approach gives a richer understanding of artists’ responses, and also offers a new frame for considering other challenges within the sector. Using this understanding, I develop an alternative approach to arts evaluation, based on evaluation as a practice, not an output, and taking into account the multiple logics in action and arising from artists’ own valuation practices.
44
Rahman, Kamela Choudhury. "Complete Design Methodology of a Massively Parallel and Pipelined Memristive Stateful IMPLY Logic Based Reconfigurable Architecture." PDXScholar, 2016. http://pdxscholar.library.pdx.edu/open_access_etds/2956.
Full textAbstract:
Continued dimensional scaling of CMOS processes is approaching fundamental limits and therefore, alternate new devices and microarchitectures are explored to address the growing need of area scaling and performance gain. New nanotechnologies, such as memristors, emerge. Memristors can be used to perform stateful logic with nanowire crossbars, which allows for implementation of very large binary networks that can be easily reconfigured. This research involves the design of a memristor-based massively parallel datapath for various applications, specifically SIMD (Single Instruction Multiple Data) like architecture, and parallel pipelines. The dissertation develops a new model of massively parallel memristor-CMOS hybrid datapath architectures at a systems level, as well as a complete methodology to design them. One innovation of the proposed approach is that the datapath design is based on space-time diagrams that use stateful IMPLY gates built from binary memristors. This notation aids in the circuit minimization in logic design, calculations of delay and memristor costs, and sneak-path avoidance. Another innovation of the proposed methodology is a general, new, architecture model, MsFSMD (Memristive stateful Finite State Machine with Datapath) that has two interacting sub-systems: 1) a controller composed of a memristive RAM, MsRAM, to act as a pulse generator, along with a finite state machine realized in CMOS, a CMOS counter, CMOS multiplexers and CMOS decoders, 2) massively parallel, pipelined, datapath realized with a new variant of a CMOL-like nanowire crossbar array, MsCMOL (Memristive stateful CMOL), with binary stateful memristor-based IMPLY gates. Next contribution of the dissertation is the new type of FPGA. In contrast to the previous memristor-based FPGA (mrFPGA), the proposed MsFPGA (Memristive stateful logic Field Programmable Gate Array) uses memristors for memory, connections programming, and combinational logic implementation. With a regular structure of square abutting blocks of memristive nanowire crossbars and their short connections, proposed architecture is highly reconfigurable. As an example of using the proposed new FPGA to realize biologically inspired systems, the detailed design of a pipelined Euclidean Distance processor was presented and its various applications are mentioned. Euclidean Distance calculation is widely used by many neural network and associative memory based algorithms.
45
Hamam, Abdelwahab. "Quality of Experience Evaluation for Haptic Multimedia Applications." Thèse, Université d'Ottawa / University of Ottawa, 2013. http://hdl.handle.net/10393/25490.
Full textAbstract:
Haptic-based Virtual Reality (VR) applications have many merits. What is still obscure, from the designer’s perspective of these applications, is the experience the users will undergo when they use the VR system. Quality of Experience (QoE) is an evaluation metric from the user’s perspective that unfortunately has received limited attention from the research community. Assessing the QoE of VR applications reflects the amount of overall satisfaction and benefits gained from the application in addition to laying the foundation for ideal user-centric design in the future. In this thesis, we address certain issues and concerns regarding QoE of virtual environments.
In essence, we propose a taxonomy for the evaluation of the QoE for multimedia applications and in particular VR applications. The taxonomy classifies QoE related parameters into groups. The groups’ organization is generated from the definition we have adopted for the QoE which is the Quality of Service (QoS) plus the user experience (UX). We model this taxonomy using first mathematical modeling based on weighted averages and then a Fuzzy logic Inference System (FIS) to quantitatively measure the QoE of haptic virtual environments. We test both models conducting user study analysis to evaluate the QoE of a VR application. These models serve as engines that facilitate the calculation of QoE with minimal amount of users.
We specifically attend to the issue of the new media, haptics, within the context of increasing the QoE of virtual environments (VE). This special attention is important for comparing the effect of tactile and kinesthetic feedback on the QoE. In accordance, we investigate a particular topic that seems to have a colossal effect on QoE throughout our analysis, which is fatigue.
Our analysis involved users' studies since the main focus is on the user. The QoE for virtual environments is in its primary stages. This thesis tackles issues that are vital in dealing with and understanding the importance of QoE. The various results suggest a positive user's disposition toward haptics and virtual environments, yet there will always be obstacles and challenges such as fatigue that if minimized will enhance the QoE of haptic-based applications.
46
Gursel, Guney. "Expectation Based Evaluation Framework For Hostpital Information Systems." Phd thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12614151/index.pdf.
Full textAbstract:
Evaluation is essential for Medical Informatics as well as many other disciplines. There is a growing interest and investment for evaluation researches and self evaluation works. Hospital Information System (HIS) evaluation frameworks have largely been discussed in the literature. However, existing frameworks lack one important aspect, to what extent user expectations from HIS are met.
To complement this deficiency we designed an evaluation farmework for evaluating the user expectation in HIS. User expectation data are collected by means of &ldquoExpectation Questionnaire&rdquo
. Fuzzy logic methodologies are used to evaluate the expectation meeting in the proposed evaluation framework. The evaluation variables are not represented in the result equally
they are reflected by the weights assigned by the users. Our proposed framework provides the overall degree to what extent user expectations are met. It also gives the opportunity to analyze to what extent each expectation is met and degree to what extent different user groups&rsquo
expectations are met. Education, sex and business title is determinants of general expectations about HIS. IS experience is not a determinant of medical users&rsquo
expectations in any expectations. The proposed framework is not a rival but an alternative or complementary to the existing frameworks. It is a different approach and has different computation methodology supported by fuzzy logic. The framework can give detail to the each variable level. These results are just a photo of the current situation
a deeper analysis of these findings must be done for further information about the causes of these results.
47
Schindler, Eduardo. "A avaliação de políticas públicas como processo de aprendizagem." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2013. http://hdl.handle.net/10183/114437.
Full textAbstract:
O presente trabalho objetiva contribuir com a ligação entre teoria e prática da avaliação de políticas públicas. Para tanto, busca descrever um mecanismo de avaliação que constitua a base de um processo de aprendizagem em um sistema de políticas públicas. Entende-se por aprendizagem o fenômeno de aproveitamento das informações geradas pelos processos avaliativos de modo a responder às demandas e suportes no sentido de se reorganizar em busca dos objetivos da política pública. A descrição do mecanismo é feita a partir de uma revisão teórica sobre a modelagem de sistemas, o Modelo Lógico, a pesquisa avaliativa e a avaliação de quarta geração. Considera-se que a combinação dessas técnicas torna mais provável o aproveitamento das informações da avaliação, constituindo, desta forma, um mecanismo de aprendizagem.This paper intends to contribute with the connection between theory and practice on public policy evaluation. Thereby, it seeks to describe an evaluation procedure that meets the requirements of a learning process in a public policy system. It defines learning process as the phenomenon of application of information generated by the evaluative process in order to meet the demands and supports towards a self rearrangement in pursuit of public police stated goals. The mechanism description is made after a theoretical revision on modeling, on Logic Model, on evaluative research and fourth generation evaluation. It also considers that the combination of these techniques’ improves the use of evaluative information, constituting, thus, a learning mechanism.
Este trabajo tiene como objetivo contribuir con la conexión entre teoría y práctica en la evaluación de políticas públicas. Para tanto, busca describir un mecanismo de evaluación que forma la base de un proceso de aprendizaje en un sistema de políticas públicas. Se entiende por aprendizaje el fenómeno de aprovechamiento de las informaciones generadas por los procesos evaluativos de modo a responder a las demandas e suportes en sentido de cambiarse en busca de los objetivos de la política pública. La descripción del mecanismo es hecha a partir de una revisión teórica sobre modelaje de sistemas, Modelo Lógico, pesquisa evaluativa y evaluación de cuarta generación. Se considera que la combinación de estas técnicas favorece el aprovechamiento de las informaciones de la evaluación, constituyendo, de esta forma, un mecanismo de aprendizaje.
48
Mbombo, Kekeletso Prudence. "Railway safety awareness campaigns as an educative process." Diss., University of Pretoria, 2019. http://hdl.handle.net/2263/76712.
Full textAbstract:
In the railway industry (like other industries), safety awareness campaigns are conducted as intervention programmes for providing educational programmes to change the attitudes and behaviours of the general public that interact with the railway environment. Such educational intervention programmes are ideally achieved by following pedagogical principles that ensure programme quality. However, it seems that even with the use of safety awareness campaigns, the desired safety behaviour among the general public in the railway environment is not yet established. The purpose of this research study was to understand how the Railway Safety Regulator (RSR) – as the custodian of railway safety in South Africa – plans, designs and implements its safety awareness campaigns as an educative process to combat railway-related occurrences involving the general public. As an exploratory study, the researcher applied the industry standard logic model framework (LMF) to guide the process of the investigation and utilised an interpretivist lens to understand the context of the phenomenon investigated. Following a qualitative programme evaluation research approach, a safety awareness campaign was studied as a single case study to understand how the RSR plans and develops their safety awareness campaigns. Six purposively selected RSR employees participated in the study, providing qualitative data through semi-structured interviews and document analysis. The findings of the study conclude that the Regulator’s current practice of conducting awareness campaigns does not reflect an educative process, hence helping to explain why the envisaged change in public behaviour is not attained.Dissertation (MEd)--University of Pretoria, 2019.
Humanities Education
MEd
Unrestricted
49
Mourselas, Nikos. "Design, implementation and evaluation of a fuzzy-logic controlled miniature stimulator for the correction of the drop-foot condition." Thesis, University of Strathclyde, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.367018.
Full text
50
Smith, Darrell Jon. "A values-based wood-fuel landscape evaluation : building a fuzzy logic framework to integrate socio-cultural, ecological, and economic value." Thesis, University of Cumbria, 2014. http://insight.cumbria.ac.uk/id/eprint/3191/.
Full textAbstract:
In meeting the UK Government's national and international renewable energies commitments and their role in UK energy security, decarbonisation of energy use, carbon sequestration and climate change mitigation, the recognition of a potential for considerable scaling up of UK woodland coverage is emphasised. Also, UK forestry has increasingly become realigned with the global sustainability agenda encompassing issues such as native woodlands, the decline of woodland biodiversity, the Government’s quality of life indicators, and ideas of socio-cultural, ecological and economic landscape scale values. Accordingly, socio-cultural interaction with the natural world places structure and components into the landscape, the subsequent combinations of which are characterised by consequent ecological and economic conditions. As a consequence compositional, structural, spatial and temporal differences produce different value outcomes. This thesis explores these value outcomes illustrating the multi-dimensional nature of the relationships that society experience with their surrounding landscape, across a range of case study wood-fuel producing landscapes. The case study landscapes describe traditional silvo-pastoral management, Natura 2000 forest, primarily managed around ideas of ecosystem goods and services, co-operatively and commercially owned sustainable forestry. Differences in value are observed between and within landscapes, value domains and value components. These differences reflect tensions that exist between sustainability and society’s continued use of natural resources. Consequently value articulates the nature of relationships between and within multiple value components, characterised by competing socio-cultural, ecological, economic interests. Thus value, as a concept, is built through an understanding of the connected, embedded nature of society’s relationship with the natural world. Using a novel fuzzy logic modelling based approach to valuation, the consequences of land-use choices and the associated changes across socio-cultural, ecological and economic value domains are made visible. Understanding the complex nature of these interrelated and interdependent relationships can inform the political and institutional decision making and policy setting process. In this manner knowledge of interaction, interdependence and the reality of trade-offs, consistent with systems describe by finitude, can support and facilitate deliberative discourse. Where the true nature of value is considered an emergent property expressed through an appreciation of the value components and the outcomes of their relationships. Thus value is fundamentally a comparative property and not the outcome of an accumulative argument.