Efficient alternative wiring techniques and applications.

Sze, Chin Ngai.Thesis (M.Phil.)--Chinese University of Hong Kong, 2001.Includes bibliographical references (leaves 80-84) and index.Abstracts in English and Chinese.Abstract --- p.iAcknowledgments --- p.iiiCurriculum Vitae --- p.ivList of Figures --- p.ixList of Tables --- p.xiiChapter 1 --- Introduction --- p.1Chapter 1.1 --- Motivation and Aims --- p.1Chapter 1.2 --- Contribution --- p.8Chapter 1.3 --- Organization of Dissertation --- p.10Chapter 2 --- Definitions and Notations --- p.11Chapter 3 --- Literature Review --- p.15Chapter 3.1 --- Logic Reconstruction --- p.15Chapter 3.1.1 --- SIS: A System for Sequential and Combinational Logic Synthesis --- p.16Chapter 3.2 --- ATPG-based Alternative Wiring --- p.17Chapter 3.2.1 --- Redundancy Addition and Removal for Logic Optimization --- p.18Chapter 3.2.2 --- Perturb and Simplify Logic Optimization --- p.18Chapter 3.2.3 --- REWIRE --- p.21Chapter 3.2.4 --- Implication-tree Based Alternative Wiring Logic Trans- formation --- p.22Chapter 3.3 --- Graph-based Alternative Wiring --- p.24Chapter 4 --- Implication Based Alternative Wiring Logic Transformation --- p.25Chapter 4.1 --- Source Node Implication --- p.25Chapter 4.1.1 --- Introduction --- p.25Chapter 4.1.2 --- Implication Relationship and Implication-tree --- p.25Chapter 4.1.3 --- Selection of Alternative Wire Based on Implication-tree --- p.29Chapter 4.1.4 --- Implication-tree Based Logic Transformation --- p.32Chapter 4.2 --- Destination Node Implication --- p.35Chapter 4.2.1 --- Introduction --- p.35Chapter 4.2.2 --- Destination Node Relationship --- p.35Chapter 4.2.3 --- Destination Node Implication-tree --- p.39Chapter 4.2.4 --- Selection of Alternative Wire --- p.41Chapter 4.3 --- The Algorithm --- p.43Chapter 4.3.1 --- IB AW Implementation --- p.43Chapter 4.3.2 --- Experimental Results --- p.43Chapter 4.4 --- Conclusion --- p.45Chapter 5 --- Graph Based Alternative Wiring Logic Transformation --- p.47Chapter 5.1 --- Introduction --- p.47Chapter 5.2 --- Notations and Definitions --- p.48Chapter 5.3 --- Alternative Wire Patterns --- p.50Chapter 5.4 --- Construction of Minimal Patterns --- p.54Chapter 5.4.1 --- Minimality of Patterns --- p.54Chapter 5.4.2 --- Minimal Pattern Formation --- p.56Chapter 5.4.3 --- Pattern Extraction --- p.61Chapter 5.5 --- Experimental Results --- p.63Chapter 5.6 --- Conclusion --- p.63Chapter 6 --- Logic Optimization by GBAW --- p.66Chapter 6.1 --- Introduction --- p.66Chapter 6.2 --- Logic Simplification --- p.67Chapter 6.2.1 --- Single-Addition-Multiple-Removal by Pattern Feature . . --- p.67Chapter 6.2.2 --- Single-Addition-Multiple-Removal by Combination of Pat- terns --- p.68Chapter 6.2.3 --- Single-Addition-Single-Removal --- p.70Chapter 6.3 --- Incremental Perturbation Heuristic --- p.71Chapter 6.4 --- GBAW Optimization Algorithm --- p.73Chapter 6.5 --- Experimental Results --- p.73Chapter 6.6 --- Conclusion --- p.76Chapter 7 --- Conclusion --- p.78Bibliography --- p.80Chapter A --- VLSI Design Cycle --- p.85Chapter B --- Alternative Wire Patterns in [WLFOO] --- p.87Chapter B.1 --- 0-local Pattern --- p.87Chapter B.2 --- 1-local Pattern --- p.88Chapter B.3 --- 2-local Pattern --- p.89Chapter B.4 --- Fanout-reconvergent Pattern --- p.90Chapter C --- New Alternative Wire Patterns --- p.91Chapter C.1 --- Pattern Cluster C1 --- p.91Chapter C.1.1 --- NAND-NAND-AND/NAND;AND/NAND --- p.91Chapter C.1.2 --- NOR-NOR-OR/NOR;AND/NAND --- p.92Chapter C.1.3 --- AND-NOR-OR/NOR;OR/NOR --- p.95Chapter C.1.4 --- OR-NAND-AND/NAND;AND/NAND --- p.95Chapter C.2 --- Pattern Cluster C2 --- p.98Chapter C.3 --- Pattern Cluster C3 --- p.99Chapter C.4 --- Pattern Cluster C4 --- p.104Chapter C.5 --- Pattern Cluster C5 --- p.105Glossary --- p.106Index --- p.10

Learning understandable classifier models.

The topic of this dissertation is the automation of the process of extracting understandable patterns and rules from data. An unprecedented amount of data is available to anyone with a computer connected to the Internet. The disciplines of Data Mining and Machine Learning have emerged over the last two decades to face this challenge. This has led to the development of many tools and methods. These tools often produce models that make very accurate predictions about previously unseen data. However, models built by the most accurate methods are usually hard to understand or interpret by humans. In consequence, they deliver only decisions, and are short of any explanations. Hence they do not directly lead to the acquisition of new knowledge. This dissertation contributes to bridging the gap between the accurate opaque models and those less accurate but more transparent for humans. This dissertation first defines the problem of learning from data. It surveys the state-of-the-art methods for supervised learning of both understandable and opaque models from data, as well as unsupervised methods that detect features present in the data. It describes popular methods of rule extraction from unintelligible models which rewrite them into an understandable form. Limitations of rule extraction are described. A novel definition of understandability which ties computational complexity and learning is provided to show that rule extraction is an NP-hard problem. Next, a discussion whether one can expect that even an accurate classifier has learned new knowledge. The survey ends with a presentation of two approaches to building of understandable classifiers. On the one hand, understandable models must be able to accurately describe relations in the data. On the other hand, often a description of the output of a system in terms of its input requires the introduction of intermediate concepts, called features. Therefore it is crucial to develop methods that describe the data with understandable features and are able to use those features to present the relation that describes the data. Novel contributions of this thesis follow the survey. Two families of rule extraction algorithms are considered. First, a method that can work with any opaque classifier is introduced. Artificial training patterns are generated in a mathematically sound way and used to train more accurate understandable models. Subsequently, two novel algorithms that require that the opaque model is a Neural Network are presented. They rely on access to the network\u27s weights and biases to induce rules encoded as Decision Diagrams. Finally, the topic of feature extraction is considered. The impact on imposing non-negativity constraints on the weights of a neural network is considered. It is proved that a three layer network with non-negative weights can shatter any given set of points and experiments are conducted to assess the accuracy and interpretability of such networks. Then, a novel path-following algorithm that finds robust sparse encodings of data is presented. In summary, this dissertation contributes to improved understandability of classifiers in several tangible and original ways. It introduces three distinct aspects of achieving this goal: infusion of additional patterns from the underlying pattern distribution into rule learners, the derivation of decision diagrams from neural networks, and achieving sparse coding with neural networks with non-negative weights

Become an American Board of Professional Psychology (ABPP) Board Certified Specialist in Behavioral and Cognitive Psychology

This workshop will focus on how to become a Board Certified Specialist in Behavioral and Cognitive Psychology. Certification by ABPP demonstrates psychologists have met their specialty’s standards and competencies. Board Certification is valuable for several reasons: (a) it is increasingly becoming an expectation in our profession; (b) it enhances practitioner credibility for patients; (c) it distinguishes you from other psychologists; (d) there are potential salary increases by the VA, hospitals, the military, and other health care facilities; (e) it enhances qualifications as an expert witness; (f) it facilitates inter-jurisdictional licensing and practice mobility; and (g) it streamlines the credentialing process for licensing boards, and insurance companies. The application process for regular, early entry (graduate students, interns, and residents), and senior option candidates will be reviewed

Relationship Health Across Diverse and Underserved Communities: Connecting Theory and Practice to Inform Therapeutic Processes for Couple Distress

Symposium Chairs: Judith Biesen, M.A., University of Notre Dame Binghuang A. Wang, M.S., Binghamton University, State University of New Yor

Religion/Spirituality as a Predictor of Attrition from a Culturally Informed Family Treatment for Schizophrenia that Targets Religious Coping

Symposium Title: The Integration of Religion/Spirituality into Culturally-Informed, Cognitive-Behavioral Mental Health Treatments Chair: Kayla K. Thayer, Ph.D., Nova Southeastern University Discussant: Stevan Lars Nielsen, Ph.D., Brigham Young Universit

Maintenance of Relationship Functioning For ePREP and OurRelationship for Low-income Couples

Symposium Title: Relationship Health Across Diverse and Underserved Communities: Connecting Theory and Practice to Inform Therapeutic Processes for Couple Distress Chairs: Judith Biesen, M.A., University of Notre Dame; Binghuang A. Wang, M.S., Binghamton University, State University of New York Discussant: Emily Georgia Salivar, Ph.D., Nova Southeastern Universit

Imagine Being Accused of Scientific Fraud!

Our careers have been characterized by wonderfully serendipitous opportunities; being accused of scientific fraud was not one of them. The study involved a randomized controlled trial we conducted in 1970-1971 with alcohol abusers using a low-risk drinking goal rather than an abstinence goal, and the low-risk drinking goal group had better outcomes over 3 years of follow-up. In 1982 it was alleged that we had committed scientific fraud. The attack received national and international attention, including on 60 Minutes. Fortunately, we had maintained meticulous records from the study for 12 years and were vindicated in four major investigations and a $95 million lawsuit. In retrospect, that experience had an upside. It taught us that science is a social process that can be very rough and tumble, that colleagues with integrity are invaluable, and that investigative news shows are primarily entertainment and are forgotten very quickly. Our careers also had other highlights. Our early research involved conducting experimental intoxication studies with individuals who had serious alcohol problems. We learned much from those studies, because alcohol problems are among the few disorders almost always studied in the absence of symptoms. To evaluate our first controlled trial with low-risk drinking, we developed an assessment instrument now known as the Timeline Followback for collecting retrospective reports of behaviors. Over our careers we focused on the large population of persons who have alcohol problems that are not severe, we did research on natural recovery (also referred to as self-change), and we developed and validated a treatment called Guided Self-Change (GSC) in individual and group formats. The GSC treatment has now been validated in 12 studies and 4 languages. Finally, we were involved in community dissemination of evidence-based practice, preventing alcohol-exposed pregnancies, and we developed and evaluated a computer and smartphone intervention called iSelfChange. At the end of this session, the learner will be able to: Describe the upside, downside, and aftermath of a scientific controversy that derived from research successfully challenging conventional wisdom. Describe evolution of a program of motivational behavioral-cognitive treatment research on alcohol problems to pioneer research on self-change and innovative treatments. Describe how studying persons with alcohol use disorders when they were intoxicated provided valuable insights into the nature of alcohol problems. Recommended Readings: Marlatt, G. A. (1983). The controlled-drinking controversy: A commentary. American Psychologist, 38(10), 1097-1110. doi:10.1037/0003-066x.38.10 .1097Sobell, M. B., & Sobell, L. C. (2005). Guided Self-Change treatment for substance abusers. Journal of Cognitive Psychotherapy, 19, 199-210.Sobell, L.C., Sobell, M. B., & Agrawal, S. (2009). Randomized controlled trial of a cognitive-behavioral motivational intervention in a group versus individual format for substance use disorders. Psychology of Addictive Behaviors, 23, 4, 672-683. doi: 10.1037/a00116636.Sobell, L. C., Sobell, M. B., Leo, G. I., Agrawal, S., Johnson-Young, L., & Cunningham, J. A. (2002). Promoting self-change with alcohol abusers: A community-level mail intervention based on natural recovery studies. Alcoholism: Clinical and Experimental Research, 26, 936-948

Effects of a Web-based Relationship Program on Co-parenting and Child Functioning

Symposium Title: Novel Preventive Intervention Strategies For Couples and Families: Extending the Reach and Social Impact of CBT to Promote Relationship Quality and Adult and Child Well-being Chair: Allen W. Barton, Ph.D., University of Illinois, Urbana Champaign Discussant: Scott Stanley, Ph.D., University of Denve

The drivers of Corporate Social Responsibility in the supply chain. A case study.

Purpose: The paper studies the way in which a SME integrates CSR into its corporate strategy, the practices it puts in place and how its CSR strategies reflect on its suppliers and customers relations. Methodology/Research limitations: A qualitative case study methodology is used. The use of a single case study limits the generalizing capacity of these findings. Findings: The entrepreneur’s ethical beliefs and value system play a fundamental role in shaping sustainable corporate strategy. Furthermore, the type of competitive strategy selected based on innovation, quality and responsibility clearly emerges both in terms of well defined management procedures and supply chain relations as a whole aimed at involving partners in the process of sustainable innovation. Originality/value: The paper presents a SME that has devised an original innovative business model. The study pivots on the issues of innovation and eco-sustainability in a context of drivers for CRS and business ethics. These values are considered fundamental at International level; the United Nations has declared 2011 the “International Year of Forestry”