static logic
Recently Published Documents


TOTAL DOCUMENTS

50
(FIVE YEARS 4)

H-INDEX

6
(FIVE YEARS 0)

2021 ◽  
Vol 30 ◽  
pp. 734
Author(s):  
Filipe Hisao Kobayashi

Scattered reciprocals (SRs) are Brazilian Portuguese constructions built from two discontinuous phrases which can offer a new window into the issue of the building blocks of reciprocity. By investigating how reciprocity is compositionally built in sentences with SRs, a puzzle emerges: SRs can apparently take split scope around other quantifiers, but only if these quantifiers are pronounced in a position outside of the reciprocal's scope domain. I argue that these are only apparent cases of split scope and, building on Murray (2008) and Dotlačil (2012), I propose a decompositional account of reciprocals which is formalized in Champollion, Bledin & Li's (2017) Plural Predicate Logic, a static logic which makes use of sets of assignment functions to model plurals. The resulting analysis allows us to view SRs and reciprocal pronouns like each other as being built from the same pieces, with the only difference between them being in how they are syntactically built.


Arithmetic Logic Unit (ALU) is the main component in the processors. Most important design consideration in integrated circuit is power. In all the components of ALU data path is the active one and it consumes more percent of power in the total power. In the modern microprocessors it is important to have power efficient data paths. To reduce the power consumption in microprocessors the ALU is designed using PNS-FCR static CMOS logic. In this paper static CMOS logic is used to reduce power consumption. Static technique does not need any clock. So it leads to less power consumption. For the implementation of the ALU with the PNS-FCR static logic mentor graphics tool is used. The power consumption of ALU is compared with and without using FCR. An 8-bit ALU is designed in mentor graphics with 130nm technology. The proposed design methodology gives less power consumption


2017 ◽  
Vol 17 (2) ◽  
pp. 20-28
Author(s):  
M. Elizabeth Snow ◽  
Nancy Snow

Logic models are commonly used by evaluators to illustrate relationships among a program's inputs, activities, outputs, and outcomes. They are useful in helping intended users develop programs, communicate a program's theory of change, and design evaluations. However, as static documents, logic models can be challenging to build, work with, and present to stakeholders, especially for large and complex programs. Challenged by this inadequacy of static logic models, a program evaluator turned to a graphic designer and a software developer for help. Together, this interdisciplinary group developed web-based software (Dylomo) that allows evaluators to create logic models that better communicate the logic within the model. In this paper, we describe the process by which this interdisciplinary group created this new technology—including a user-testing experience at the Canadian Evaluation Society Conference in Canada in June 2016—to build and present logic models that use interactivity and allow program evaluators to more easily demonstrate the logic within a complex program and to visually explore the potential effects of changes within the program's landscape. This software is freely available on the web, so readers can apply it to their own evaluation practice.


Sign in / Sign up

Export Citation Format

Share Document