Добірка наукової літератури з теми "Logics of design"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Logics of design".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Logics of design"
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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаДисертації з теми "Logics of design"
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.
Повний текст джерела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/.
Повний текст джерелаNelson Baker, Committee Member ; Charles Eastman, Committee Member ; Christiaan Paredis, Committee Member ; Janet Allen, Committee Member ; David Rosen, Committee Chair.
Romero, Moral Óscar. "Automating the multidimensional design of data warehouses." Doctoral thesis, Universitat Politècnica de Catalunya, 2010. http://hdl.handle.net/10803/6670.
Повний текст джерела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
Romero, Moral Oscar. "Automating the multidimensional design of data warehouses." Doctoral thesis, Universitat Politècnica de Catalunya, 2010. http://hdl.handle.net/10803/6670.
Повний текст джерела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
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.
Повний текст джерелаTarnoff, David. "Episode 4.03 – Combinational Logic." Digital Commons @ East Tennessee State University, 2020. https://dc.etsu.edu/computer-organization-design-oer/31.
Повний текст джерелаTarnoff, David. "Episode 5.02 – NAND Logic." Digital Commons @ East Tennessee State University, 2020. https://dc.etsu.edu/computer-organization-design-oer/39.
Повний текст джерела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.
Повний текст джерелаCommittee Chair: Paul Hasler; Committee Member: David V Anderson; Committee Member: Saibal Mukhopadhyay. Part of the SMARTech Electronic Thesis and Dissertation Collection.
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.
Повний текст джерела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.
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.
Повний текст джерелаКниги з теми "Logics of design"
Bolc, Leonard. Many-valued logics. Berlin: Springer-Verlag, 1992.
Знайти повний текст джерелаBoutilier, Craig. Conditional logics for default reasoning and belief revision. Toronto, Ont: Computer Science Dept., University of Toronto, 1992.
Знайти повний текст джерелаVoronkov, Andrei. Programming Logics: Essays in Memory of Harald Ganzinger. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Знайти повний текст джерелаBinder, Walter. Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Знайти повний текст джерела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.
Знайти повний текст джерела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.
Знайти повний текст джерела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.
Знайти повний текст джерелаFundamentals of logic design. 3rd ed. St. Paul: West Pub. Co., 1985.
Знайти повний текст джерелаRoth, Charles H. Fundamentals of logic design. 4th ed. St. Paul: West Pub. Co., 1992.
Знайти повний текст джерелаFundamentals of logic design. 5th ed. Belmont, CA: Thomson/Brooks/Cole, 2004.
Знайти повний текст джерелаЧастини книг з теми "Logics of design"
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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаТези доповідей конференцій з теми "Logics of design"
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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаЗвіти організацій з теми "Logics of design"
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.
Повний текст джерела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.
Повний текст джерелаNguyen, Loc. Logic design using programmable logic devices. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.5987.
Повний текст джерелаLutz, Carsten. Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies. Aachen University of Technology, 2002. http://dx.doi.org/10.25368/2022.119.
Повний текст джерела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.
Повний текст джерелаObua, Steven. Practal — Practical Logic: A Bicycle for Your Mathematical Mind. Recursive Mind, July 2021. http://dx.doi.org/10.47757/practal.1.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела