Relevant bibliographies by topics / Logical effort

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Logical effort'

Author: Grafiati
Published: 4 June 2021
Last updated: 12 February 2022

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

Select a source type:

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

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 "Logical effort"

1

Lasbouygues, B., S. Engels, R. Wilson, P. Maurine, N. Azemard, and D. Auvergne. "Logical effort model extension to propagation delay representation." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 25, no. 9 (September 2006): 1677–84. http://dx.doi.org/10.1109/tcad.2005.857400.

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

Levi, Itamar, Alexander Belenky, and Alexander Fish. "Logical Effort for CMOS-Based Dual Mode Logic Gates." IEEE Transactions on Very Large Scale Integration (VLSI) Systems 22, no. 5 (May 2014): 1042–53. http://dx.doi.org/10.1109/tvlsi.2013.2257902.

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

Rahman, M., H. Tennakoon, and C. Sechen. "Library-Based Cell-Size Selection Using Extended Logical Effort." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 32, no. 7 (July 2013): 1086–99. http://dx.doi.org/10.1109/tcad.2013.2247657.

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

Kabbani, A., D. Al-Khalili, and A. J. Al-Khalili. "Delay analysis of CMOS gates using modified logical effort model." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 24, no. 6 (June 2005): 937–47. http://dx.doi.org/10.1109/tcad.2005.847892.

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

Milic, Miodrag, and Vojin Senk. "Uniform logical cryptanalysis of CubeHash function." Facta universitatis - series: Electronics and Energetics 23, no. 3 (2010): 357–66. http://dx.doi.org/10.2298/fuee1003357m.

Full text
Abstract:
In this paper we present results of uniform logical cryptanalysis method applied to cryptographic hash function CubeHash. During the last decade, some of the most popular cryptographic hash functions were broken. Therefore, in 2007, National Institute of Standards and Technology (NIST), announced an international competition for a new Hash Standard called SHA-3. Only 14 candidates passed first two selection rounds and CubeHash is one of them. A great effort is made in their analysis and comparison. Uniform logical cryptanalysis presents an interesting method for this purpose. Universal, adjustable to almost any cryptographic hash function, very fast and reliable, it presents a promising method in the world of cryptanalysis.
APA, Harvard, Vancouver, ISO, and other styles
6

West, Donna E. "Logical and practical advantages of double consciousness." Cognitive Semiotics 14, no. 1 (May 1, 2021): 47–69. http://dx.doi.org/10.1515/cogsem-2021-2038.

Full text
Abstract:
Abstract This account augments Peirce's concept of consciousness in two ways: 1) it highlights its double nature and 2) it explores how this two-sided consciousness advances modal logic. Double consciousness facilitates inferencing in that differences between old information and new information are noticed; logical conflicts between the two can then be explored and resolved expeditiously. This often natural but a forced need to consider new facts in light of old ones provides a scaffold for a higher level of consciousness, namely, self and heterocriticism — inciting interpreters to attend to the new facts, to intentionally compare facts and propositions, and to reflect upon the reasons for their comparative efficacy. In his call to double consciousness, Peirce enlivens us to draw deeply from the well of logical and practical affordances — surprising events and sustained interactive platforms. Peirce’s call requires us to utilize consciousness from its very basic level: attention to stimuli, awareness of unexpected facts, mental wrestling of effort and resistance, and finally synthetic consciousness which engenders binding frames of legitimate meanings from reliable genres. In this effort, Peirce informs us that the most reliable inferencing can only be ascertained by weighing ego with non-ego — through an active course of careful synthesis.
APA, Harvard, Vancouver, ISO, and other styles
7

Karandikar, S. K., and S. S. Sapatnekar. "Technology Mapping Using Logical Effort for Solving the Load-Distribution Problem." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 27, no. 1 (January 2008): 45–58. http://dx.doi.org/10.1109/tcad.2007.907067.

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

Shine, Lester C., and Charles M. Stoup. "On Transforming Ordered Residuals for Purposes of Testing the Correctness of a Regression Model." Educational and Psychological Measurement 45, no. 2 (July 1985): 211–16. http://dx.doi.org/10.1177/001316448504500203.

Full text
Abstract:
A logical method is presented for transforming ordered residuals for purposes of testing the correctness of a regression model. The method maintains the same logical ordering in the transformed residuals as that of the original residuals. The method is suitable for either uncorrelated or correlated data and requires minimal computational effort. Calculation examples are presented.
APA, Harvard, Vancouver, ISO, and other styles
9

Kabbani, A. "Logical effort based dynamic power estimation and optimization of static CMOS circuits." Integration 43, no. 3 (June 2010): 279–88. http://dx.doi.org/10.1016/j.vlsi.2010.02.002.

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

basireddy, hareesh-reddy, Karthikeya challa, and Tooraj Nikoubin. "Hybrid Logical Effort for Hybrid Logic Style Full Adders in Multistage Structures." IEEE Transactions on Very Large Scale Integration (VLSI) Systems 27, no. 5 (May 2019): 1138–47. http://dx.doi.org/10.1109/tvlsi.2018.2889833.

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

Dissertations / Theses on the topic "Logical effort"

1

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
2

Alegretti, Caio Graco Prates. "Analytical logical effort formulation for local sizing." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2013. http://hdl.handle.net/10183/97867.

Full text
Abstract:
A indústria de microeletrônica tem recorrido cada vez mais à metodologia de projeto baseado em células para fazer frente à crescente complexidade dos projetos de circuitos integrados digitais, uma vez que circuitos baseados em células são projetados mais rápida e economicamente que circuitos full-custom. Entretanto, apesar do progresso ocorrido na área de Electronic Design Automation, circuitos digitais baseados em células apresentam desempenho inferior ao de circuitos full-custom. Assim, torna-se interessante encontrar maneiras de se fazer com que circuitos baseados em células tenham desempenho próximo ao de circuitos full-custom, sem que isso implique elevação significativa nos custos do projeto. Com tal objetivo em vista, esta tese apresenta contribuições para um fluxo automático de otimização local para circuitos digitais baseados em células. Por otimização local se entende a otimização do circuito em pequenas janelas de contexto, onde são feitas otimizações considerando o contexto global. Deste modo, a otimização local pode incluir a detecção e isolamento de regiões críticas do circuito e a geração de redes lógicas e de redes de transistores de diferentes topologias que são dimensionadas de acordo com as restrições de projeto em questão. Como as otimizações locais atuam em um contexto reduzido, várias soluções podem ser obtidas considerando as restrições locais, entre as quais se escolhe a mais adequada para substituir o subcircuito (região crítica) original. A contribuição específica desta tese é o desenvolvimento de um método de dimensionamento de subcircuitos capaz de obter soluções com área ativa mínima, respeitando a capacitância máxima de entrada, a carga a ser acionada, e a restrição de atraso imposta. O método é baseado em uma formulação de logical effort, e a principal contribuição é calcular analiticamente a derivada da área para obter área mínima, ao invés de fazer a derivada do atraso para obter o atraso mínimo, como é feito na formulação tradicional do logical effort. Simulações elétricas mostram que o modelo proposto é muito preciso para uma abordagem de primeira ordem, uma vez que apresenta erros médios de 1,48% para dissipação de potência, 2,28% para atraso de propagação e 6,5% para os tamanhos dos transistores.
Microelectronics industry has been relying more and more upon cell-based design methodology to face the growing complexity in the design of digital integrated circuits, since cell-based integrated circuits are designed in a faster and cheaper way than fullcustom circuits. Nevertheless, in spite of the advancements in the field of Electronic Design Automation, cell-based digital integrated circuits show inferior performance when compared with full-custom circuits. Therefore, it is desirable to find ways to bring the performance of cell-based circuits closer to that of full-custom circuits without compromising the design costs of the former circuits. Bearing this goal in mind, this thesis presents contributions towards an automatic flow of local optimization for cellbased digital circuits. By local optimization, it is meant circuit optimization within small context windows, in which optimizations are done taking into account the global context. This way, local optimization may include the detection and isolation of critical regions of the circuit and the generation of logic and transistor networks; these networks are sized according to the existing design constraints. Since local optimizations act in a reduced context, several solutions may be obtained considering local constraints, out of which the fittest solution is chosen to replace the original subcircuit (critical region). The specific contribution of this thesis is the development of a subcircuit sizing method capable of obtaining minimum active area solutions, taking into account the maximum input capacitance, the output load to be driven, and the imposed delay constraint. The method is based on the logical effort formulation, and the main contribution is to compute the area derivative to obtain minimum area, instead of making the delay derivative to obtain minimum delay, as it is done in the traditional logical effort formulation. Electrical simulations show that the proposed method is very precise for a first order approach, as it presents average errors of 1.48% in power dissipation, 2.28% in propagation delay, and 6.5% in transistor sizes.
APA, Harvard, Vancouver, ISO, and other styles
3

Galvis, Jorge Alberto. "Low-power flip-flop using internal clock gating and adaptive body bias." [Tampa, Fla] : University of South Florida, 2006. http://purl.fcla.edu/usf/dc/et/SFE0001465.

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

Yongyi, Yuan. "Investigation and implementation of data transmission look-ahead D flip-flops." Thesis, Linköping University, Department of Electrical Engineering, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2529.

Full text
Abstract:

This thesis investigates four D flip-flops with data transmission look-ahead circuits. Based on logical effort and power-delay products to resize all the transistor widths along the critical path in µm CMOS technology. The main goal is to verify and proof this kind of circuits can be used when the input data have low switching probabilities. From comparing the average energy consumption between the normal D flip-flops and D flip-flops with look-ahead circuits, D flip-flops with look-ahead circuits consume less power when the data switching activities are low.

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

Veřmiřovský, Jakub. "Koevoluce v evolučním návrhu obvodů." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2016. http://www.nusl.cz/ntk/nusl-255429.

Full text
Abstract:
This thesis deals with evolutionary design of the digital circuits performed by a cartesian genetic programing and optimization by a coevolution. Algorithm coevolves fitness predictors that are optimized for a population of candidate digital circuits. The thesis presents theoretical basis, especially genetic programming, coevolution in genetic programming, design of the digital circuits, and deals with possibilities of the utilization of the coevolution in the combinational circuit design. On the basis of this proposal, the application designing and optimizing logical circuits is implemented. Application functionality is verified in the five test tasks. The comparison between Cartesian genetic programming with and without coevolution is considered. Then logical circuits evolved using cartesian genetic programming with and without coevolution is compared with conventional design methods. Evolution using coevolution has reduced the number of evaluation of circuits during evolution in comparison with standard cartesian genetic programming without coevolution and in some cases is found solution with better parameters (i.e. less logical gates or less delay).
APA, Harvard, Vancouver, ISO, and other styles
6

Kalargaris, Charalampos. "Design methodologies and tools for vertically integrated circuits." Thesis, University of Manchester, 2017. https://www.research.manchester.ac.uk/portal/en/theses/design-methodologies-and-tools-for-vertically-integrated-circuits(63c9c674-566a-44e5-b6b6-8a277b1adf08).html.

Full text
Abstract:
Vertical integration technologies, such as three-dimensional integration and interposers, are technologies that support high integration densities while offering shorter interconnect lengths as compared to planar integration and other packaging technologies. To exploit these advantages, however, several challenges lay across the designing, manufacturing and testing stages of integrated systems. Considering the high complexity of modern microelectronic devices and the diverse features of vertical integration technologies, this thesis sheds light on the circuit design process. New methodologies and tools are offered in order to assess and improve traditional objectives in circuit design, such as performance, power, and area for vertically integrated circuits. Interconnects on different interposer materials are investigated, demonstrating the several trade-offs between power, performance, area, and crosstalk. A backend design flow is proposed to capture the performance and power gains from the introduction of the third dimension. Emphasis is also placed on the power consumption of modern circuits due to the immense growth of battery-operated devices in the last fifteen years. Therefore, the effect of scaling the operating voltage in three-dimensional circuits is investigated as it is one of the most efficient techniques for reducing power while considering the performance of the circuit. Furthermore, a solution to eliminate timing penalties from the usage of voltage scaling technique at finer circuits granularities is also presented in this thesis.
APA, Harvard, Vancouver, ISO, and other styles
7

Szalapaj, Peter J. "Logical graphics : logical representation of drawings to effect graphical transformation." Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/19334.

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

Rogers, Donna R. B. "The Effect of Dyad Interaction and Marital Adjustment on Cognitive Performance in Everyday Logical Problem Solving." DigitalCommons@USU, 1992. https://digitalcommons.usu.edu/etd/6061.

Full text
Abstract:
The theory of formal operations as a final stage of adult development has come under criticism for various reasons, primarily the overemphasis on logical thought processes which are based on invariant and absolute rules within a closed system. Everyday problems, in contrast, are typically "open-ended" and are defined by the context in which they are embedded. The purpose of this study was to investigate cognitive behaviors that occurred between two individuals as they cooperatively worked together to solve logical problems. Of interest were the effects of marital adjustment on cognitive performance, the relation between social behaviors, marital adjustment, and cognition, and the influence of familiar versus a stranger dyadic problem-solving setting on cognitive behaviors. It was hypothesized that well adjusted married and stranger dyads would not only demonstrate mastery of problem-solving tasks at the formal operational level, but would also demonstrate more relativistic and/or dialectical problem solving, and more facilitative social behaviors, than poorly adjusted married and stranger dyads. Forty couples between the ages of 35 and 50, who had been married between five and thirty years, were prescreened for verbal intelligence and marital adjustment. They were then randomly assigned to participate in one of four dyadic settings, that is, maritally well versus poorly adjusted couples solving problems in either married or unmarried/stranger dyads. Dyads were administered five formal operational problems. Two of the five were formal logical, or mathematical in nature, while three problems contained both mathematical and interpersonal, or social elements. Each dyad was videotaped during the problem-solving process, beginning with the instructions. Participant averaged about 1 hour and 15 minutes to complete five problems. Analyses of variance were performed on marital adjustment and dyadic setting as related to formal and relativistic cognitions. There were no marital adjustment or dyadic setting differences in overall ability to use formal operations. However, maritally well adjusted stranger and married dyads evidenced significantly more relativistic cognitions, particularly on problems involving a social/everyday element, than poorly adjusted married and stranger dyads. These differences also held constant across each of three increasingly complex levels of relativistic behaviors. Multivariate analyses were performed on four separate social behavior scales as related to formal and relativistic cognitions, as well as marital adjustment and dyadic setting groups. Again, formal operations did not distinguish between the differing social behaviors; however, the social behavior scales, particularly avoidant versus cooperative behaviors, were strongly related to marital adjustment and relativistic thinking.
APA, Harvard, Vancouver, ISO, and other styles
9

Rijn, Dirk Hendrik van. "Exploring the limited effect of inductive discovery learning computational models and model-based analyses /." [Amsterdam : Amsterdam : EPOS, experimenteel-psychologische onderzoekschool] ; Universiteit van Amsterdam [Host], 2003. http://dare.uva.nl/document/68567.

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

May, Bruce Matthew. "Elementary Logic as a Tool in Proving Mathematical Statements." Thesis, University of the Western Cape, 2008. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_1025_1263170321.

Full text
Abstract:

The findings of the study indicate that knowledge of logic does help to improve the ability of students to make logical connections (deductions) between and from
statements. The results of the study, however, do not indicate that knowledge and understanding of logic translates into improved proving ability of mathematical
statements by students.

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

Books on the topic "Logical effort"

1

F, Sproull Robert, and Harris David, eds. Logical effort: Designing fast CMOS circuits. San Francisco, Calif: Morgan Kaufmann Publishers, 1999.

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

Vilkko, Risto. A hundred years of logical investigation: Reform efforts of logic in Germany, 1781-1879. Paderborn: Mentis, 2002.

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

Varlamov, Oleg. Mivar databases and rules. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1508665.

Full text
Abstract:
The multidimensional open epistemological active network MOGAN is the basis for the transition to a qualitatively new level of creating logical artificial intelligence. Mivar databases and rules became the foundation for the creation of MOGAN. The results of the analysis and generalization of data representation structures of various data models are presented: from relational to "Entity — Relationship" (ER-model). On the basis of this generalization, a new model of data and rules is created: the mivar information space "Thing-Property-Relation". The logic-computational processing of data in this new model of data and rules is shown, which has linear computational complexity relative to the number of rules. MOGAN is a development of Rule - Based Systems and allows you to quickly and easily design algorithms and work with logical reasoning in the "If..., Then..." format. An example of creating a mivar expert system for solving problems in the model area "Geometry"is given. Mivar databases and rules can be used to model cause-and-effect relationships in different subject areas and to create knowledge bases of new-generation applied artificial intelligence systems and real-time mivar expert systems with the transition to"Big Knowledge". The textbook in the field of training "Computer Science and Computer Engineering" is intended for students, bachelors, undergraduates, postgraduates studying artificial intelligence methods used in information processing and management systems, as well as for users and specialists who create mivar knowledge models, expert systems, automated control systems and decision support systems. Keywords: cybernetics, artificial intelligence, mivar, mivar networks, databases, data models, expert system, intelligent systems, multidimensional open epistemological active network, MOGAN, MIPRA, KESMI, Wi!Mi, Razumator, knowledge bases, knowledge graphs, knowledge networks, Big knowledge, products, logical inference, decision support systems, decision-making systems, autonomous robots, recommendation systems, universal knowledge tools, expert system designers, logical artificial intelligence.
APA, Harvard, Vancouver, ISO, and other styles
4

Varlamov, Oleg. 18 examples of mivar expert systems. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1248446.

Full text
Abstract:
Many years of research on mivar technologies of logical artificial intelligence have allowed us to create a new powerful, versatile and fast tool, which is called "multidimensional open gnoseological active net" — "multidimensional open gnoseological active net: MOGAN". This tool allows you to quickly and easily design algorithms and work with logical reasoning in the "If..., Then..." format, and it can be used to model cause-and-effect relationships in different subject areas and create knowledge bases of new-generation applied artificial intelligence systems and real-time mivar expert systems with "Big Knowledge". The reader, after studying this tutorial, you will be able to create mivar expert system with the help of CASMI Wi!Mi. Designed for students, bachelors, masters and postgraduate students studying artificial intelligence methods, as well as for users, experts and specialists, creating a system of information processing and management, mivar models, expert systems, automated control systems, systems of decision support and Recommender systems.
APA, Harvard, Vancouver, ISO, and other styles
5

Borzyh, Stanislav. Pananthropea. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1218149.

Full text
Abstract:
The monograph is dedicated to the supercontinent Pananthropea, which was created by the efforts of people, and therefore is named in his honor. It consists of all purely geographical continents, as well as all land areas, representing a single organism that functions exactly as a whole, but at the same time divided by nature itself. The relevance of this approach is shown as follows, as described in the three chapters of the text. First, it demonstrates the physical connectivity of all regions of our planet with each other, which is expressed in a change in the logic of the topology, today planted and controlled by man. Secondly, the presence of this huge and unbroken array is evidenced by the biological component of the world economy, which we have also transformed to suit our needs, thereby redrawing the natural course of affairs in this area and turning it into a global one. Third, the same is true of the cultural domain of our life, which at some point became universal, which again was achieved for the sake of our goals and interests, as a result of which we are all now members of a single interconnected association. It is of interest to both specialists and a wide audience and will be useful for us to understand both ourselves and the reality that we have constructed.
APA, Harvard, Vancouver, ISO, and other styles
6

Critical transitions in nature and society. Princeton: Princeton University Press, 2009.

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

Abramsky, S., Dov M. Gabbay, and T. S. E. Maibaum, eds. Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures. Oxford University Press, 2001. http://dx.doi.org/10.1093/oso/9780198537816.001.0001.

Full text
Abstract:
Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline researchers in the field, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 5: Algebraic and Logical Structures covers all the fundamental topics of semantics in logic and computation. The extensive chapters are the result of several years of coordinated research, and each have thematic perspective. Together, they offer the reader the latest in research work, and the book will be indispensable
APA, Harvard, Vancouver, ISO, and other styles
8

Berto, Francesco, and Mark Jago. Impossible Worlds. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198812791.001.0001.

Full text
Abstract:
The latter half of the twentieth century witnessed an ‘intensional revolution’, a great collective effort to analyse notions which are absolutely fundamental to our understanding of the world and of ourselves—from meaning and information to knowledge, belief, causation, essence, supervenience, conditionality, as well as nomological, metaphysical, and logical necessity—in terms of a single concept. This was the concept of a possible world: a way things could have been. Possible worlds found applications in logic, metaphysics, semantics, game theory, information theory, artificial intelligence, and the philosophy of mind and cognition. However, possible worlds analyses have been facing numerous problems. This book traces them all back to hyperintensionality: the need for distinctions more fine-grained than the possible worlds apparatus can easily represent. It then introduces impossible worlds—ways things could not have been—as a general tool for modelling hyperintensional phenomena. The book discusses the metaphysics of impossible worlds and applies them to a range of central topics and open issues in logic, semantics, and philosophy: from the problem of logical omniscience in epistemic logic, to the semantics of non-classical logics, the modelling of imagination and mental simulation, the analysis of information and informative inference, truth in fiction, and counterpossible reasoning.
APA, Harvard, Vancouver, ISO, and other styles
9

Lorino, Philippe. Abduction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198753216.003.0007.

Full text
Abstract:
Abduction was introduced by Peirce, first as an abstract logical concept, and secondly as an epistemological model, the first step of inquiry: hypothesizing. In response to doubt, abduction builds a plausible and testable, but not yet tested, hypothesis. Peirce, in his later writings, outlined the further extension of abduction to the analysis of invention as a social process of action. In this chapter, abduction is characterized as a collective effort to invent new habits for the future. Organization scholars have used this notion for methodological reflection, but rarely involved it when theorizing the emergence of novelty in organizations. After recalling the original logical and epistemological definitions of abduction by Peirce, this chapter presents a case study from the area of urban planning that suggests applying the theory of abduction to organizational or inter-organizational doubtful and exploratory situations. The implications of this view for organization research and managerial practices are discussed.
APA, Harvard, Vancouver, ISO, and other styles
10

Allwein, Gerard, and Jon Barwise. Logical Reasoning with Diagrams. Oxford University Press, 1996. http://dx.doi.org/10.1093/oso/9780195104271.001.0001.

Full text
Abstract:
One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Logical effort"

1

Abbas, Karim. "Logical Effort." In Handbook of Digital CMOS Technology, Circuits, and Systems, 145–56. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-37195-1_4.

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

Alioto, Massimo, Elio Consoli, and Gaetano Palumbo. "The Logical Effort Method." In Flip-Flop Design in Nanometer CMOS, 1–26. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-01997-0_1.

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

Maheshwari, Sachin, Himadri Singh Raghav, and Anu Gupta. "Characterization of Logical Effort for Improved Delay." In Communications in Computer and Information Science, 108–17. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-42024-5_14.

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

Lasbouygues, B., R. Wilson, P. Maurine, N. Azémard, and D. Auvergne. "Physical Extension of the Logical Effort Model." In Lecture Notes in Computer Science, 838–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30205-6_86.

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

Dao, Hoang Q., and Vojin G. Oklobdzija. "Performance Comparison of VLSI Adders Using Logical Effort." In Lecture Notes in Computer Science, 25–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45716-x_3.

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

Alves, Luís M., Pedro Ribeiro, and Ricardo J. Machado. "Architectural Element Points: Estimating Software Development Effort by Analysis of Logical Architectures." In Information Systems: Development, Research, Applications, Education, 72–84. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46642-2_5.

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

Maheshwari, Sachin, Rameez Raza, Pramod Kumar, and Anu Gupta. "Convex Optimization of Energy and Delay Using Logical Effort Method in Deep Sub-micron Technology." In Communications in Computer and Information Science, 185–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-42024-5_23.

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

Heinemann, Bernhard. "Observational Effort and Formally Open Mappings." In Logic, Language, Information and Computation, 197–208. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02261-6_16.

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

Karmakar, Supriya. "Introduction: Multistate Devices and Logic." In Novel Three-state Quantum Dot Gate Field Effect Transistor, 1–6. New Delhi: Springer India, 2013. http://dx.doi.org/10.1007/978-81-322-1635-3_1.

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

Egger, Jeff, Rasmus Ejlers Møgelberg, and Alex Simpson. "Enriching an Effect Calculus with Linear Types." In Computer Science Logic, 240–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04027-6_19.

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

Conference papers on the topic "Logical effort"

1

Keane, John, Hanyong Eom, Tae-Hyoung Kim, Sachin Sapatnekar, and Chris Kim. "Subthreshold logical effort." In the 43rd annual conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1146909.1147022.

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

Johari, A., S. Mohamed, A. K. Halim, I. M. Yassin, and H. A. Hassan. "Logical circuit gate sizing using PSO guided by Logical Effort." In 2010 International Conference on Computer Applications and Industrial Electronics (ICCAIE). IEEE, 2010. http://dx.doi.org/10.1109/iccaie.2010.5735110.

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

Haile Yu, Yuk Hei Chan, and Philip H. W. Leong. "FPGA interconnect design using logical effort." In 2008 International Conference on Field Programmable Logic and Applications (FPL). IEEE, 2008. http://dx.doi.org/10.1109/fpl.2008.4629980.

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

Yu, Haile, Yuk Hei Chan, and Philip H. W. Leong. "FPGA interconnect design using logical effort." In the 16th international ACM/SIGDA symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1344671.1344710.

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

Maheshwari, Sachin, Jimit Patel, Sumit K. Nirmalkar, and Anu Gupta. "Logical effort based power-delay-product optimization." In 2014 International Conference on Advances in Computing, Communications and Informatics (ICACCI). IEEE, 2014. http://dx.doi.org/10.1109/icacci.2014.6968530.

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

Ali, Muhammad, Mohammad Ahmed, and Malgorzata Chrzanowska-Jeske. "Logical Effort model for CNFET-based circuits." In 2014 IEEE 14th International Conference on Nanotechnology (IEEE-NANO). IEEE, 2014. http://dx.doi.org/10.1109/nano.2014.6968105.

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

Yu, Haile. "FPGA interconnect sizing using extended logical effort model." In 2008 International Conference on Field Programmable Logic and Applications (FPL). IEEE, 2008. http://dx.doi.org/10.1109/fpl.2008.4630042.

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

Anacan, Rommel M., and Josephine L. Bagay. "Logical Effort Analysis of various VLSI design algorithms." In 2015 IEEE International Conference on Control System, Computing and Engineering (ICCSCE). IEEE, 2015. http://dx.doi.org/10.1109/iccsce.2015.7482151.

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

Tiwari, Satish Chandra, Aneesh Gupta, Kunwar Singh, and Maneesha Gupta. "Logical effort based automated transistor width optimization methodology." In 2011 World Congress on Information and Communication Technologies (WICT). IEEE, 2011. http://dx.doi.org/10.1109/wict.2011.6141396.

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

Chun-Hui Wu, Shun-Hua Lin, and Herming Chiueh. "logical effort model extension with temperature and voltage variations." In 2008 14th International Workshop on Thermal Inveatigation of ICs and Systems (THERMINIC). IEEE, 2008. http://dx.doi.org/10.1109/therminic.2008.4669884.

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

Reports on the topic "Logical effort"

1

Hicks, Julie, Laurin Yates, and Jackie Pettway. Mat Sinking Unit supply study : Mississippi River revetment. Engineer Research and Development Center (U.S.), September 2021. http://dx.doi.org/10.21079/11681/41867.

Full text
Abstract:
The Mississippi Valley Division (MVD) has maintained the Mississippi River banks for over 80 years. The Mat Sinking Unit (MSU), built in 1946, was considered state-of-the-art at the time. This system is still in operation today and has placed over 1,000 miles of Articulated Concrete Mats along the Mississippi River from Head of Passes, LA, to Cairo, IL. A new MSU has been designed and is expected to be fully mission capable and operational by the 2023 season, which is expected to increase the productivity from 2,000 squares/day up to 8,000 squares/day with double shifts and optimal conditions. This MSU supply study identifies and optimizes the supply chain logistics for increased production rates from the mat fields to the MSU. The production rates investigated for this effort are 2,000 squares/day, 4,000 squares/day, and 6,000 squares/day. RiskyProject® software, which utilizes a Monte Carlo method to determine a range of durations, manpower, and supplies based on logical sequencing is used for this study. The study identifies several potential supply and demand issues with the increased daily production rates. Distance to casting fields, number of barges, and square availability are the major issues to supply increased placement rates identified by this study.
APA, Harvard, Vancouver, ISO, and other styles
2

Bjella, Kevin, Yuri Shur, Misha Kanevskiy, Paul Duvoy, Bruno Grunau, John Best, Stephen Bourne, and Rosa Affleck. Improving design methodologies and assessment tools for building on permafrost in a warming climate. Engineer Research and Development Center (U.S.), November 2020. http://dx.doi.org/10.21079/11681/38879.

Full text
Abstract:
The U.S. Department of Defense (DoD) operates numerous Arctic and Subarctic installations, including Alaska. Changes to permafrost can threaten critical built infrastructure. It is critical to accurately characterize and compare site conditions in permafrost regions to enable the efficient, cost-effective design and construction of an infrastructure well suited to the permafrost environment and that meets DoD requirements. This report describes three research efforts to establish (1) field investigation approaches for ground ice detection and delineation, (2) methods and modeling for early warning detection of thawing permafrost under infrastructure, and (3) an outline of a decision support system that determines the most applicable foundation design for warming and degrading permafrost. Outcomes of these interrelated efforts address needs to improve construction of DoD mission critical infrastructure on Arctic and Subarctic permafrost terrains. Field investigation processes used systematic methodologies including borehole data and geophysical measurements to effectively characterize subsurface permafrost information. The Permafrost Foundation Decision Support System (PFFDSS) tool implements and logically links field survey information and foundation type assessments. The current version of PFFDSS is designed to be accessible to design-engineers of a broad range of experience, that will reduce the effort and cost, and improve the effectiveness of site assessment.
APA, Harvard, Vancouver, ISO, and other styles
3

Kim, Sung H. Germanium-Source Tunnel Field Effect Transistors for Ultra-Low Power Digital Logic. Fort Belvoir, VA: Defense Technical Information Center, May 2012. http://dx.doi.org/10.21236/ada561720.

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

Rose, Jonathan, Robert J. Francis, Paul Chow, and David Lewis. The Effect of Logic Block Complexity on Area of Programmable Gate Arrays. Fort Belvoir, VA: Defense Technical Information Center, January 1987. http://dx.doi.org/10.21236/ada207172.

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

Wiecha, Jean L., and Mary K. Muth. Agreements Between Public Health Organizations and Food and Beverage Companies: Approaches to Improving Evaluation. RTI Press, January 2021. http://dx.doi.org/10.3768/rtipress.2021.op.0067.2101.

Full text
Abstract:
Efforts in the United States and abroad to address the chronic disease epidemic have led to the emergence of voluntary industry agreements as a substitute for regulatory approaches to improve the healthfulness of foods and beverages. Because of the lack of access to data and limited budgets, evaluations of these agreements have often been limited to process evaluation with less focus on outcomes and impact. Increasing scientific scope and rigor in evaluating voluntary food and beverage industry agreements would improve potential public health benefits and understanding of the effects of these agreements. We describe how evaluators can provide formative, process, and outcome assessment and discuss challenges and opportunities for impact assessment. We explain how logic models, industry profiles, quasi-experimental designs, mixed-methods approaches, and third-party data can improve the effectiveness of agreement design and evaluation. These methods could result in more comprehensive and rigorous evaluation of voluntary industry agreements, thus providing data to bolster the public health impacts of future agreements. However, improved access to data and larger evaluation budgets will be needed to support improvements in evaluation.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Logical effort' 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