13 research outputs found

    Cognitive bearing of techno-advances in Kashmiri carpet designing

    Get PDF
    The design process in Kashmiri carpet weaving is a distributed process encompassing a number of actors and artifacts. These include a designer called naqash who creates the design on graphs, and a coder called talim-guru who encodes that design in a specific notation called talim which is deciphered and interpreted by the weavers to weave the design. The technological interventions over the years have influenced these artifacts considerably and triggered major changes in the practice, from heralding profound cognitive accomplishments in manually driven design process causing major alterations in the overall structure of the practice. The recent intervention is by the digital technology: on the one hand, it has brought precision and speedy processing in the design process, and on the other, it has eliminated some of the crucial actors from the practice. This paper, which forms part of a larger study on the situated and distributed cognitive process in Kashmiri carpet-weaving practice, describes the technological makeover of the design artifacts involved in this practice over the years and their resultant cognitive impact on the design process as well as on the practice

    An Implicit Algorithm for Finding Steady States and its Application to FSM Verification

    No full text
    Finding the set of steady states of a machine has applications in formal veri#cation,sequential synthesis and ATPG. Existing techniques assume the presence of a designated set of initial states which is impractical in a real design environment. The set of steady states of a design is de#ned by the terminally strongly connectedcomponents #tSCCs# of the underlying state transition graph #STG#. We show that multiple tSCCs and non-terminal SCCs needtobe handledinareal design environment especially for veri#cation. We present a fully implicit algorithm to #nd the steady states of a machine without any knowledge of initial states. We demonstrate the utility of our algorithm by applying it to FSM equivalence checking. 1 Introduction The steady states of an FSM capture its asymptotic behavior, after su#ciently long input sequences. In many applications, the behavior of the FSM outside the steady states is a don't care machine. Consequently, #nding the set of steady states of a sequential mac..

    An implicit algorithm for finding steady states and its applications to FSM verifcation

    No full text
    Finding the set of steady states of a machine has applications in formal veri cation, sequential synthesis and ATPG. Existing techniques assume the presence of a designated set of initial states which is impractical in a real design environment. The set of steady states of a design is de ned by the terminally strongly connectedcomponents (tSCCs) of the underlying state transition graph (STG). We show that multiple tSCCs and non-terminal SCCs need tobe handledinareal design environment especially for veri cation. We present a fully implicit algorithm to nd the steady states of a machine without any knowledge of initial states. We demonstrate the utility of our algorithm by applying it to FSM equivalence checking.

    Streamlined sign-out of capillary protein electrophoresis using middleware and an open-source macro application

    No full text
    Background: Interfacing of clinical laboratory instruments with the laboratory information system (LIS) via "middleware" software is increasingly common. Our clinical laboratory implemented capillary electrophoresis using a Sebia; Capillarys-2™ (Norcross, GA, USA) instrument for serum and urine protein electrophoresis. Using Data Innovations Instrument Manager, an interface was established with the LIS (Cerner) that allowed for bi-directional transmission of numeric data. However, the text of the interpretive pathology report was not properly transferred. To reduce manual effort and possibility for error in text data transfer, we developed scripts in AutoHotkey, a free, open-source macro-creation and automation software utility. Materials and Methods: Scripts were written to create macros that automated mouse and key strokes. The scripts retrieve the specimen accession number, capture user input text, and insert the text interpretation in the correct patient record in the desired format. Results: The scripts accurately and precisely transfer narrative interpretation into the LIS. Combined with bar-code reading by the electrophoresis instrument, the scripts transfer data efficiently to the correct patient record. In addition, the AutoHotKey script automated repetitive key strokes required for manual entry into the LIS, making protein electrophoresis sign-out easier to learn and faster to use by the pathology residents. Scripts allow for either preliminary verification by residents or final sign-out by the attending pathologist. Conclusions: Using the open-source AutoHotKey software, we successfully improved the transfer of text data between capillary electrophoresis software and the LIS. The use of open-source software tools should not be overlooked as tools to improve interfacing of laboratory instruments

    Use of a data warehouse at an academic medical center for clinical pathology quality improvement, education, and research

    No full text
    Background: Pathology data contained within the electronic health record (EHR), and laboratory information system (LIS) of hospitals represents a potentially powerful resource to improve clinical care. However, existing reporting tools within commercial EHR and LIS software may not be able to efficiently and rapidly mine data for quality improvement and research applications. Materials and Methods: We present experience using a data warehouse produced collaboratively between an academic medical center and a private company. The data warehouse contains data from the EHR, LIS, admission/discharge/transfer system, and billing records and can be accessed using a self-service data access tool known as Starmaker. The Starmaker software allows users to use complex Boolean logic, include and exclude rules, unit conversion and reference scaling, and value aggregation using a straightforward visual interface. More complex queries can be achieved by users with experience with Structured Query Language. Queries can use biomedical ontologies such as Logical Observation Identifiers Names and Codes and Systematized Nomenclature of Medicine. Result: We present examples of successful searches using Starmaker, falling mostly in the realm of microbiology and clinical chemistry/toxicology. The searches were ones that were either very difficult or basically infeasible using reporting tools within the EHR and LIS used in the medical center. One of the main strengths of Starmaker searches is rapid results, with typical searches covering 5 years taking only 1-2 min. A "Run Count" feature quickly outputs the number of cases meeting criteria, allowing for refinement of searches before downloading patient-identifiable data. The Starmaker tool is available to pathology residents and fellows, with some using this tool for quality improvement and scholarly projects. Conclusion: A data warehouse has significant potential for improving utilization of clinical pathology testing. Software that can access data warehouse using a straightforward visual interface can be incorporated into pathology training programs
    corecore