Relevant bibliographies by topics / Logics of design

Academic literature on the topic 'Logics of design'

Author: Grafiati
Published: 10 December 2022
Last updated: 29 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logics of design.'

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.

Journal articles on the topic "Logics of design"

1

Annala, Linda, Pia Eva Polsa, and Gyöngyi Kovács. "Changing institutional logics and implications for supply chains: Ethiopian rural water supply." Supply Chain Management: An International Journal 24, no. 3 (May 7, 2019): 355–76. http://dx.doi.org/10.1108/scm-02-2018-0049.

Full text
Abstract:
Purpose The institutional logic in developing countries is changing from aid toward trade, having implications for institutionally embedded supply chains (SCs) and their members. The purpose of this study is to investigate the transition from aid toward trade through a theoretical lens of institutional logics and the implications of changing logics for SC members and designs. Design/methodology/approach This is a large-scale qualitative study of the SCs of maintenance and repair operations (MRO) of water points. Empirical data were collected via 53 semi-structured interviews, observations, including photographs, and field notes from several echelons of MRO SCs in ten different Ethiopian districts. Findings In spite of the same underlying tenet of a unidirectional trajectory toward a business logic, the study shows that the co-existence or constellation of different institutional logics resulted in diverse practices that impacted SC design. Research limitations/implications The research was carried out in the MRO SC at a time of changing institutional logics, thereby being able to study their transition or constellation of logics. Practical implications The research has implications for policymakers and development practitioners: when designing and implementing rural water supply programs, the presence of co-existing logics and the lack of uniform SC designs should not be viewed as a hindrance. In fact, the study showed how constellations of logics can provide ways through which water points continue functioning and providing clean drinking water to the communities. Originality/value Few studies so far have focused on institutional logics and their implications for SC design.
APA, Harvard, Vancouver, ISO, and other styles
2

Hu, Zhi Ming, Zhong Qi Wang, Ning Li, and Hui Ping Wang. "Description Logics in Information Semantic Integration for Product Design and Manufacturing." Advanced Materials Research 542-543 (June 2012): 251–54. http://dx.doi.org/10.4028/www.scientific.net/amr.542-543.251.

Full text
Abstract:
In the process of information semantic integration for product design and manufacturing, it is very important to express the product information semantic. Description logics (DLs) are a family of state-of-the-art knowledge representation languages, and a decidable subset of first-order logic. Firstly, by analyzing the characteristics of product information, proposed a semantic information description framework based on description logics for product information integration, which is divided into three levels: basic description logic, classic extended logic and unusual extended logic. Then, in the framework, reducer was taken for example to illustrate the application of their description logic in product design and manufacturing formal semantic information. Finally, based on description logic, discussed reasoning problems of product design and manufacturing information.
APA, Harvard, Vancouver, ISO, and other styles
3

Du, Ting. "Research on the Integral Practical and Aesthetic Design Teaching of Architecture and Site Environment —Taking Kindergarten Architecture and Site Logic Model Teaching Approach as an Example." Frontiers Research of Architecture and Engineering 1, no. 2 (April 28, 2018): 50. http://dx.doi.org/10.30564/frae.v1i2.47.

Full text
Abstract:
The integral practical and aesthetic design teaching of architecture and site environment is expected to deal with the junior-grade design teaching in architecture major with a current situation that the insuffcient consideration of the site environment and the chaotic city image, which caused by long-term emphasis on single function and personality performance of architecture. The key to the integral practicability and aesthetics is the emphasis on the integrality of spatial logical order of those two factors, which contains the integral harmony of function attributes, scale, logics, and modal relationships and so on. Combine with the teaching of kindergarten architecture design, using architecture and site logic model teaching methodology, through the extraction cognitive teaching approach of the site environment order logics, the cognitive teaching approach of kindergarten architecture spatial logics, the strategic teaching approach of the congruent design of the integral order of architecture and site environment logics, module and model congruent counterpoint design teaching approach of architecture and large site environment order logics, organization and construction integrated design teaching approach of architecture and small site environment spatial logics, and result design teaching approach of architectures integrated into the landscape of large site environment and their surrounding small site environment and other teaching procedures to complete the teaching tasks of the integral practical and aesthetic design of kindergarten architecture and site environment.
APA, Harvard, Vancouver, ISO, and other styles
4

WOO-HYUN PAIK HOON-JAE KI SOO-WON K. "Low power logic design using push-pull pass-transistor logics." International Journal of Electronics 84, no. 5 (May 1998): 467–78. http://dx.doi.org/10.1080/002072198134571.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Woodside, Sarah J. "Dominant logics." Social Enterprise Journal 14, no. 1 (February 5, 2018): 39–59. http://dx.doi.org/10.1108/sej-01-2016-0001.

Full text
Abstract:
Purpose Work integration social enterprises (WISEs) address the chronic unemployment of disadvantaged populations. However, WISEs face challenges, in part, because they embody both social mission and market logics which potentially contradict one another. The purpose of this paper is to investigate how the founders of WISEs perceive the relationship between logics and how they manage any resulting tensions, to help determine if they are effective vehicles for alleviating unemployment. Design/methodology/approach This study used in-depth interviews with social entrepreneurs in nationally recognized WISEs to assess how they perceived and managed logic tensions. Findings A total of eight out of the ten WISEs emphasized one dominant logic and did not perceive significant internal conflict. Only two cases experienced prolonged and ultimately irreconcilable tensions between their social mission and market goals, when social entrepreneurs were guided by the blended logics of providing training and services to disadvantaged populations within a for-profit legal form. Research limitations/implications Future research is required to determine the generalizability of these findings due to small sample size, an exclusive focus on the founder’s perspective and an exclusive focus on WISEs. Practical implications Findings contribute to greater understanding of logic tensions in WISEs and the opportunities and limitations that result from aligning dominant logic(s) and organizational form. Originality/value This research suggests that the founders of WISEs perceive market and social mission logics as options to be selected, and that WISEs struggle to succeed as organizations with two dominant logics. The market appears as yet unprepared to support singlehandedly organizations with a social mission of work integration.
APA, Harvard, Vancouver, ISO, and other styles
6

Wixom, Jacob Hartt, Eric Dahlin, Curtis Child, and Christopher A. Mattson. "Logics of Collaboration." International Journal for Service Learning in Engineering, Humanitarian Engineering and Social Entrepreneurship 17, no. 2 (November 22, 2022): 1–13. http://dx.doi.org/10.24908/ijsle.v17i2.15709.

Full text
Abstract:
Participatory design approaches such as co-design are promoted as ways to increase the likelihood that engineered products are economically, environmentally, and socially sustainable by incorporating stakeholders into decision-making processes. However, executing collaborative design practices that incorporate the variety of stakeholders represents an enormous challenge. In this paper we examine these realities as experienced by a co-design team comprised of design engineers from a foreign country who are engaged with local stakeholders to develop a product for a community in the Brazilian Amazon. Based on more than a year of ethnographic research, we identify three types of perspectives or institutional logics operating in this setting—engineering, modernization, and traditional—which interact to constrain and enable the co-design process. We find that these logics can undermine co-design because the design team is better equipped to respond to stakeholders who express modernization logics rather than traditional ones. We conclude that while co-design can be truly collaborative in development projects, other times it may lead to the appearance that the design process is collaborative when it may in fact mask the marginalization of certain stakeholder voices.
APA, Harvard, Vancouver, ISO, and other styles
7

Schäffer, Utz, Erik Strauss, and Christina Zecher. "The role of management control systems in situations of institutional complexity." Qualitative Research in Accounting & Management 12, no. 4 (October 12, 2015): 395–424. http://dx.doi.org/10.1108/qram-01-2015-0010.

Full text
Abstract:
Purpose – This study investigates in depth how decision-making of different organisational members is shaped by various management control systems (MCSs) that reflect different institutional logics, how the entire organisation deals with the arising institutional complexity and which role different management controls as a system play in such situations. Design/methodology/approach – A case study was conducted on a German Mittelstand firm whose MCSs were shaped by three different logics over time: a family logic, a stakeholder logic and a shareholder logic. Findings – This paper shows how different actors of an organisation confronted with institutional complexity used selective coupling of different MCS components and compartmentalizing MCS components to deal with clashing institutional logics. Thereby, it was possible for the actors to balance different sub-communities within the firm that were shaped by conflicting but yet complementary logics that were required for organisational survival. Research limitations/implications – This study contributes to the understanding of how an MCS can be exploited for organisational structural responses to multiple logics. Due to this research design, the present study deals with challenges of ex post rationalization. Practical implications – The results show options for organisational leaders to deal with different kind of worldviews (i.e. logics) that shape employees’ behaviour. Particularly, this paper explains how leaders can restructure their MCSs to influence human behaviour in times of radical change. Originality/value – This paper contributes to the literature on MCSs by showing what role MCSs play in structural responses to institutional complexity.
APA, Harvard, Vancouver, ISO, and other styles
8

Della Giustina, Davide, Amelia Alvarez de Sotomayor, Alessio Dedè, and Francisco Ramos. "A Model-Based Design of Distributed Automation Systems for the Smart Grid: Implementation and Validation." Energies 13, no. 14 (July 10, 2020): 3560. http://dx.doi.org/10.3390/en13143560.

Full text
Abstract:
The paper aims at describing a model-based approach to design automation logics for fault location and supply restoration in medium voltage distribution networks. The application of automation functions along medium voltage feeders and, in particular, the installation of protection devices in secondary substations mandates the design and the implementation of complex logics to coordinate the operations of this hardware in case of fault occurrences. This synchronization is realized with the exchange of IEC 61850 GOOSE messages, but the correct usage of this information must be implemented in each protection device through dedicated logics, which are not in the common out-of-the-box system configurations. To support the introduction and the design of these logics, an automata-based approach has been proposed and successfully demonstrated in a real environment in the European research project IDE4L. This formal methodology has been introduced to simplify the design phase and to standardize the logics implemented in the protection prototypes realized in the project. The same models have also been used in the implementation phase with a semi-automatic code generation procedure, considering as a target system the software programmable logic controllers (soft-PLCs), available on the protection devices. Based on the test results and the short time to set up the test bench, this approach proved to be a reliable and effective way to implement complex medium voltage (MV) automation logics such those needed in modern smart grids.
APA, Harvard, Vancouver, ISO, and other styles
9

Yao, Lian, Peng Liu, Jigang Wu, Yinhe Han, Yuehang Zhong, and Zhiqiang You. "Integrating Two Logics Into One Crossbar Array for Logic Gate Design." IEEE Transactions on Circuits and Systems II: Express Briefs 68, no. 8 (August 2021): 2987–91. http://dx.doi.org/10.1109/tcsii.2021.3071386.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Wilkie, Alex. "Regimes of Design, Logics of Users." Athenea Digital. Revista de pensamiento e investigación social 11, no. 1 (March 8, 2011): 317. http://dx.doi.org/10.5565/rev/athenea.842.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Logics of design"

1

Yim, Sungshik. "A Retrieval Method (DFM Framework) for Automated Retrieval of Design for Additive Manufacturing Problems." Diss., Georgia Institute of Technology, 2007. http://hdl.handle.net/1853/14553.

Full text
Abstract:
Problem: The process planning task for a given design problem in additive manufacturing can be greatly enhanced by referencing previously developed process plans. However, identifying appropriate process plans for the given design problem requires appropriate mapping between the design domain and the process planning domain. Hence, the objective of this research is to establish mathematical mapping between the design domain and the process planning domain such that the previously developed appropriate process plans can be identified for the given design task. Further more, identification of an appropriate mathematical theory that enables computational mapping between the two domains is of interest. Through such computational mapping, previously developed process plans are expected to be shared in a distributed environment using an open repository. Approach: The design requirements and process plans are discretized using empirical models that compute exact values of process variables for the given design requirements. Through this discretization, subsumption relations among the discretized design requirements and process plans are identified. Appropriate process plans for a given design requirement are identified by subsumption relations in the design requirements. Also, the design requirements that can be satisfied by the given process plans are identified by subsumption relations among the process plans. To computationally realize such mapping, a description logic (ALE) is identified and justified to represent and compute subsumption relation. Based on this investigation, a retrieval method (DFM framework) is realized that enables storage and retrieval of process plans. Validation: Theoretical and empirical validations are performed using the validation square method. For the theoretical validation, an appropriate description logic (ALE) is identified and justified. Also, subsumption utilization in mapping two domains and realizing the DFM framework is justified. For the empirical validation, the storing and retrieval performance of the DFM framework is tested to demonstrate its theoretical validity. Contribution: In this research, two areas of contributions are identified: DFM and engineering information management. In DFM, the retrieval method that relates the design problem to appropriate process plans through mathematical mapping between design and process planning domain is the major contribution. In engineering information management, the major contributions are the development of information models and the identification of their characteristics. Based on this investigation, an appropriate description logic (ALE) is selected and justified. Also, corresponding computational feasibility (non deterministic polynomial time) of subsumption is identified.
APA, Harvard, Vancouver, ISO, and other styles
2

Yim, Sungshik. "A retrieval method (DF FRAMEWORK) for automated retrieval of design for additive manufacturing problems." Available online, Georgia Institute of Technology, 2007, 2007. http://etd.gatech.edu/theses/available/etd-03012007-113030/.

Full text
Abstract:
Thesis (Ph. D.)--Mechanical Engineering, Georgia Institute of Technology, 2007.
Nelson Baker, Committee Member ; Charles Eastman, Committee Member ; Christiaan Paredis, Committee Member ; Janet Allen, Committee Member ; David Rosen, Committee Chair.
APA, Harvard, Vancouver, ISO, and other styles
3

Romero, Moral Óscar. "Automating the multidimensional design of data warehouses." Doctoral thesis, Universitat Politècnica de Catalunya, 2010. http://hdl.handle.net/10803/6670.

Full text
Abstract:
Les experiències prèvies en l'àmbit dels magatzems de dades (o data warehouse), mostren que l'esquema multidimensional del data warehouse ha de ser fruit d'un enfocament híbrid; això és, una proposta que consideri tant els requeriments d'usuari com les fonts de dades durant el procés de disseny.
Com a qualsevol altre sistema, els requeriments són necessaris per garantir que el sistema desenvolupat satisfà les necessitats de l'usuari. A més, essent aquest un procés de reenginyeria, les fonts de dades s'han de tenir en compte per: (i) garantir que el magatzem de dades resultant pot ésser poblat amb dades de l'organització, i, a més, (ii) descobrir capacitats d'anàlisis no evidents o no conegudes per l'usuari.

Actualment, a la literatura s'han presentat diversos mètodes per donar suport al procés de modelatge del magatzem de dades. No obstant això, les propostes basades en un anàlisi dels requeriments assumeixen que aquestos són exhaustius, i no consideren que pot haver-hi informació rellevant amagada a les fonts de dades. Contràriament, les propostes basades en un anàlisi exhaustiu de les fonts de dades maximitzen aquest enfocament, i proposen tot el coneixement multidimensional que es pot derivar des de les fonts de dades i, conseqüentment, generen massa resultats. En aquest escenari, l'automatització del disseny del magatzem de dades és essencial per evitar que tot el pes de la tasca recaigui en el dissenyador (d'aquesta forma, no hem de confiar únicament en la seva habilitat i coneixement per aplicar el mètode de disseny elegit). A més, l'automatització de la tasca allibera al dissenyador del sempre complex i costós anàlisi de les fonts de dades (que pot arribar a ser inviable per grans fonts de dades).
Avui dia, els mètodes automatitzables analitzen en detall les fonts de dades i passen per alt els requeriments. En canvi, els mètodes basats en l'anàlisi dels requeriments no consideren l'automatització del procés, ja que treballen amb requeriments expressats en llenguatges d'alt nivell que un ordenador no pot manegar. Aquesta mateixa situació es dona en els mètodes híbrids actual, que proposen un enfocament seqüencial, on l'anàlisi de les dades es complementa amb l'anàlisi dels requeriments, ja que totes dues tasques pateixen els mateixos problemes que els enfocament purs.

En aquesta tesi proposem dos mètodes per donar suport a la tasca de modelatge del magatzem de dades: MDBE (Multidimensional Design Based on Examples) and AMDO (Automating the Multidimensional Design from Ontologies). Totes dues consideren els requeriments i les fonts de dades per portar a terme la tasca de modelatge i a més, van ser pensades per superar les limitacions dels enfocaments actuals.

1. MDBE segueix un enfocament clàssic, en el que els requeriments d'usuari són coneguts d'avantmà. Aquest mètode es beneficia del coneixement capturat a les fonts de dades, però guia el procés des dels requeriments i, conseqüentment, és capaç de treballar sobre fonts de dades semànticament pobres. És a dir, explotant el fet que amb uns requeriments de qualitat, podem superar els inconvenients de disposar de fonts de dades que no capturen apropiadament el nostre domini de treball.
2. A diferència d'MDBE, AMDO assumeix un escenari on es disposa de fonts de dades semànticament riques. Per aquest motiu, dirigeix el procés de modelatge des de les fonts de dades, i empra els requeriments per donar forma i adaptar els resultats generats a les necessitats de l'usuari. En aquest context, a diferència de l'anterior, unes fonts de dades semànticament riques esmorteeixen el fet de no tenir clars els requeriments d'usuari d'avantmà.

Cal notar que els nostres mètodes estableixen un marc de treball combinat que es pot emprar per decidir, donat un escenari concret, quin enfocament és més adient. Per exemple, no es pot seguir el mateix enfocament en un escenari on els requeriments són ben coneguts d'avantmà i en un escenari on aquestos encara no estan clars (un cas recorrent d'aquesta situació és quan l'usuari no té clares les capacitats d'anàlisi del seu propi sistema). De fet, disposar d'uns bons requeriments d'avantmà esmorteeix la necessitat de disposar de fonts de dades semànticament riques, mentre que a l'inversa, si disposem de fonts de dades que capturen adequadament el nostre domini de treball, els requeriments no són necessaris d'avantmà. Per aquests motius, en aquesta tesi aportem un marc de treball combinat que cobreix tots els possibles escenaris que podem trobar durant la tasca de modelatge del magatzem de dades.
Previous experiences in the data warehouse field have shown that the data warehouse multidimensional conceptual schema must be derived from a hybrid approach: i.e., by considering both the end-user requirements and the data sources, as first-class citizens. Like in any other system, requirements guarantee that the system devised meets the end-user necessities. In addition, since the data warehouse design task is a reengineering process, it must consider the underlying data sources of the organization: (i) to guarantee that the data warehouse must be populated from data available within the organization, and (ii) to allow the end-user discover unknown additional analysis capabilities.

Currently, several methods for supporting the data warehouse modeling task have been provided. However, they suffer from some significant drawbacks. In short, requirement-driven approaches assume that requirements are exhaustive (and therefore, do not consider the data sources to contain alternative interesting evidences of analysis), whereas data-driven approaches (i.e., those leading the design task from a thorough analysis of the data sources) rely on discovering as much multidimensional knowledge as possible from the data sources. As a consequence, data-driven approaches generate too many results, which mislead the user. Furthermore, the design task automation is essential in this scenario, as it removes the dependency on an expert's ability to properly apply the method chosen, and the need to analyze the data sources, which is a tedious and timeconsuming task (which can be unfeasible when working with large databases). In this sense, current automatable methods follow a data-driven approach, whereas current requirement-driven approaches overlook the process automation, since they tend to work with requirements at a high level of abstraction. Indeed, this scenario is repeated regarding data-driven and requirement-driven stages within current hybrid approaches, which suffer from the same drawbacks than pure data-driven or requirement-driven approaches.
In this thesis we introduce two different approaches for automating the multidimensional design of the data warehouse: MDBE (Multidimensional Design Based on Examples) and AMDO (Automating the Multidimensional Design from Ontologies). Both approaches were devised to overcome the limitations from which current approaches suffer. Importantly, our approaches consider opposite initial assumptions, but both consider the end-user requirements and the data sources as first-class citizens.

1. MDBE follows a classical approach, in which the end-user requirements are well-known beforehand. This approach benefits from the knowledge captured in the data sources, but guides the design task according to requirements and consequently, it is able to work and handle semantically poorer data sources. In other words, providing high-quality end-user requirements, we can guide the process from the knowledge they contain, and overcome the fact of disposing of bad quality (from a semantical point of view) data sources.
2. AMDO, as counterpart, assumes a scenario in which the data sources available are semantically richer. Thus, the approach proposed is guided by a thorough analysis of the data sources, which is properly adapted to shape the output result according to the end-user requirements. In this context, disposing of high-quality data sources, we can overcome the fact of lacking of expressive end-user requirements.

Importantly, our methods establish a combined and comprehensive framework that can be used to decide, according to the inputs provided in each scenario, which is the best approach to follow. For example, we cannot follow the same approach in a scenario where the end-user requirements are clear and well-known, and in a scenario in which the end-user requirements are not evident or cannot be easily elicited (e.g., this may happen when the users are not aware of the analysis capabilities of their own sources). Interestingly, the need to dispose of requirements beforehand is smoothed by the fact of having semantically rich data sources. In lack of that, requirements gain relevance to extract the multidimensional knowledge from the sources.
So that, we claim to provide two approaches whose combination turns up to be exhaustive with regard to the scenarios discussed in the literature
APA, Harvard, Vancouver, ISO, and other styles
4

Romero, Moral Oscar. "Automating the multidimensional design of data warehouses." Doctoral thesis, Universitat Politècnica de Catalunya, 2010. http://hdl.handle.net/10803/6670.

Full text
Abstract:
Les experiències prèvies en l'àmbit dels magatzems de dades (o data warehouse), mostren que l'esquema multidimensional del data warehouse ha de ser fruit d'un enfocament híbrid; això és, una proposta que consideri tant els requeriments d'usuari com les fonts de dades durant el procés de disseny.Com a qualsevol altre sistema, els requeriments són necessaris per garantir que el sistema desenvolupat satisfà les necessitats de l'usuari. A més, essent aquest un procés de reenginyeria, les fonts de dades s'han de tenir en compte per: (i) garantir que el magatzem de dades resultant pot ésser poblat amb dades de l'organització, i, a més, (ii) descobrir capacitats d'anàlisis no evidents o no conegudes per l'usuari.Actualment, a la literatura s'han presentat diversos mètodes per donar suport al procés de modelatge del magatzem de dades. No obstant això, les propostes basades en un anàlisi dels requeriments assumeixen que aquestos són exhaustius, i no consideren que pot haver-hi informació rellevant amagada a les fonts de dades. Contràriament, les propostes basades en un anàlisi exhaustiu de les fonts de dades maximitzen aquest enfocament, i proposen tot el coneixement multidimensional que es pot derivar des de les fonts de dades i, conseqüentment, generen massa resultats. En aquest escenari, l'automatització del disseny del magatzem de dades és essencial per evitar que tot el pes de la tasca recaigui en el dissenyador (d'aquesta forma, no hem de confiar únicament en la seva habilitat i coneixement per aplicar el mètode de disseny elegit). A més, l'automatització de la tasca allibera al dissenyador del sempre complex i costós anàlisi de les fonts de dades (que pot arribar a ser inviable per grans fonts de dades).Avui dia, els mètodes automatitzables analitzen en detall les fonts de dades i passen per alt els requeriments. En canvi, els mètodes basats en l'anàlisi dels requeriments no consideren l'automatització del procés, ja que treballen amb requeriments expressats en llenguatges d'alt nivell que un ordenador no pot manegar. Aquesta mateixa situació es dona en els mètodes híbrids actual, que proposen un enfocament seqüencial, on l'anàlisi de les dades es complementa amb l'anàlisi dels requeriments, ja que totes dues tasques pateixen els mateixos problemes que els enfocament purs.En aquesta tesi proposem dos mètodes per donar suport a la tasca de modelatge del magatzem de dades: MDBE (Multidimensional Design Based on Examples) and AMDO (Automating the Multidimensional Design from Ontologies). Totes dues consideren els requeriments i les fonts de dades per portar a terme la tasca de modelatge i a més, van ser pensades per superar les limitacions dels enfocaments actuals.1. MDBE segueix un enfocament clàssic, en el que els requeriments d'usuari són coneguts d'avantmà. Aquest mètode es beneficia del coneixement capturat a les fonts de dades, però guia el procés des dels requeriments i, conseqüentment, és capaç de treballar sobre fonts de dades semànticament pobres. És a dir, explotant el fet que amb uns requeriments de qualitat, podem superar els inconvenients de disposar de fonts de dades que no capturen apropiadament el nostre domini de treball.2. A diferència d'MDBE, AMDO assumeix un escenari on es disposa de fonts de dades semànticament riques. Per aquest motiu, dirigeix el procés de modelatge des de les fonts de dades, i empra els requeriments per donar forma i adaptar els resultats generats a les necessitats de l'usuari. En aquest context, a diferència de l'anterior, unes fonts de dades semànticament riques esmorteeixen el fet de no tenir clars els requeriments d'usuari d'avantmà.Cal notar que els nostres mètodes estableixen un marc de treball combinat que es pot emprar per decidir, donat un escenari concret, quin enfocament és més adient. Per exemple, no es pot seguir el mateix enfocament en un escenari on els requeriments són ben coneguts d'avantmà i en un escenari on aquestos encara no estan clars (un cas recorrent d'aquesta situació és quan l'usuari no té clares les capacitats d'anàlisi del seu propi sistema). De fet, disposar d'uns bons requeriments d'avantmà esmorteeix la necessitat de disposar de fonts de dades semànticament riques, mentre que a l'inversa, si disposem de fonts de dades que capturen adequadament el nostre domini de treball, els requeriments no són necessaris d'avantmà. Per aquests motius, en aquesta tesi aportem un marc de treball combinat que cobreix tots els possibles escenaris que podem trobar durant la tasca de modelatge del magatzem de dades.
Previous experiences in the data warehouse field have shown that the data warehouse multidimensional conceptual schema must be derived from a hybrid approach: i.e., by considering both the end-user requirements and the data sources, as first-class citizens. Like in any other system, requirements guarantee that the system devised meets the end-user necessities. In addition, since the data warehouse design task is a reengineering process, it must consider the underlying data sources of the organization: (i) to guarantee that the data warehouse must be populated from data available within the organization, and (ii) to allow the end-user discover unknown additional analysis capabilities.Currently, several methods for supporting the data warehouse modeling task have been provided. However, they suffer from some significant drawbacks. In short, requirement-driven approaches assume that requirements are exhaustive (and therefore, do not consider the data sources to contain alternative interesting evidences of analysis), whereas data-driven approaches (i.e., those leading the design task from a thorough analysis of the data sources) rely on discovering as much multidimensional knowledge as possible from the data sources. As a consequence, data-driven approaches generate too many results, which mislead the user. Furthermore, the design task automation is essential in this scenario, as it removes the dependency on an expert's ability to properly apply the method chosen, and the need to analyze the data sources, which is a tedious and timeconsuming task (which can be unfeasible when working with large databases). In this sense, current automatable methods follow a data-driven approach, whereas current requirement-driven approaches overlook the process automation, since they tend to work with requirements at a high level of abstraction. Indeed, this scenario is repeated regarding data-driven and requirement-driven stages within current hybrid approaches, which suffer from the same drawbacks than pure data-driven or requirement-driven approaches.In this thesis we introduce two different approaches for automating the multidimensional design of the data warehouse: MDBE (Multidimensional Design Based on Examples) and AMDO (Automating the Multidimensional Design from Ontologies). Both approaches were devised to overcome the limitations from which current approaches suffer. Importantly, our approaches consider opposite initial assumptions, but both consider the end-user requirements and the data sources as first-class citizens.1. MDBE follows a classical approach, in which the end-user requirements are well-known beforehand. This approach benefits from the knowledge captured in the data sources, but guides the design task according to requirements and consequently, it is able to work and handle semantically poorer data sources. In other words, providing high-quality end-user requirements, we can guide the process from the knowledge they contain, and overcome the fact of disposing of bad quality (from a semantical point of view) data sources.2. AMDO, as counterpart, assumes a scenario in which the data sources available are semantically richer. Thus, the approach proposed is guided by a thorough analysis of the data sources, which is properly adapted to shape the output result according to the end-user requirements. In this context, disposing of high-quality data sources, we can overcome the fact of lacking of expressive end-user requirements.Importantly, our methods establish a combined and comprehensive framework that can be used to decide, according to the inputs provided in each scenario, which is the best approach to follow. For example, we cannot follow the same approach in a scenario where the end-user requirements are clear and well-known, and in a scenario in which the end-user requirements are not evident or cannot be easily elicited (e.g., this may happen when the users are not aware of the analysis capabilities of their own sources). Interestingly, the need to dispose of requirements beforehand is smoothed by the fact of having semantically rich data sources. In lack of that, requirements gain relevance to extract the multidimensional knowledge from the sources.So that, we claim to provide two approaches whose combination turns up to be exhaustive with regard to the scenarios discussed in the literature
APA, Harvard, Vancouver, ISO, and other styles
5

Forrest, Denise B. "Investigating the logics secondary mathematics teachers employ when creating verbal messages for students: an instance for bridging communication theory into mathematics education." The Ohio State University, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=osu1127218988.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Tarnoff, David. "Episode 4.03 – Combinational Logic." Digital Commons @ East Tennessee State University, 2020. https://dc.etsu.edu/computer-organization-design-oer/31.

Full text
Abstract:
Individual logic gates are not very practical. Their power comes when you combine them to create combinational logic. This episode takes a look at combinational logic by working through an example in order to generate its truth table.
APA, Harvard, Vancouver, ISO, and other styles
7

Tarnoff, David. "Episode 5.02 – NAND Logic." Digital Commons @ East Tennessee State University, 2020. https://dc.etsu.edu/computer-organization-design-oer/39.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Wunderlich, Richard Bryan. "CMOS gate delay, power measurements and characterization with logical effort and logical power." Thesis, Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/31652.

Full text
Abstract:
Thesis (M. S.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2010.
Committee Chair: Paul Hasler; Committee Member: David V Anderson; Committee Member: Saibal Mukhopadhyay. Part of the SMARTech Electronic Thesis and Dissertation Collection.
APA, Harvard, Vancouver, ISO, and other styles
9

Husemann, Ronaldo. "Arquitetura de co-projeto hardware/software para implementação de um codificador de vídeo escalável padrão H.264/SVC." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2011. http://hdl.handle.net/10183/49305.

Full text
Abstract:
Visando atuação flexível em redes heterogêneas, modernos sistemas multimídia podem adotar o conceito da codificação escalável, onde o fluxo de vídeo é composto por múltiplas camadas, cada qual complementando e aprimorando gradualmente as características de exibição, de forma adaptativa às capacidades de cada receptor. Atualmente, a especificação H.264/SVC representa o estado da arte da área, por sua eficiência de codificação aprimorada, porém demanda recursos computacionais extremamente elevados. Neste contexto, o presente trabalho apresenta uma arquitetura de projeto colaborativo de hardware e software, que explora as características dos diversos algoritmos internos do codificador H.264/SVC, buscando um adequado balanceamento entre as duas tecnologias (hardware e software) para a implementação prática de um codificador escalável de até 16 camadas em formato de 1920x1080 pixels. A partir de um modelo do código de referência H.264/SVC, refinado para reduzir tempos de codificação, foram definidas estratégias de particionamento de módulos e integração entre entidades de software e hardware, avaliando-se questões como dependência de dados e potencial de paralelismo dos algoritmos, assim como restrições práticas das interfaces de comunicação e acessos à memória. Em hardware foram implementados módulos de transformadas, quantização, filtro anti-blocagem e predição entre camadas, permanecendo em software funções de gerência do sistema, entropia, controle de taxa e interface com usuário. A solução completa obtida, integrando módulos em hardware, sintetizados em uma placa de desenvolvimento, com o software de referência refinado, comprova a validade da proposta, pelos significativos ganhos de desempenho registrados, mostrando-se como uma solução adequada para aplicações que exijam codificação escalável tempo real.
In order to support heterogeneous networks and distinct devices simultaneously, modern multimedia systems can adopt the scalability concept, when the video stream is composed by multiple layers, each one being responsible for gradually enhance the video exhibition quality, according to specific receiver capabilities. Currently the H.264/SVC specification can be considered the state-of-art in this area, by improving the coding efficiency, but, in the other hand, impacting in extremely high computational demands. Based on that, this work presents a hardware/software co-design architecture, which explores the characteristics of H.264/SVC internal algorithms, aiming the right balancing between both technologies (hardware and software) in order to generate a practical scalable encoder implementation, able to process up to 16 layers in 1920x1080 pixels format. Based in an H.264/SVC reference code model, which was refined in order to reduce global encoding time, the approaches for module partitioning and data integration between hardware and software were defined. The proposed methodology took into account characteristics like data dependency and inherent possibility of parallelism, as well practical restrictions like influence of communication interfaces and memory accesses. Particularly, the modules of transforms, quantization, deblocking and inter-layer prediction were implemented in hardware, while the functions of system management, entropy, rate control and user interface were kept in software. The whole solution, which was obtained integrating hardware modules, synthesized in a development board, with the refined H.264/SVC reference code, validates the proposal, by the significant performance gains registered, indicating it as an adequate solution for applications which require real-time video scalable coding.
APA, Harvard, Vancouver, ISO, and other styles
10

Tarnoff, David. "Episode 4.01 – Intro to Logic Gates." Digital Commons @ East Tennessee State University, 2020. https://dc.etsu.edu/computer-organization-design-oer/29.

Full text
Abstract:
Logic gates are the fundamental building blocks of digital circuits. In this episode, we take a look at the four most basic gates: AND, OR, exclusive-OR, and the inverter, and show how an XOR gate can be used to compare two digital values. Click here to read the show transcript.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Logics of design"

1

Bolc, Leonard. Many-valued logics. Berlin: Springer-Verlag, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Boutilier, Craig. Conditional logics for default reasoning and belief revision. Toronto, Ont: Computer Science Dept., University of Toronto, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Voronkov, Andrei. Programming Logics: Essays in Memory of Harald Ganzinger. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Binder, Walter. Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

P, Aalst Wil M., Balbo Gianfranco, Koutny Maciej 1958-, Wolf Karsten, and SpringerLink (Online service), eds. Transactions on Petri Nets and Other Models of Concurrency VII. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

David, Hutchison. Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Nelma, Moreira, Reis Rogério, and SpringerLink (Online service), eds. Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Fundamentals of logic design. 3rd ed. St. Paul: West Pub. Co., 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Roth, Charles H. Fundamentals of logic design. 4th ed. St. Paul: West Pub. Co., 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Fundamentals of logic design. 5th ed. Belmont, CA: Thomson/Brooks/Cole, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Logics of design"

1

Ahrendt, Wolfgang, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, and Peter H. Schmitt. "The Approach: Integrating Object Oriented Design and Formal Verification." In Logics in Artificial Intelligence, 21–36. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-40006-0_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Fröhlich, Peter, Wolfgang Nejdl, and Michael Schroeder. "Design and implementation of diagnostic strategies using modal logic." In Logics in Artificial Intelligence, 104–18. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61630-6_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Havelund, Klaus, and Giles Reger. "Runtime Verification Logics A Language Design Perspective." In Lecture Notes in Computer Science, 310–38. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63121-9_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Dellunde, Pilar, and Francesc Esteva. "On Elementary Extensions in Fuzzy Predicate Logics." In Computational Intelligence for Knowledge-Based Systems Design, 747–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14049-5_76.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bidwell, Nicola J., Helen Arnold, Alan F. Blackwell, Charlie Nqeisji, Kun Kunta, and Martin Ujakpa. "AI Design and Everyday Logics in the Kalahari." In The Routledge Companion to Media Anthropology, 557–69. London: Routledge, 2022. http://dx.doi.org/10.4324/9781003175605-54.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Wang, Constanze. "Research Design and Methods." In The Subtle Logics of Knowledge Conflicts in China’s Foreign Enterprises, 61–75. Wiesbaden: Springer Fachmedien Wiesbaden, 2016. http://dx.doi.org/10.1007/978-3-658-14184-4_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Nilsson, Felicia, Shivani Prakash, and Josina Vink. "Service Design Within a Multiplicity Logics in Health Care." In Service Design Practices for Healthcare Innovation, 1–21. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-87273-1_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dawson, Steven, C. R. Ramakrishnan, and I. V. Ramakrishnan. "Design and implementation of jump tables for fast indexing of logic programs." In Programming Languages: Implementations, Logics and Programs, 133–50. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0026818.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Rabagliati, Jonathan, Jeroen Janssen, Edoardo Tibuzzi, Federico De Paoli, Paul Casson, and Richard Maddock. "Bloomberg Ramp: Collaborative Workflows, Sharing Data and Design Logics." In Humanizing Digital Reality, 153–66. Singapore: Springer Singapore, 2017. http://dx.doi.org/10.1007/978-981-10-6611-5_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Asnar, Yudistira, Elda Paja, and John Mylopoulos. "Modeling Design Patterns with Description Logics: A Case Study." In Notes on Numerical Fluid Mechanics and Multidisciplinary Design, 169–83. Cham: Springer International Publishing, 2011. http://dx.doi.org/10.1007/978-3-642-21640-4_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logics of design"

1

Kostadinov, Atanas, Vitali Guitberg, Morten Olavsbraten, and Guennadi Kouzaev. "Multi-Logics Gates." In 2019 International Seminar on Electron Devices Design and Production (SED). IEEE, 2019. http://dx.doi.org/10.1109/sed.2019.8798452.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Matsumoto, Tsutomu, Hidenobu Mimura, and Daisuke Suzuki. "Complementary logics vs masked logics: Which countermeasure is a better selection?" In 2009 European Conference on Circuit Theory and Design (ECCTD 2009). IEEE, 2009. http://dx.doi.org/10.1109/ecctd.2009.5274989.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Domingues, Felipe, Salvatore Zingale, and Dijon De Moraes. "The pragmaticism as a route to designing: Understanding the inferential logics of sense attribution." In Systems & Design: Beyond Processes and Thinking. Valencia: Universitat Politècnica València, 2016. http://dx.doi.org/10.4995/ifdp.2016.3214.

Full text
Abstract:
The objective of this paper is to discuss the inferential logics of sense attribution to everyday objects. The arguments presented take part of a broader investigation that aims at evolving a full methodological research framework. Such framework intends to explore the possibility of development of a method of systematic analysis of the relationship established between users and objects in their context of use and specific circumstances.The starting point of the discussion is the pragmatistic maxim: “Consider what effects, that might conceivably have practical bearing, we conceive the object of our conception to have. Then, our conception of these effects is the whole of our conception of the object” (Peirce, CP 4.402). Both terms, effects and practical bearing, associated with the concept of sense, were of great importance to support the evolvement of the theoretical discourse developed in the paper. In addiction, the concept of sense adopted is also rooted in Peirce’s essays: “Our idea of anything is our idea of its sensible effects” (Peirce, CP 5.401). According to Peirce, the senses of any sign (e.g., objects) are associated with all possible effects and the practical consequences that they produce or could produce (Zingale & Domingues, 2015). Thus, considering that signs can be also understood as processes of mental mediation, the practical bearings urged by sensible effects are direct linked to inferential logic mechanisms (induction, deduction, abduction) in the processes of sense attribution. Then, how to analyze intangible aspects such interpretative answers and practical consequences in the context of use and specific circumstances?The statements contained in the paper may contribute to the fields of design (practical) and semiotics and design (theoretical) in terms of providing a theoretical model. Such model intends to increase the scientific understanding of the logical mediation processes involved in artifacts fruition, which is believed to have effects on the practical processes of analysis and development of goods; and may also add knowledge to the discussions and contributions postulated by Deni (2015) and Boztepe (2007).Concluding, this contribution may bring into the field of design discussions on the comprehension of the relationship between users and their goods, introducing a purpose of a framing method of the logic of the pragmatistic dimension of artifacts. In further stages of the so-called broader investigation, the evolvement of such method aims at aiding the analyses and introduction of symbolic features into artifacts in the very early stages of design.DOI: http://dx.doi.org/10.4995/IFDP.2016.3214
APA, Harvard, Vancouver, ISO, and other styles
4

Krasaki, Eirini. "Design as semiosis: A design mechanism for place branding." In International Conference on the 4th Game Set and Match (GSM4Q-2019). Qatar University Press, 2019. http://dx.doi.org/10.29117/gsm4q.2019.0035.

Full text
Abstract:
The described design methodology combines parametric design, data analysis, algorithmic design and semiotics theory to systematically analyze urban reality. The analysis leads to a creation of a nebula of data which corresponds to the place of interest. The nebula of data consists of networks of semiotics spatially defined. Through the proposed methodology, semiotics are used to enhance the perception that we have for a place and create a strategy for its' branding. Space is not approached as an empty container but as a complex system that consists of material and immaterial elements. The characteristics of these elements are quantified by their context and the logics of description to which they correspond. Logics of description are constantly changing following the multiplicity and the expansion of concepts. Therefore, space is constantly redefined following the transformation of the corresponding virtual data. Considering that each framework draws up an ideology following the change of context and the logics of description, a tool (machine) for analyzing written speech is developed, combining data visualization techniques, linguistics and design methodologies to configure logics of description. Written speech is transformed into a series of networks, visualizing their ontological relationships and disregarding the factor of time. A nebula of data corresponding to the mental reality of space is formed. Following a methodological procedure, the nebula of space is transformed to a nebula of place. The nebula of place contains its' key characteristics parametrized. A selection of these characteristics is combined to create the brand of the place concerning its' context and logics of description. The before mentioned methodological tool connects people, spaces, and machines enabling the connection of spatial data to create the impression (brand) of a place.
APA, Harvard, Vancouver, ISO, and other styles
5

Mocko, Gregory, and David W. Rosen. "A Critical Analysis of Description Logics for Engineering Information Management." In ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/detc2006-99473.

Full text
Abstract:
Engineering information management (EIM), specifically the development of information models, is becoming increasingly important to facilitate the exchange of digital product information across the extended enterprise. A myriad of information models has been proposed for capturing a broad scope of design information. Recently, description logics (DLs) have received significant attention in current literature as an underlying representational formalism for developing engineering information models. In this paper, we address the question: “Why should description logics (DLs) be used for engineering information management (EIM)?” We identify the characteristics of engineering design problems and the requirements for EIM, review common information modeling formalisms, and critically evaluate the benefits of DLs over other representational formalisms. The use of DLs is illustrated for modeling engineering decision information. Finally, it is argued that DLs provides several advantages over other modeling formalism, including Semantic Data Model (SDM) and Object-Oriented Data Model (OODM), through a logic-based representation that enables reasoning to be performed for checking the consistency of the information model and providing a means for organizing the information into a hierarchical taxonomy.
APA, Harvard, Vancouver, ISO, and other styles
6

Singha, Thockchom Birjit, Shruti Konwar, and Soumik Roy. "Low power design and analysis of fundamental logics using adiabatic array logic." In 2014 International Conference on Signal Propagation and Computer Technology (ICSPCT). IEEE, 2014. http://dx.doi.org/10.1109/icspct.2014.6884989.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wilson, Jamal, Patrick Chang, Sungshik Yim, and David W. Rosen. "Developing a Bio-Inspired Design Repository Using Ontologies." In ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/detc2009-87272.

Full text
Abstract:
Efficient identification of relevant biological strategies to use in Conceptual Design is key to harnessing biological technologies in engineering. However, identification of these strategies is not straight forward. There are several approaches developed to aid in identifying these strategies, including searchable databases and functional keyword searches. Although these approaches offer access to these biological solutions, the generic keyword-based retrieval mechanisms utilized by these approaches often suffer from providing either too many and/or irrelevant results. In this paper, we present a design repository for storing and retrieving biological (and engineering) design strategies. The backbone of this repository is an ontology structuring information from the biological and engineering domains. This ontology is encoded using Description Logics, a subset of first-order logic that have been used for information modeling in several application areas, including engineering information management. Subsumption, an inference mechanism afforded in Description Logics, is used to retrieve relevant biological strategies from the repository. In this paper, we demonstrate that subsumption allows precise retrieval of relevant biological strategies from the repository.
APA, Harvard, Vancouver, ISO, and other styles
8

Bobillo, Fernando, and Umberto Straccia. "Extending Datatype Restrictions in Fuzzy Description Logics." In 2009 Ninth International Conference on Intelligent Systems Design and Applications. IEEE, 2009. http://dx.doi.org/10.1109/isda.2009.27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Goranov, Goran, and Pavel Hubenov. "Schematic design of I2C communication based on logics." In The 5th International Virtual Conference on Advanced Scientific Results. Publishing Society, 2017. http://dx.doi.org/10.18638/scieconf.2017.5.1.405.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Cimatti, Alessandro, and Stefano Tonetta. "A Temporal Logics Approach to Contract-Based Design." In 2016 Architecture-Centric Virtual Integration (ACVI). IEEE, 2016. http://dx.doi.org/10.1109/acvi.2016.7.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logics of design"

1

Baader, Franz, Jan Hladik, and Rafael Peñaloza. PSpace Automata with Blocking for Description Logics. Aachen University of Technology, 2006. http://dx.doi.org/10.25368/2022.157.

Full text
Abstract:
In Description Logics (DLs), both tableau-based and automatabased algorithms are frequently used to show decidability and complexity results for basic inference problems such as satisfiability of concepts. Whereas tableau-based algorithms usually yield worst-case optimal algorithms in the case of PSpace-complete logics, it is often very hard to design optimal tableau-based algorithms for ExpTime-complete DLs. In contrast, the automata-based approach is usually well-suited to prove ExpTime upper-bounds, but its direct application will usually also yield an ExpTime-algorithm for a PSpace-complete logic since the (tree) automaton constructed for a given concept is usually exponentially large. In the present paper, we formulate conditions under which an on-the-fly construction of such an exponentially large automaton can be used to obtain a PSpace-algorithm. We illustrate the usefulness of this approach by proving a new PSpace upper-bound for satisfiability of concepts w.r.t. acyclic terminologies in the DL SI, which extends the basic DL ALC with transitive and inverse roles.
APA, Harvard, Vancouver, ISO, and other styles
2

Archer, Myla M., Ben L. DiVito, and Cesar Munoz. Proceedings STRATA 2003. First International Workshop on Design and Application of Strategies/Tactics in Higher Order Logics; Focus on PVS Experiences. Fort Belvoir, VA: Defense Technical Information Center, November 2003. http://dx.doi.org/10.21236/ada418902.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Nguyen, Loc. Logic design using programmable logic devices. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.5987.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lutz, Carsten. Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies. Aachen University of Technology, 2002. http://dx.doi.org/10.25368/2022.119.

Full text
Abstract:
Entity Relationship (ER) diagrams are among the most popular formalisms for the support of database design [7, 12, 17, 6]. Their classical use in the (usually computer aided) database design process can roughly be described as follows: after evaluating the requirements of the application, the database designer constructs an ER schema, which represents the conceptual model of the new database. CASE tools can be used to automatically transform the ER schema into a relational database schema, which is then manually fine-tuned. During the last years, the initially rather simple ER formalisms has been extended by various means of expressivity to account for new, more complex application areas such as schema integration for data warehouses [12, 3, 13]. Designing a conceptual model with such enriched ER diagrams is a nontrivial task: there exist complex interactions between the various means of expressivity, which quite often result in unnoticed inconsistencies in the ER schemas and in implicit ramifications of the modeling that have not been intended by the designer. To address this problem, Description Logics (DLs) have been proposed and succesfully used as a tool for reasoning about ER diagrams and thereby detecting the aforementioned anomalies [5, 6, 8].
APA, Harvard, Vancouver, ISO, and other styles
5

Fong, Elizabeth N., Margaret W. Henderson, David K. Jefferson, and Joan M. Sullivan. Guide on logical database design. Gaithersburg, MD: National Bureau of Standards, 1985. http://dx.doi.org/10.6028/nbs.sp.500-122.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Obua, Steven. Practal — Practical Logic: A Bicycle for Your Mathematical Mind. Recursive Mind, July 2021. http://dx.doi.org/10.47757/practal.1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Onneweer, Siep, Hans Kerkhoff, and Jon Butler. Structural Computer-Aided Design of Current-Mode CMOS Logic Circuits. Fort Belvoir, VA: Defense Technical Information Center, January 1988. http://dx.doi.org/10.21236/ada608071.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Zweibelson, Ben E. Incompatible Systems of Logic: Why Design Should Integrate the Mechanistic, Reductionist, and Linear Logic of Military Detailed Planning. Fort Belvoir, VA: Defense Technical Information Center, May 2011. http://dx.doi.org/10.21236/ada545100.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Woods, Van J., Susan D. Nachtigall, Beth A. Brucker, and Awilda Andrillion. Facility Composer Design Wizards: A Method for Extensible Codified Design Logic Based on Explicit Facility Criteria. Fort Belvoir, VA: Defense Technical Information Center, November 2004. http://dx.doi.org/10.21236/ada478166.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kozachenko, Nadiia. AGM cognitive actions as modal operators of three-valued logic: presentation. Ruhr-Universität Bochum, July 2022. http://dx.doi.org/10.31812/123456789/6687.

Full text
Abstract:
AGM is designed so that its principles can be applied to the development of belief dynamics models, regardless of the field of application. The main idea of this work is to see how we can to represent cognitive actions considered in AGM within a certain three-valued logic, and check what interesting properties can be discovered in this way. To do this, we will consider the basic concepts and principles of AGM. Then we interpret them in a logical schema. And then we see what information about them we can get in the resulting system.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Logics of design' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography