Matrix computations in MACSYMA

NASA Technical Reports Server (NTRS)

Wang, P. S.

1977-01-01

Facilities built into MACSYMA for manipulating matrices with numeric or symbolic entries are described. Computations will be done exactly, keeping symbols as symbols. Topics discussed include how to form a matrix and create other matrices by transforming existing matrices within MACSYMA; arithmetic and other computation with matrices; and user control of computational processes through the use of optional variables. Two algorithms designed for sparse matrices are given. The computing times of several different ways to compute the determinant of a matrix are compared.

The Reality, Direction, and Future of Computerized Publications

ERIC Educational Resources Information Center

Levenstein, Nicholas

2012-01-01

Sharing information in digital form by using a computer is a growing phenomenon. Many universities are making their applications available on computer. More than one hundred and thirty-six universities have developed computerized applications on their own or through a commercial vendor. Universities developed computerized applications in order to…

Computerized Adaptive Assessment of Cognitive Abilities among Disabled Adults.

ERIC Educational Resources Information Center

Engdahl, Brian

This study examined computerized adaptive testing and cognitive ability testing of adults with cognitive disabilities. Adult subjects (N=250) were given computerized tests on language usage and space relations in one of three administration conditions: paper and pencil, fixed length computer adaptive, and variable length computer adaptive.…

Reduced circuit implementation of encoder and syndrome generator

DOE Office of Scientific and Technical Information (OSTI.GOV)

Trager, Barry M; Winograd, Shmuel

An error correction method and system includes an Encoder and Syndrome-generator that operate in parallel to reduce the amount of circuitry used to compute check symbols and syndromes for error correcting codes. The system and method computes the contributions to the syndromes and check symbols 1 bit at a time instead of 1 symbol at a time. As a result, the even syndromes can be computed as powers of the odd syndromes. Further, the system assigns symbol addresses so that there are, for an example GF(2.sup.8) which has 72 symbols, three (3) blocks of addresses which differ by a cubemore » root of unity to allow the data symbols to be combined for reducing size and complexity of odd syndrome circuits. Further, the implementation circuit for generating check symbols is derived from syndrome circuit using the inverse of the part of the syndrome matrix for check locations.« less

Script identification from images using cluster-based templates

DOEpatents

Hochberg, J.G.; Kelly, P.M.; Thomas, T.R.

1998-12-01

A computer-implemented method identifies a script used to create a document. A set of training documents for each script to be identified is scanned into the computer to store a series of exemplary images representing each script. Pixels forming the exemplary images are electronically processed to define a set of textual symbols corresponding to the exemplary images. Each textual symbol is assigned to a cluster of textual symbols that most closely represents the textual symbol. The cluster of textual symbols is processed to form a representative electronic template for each cluster. A document having a script to be identified is scanned into the computer to form one or more document images representing the script to be identified. Pixels forming the document images are electronically processed to define a set of document textual symbols corresponding to the document images. The set of document textual symbols is compared to the electronic templates to identify the script. 17 figs.

Script identification from images using cluster-based templates

DOEpatents

Hochberg, Judith G.; Kelly, Patrick M.; Thomas, Timothy R.

1998-01-01

A computer-implemented method identifies a script used to create a document. A set of training documents for each script to be identified is scanned into the computer to store a series of exemplary images representing each script. Pixels forming the exemplary images are electronically processed to define a set of textual symbols corresponding to the exemplary images. Each textual symbol is assigned to a cluster of textual symbols that most closely represents the textual symbol. The cluster of textual symbols is processed to form a representative electronic template for each cluster. A document having a script to be identified is scanned into the computer to form one or more document images representing the script to be identified. Pixels forming the document images are electronically processed to define a set of document textual symbols corresponding to the document images. The set of document textual symbols is compared to the electronic templates to identify the script.

Brute force meets Bruno force in parameter optimisation: introduction of novel constraints for parameter accuracy improvement by symbolic computation.

PubMed

Nakatsui, M; Horimoto, K; Lemaire, F; Ürgüplü, A; Sedoglavic, A; Boulier, F

2011-09-01

Recent remarkable advances in computer performance have enabled us to estimate parameter values by the huge power of numerical computation, the so-called 'Brute force', resulting in the high-speed simultaneous estimation of a large number of parameter values. However, these advancements have not been fully utilised to improve the accuracy of parameter estimation. Here the authors review a novel method for parameter estimation using symbolic computation power, 'Bruno force', named after Bruno Buchberger, who found the Gröbner base. In the method, the objective functions combining the symbolic computation techniques are formulated. First, the authors utilise a symbolic computation technique, differential elimination, which symbolically reduces an equivalent system of differential equations to a system in a given model. Second, since its equivalent system is frequently composed of large equations, the system is further simplified by another symbolic computation. The performance of the authors' method for parameter accuracy improvement is illustrated by two representative models in biology, a simple cascade model and a negative feedback model in comparison with the previous numerical methods. Finally, the limits and extensions of the authors' method are discussed, in terms of the possible power of 'Bruno force' for the development of a new horizon in parameter estimation.

Integration of symbolic and algorithmic hardware and software for the automation of space station subsystems

NASA Technical Reports Server (NTRS)

Gregg, Hugh; Healey, Kathleen; Hack, Edmund; Wong, Carla

1987-01-01

Expert systems that require access to data bases, complex simulations and real time instrumentation have both symbolic as well as algorithmic computing needs. These needs could both be met using a general computing workstation running both symbolic and algorithmic code, or separate, specialized computers networked together. The later approach was chosen to implement TEXSYS, the thermal expert system, developed to demonstrate the ability of an expert system to autonomously control the thermal control system of the space station. TEXSYS has been implemented on a Symbolics workstation, and will be linked to a microVAX computer that will control a thermal test bed. Integration options are explored and several possible solutions are presented.

Symbolizing as a Constructive Activity in a Computer Microworld.

ERIC Educational Resources Information Center

Steffe, Leslie P.; Olive, John

1996-01-01

Describes how 2 10-year olds developed drawings and numeral systems to symbolize their mental operations while dividing unit bars into thirds and fourths using TIMA: Bars, a computer microworld, as a medium for enacting mathematical actions. The symbolic nature of their partitioning operations was crucial in establishing more conventional…

Optical Symbolic Computing

NASA Astrophysics Data System (ADS)

Neff, John A.

1989-12-01

Experiments originating from Gestalt psychology have shown that representing information in a symbolic form provides a more effective means to understanding. Computer scientists have been struggling for the last two decades to determine how best to create, manipulate, and store collections of symbolic structures. In the past, much of this struggling led to software innovations because that was the path of least resistance. For example, the development of heuristics for organizing the searching through knowledge bases was much less expensive than building massively parallel machines that could search in parallel. That is now beginning to change with the emergence of parallel architectures which are showing the potential for handling symbolic structures. This paper will review the relationships between symbolic computing and parallel computing architectures, and will identify opportunities for optics to significantly impact the performance of such computing machines. Although neural networks are an exciting subset of massively parallel computing structures, this paper will not touch on this area since it is receiving a great deal of attention in the literature. That is, the concepts presented herein do not consider the distributed representation of knowledge.

36 CFR 1120.52 - Computerized records.

Code of Federal Regulations, 2010 CFR

2010-07-01

... organizations and upon the particular types of computer and associated equipment and the amounts of time on such... from the computer which permits copying the printout, the material will be made available at the per... information from computerized records frequently involves a minimum computer time cost of approximately $100...

36 CFR 1120.52 - Computerized records.

Code of Federal Regulations, 2011 CFR

2011-07-01

... organizations and upon the particular types of computer and associated equipment and the amounts of time on such... from the computer which permits copying the printout, the material will be made available at the per... information from computerized records frequently involves a minimum computer time cost of approximately $100...

A Case against Computer Symbolic Manipulation in School Mathematics Today.

ERIC Educational Resources Information Center

Waits, Bert K.; Demana, Franklin

1992-01-01

Presented are two reasons discouraging computer symbol manipulation systems use in school mathematics at present: cost for computer laboratories or expensive pocket computers; and impracticality of exact solution representations. Although development with this technology in mathematics education advances, graphing calculators are recommended to…

SNAP: A computer program for generating symbolic network functions

NASA Technical Reports Server (NTRS)

Lin, P. M.; Alderson, G. E.

1970-01-01

The computer program SNAP (symbolic network analysis program) generates symbolic network functions for networks containing R, L, and C type elements and all four types of controlled sources. The program is efficient with respect to program storage and execution time. A discussion of the basic algorithms is presented, together with user's and programmer's guides.

The Impact of Computer Technology on the Family.

ERIC Educational Resources Information Center

Bailey, Anne Wiseman

1982-01-01

Computer technology as it affects home and family life is explored. Elements of this technology which are examined include electronic fund transfers (EFT), consumer rights and responsibilities relating to use of EFT, working at home via computer, housing design, costs of computerizing the home, and computerized aids for the handicapped. (CT)

Arkansas' Curriculum Guide. Competency Based Computerized Accounting.

ERIC Educational Resources Information Center

Arkansas State Dept. of Education, Little Rock. Div. of Vocational, Technical and Adult Education.

This guide contains the essential parts of a total curriculum for a one-year secondary-level course in computerized accounting. Addressed in the individual sections of the guide are the following topics: the complete accounting cycle, computer operations for accounting, computerized accounting and general ledgers, computerized accounts payable,…

Features of Computerized Educational Games in Sciences of the Elementary Phase in Jordan from the Point of View of Specialists in Teaching Science and Computer Subjects

ERIC Educational Resources Information Center

Al Sarhan, Khaled Ali; AlZboon, Saleem Odeh; Olimat, Khalaf Mufleh; Al-Zboon, Mohammad Saleem

2013-01-01

The study aims at introducing the features of the computerized educational games in sciences at the elementary school in Jordan according to the specialists in teaching science and computer subjects, through answering some questions such as: What are the features of the computerized educational games in sciences at the elementary schools in Jordan…

Developing Computerized Tests for Classroom Teachers: A Pilot Study.

ERIC Educational Resources Information Center

Glowacki, Margaret L.; And Others

Two types of computerized testing have been defined: (1) computer-based testing, using a computer to administer conventional tests in which all examinees take the same set of items; and (2) adaptive tests, in which items are selected for administration by the computer, based on examinee's previous responses. This paper discusses an option for…

The Effect of a Brief Acceptance and Commitment Therapy Intervention on the Near-Miss Effect in Problem Gamblers

ERIC Educational Resources Information Center

Nastally, Becky L.; Dixon, Mark R.

2012-01-01

In the current study, 3 participants with a history of problem gambling were exposed to computerized slot machine play consisting of outcomes that depicted wins, losses, and near misses (2 out of 3 identical slot machine symbols). Participants were asked to rate each type of outcome in terms of its closeness to a win on a scale of 1 to 10 before…

Use of symbolic computation in robotics education

NASA Technical Reports Server (NTRS)

Vira, Naren; Tunstel, Edward

1992-01-01

An application of symbolic computation in robotics education is described. A software package is presented which combines generality, user interaction, and user-friendliness with the systematic usage of symbolic computation and artificial intelligence techniques. The software utilizes MACSYMA, a LISP-based symbolic algebra language, to automatically generate closed-form expressions representing forward and inverse kinematics solutions, the Jacobian transformation matrices, robot pose error-compensation models equations, and Lagrange dynamics formulation for N degree-of-freedom, open chain robotic manipulators. The goal of such a package is to aid faculty and students in the robotics course by removing burdensome tasks of mathematical manipulations. The software package has been successfully tested for its accuracy using commercially available robots.

The Impact of Computerization on Library Support Staff: A Study of Support Staff in Academic Libraries in Wisconsin.

ERIC Educational Resources Information Center

Palmini, Cathleen C.

1994-01-01

Describes a survey of Wisconsin academic library support staff that explored the effects of computerization of libraries on work and job satisfaction. Highlights include length of employment; time spent at computer terminals; training; computer background; computers as timesavers; influence of automation on effectiveness; and job frustrations.…

Memoized Symbolic Execution

NASA Technical Reports Server (NTRS)

Yang, Guowei; Pasareanu, Corina S.; Khurshid, Sarfraz

2012-01-01

This paper introduces memoized symbolic execution (Memoise), a novel approach for more efficient application of forward symbolic execution, which is a well-studied technique for systematic exploration of program behaviors based on bounded execution paths. Our key insight is that application of symbolic execution often requires several successive runs of the technique on largely similar underlying problems, e.g., running it once to check a program to find a bug, fixing the bug, and running it again to check the modified program. Memoise introduces a trie-based data structure that stores the key elements of a run of symbolic execution. Maintenance of the trie during successive runs allows re-use of previously computed results of symbolic execution without the need for re-computing them as is traditionally done. Experiments using our prototype embodiment of Memoise show the benefits it holds in various standard scenarios of using symbolic execution, e.g., with iterative deepening of exploration depth, to perform regression analysis, or to enhance coverage.

STAR - A computer language for hybrid AI applications

NASA Technical Reports Server (NTRS)

Borchardt, G. C.

1986-01-01

Constructing Artificial Intelligence application systems which rely on both symbolic and non-symbolic processing places heavy demands on the communication of data between dissimilar languages. This paper describes STAR (Simple Tool for Automated Reasoning), a computer language for the development of AI application systems which supports the transfer of data structures between a symbolic level and a non-symbolic level defined in languages such as FORTRAN, C and PASCAL. The organization of STAR is presented, followed by the description of an application involving STAR in the interpretation of airborne imaging spectrometer data.

Integration of symbolic and algorithmic hardware and software for the automation of space station subsystems

NASA Technical Reports Server (NTRS)

Gregg, Hugh; Healey, Kathleen; Hack, Edmund; Wong, Carla

1987-01-01

Traditional expert systems, such as diagnostic and training systems, interact with users only through a keyboard and screen, and are usually symbolic in nature. Expert systems that require access to data bases, complex simulations and real-time instrumentation have both symbolic as well as algorithmic computing needs. These needs could both be met using a general purpose workstation running both symbolic and algorithmic code, or separate, specialized computers networked together. The latter approach was chosen to implement TEXSYS, the thermal expert system, developed by NASA Ames Research Center in conjunction with Johnson Space Center to demonstrate the ability of an expert system to autonomously monitor the thermal control system of the space station. TEXSYS has been implemented on a Symbolics workstation, and will be linked to a microVAX computer that will control a thermal test bed. This paper will explore the integration options, and present several possible solutions.

Remote Symbolic Computation of Loci

ERIC Educational Resources Information Center

Abanades, Miguel A.; Escribano, Jesus; Botana, Francisco

2010-01-01

This article presents a web-based tool designed to compute certified equations and graphs of geometric loci specified using standard Dynamic Geometry Systems (DGS). Complementing the graphing abilities of the considered DGS, the equations of the loci produced by the application are remotely computed using symbolic algebraic techniques from the…

Aviation Technician Training I and Task Analyses: Semester II. Field Review Copy.

ERIC Educational Resources Information Center

Upchurch, Richard

This guide for aviation technician training begins with a course description, resource information, and a course outline. Tasks/competencies are categorized into 16 concept/duty areas: understanding technical symbols and abbreviations; understanding mathematical terms, symbols, and formulas; computing decimals; computing fractions; computing ratio…

The equivalence of computerized and paper-and-pencil psychological instruments: implications for measures of negative affect.

PubMed

Schulenberg, S E; Yutrzenka, B A

1999-05-01

The use of computerized psychological assessment is a growing practice among contemporary mental health professionals. Many popular and frequently used paper-and-pencil instruments have been adapted into computerized versions. Although equivalence for many instruments has been evaluated and supported, this issue is far from resolved. This literature review deals with recent research findings that suggest that computer aversion negatively impacts computerized assessment, particularly as it relates to measures of negative affect. There is a dearth of equivalence studies that take into account computer aversion's potential impact on the measurement of negative affect. Recommendations are offered for future research in this area.

Proceedings of the 1977 MACSYMA users' conference (NASA)

NASA Technical Reports Server (NTRS)

1977-01-01

The MACSYMA program for symbolic and algebraic manipulation enables exact, symbolic mathematical computations to be performed on a computer. This program is rather large, and various approaches to the hardware and software problems are examined.

Symbolic-numeric interface: A review

NASA Technical Reports Server (NTRS)

Ng, E. W.

1980-01-01

A survey of the use of a combination of symbolic and numerical calculations is presented. Symbolic calculations primarily refer to the computer processing of procedures from classical algebra, analysis, and calculus. Numerical calculations refer to both numerical mathematics research and scientific computation. This survey is intended to point out a large number of problem areas where a cooperation of symbolic and numerical methods is likely to bear many fruits. These areas include such classical operations as differentiation and integration, such diverse activities as function approximations and qualitative analysis, and such contemporary topics as finite element calculations and computation complexity. It is contended that other less obvious topics such as the fast Fourier transform, linear algebra, nonlinear analysis and error analysis would also benefit from a synergistic approach.

Charting the language of leadership: a methodological investigation of President Bush and the crisis of 9/11.

PubMed

Bligh, Michelle C; Kohles, Jeffrey C; Meindl, James R

2004-06-01

In many ways, leadership is a phenomenon that is ideally suited for new and inventive research methods. For researchers who seek to reliably study and systematically compare linguistically based elements of the leadership relationship, computerized content analysis has the potential to supplement, extend, and qualify existing leadership theory and practice. Through an examination of President Bush's rhetoric and the media coverage before and after the crisis of 9/11. the authors explore how elements of the President's speeches changed in response to the post-crisis environment. Using this example, the authors illustrate the process of computerized content analysis and many of its strengths and limitations, with the hope of facilitating future leadership research that uses this approach to explore important contextual and symbolic elements of the leadership relationship. (c) 2004 APA

The analysis of control trajectories using symbolic and database computing

NASA Technical Reports Server (NTRS)

Grossman, Robert

1995-01-01

This final report comprises the formal semi-annual status reports for this grant for the periods June 30-December 31, 1993, January 1-June 30, 1994, and June 1-December 31, 1994. The research supported by this grant is broadly concerned with the symbolic computation, mixed numeric-symbolic computation, and database computation of trajectories of dynamical systems, especially control systems. A review of work during the report period covers: trajectories and approximating series, the Cayley algebra of trees, actions of differential operators, geometrically stable integration algorithms, hybrid systems, trajectory stores, PTool, and other activities. A list of publications written during the report period is attached.

The computer-based Symbol Digit Modalities Test: establishing age-expected performance in healthy controls and evaluation of pediatric MS patients.

PubMed

Bigi, Sandra; Marrie, R A; Till, C; Yeh, E A; Akbar, N; Feinstein, A; Banwell, B L

2017-04-01

Decreased information processing speed (IPS) is frequently reported in pediatric multiple sclerosis (MS) patients. The computerized version of the Symbol Digit Modalities Test (c-SDMT) measures IPS over eight consecutive trials per session and additionally captures changes in performance within the session. Here, we establish normative c-SDMT performance and test-retest reliability in healthy children (HC) and explore differences in the overall c-SDMT-performance between HC and MS patients. This cross-sectional study included 478 HC (237 female, 49.5%) divided into five age groups (2 years each), and 27 MS patients (22 female, 81.5%) aged 8-18 years. The average time to complete the c-SDMT increased with age (|r| 0.70, 95% CI -0.74, -0.64). Test-retest reliability was high (ICC = 0.91) in HC. The total time to complete the c-SDMT did not differ between children with MS and sex- and age- matched HC (p = 0.23). However, MS patients were less likely to show faster performance across all the successive eight trials compared to HC (p = 0.0001). Healthy children demonstrate faster IPS with increasing age, as well as during successive trials of the c-SDMT. The inability of pediatric MS patients to maintain the increase in processing speed over successive trials suggests a reduced capacity for procedural learning, possibly resulting from cognitive fatigue.

What can eye movements tell us about Symbol Digit substitution by patients with schizophrenia?

PubMed

Elahipanah, Ava; Christensen, Bruce K; Reingold, Eyal M

2011-04-01

Substitution tests are sensitive to cognitive impairment and reliably discriminate patients with schizophrenia from healthy individuals better than most other neuropsychological instruments. However, due to their multifaceted nature, substitution test scores cannot pinpoint the specific cognitive deficits that lead to poor performance. The current study investigated eye movements during performance on a substitution test in order to better understand what aspect of substitution test performance underlies schizophrenia-related impairment. Twenty-five patients with schizophrenia and 25 healthy individuals performed a computerized version of the Symbol Digit Modalities Test while their eye movements were monitored. As expected, patients achieved lower overall performance scores. Moreover, analysis of participants' eye movements revealed that patients spent more time searching for the target symbol every time they visited the key area. Patients also made more visits to the key area for each response that they made. Regression analysis suggested that patients' impaired performance on substitution tasks is primarily related to a less efficient visual search and, secondarily, to impaired memory. Copyright © 2010 Elsevier B.V. All rights reserved.

Flap-lag-torsional dynamics of helicopter rotor blades in forward flight

NASA Technical Reports Server (NTRS)

Crespodasilva, M. R. M.

1986-01-01

A perturbation/numerical methodology to analyze the flap-lead/lag motion of a centrally hinged spring restrained rotor blade that is valid for both hover and for forward flight was developed. The derivation of the nonlinear differential equations of motion and the analysis of the stability of the steady state response of the blade were conducted entirely in a Symbolics 3670 Machine using MACSYMA to perform all the lengthy symbolic manipulations. It also includes generation of the fortran codes and plots of the results. The Floquet theory was also applied to the differential equations of motion in order to compare results with those obtained from the perturbation analysis. The results obtained from the perturbation methodology and from Floquet theory were found to be very close to each other, which demonstrates the usefullness of the perturbation methodology. Another problem under study consisted in the analysis of the influence of higher order terms in the response and stability of a flexible rotor blade in forward flight using Computerized Symbolic Manipulation and a perturbation technique to bypass the Floquet theory. The derivation of the partial differential equations of motion is presented.

Computer-generated mineral commodity deposit maps

USGS Publications Warehouse

Schruben, Paul G.; Hanley, J. Thomas

1983-01-01

This report describes an automated method of generating deposit maps of mineral commodity information. In addition, it serves as a user's manual for the authors' mapping system. Procedures were developed which allow commodity specialists to enter deposit information, retrieve selected data, and plot deposit symbols in any geographic area within the conterminous United States. The mapping system uses both micro- and mainframe computers. The microcomputer is used to input and retrieve information, thus minimizing computing charges. The mainframe computer is used to generate map plots which are printed by a Calcomp plotter. Selector V data base system is employed for input and retrieval on the microcomputer. A general mapping program (Genmap) was written in FORTRAN for use on the mainframe computer. Genmap can plot fifteen symbol types (for point locations) in three sizes. The user can assign symbol types to data items interactively. Individual map symbols can be labeled with a number or the deposit name. Genmap also provides several geographic boundary file and window options.

A Prototype Symbolic Model of Canonical Functional Neuroanatomy of the Motor System

PubMed Central

Rubin, Daniel L.; Halle, Michael; Musen, Mark; Kikinis, Ron

2008-01-01

Recent advances in bioinformatics have opened entire new avenues for organizing, integrating and retrieving neuroscientific data, in a digital, machine-processable format, which can be at the same time understood by humans, using ontological, symbolic data representations. Declarative information stored in ontological format can be perused and maintained by domain experts, interpreted by machines, and serve as basis for a multitude of decision-support, computerized simulation, data mining, and teaching applications. We have developed a prototype symbolic model of canonical neuroanatomy of the motor system. Our symbolic model is intended to support symbolic lookup, logical inference and mathematical modeling by integrating descriptive, qualitative and quantitative functional neuroanatomical knowledge. Furthermore, we show how our approach can be extended to modeling impaired brain connectivity in disease states, such as common movement disorders. In developing our ontology, we adopted a disciplined modeling approach, relying on a set of declared principles, a high-level schema, Aristotelian definitions, and a frame-based authoring system. These features, along with the use of the Unified Medical Language System (UMLS) vocabulary, enable the alignment of our functional ontology with an existing comprehensive ontology of human anatomy, and thus allow for combining the structural and functional views of neuroanatomy for clinical decision support and neuroanatomy teaching applications. Although the scope of our current prototype ontology is limited to a particular functional system in the brain, it may be possible to adapt this approach for modeling other brain functional systems as well. PMID:18164666

Computerization in industry causes problems for people with reading and writing difficulties (dyslexia).

PubMed

Knutsson, A

1986-01-01

For 10 years computerization in industry has advanced at a rapid pace. A problem which has not received attention is that of people with reading and writing difficulties who experience severe problems when they have to communicate with a computer monitor screen. These individuals are often embarrassed by their difficulties and conceal them from their fellow workers. A number of case studies are described which show the form the problems can take. In one case, an employee was compelled to move from department to department as each was computerized in turn. Computers transform a large number of manual tasks in industry into jobs which call for reading and writing skills. Better education at elementary school and at the workplace in connection with computerization are the most important means of overcoming this problem. Moreover, computer programs could be written in a more human way.

Symbolic-Graphical Calculators: Teaching Tools for Mathematics.

ERIC Educational Resources Information Center

Dick, Thomas P.

1992-01-01

Explores the role that symbolic-graphical calculators can play in the current calls for reform in the mathematics curriculum. Discusses symbolic calculators and graphing calculators in relation to problem solving, computational skills, and mathematics instruction. (MDH)

Evaluating the Relationship of Computer Literacy Training Competence and Nursing Experience to CPIS Resistance

ERIC Educational Resources Information Center

Reese, Dorothy J.

2012-01-01

The purpose of this quantitative, descriptive/correlational project was to examine the relationship between the level of computer literacy, informatics training, nursing experience, and perceived competence in using computerized patient information systems (CPIS) and nursing resistance to using CPIS. The Nurse Computerized Patient Information…

Computer-Based and Paper-Based Measurement of Semantic Knowledge

DTIC Science & Technology

1989-01-01

of Personality Assessment , 34, 353-361. McArthur, D. L., & Choppin, B. H. (1984). Computerized diagnostic testing. Journal 15 of Educational...Computers in Human Behavior, 1, 49-58. Lushene, R. E., O’Neii, H. F., & Dunn, T. (1974). Equivalent validity of a completely computerized MMPI. Journal

Increasing profitability through computerization.

PubMed

Sokol, D J

1988-01-01

The author explores the pragmatic or financial justification for computerizing a dental practice and discusses a computerized approach to precollection and collection for the dental office. The article also deals with the use of computerized correspondence to augment the recall policy of the office and to help generate new patient referrals and discusses the pros and cons of utilizing a dental computer service bureau in implementing these policies.

Symbolic Computational Approach to the Marangoni Convection Problem With Soret Diffusion

NASA Technical Reports Server (NTRS)

Skarda, J. Raymond

1998-01-01

A recently reported solution for stationary stability of a thermosolutal system with Soret diffusion is re-derived and examined using a symbolic computational package. Symbolic computational languages are well suited for such an analysis and facilitate a pragmatic approach that is adaptable to similar problems. Linearization of the equations, normal mode analysis, and extraction of the final solution are performed in a Mathematica notebook format. An exact solution is obtained for stationary stability in the limit of zero gravity. A closed form expression is also obtained for the location of asymptotes in relevant parameter, (Sm(sub c), Mac(sub c)), space. The stationary stability behavior is conveniently examined within the symbolic language environment. An abbreviated version of the Mathematica notebook is given in the Appendix.

Problem Solving in Calculus with Symbolic Geometry and CAS

ERIC Educational Resources Information Center

Todd, Philip; Wiechmann, James

2008-01-01

Computer algebra systems (CAS) have been around for a number of years, as has dynamic geometry. Symbolic geometry software is new. It bears a superficial similarity to dynamic geometry software, but differs in that problems may be set up involving symbolic variables and constants, and measurements are given as symbolic expressions. Mathematical…

Computerized Numerical Control Curriculum Guide.

ERIC Educational Resources Information Center

Reneau, Fred; And Others

This guide is intended for use in a course in programming and operating a computerized numerical control system. Addressed in the course are various aspects of programming and planning, setting up, and operating machines with computerized numerical control, including selecting manual or computer-assigned programs and matching them with…

People with Profound and Multiple Intellectual Disabilities Using Symbols to Control a Computer: Exploration of User Engagement and Supporter Facilitation

ERIC Educational Resources Information Center

Bunning, Karen; Kwiatkowska, Gosia; Weldin, Nick

2012-01-01

Computer usage features in everyday life for the majority of people in developed countries. Access is a problem for many users with intellectual disability. Action-research was conducted to develop and explore the potential of specially adapted, computer readable symbols for choosing and accessing media on a computer. Five people with profound and…

Combining metric episodes with semantic event concepts within the Symbolic and Sub-Symbolic Robotics Intelligence Control System (SS-RICS)

NASA Astrophysics Data System (ADS)

Kelley, Troy D.; McGhee, S.

2013-05-01

This paper describes the ongoing development of a robotic control architecture that inspired by computational cognitive architectures from the discipline of cognitive psychology. The Symbolic and Sub-Symbolic Robotics Intelligence Control System (SS-RICS) combines symbolic and sub-symbolic representations of knowledge into a unified control architecture. The new architecture leverages previous work in cognitive architectures, specifically the development of the Adaptive Character of Thought-Rational (ACT-R) and Soar. This paper details current work on learning from episodes or events. The use of episodic memory as a learning mechanism has, until recently, been largely ignored by computational cognitive architectures. This paper details work on metric level episodic memory streams and methods for translating episodes into abstract schemas. The presentation will include research on learning through novelty and self generated feedback mechanisms for autonomous systems.

Evaluating a Computerized Aid for Conducting a Cognitive Task Analysis

DTIC Science & Technology

2000-01-01

in conducting a cognitive task analysis . The conduct of a cognitive task analysis is costly and labor intensive. As a result, a few computerized aids...evaluation of a computerized aid, specifically CAT-HCI (Cognitive Analysis Tool - Human Computer Interface), for the conduct of a detailed cognitive task analysis . A

Computerized Diagnostic Testing: Problems and Possibilities.

ERIC Educational Resources Information Center

McArthur, David L.

The use of computers to build diagnostic inferences is explored in two contexts. In computerized monitoring of liquid oxygen systems for the space shuttle, diagnoses are exact because they can be derived within a world which is closed. In computerized classroom testing of reading comprehension, programs deliver a constrained form of adaptive…

Computerization of the Newspaper in the 1980s.

ERIC Educational Resources Information Center

Garrison, Bruce

A review of the literature on the computerization of newspaper newsrooms shows that since 1960, computers have assumed an increasingly important role in information collection, news writing and editing, pagination, and news transmission. When newspaper libraries are computerized, reporters are able to find information more quickly and to use…

A Two-Minute Paper-and-Pencil Test of Symbolic and Nonsymbolic Numerical Magnitude Processing Explains Variability in Primary School Children's Arithmetic Competence

PubMed Central

Nosworthy, Nadia; Bugden, Stephanie; Archibald, Lisa; Evans, Barrie; Ansari, Daniel

2013-01-01

Recently, there has been a growing emphasis on basic number processing competencies (such as the ability to judge which of two numbers is larger) and their role in predicting individual differences in school-relevant math achievement. Children’s ability to compare both symbolic (e.g. Arabic numerals) and nonsymbolic (e.g. dot arrays) magnitudes has been found to correlate with their math achievement. The available evidence, however, has focused on computerized paradigms, which may not always be suitable for universal, quick application in the classroom. Furthermore, it is currently unclear whether both symbolic and nonsymbolic magnitude comparison are related to children’s performance on tests of arithmetic competence and whether either of these factors relate to arithmetic achievement over and above other factors such as working memory and reading ability. In order to address these outstanding issues, we designed a quick (2 minute) paper-and-pencil tool to assess children’s ability to compare symbolic and nonsymbolic numerical magnitudes and assessed the degree to which performance on this measure explains individual differences in achievement. Children were required to cross out the larger of two, single-digit numerical magnitudes under time constraints. Results from a group of 160 children from grades 1–3 revealed that both symbolic and nonsymbolic number comparison accuracy were related to individual differences in arithmetic achievement. However, only symbolic number comparison performance accounted for unique variance in arithmetic achievement. The theoretical and practical implications of these findings are discussed which include the use of this measure as a possible tool for identifying students at risk for future difficulties in mathematics. PMID:23844126

A Comparative Analysis of a Generalized Lanchester Equation Model and a Stochastic Computer Simulation Model.

DTIC Science & Technology

1987-03-01

model is one in which words or numerical descriptions are used to represent an entity or process. An example of a symbolic model is a mathematical ...are the third type of model used in modeling combat attrition. Analytical models are symbolic models which use mathematical symbols and equations to...simplicity and the ease of tracing through the mathematical computations. In this section I will discuss some of the shortcoming which have been

Computer-Assisted Bilingual/Bicultural Multiskills Project, 1987-1988. OREA Report.

ERIC Educational Resources Information Center

Berney, Tomi D.; Carey, Cecilia

The Computer-Assisted Bilingual/Bicultural Multiskills Project completed its first year of an extension grant. The program used computerized and non-computerized instruction to help 109 native speakers of Haitian Creole/French and Spanish, most of whom were recent immigrants, develop English-as-a-Second-Language (ESL) native language, and content…

Computers in the treatment of chronic aphasia.

PubMed

Katz, Richard C

2010-02-01

Computers and related technology can increase the amount of treatment received by adults with chronic aphasia. Computers used in treatment, however, are only valuable to the patient if the intervention is efficacious. Real and potential applications of computer technology are discussed in the context of three roles of computerized aphasia treatment for adults with chronic aphasia. Pertinent studies regarding Phases 1 and 2 are briefly described. The only Phase 3 study of efficacy of computerized aphasia treatment is more fully described and its implications discussed.

Crew/computer communications study. Volume 1: Final report. [onboard computerized communications system for spacecrews

NASA Technical Reports Server (NTRS)

Johannes, J. D.

1974-01-01

Techniques, methods, and system requirements are reported for an onboard computerized communications system that provides on-line computing capability during manned space exploration. Communications between man and computer take place by sequential execution of each discrete step of a procedure, by interactive progression through a tree-type structure to initiate tasks or by interactive optimization of a task requiring man to furnish a set of parameters. Effective communication between astronaut and computer utilizes structured vocabulary techniques and a word recognition system.

Fusing Symbolic and Numerical Diagnostic Computations

NASA Technical Reports Server (NTRS)

James, Mark

2007-01-01

X-2000 Anomaly Detection Language denotes a developmental computing language, and the software that establishes and utilizes the language, for fusing two diagnostic computer programs, one implementing a numerical analysis method, the other implementing a symbolic analysis method into a unified event-based decision analysis software system for realtime detection of events (e.g., failures) in a spacecraft, aircraft, or other complex engineering system. The numerical analysis method is performed by beacon-based exception analysis for multi-missions (BEAMs), which has been discussed in several previous NASA Tech Briefs articles. The symbolic analysis method is, more specifically, an artificial-intelligence method of the knowledge-based, inference engine type, and its implementation is exemplified by the Spacecraft Health Inference Engine (SHINE) software. The goal in developing the capability to fuse numerical and symbolic diagnostic components is to increase the depth of analysis beyond that previously attainable, thereby increasing the degree of confidence in the computed results. In practical terms, the sought improvement is to enable detection of all or most events, with no or few false alarms.

Knowledge Representation and Ontologies

NASA Astrophysics Data System (ADS)

Grimm, Stephan

Knowledge representation and reasoning aims at designing computer systems that reason about a machine-interpretable representation of the world. Knowledge-based systems have a computational model of some domain of interest in which symbols serve as surrogates for real world domain artefacts, such as physical objects, events, relationships, etc. [1]. The domain of interest can cover any part of the real world or any hypothetical system about which one desires to represent knowledge for com-putational purposes. A knowledge-based system maintains a knowledge base, which stores the symbols of the computational model in the form of statements about the domain, and it performs reasoning by manipulating these symbols. Applications can base their decisions on answers to domain-relevant questions posed to a knowledge base.

An Assistive Computerized Learning Environment for Distance Learning Students with Learning Disabilities

ERIC Educational Resources Information Center

Klemes, Joel; Epstein, Alit; Zuker, Michal; Grinberg, Nira; Ilovitch, Tamar

2006-01-01

The current study examines how a computerized learning environment assists students with learning disabilities (LD) enrolled in a distance learning course at the Open University of Israel. The technology provides computer display of the text, synchronized with auditory output and accompanied by additional computerized study skill tools which…

Outcome assessment via handheld computer in community mental health: consumer satisfaction and reliability.

PubMed

Goldstein, Lizabeth A; Connolly Gibbons, Mary Beth; Thompson, Sarah M; Scott, Kelli; Heintz, Laura; Green, Patricia; Thompson, Donald; Crits-Christoph, Paul

2011-07-01

Computerized administration of mental health-related questionnaires has become relatively common, but little research has explored this mode of assessment in "real-world" settings. In the current study, 200 consumers at a community mental health center completed the BASIS-24 via handheld computer as well as paper and pen. Scores on the computerized BASIS-24 were compared with scores on the paper BASIS-24. Consumers also completed a questionnaire which assessed their level of satisfaction with the computerized BASIS-24. Results indicated that the BASIS-24 administered via handheld computer was highly correlated with pen and paper administration of the measure and was generally acceptable to consumers. Administration of the BASIS-24 via handheld computer may allow for efficient and sustainable outcomes assessment, adaptable research infrastructure, and maximization of clinical impact in community mental health agencies.

Arithmetic Circuit Verification Based on Symbolic Computer Algebra

NASA Astrophysics Data System (ADS)

Watanabe, Yuki; Homma, Naofumi; Aoki, Takafumi; Higuchi, Tatsuo

This paper presents a formal approach to verify arithmetic circuits using symbolic computer algebra. Our method describes arithmetic circuits directly with high-level mathematical objects based on weighted number systems and arithmetic formulae. Such circuit description can be effectively verified by polynomial reduction techniques using Gröbner Bases. In this paper, we describe how the symbolic computer algebra can be used to describe and verify arithmetic circuits. The advantageous effects of the proposed approach are demonstrated through experimental verification of some arithmetic circuits such as multiply-accumulator and FIR filter. The result shows that the proposed approach has a definite possibility of verifying practical arithmetic circuits.

Deconstructing processing speed deficits in schizophrenia: application of a parametric digit symbol coding test.

PubMed

Bachman, Peter; Reichenberg, Abraham; Rice, Patrick; Woolsey, Mary; Chaves, Olga; Martinez, David; Maples, Natalie; Velligan, Dawn I; Glahn, David C

2010-05-01

Cognitive processing inefficiency, often measured using digit symbol coding tasks, is a putative vulnerability marker for schizophrenia and a reliable indicator of illness severity and functional outcome. Indeed, performance on the digit symbol coding task may be the most severe neuropsychological deficit patients with schizophrenia display at the group level. Yet, little is known about the contributions of simpler cognitive processes to coding performance in schizophrenia (e.g. decision making, visual scanning, relational memory, motor ability). We developed an experimental behavioral task, based on a computerized digit symbol coding task, which allows the manipulation of demands placed on visual scanning efficiency and relational memory while holding decisional and motor requirements constant. Although patients (n=85) were impaired on all aspects of the task when compared to demographically matched healthy comparison subjects (n=30), they showed a particularly striking failure to benefit from the presence of predictable target information. These findings are consistent with predicted impairments in cognitive processing speed due to schizophrenia patients' well-known memory impairment, suggesting that this mnemonic deficit may have consequences for critical aspects of information processing that are traditionally considered quite separate from the memory domain. Future investigation into the mechanisms underlying the wide-ranging consequences of mnemonic deficits in schizophrenia should provide additional insight. Copyright (c) 2010 Elsevier B.V. All rights reserved.

Adaptive Decision Aiding in Computer-Assisted Instruction: Adaptive Computerized Training System (ACTS).

ERIC Educational Resources Information Center

Hopf-Weichel, Rosemarie; And Others

This report describes results of the first year of a three-year program to develop and evaluate a new Adaptive Computerized Training System (ACTS) for electronics maintenance training. (ACTS incorporates an adaptive computer program that learns the student's diagnostic and decision value structure, compares it to that of an expert, and adapts the…

Determination of eigenvalues of dynamical systems by symbolic computation

NASA Technical Reports Server (NTRS)

Howard, J. C.

1982-01-01

A symbolic computation technique for determining the eigenvalues of dynamical systems is described wherein algebraic operations, symbolic differentiation, matrix formulation and inversion, etc., can be performed on a digital computer equipped with a formula-manipulation compiler. An example is included that demonstrates the facility with which the system dynamics matrix and the control distribution matrix from the state space formulation of the equations of motion can be processed to obtain eigenvalue loci as a function of a system parameter. The example chosen to demonstrate the technique is a fourth-order system representing the longitudinal response of a DC 8 aircraft to elevator inputs. This simplified system has two dominant modes, one of which is lightly damped and the other well damped. The loci may be used to determine the value of the controlling parameter that satisfied design requirements. The results were obtained using the MACSYMA symbolic manipulation system.

Computer-Aided Authoring of Programmed Instruction for Teaching Symbol Recognition. Final Report.

ERIC Educational Resources Information Center

Braby, Richard; And Others

This description of AUTHOR, a computer program for the automated authoring of programmed texts designed to teach symbol recognition, includes discussions of the learning strategies incorporated in the design of the instructional materials, hardware description and the algorithm for the software, and current and future developments. Appendices…

Customized Geological Map Patterns for the Macintosh Computer.

ERIC Educational Resources Information Center

Boyer, Paul Slayton

1986-01-01

Describes how the graphics capabilities of the Apple Macintosh computer can be used in geological teaching by customizing fill patterns with lithologic symbols. Presents two methods for doing this: creating a dummy document, or by changing the pattern resource resident in the operating system. Special symbols can also replace fonts. (TW)

Practical Methodology of Cognitive Tasks Within a Navigational Assessment.

PubMed

Robillard, Manon; Mayer-Crittenden, Chantal; Roy-Charland, Annie; Minor-Corriveau, Michèle; Bélanger, Roxanne

2015-06-01

This paper describes an approach for measuring navigation accuracy relative to cognitive skills. The methodology behind the assessment will thus be clearly outlined in a step-by-step manner. Navigational skills are important when trying to find symbols within a speech-generating device (SGD) that has a dynamic screen and taxonomical organization. The following skills have been found to impact children's ability to find symbols when navigating within the levels of an SGD: sustained attention, categorization, cognitive flexibility, and fluid reasoning. According to past studies, working memory was not correlated with navigation. The materials needed for this method include a computerized tablet, an augmentative and alternative communication application, a booklet of symbols, and the Leiter International Performance Scale-Revised (Leiter-R). This method has been used in two previous studies. Robillard, Mayer-Crittenden, Roy-Charland, Minor-Corriveau and Bélanger assessed typically developing children, while Rondeau, Robillard and Roy-Charland assessed children and adolescents with a diagnosis of Autism Spectrum Disorder. The direct observation of this method will facilitate the replication of this study for researchers. It will also help clinicians that work with children who have complex communication needs to determine the children's ability to navigate an SGD with taxonomical categorization.

Assessment Outcomes: Computerized Instruction in a Human Gross Anatomy Course.

ERIC Educational Resources Information Center

Bukowski, Elaine L.

2002-01-01

The first of three successive classes of beginning physical therapy students (n=17) completed traditional cadaver anatomy lecture/lab; the next 17 a self-study computerized anatomy lab, and the next 20 both lectures and computer lab. No differences in study times and course or licensure exam performance appeared. Computerized self-study is a…

Consumer and provider responses to a computerized version of the Illness Management and Recovery Program.

PubMed

Wright-Berryman, Jennifer L; Salyers, Michelle P; O'Halloran, James P; Kemp, Aaron S; Mueser, Kim T; Diazoni, Amanda J

2013-12-01

To explore mental health consumer and provider responses to a computerized version of the Illness Management and Recovery (IMR) program. Semistructured interviews were conducted to gather data from 6 providers and 12 consumers who participated in a computerized prototype of the IMR program. An inductive-consensus-based approach was used to analyze the interview responses. Qualitative analysis revealed consumers perceived various personal benefits and ease of use afforded by the new technology platform. Consumers also highly valued provider assistance and offered several suggestions to improve the program. The largest perceived barriers to future implementation were lack of computer skills and access to computers. Similarly, IMR providers commented on its ease and convenience, and the reduction of time intensive material preparation. Providers also expressed that the use of technology creates more options for the consumer to access treatment. The technology was acceptable, easy to use, and well-liked by consumers and providers. Clinician assistance with technology was viewed as helpful to get clients started with the program, as lack of computer skills and access to computers was a concern. Access to materials between sessions appears to be desired; however, given perceived barriers of computer skills and computer access, additional supports may be needed for consumers to achieve full benefits of a computerized version of IMR. PsycINFO Database Record (c) 2013 APA, all rights reserved.

Computer versus paper system for recognition and management of sepsis in surgical intensive care.

PubMed

Croft, Chasen A; Moore, Frederick A; Efron, Philip A; Marker, Peggy S; Gabrielli, Andrea; Westhoff, Lynn S; Lottenberg, Lawrence; Jordan, Janeen; Klink, Victoria; Sailors, R Matthew; McKinley, Bruce A

2014-02-01

A system to provide surveillance, diagnosis, and protocolized management of surgical intensive care unit (SICU) sepsis was undertaken as a performance improvement project. A system for sepsis management was implemented for SICU patients using paper followed by a computerized system. The hypothesis was that the computerized system would be associated with improved process and outcomes. A system was designed to provide early recognition and guide patient-specific management of sepsis including (1) modified early warning signs-sepsis recognition score (MEWS-SRS; summative point score of ranges of vital signs, mental status, white blood cell count; after every 4 hours) by bedside nurse; (2) suspected site assessment (vascular access, lung, abdomen, urinary tract, soft tissue, other) at bedside by physician or extender; (3) sepsis management protocol (replicable, point-of-care decisions) at bedside by nurse, physician, and extender. The system was implemented first using paper and then a computerized system. Sepsis severity was defined using standard criteria. In January to May 2012, a paper system was used to manage 77 consecutive sepsis encounters (3.9 ± 0.5 cases per week) in 65 patients (77% male; age, 53 ± 2 years). In June to December 2012, a computerized system was used to manage 132 consecutive sepsis encounters (4.4 ± 0.4 cases per week) in 119 patients (63% male; age, 58 ± 2 years). MEWS-SRS elicited 683 site assessments, and 201 had sepsis diagnosis and protocol management. The predominant site of infection was abdomen (paper, 58%; computer, 53%). Recognition of early sepsis tended to occur more using the computerized system (paper, 23%; computer, 35%). Hospital mortality rate for surgical ICU sepsis (paper, 20%; computer, 14%) was less with the computerized system. A computerized sepsis management system improves care process and outcome. Early sepsis is recognized and managed with greater frequency compared with severe sepsis or septic shock. The system has a beneficial effect as a clinical standard of care for SICU patients. Therapeutic study, level III.

Computer programs: Mechanical and structural design criteria: A compilation

NASA Technical Reports Server (NTRS)

1973-01-01

Computerized design criteria for turbomachinery and the constraints imposed by very high rotational fields are presented along with a variety of computerized design criteria of interest to structural designers.

Age influence on attitudes of office workers faced with new computerized technologies: a questionnaire analysis.

PubMed

Marquié, J C; Thon, B; Baracat, B

1994-06-01

The study of Bue and Gollac (1988) provided evidence that a significantly lower proportion of workers aged 45 years and over make use of computer technology compared with younger ones. The aim of the present survey was to explain this fact by a more intensive analysis of the older workers' attitude with respect to the computerization of work situations in relation to other individual and organizational factors. Six hundred and twenty office workers from 18 to 70 years old, either users or non-users of computerized devices, were asked to complete a questionnaire. The questions allowed the assessment of various aspects of the workers' current situation, such as the computer training they had received, the degree of consultation they were subjected to during the computerization process, their representation of the effects of these new technologies on working conditions and employment, the rate of use of new technologies outside the work context, and the perceived usefulness of computers for their own work. The analysis of the questionnaire revealed that as long as the step towards using computer tools, even minimally, has not been taken, then attitudes with respect to computerization are on the whole not very positive and are a source of anxiety for many workers. Age, and even more, seniority in the department, increase such negative representations. The effects of age and seniority were also found among users, as well as the effects of other factors such as qualification, education level, type and rate of computer use, and size of the firm. For the older workers, the expectation of less positive consequences for their career, or even the fear that computerization might be accompanied by threats to their own employment and the less clear knowledge of how computers operate, appeared to account for a significant part of the observed age and seniority differences in attitudes. Although the difference in the amount of computer training between age groups was smaller than expected, the study revealed that one third of the users never received any specific training, and that many of those who benefited from it were trained for only a few days. Consultation of the staff during the computerization process also appeared to be poor, to apply mostly to the best trained and qualified workers, and to be more highly developed in small companies. The results are discussed in the light of more qualitative data recorded during the survey. They suggest the need to increase information, training and involvement of all personnel from the very first stages of computerization (or other technical changes) in order to lessen fears and the feeling of disruption, which are particularly obvious among the oldest workers.

Symbolic Computation Using Cellular Automata-Based Hyperdimensional Computing.

PubMed

Yilmaz, Ozgur

2015-12-01

This letter introduces a novel framework of reservoir computing that is capable of both connectionist machine intelligence and symbolic computation. A cellular automaton is used as the reservoir of dynamical systems. Input is randomly projected onto the initial conditions of automaton cells, and nonlinear computation is performed on the input via application of a rule in the automaton for a period of time. The evolution of the automaton creates a space-time volume of the automaton state space, and it is used as the reservoir. The proposed framework is shown to be capable of long-term memory, and it requires orders of magnitude less computation compared to echo state networks. As the focus of the letter, we suggest that binary reservoir feature vectors can be combined using Boolean operations as in hyperdimensional computing, paving a direct way for concept building and symbolic processing. To demonstrate the capability of the proposed system, we make analogies directly on image data by asking, What is the automobile of air?

On the Issue of Item Selection in Computerized Adaptive Testing with Response Times

ERIC Educational Resources Information Center

Veldkamp, Bernard P.

2016-01-01

Many standardized tests are now administered via computer rather than paper-and-pencil format. The computer-based delivery mode brings with it certain advantages. One advantage is the ability to adapt the difficulty level of the test to the ability level of the test taker in what has been termed computerized adaptive testing (CAT). A second…

The Print and Computer Enlargement System--PACE. Final Report.

ERIC Educational Resources Information Center

Morford, Ronald A.

The Print and Computer Enlargement (PACE) System is being designed as a portable computerized reading and writing system that enables a low-vision person to read regular print and then create and edit text using large-print computerized output. The design goal was to develop a system that: weighed no more than 12 pounds so it could be easily…

Case Studies in Practical Career Guidance, Number 5: Computerized Vocational Information System Willowbrook High School, Villa Park, Illinois.

ERIC Educational Resources Information Center

Arutunian, Carol Ann

The Computerized Vocational Information System (CVIS) at Willowbrook High School in Villa Park, Illinois, uses the computer as a tool to help each student explore a wide range of occupations and educational opportunities with some feedback from his own record of ability, achievement, and interest. Computer-based guidance systems are considered a…

SYN-OP-SYS™: A Computerized Management Information System for Quality Assurance and Risk Management

PubMed Central

Thomas, David J.; Weiner, Jayne; Lippincott, Ronald C.

1985-01-01

SYN·OP·SYS™ is a computerized management information system for quality assurance and risk management. Computer software for the efficient collection and analysis of “occurrences” and the clinical data associated with these kinds of patient events is described. The system is evaluated according to certain computer design criteria, and the system's implementation is assessed.

Preliminary Report on a National Cross-Validation of the Computerized Adaptive Screening Test (CAST).

ERIC Educational Resources Information Center

Knapp, Deirdre J.; Pliske, Rebecca M.

A study was conducted to validate the Army's Computerized Adaptive Screening Test (CAST), using data from 2,240 applicants from 60 army recruiting stations across the nation. CAST is a computer-assisted adaptive test used to predict performance on the Armed Forces Qualification Test (AFQT). AFQT scores are computed by adding four subtest scores of…

Displaying Special Characters and Symbols in Computer-Controlled Reaction Time Experiments.

ERIC Educational Resources Information Center

Friel, Brian M.; Kennison, Shelia M.

A procedure for using MEL2 (Version 2.0 of Microcomputer Experimental Laboratory) and FontWINDOW to present special characters and symbols in computer-controlled reaction time experiments is described. The procedure permits more convenience and flexibility than in tachistocopic and projection techniques. FontWINDOW allows researchers to design…

Combination of visual and symbolic knowledge: A survey in anatomy.

PubMed

Banerjee, Imon; Patané, Giuseppe; Spagnuolo, Michela

2017-01-01

In medicine, anatomy is considered as the most discussed field and results in a huge amount of knowledge, which is heterogeneous and covers aspects that are mostly independent in nature. Visual and symbolic modalities are mainly adopted for exemplifying knowledge about human anatomy and are crucial for the evolution of computational anatomy. In particular, a tight integration of visual and symbolic modalities is beneficial to support knowledge-driven methods for biomedical investigation. In this paper, we review previous work on the presentation and sharing of anatomical knowledge, and the development of advanced methods for computational anatomy, also focusing on the key research challenges for harmonizing symbolic knowledge and spatial 3D data. Copyright © 2016 Elsevier Ltd. All rights reserved.

In person versus Computer Screening for Intimate Partner Violence Among Pregnant Patients

PubMed Central

Dado, Diane; Schussler, Sara; Hawker, Lynn; Holland, Cynthia L.; Burke, Jessica G.; Cluss, Patricia A.

2012-01-01

Objective To compare in person versus computerized screening for intimate partner violence (IPV) in a hospital-based prenatal clinic and explore women’s assessment of the screening methods. Methods We compared patient IPV disclosures on a computerized questionnaire to audio-taped first obstetric visits with an obstetric care provider and performed semi-structured interviews with patient participants who reported experiencing IPV. Results Two-hundred and fifty patient participants and 52 provider participants were in the study. Ninety-one (36%) patients disclosed IPV either via computer or in person. Of those who disclosed IPV, 60 (66%) disclosed via both methods, but 31 (34%) disclosed IPV via only one of the two methods. Twenty-three women returned for interviews. They recommended using both types together. While computerized screening was felt to be non-judgmental and more anonymous, in person screening allowed for tailored questioning and more emotional connection with the provider. Conclusion Computerized screening allowed disclosure without fear of immediate judgment. In person screening allows more flexibility in wording of questions regarding IPV and opportunity for interpersonal rapport. Practice Implications Both computerized or self-completed screening and in person screening is recommended. Providers should address IPV using non-judgmental, descriptive language, include assessments for psychological IPV, and repeat screening in person, even if no patient disclosure occurs via computer. PMID:22770815

In person versus computer screening for intimate partner violence among pregnant patients.

PubMed

Chang, Judy C; Dado, Diane; Schussler, Sara; Hawker, Lynn; Holland, Cynthia L; Burke, Jessica G; Cluss, Patricia A

2012-09-01

To compare in person versus computerized screening for intimate partner violence (IPV) in a hospital-based prenatal clinic and explore women's assessment of the screening methods. We compared patient IPV disclosures on a computerized questionnaire to audio-taped first obstetric visits with an obstetric care provider and performed semi-structured interviews with patient participants who reported experiencing IPV. Two-hundred and fifty patient participants and 52 provider participants were in the study. Ninety-one (36%) patients disclosed IPV either via computer or in person. Of those who disclosed IPV, 60 (66%) disclosed via both methods, but 31 (34%) disclosed IPV via only one of the two methods. Twenty-three women returned for interviews. They recommended using both types together. While computerized screening was felt to be non-judgmental and more anonymous, in person screening allowed for tailored questioning and more emotional connection with the provider. Computerized screening allowed disclosure without fear of immediate judgment. In person screening allows more flexibility in wording of questions regarding IPV and opportunity for interpersonal rapport. Both computerized or self-completed screening and in person screening is recommended. Providers should address IPV using non-judgmental, descriptive language, include assessments for psychological IPV, and repeat screening in person, even if no patient disclosure occurs via computer. Copyright © 2012 Elsevier Ireland Ltd. All rights reserved.

Does the Computer Make a Difference? Computerized versus Face-to-Face versus Self-Report Assessment of Alcohol, Drug and Tobacco Use.

ERIC Educational Resources Information Center

Skinner, Harvey A.; Allen, Barbara A.

1983-01-01

Compared histories of alcohol, drug, and tobacco use obtained by computerized interview, face-to-face interview, and self-report in clients (N=150) from an addiction treatment center. Multivariate analyses revealed no important differences. The computerized interview was rated less friendly but faster and more interesting. (Author/JAC)

Patient's perceptions of an anesthesia preoperative computerized patient interview.

PubMed

Vitkun, S A; Halpern-Lewis, J G; Williams, S A; Gage, J S; Poppers, P J

1999-12-01

Our desire to elicit a more complete medical history from our patients led to the implementation of a preoperative computerized interview. We previously demonstrated the effectiveness of the interview by computing its mean completion time for the overall patient population (n = 120), and further examined the effects of age, gender, and educational level. In this study, we investigated patient perception of the interview itself. Before and after taking the computer interview, we asked the patients to complete a paper and pencil questionnaire comprised of sixteen questions, expressing their feelings toward the computer interview. Responses elicited prior to taking the computer interview were compared with those obtained afterward. The Stuart-Maxwell test was used to determine statistically significant differences in answers before and after the interview. Initial questionnaire responses reflected a positive attitude toward computer usage which became even stronger after the interview. The only negative responses elicited were really more "doctor positive" than "computer negative." We conclude that patients looked favorably upon participating in a computerized medical interview provided that physician-patient contact is maintained.

Individualized Learning through Computerized Modular Scheduling, Second Report of Scheduling Project at Virgin Valley High School, Mesquite, Nevada.

ERIC Educational Resources Information Center

Allan, Blaine W.

In 1963 Stanford University selected Virgin Valley High School in southern Nevada as one of four pilot schools to use computerized modular scheduling. Schedules for 165 students and assignments for 14 teachers were developed at the Stanford University Computer Computation Center using 30-minute modules with a total of 80 modules per week. After…

ECHO: A Computer Based Test for the Measurement of Individualistic, Cooperative, Defensive, and Aggressive Models of Behavior. Occasional Paper No. 30.

ERIC Educational Resources Information Center

Krus, David J.; And Others

This paper describes a test which attempts to measure a group of personality traits by analyzing the actual behavior of the participant in a computer-simulated game. ECHO evolved from an extension and computerization of Horstein and Deutsch's allocation game. The computerized version of ECHO requires subjects to make decisions about the allocation…

Radar Detection Models in Computer Supported Naval War Games

DTIC Science & Technology

1979-06-08

revealed a requirement for the effective centralized manage- ment of computer supported war game development and employment in the U.S. Navy. A...considerations and supports the requirement for centralized Io 97 management of computerized war game development . Therefore it is recommended that a central...managerial and fiscal authority be estab- lished for computerized tactical war game development . This central authority should ensure that new games

Using periodic orbits to compute chaotic transport rates between resonance zones.

PubMed

Sattari, Sulimon; Mitchell, Kevin A

2017-11-01

Transport properties of chaotic systems are computable from data extracted from periodic orbits. Given a sufficient number of periodic orbits, the escape rate can be computed using the spectral determinant, a function that incorporates the eigenvalues and periods of periodic orbits. The escape rate computed from periodic orbits converges to the true value as more and more periodic orbits are included. Escape from a given region of phase space can be computed by considering only periodic orbits that lie within the region. An accurate symbolic dynamics along with a corresponding partitioning of phase space is useful for systematically obtaining all periodic orbits up to a given period, to ensure that no important periodic orbits are missing in the computation. Homotopic lobe dynamics (HLD) is an automated technique for computing accurate partitions and symbolic dynamics for maps using the topological forcing of intersections of stable and unstable manifolds of a few periodic anchor orbits. In this study, we apply the HLD technique to compute symbolic dynamics and periodic orbits, which are then used to find escape rates from different regions of phase space for the Hénon map. We focus on computing escape rates in parameter ranges spanning hyperbolic plateaus, which are parameter intervals where the dynamics is hyperbolic and the symbolic dynamics does not change. After the periodic orbits are computed for a single parameter value within a hyperbolic plateau, periodic orbit continuation is used to compute periodic orbits over an interval that spans the hyperbolic plateau. The escape rates computed from a few thousand periodic orbits agree with escape rates computed from Monte Carlo simulations requiring hundreds of billions of orbits.

Logical synchronization: how evidence and hypotheses steer atomic clocks

NASA Astrophysics Data System (ADS)

Myers, John M.; Madjid, F. Hadi

2014-05-01

A clock steps a computer through a cycle of phases. For the propagation of logical symbols from one computer to another, each computer must mesh its phases with arrivals of symbols from other computers. Even the best atomic clocks drift unforeseeably in frequency and phase; feedback steers them toward aiming points that depend on a chosen wave function and on hypotheses about signal propagation. A wave function, always under-determined by evidence, requires a guess. Guessed wave functions are coded into computers that steer atomic clocks in frequency and position—clocks that step computers through their phases of computations, as well as clocks, some on space vehicles, that supply evidence of the propagation of signals. Recognizing the dependence of the phasing of symbol arrivals on guesses about signal propagation elevates `logical synchronization.' from its practice in computer engineering to a dicipline essential to physics. Within this discipline we begin to explore questions invisible under any concept of time that fails to acknowledge the unforeseeable. In particular, variation of spacetime curvature is shown to limit the bit rate of logical communication.

Influence of Colour on Acquisition and Generalisation of Graphic Symbols

ERIC Educational Resources Information Center

Hetzroni, O. E.; Ne'eman, A.

2013-01-01

Background: Children with autism may benefit from using graphic symbols for their communication, language and literacy development. The purpose of this study was to investigate the influence of colour versus grey-scale displays on the identification of graphic symbols using a computer-based intervention. Method: An alternating treatment design was…

Comprehensive Digital Imaging Network Project At Georgetown University Hospital

NASA Astrophysics Data System (ADS)

Mun, Seong K.; Stauffer, Douglas; Zeman, Robert; Benson, Harold; Wang, Paul; Allman, Robert

1987-10-01

The radiology practice is going through rapid changes due to the introduction of state-of-the-art computed based technologies. For the last twenty years we have witnessed the introduction of many new medical diagnostic imaging systems such as x-ray computed tomo-graphy, digital subtraction angiography (DSA), computerized nuclear medicine, single pho-ton emission computed tomography (SPECT), positron emission tomography (PET) and more re-cently, computerized digital radiography and nuclear magnetic resonance imaging (MRI). Other than the imaging systems, there has been a steady introduction of computed based information systems for radiology departments and hospitals.

COED Transactions, Vol. IX, No. 2, February 1977. Prism: An Educational Aide to Symbolic Differentiation and Simplification of Algebraic Expressions.

ERIC Educational Resources Information Center

Marcovitz, Alan B., Ed.

A computer program for numeric and symbolic manipulation and the methodology underlying its development are presented. Some features of the program are: an option for implied multiplication; computation of higher-order derivatives; differentiation of 26 different trigonometric, hyperbolic, inverse trigonometric, and inverse hyperbolic functions;…

Automatic finite element generators

NASA Technical Reports Server (NTRS)

Wang, P. S.

1984-01-01

The design and implementation of a software system for generating finite elements and related computations are described. Exact symbolic computational techniques are employed to derive strain-displacement matrices and element stiffness matrices. Methods for dealing with the excessive growth of symbolic expressions are discussed. Automatic FORTRAN code generation is described with emphasis on improving the efficiency of the resultant code.

Computerized Biomechanical Man-Model

DTIC Science & Technology

1976-07-01

Force Systems Command Wright-Patterson AFB, Ohio ABSTRACT The COMputerized BIomechanical MAN-Model (called COMBIMAN) is a computer interactive graphics...concept was to build a mock- The use of mock-ups for biomechanical evalua- up which permitted the designer to visualize the tion has long been a tool...of the can become an obstacle to design change. Aerospace Medical Research Laboratory, we are developing a computerized biomechanical man-model

Teleoperated robotic sorting system

DOEpatents

Roos, Charles E.; Sommer, Jr., Edward J.; Parrish, Robert H.; Russell, James R.

2008-06-24

A method and apparatus are disclosed for classifying materials utilizing a computerized touch sensitive screen or other computerized pointing device for operator identification and electronic marking of spatial coordinates of materials to be extracted. An operator positioned at a computerized touch sensitive screen views electronic images of the mixture of materials to be sorted as they are conveyed past a sensor array which transmits sequences of images of the mixture either directly or through a computer to the touch sensitive display screen. The operator manually "touches" objects displayed on the screen to be extracted from the mixture thereby registering the spatial coordinates of the objects within the computer. The computer then tracks the registered objects as they are conveyed and directs automated devices including mechanical means such as air jets, robotic arms, or other mechanical diverters to extract the registered objects.

Teleoperated robotic sorting system

DOEpatents

Roos, Charles E.; Sommer, Edward J.; Parrish, Robert H.; Russell, James R.

2000-01-01

A method and apparatus are disclosed for classifying materials utilizing a computerized touch sensitive screen or other computerized pointing device for operator identification and electronic marking of spatial coordinates of materials to be extracted. An operator positioned at a computerized touch sensitive screen views electronic images of the mixture of materials to be sorted as they are conveyed past a sensor array which transmits sequences of images of the mixture either directly or through a computer to the touch sensitive display screen. The operator manually "touches" objects displayed on the screen to be extracted from the mixture thereby registering the spatial coordinates of the objects within the computer. The computer then tracks the registered objects as they are conveyed and directs automated devices including mechanical means such as air jets, robotic arms, or other mechanical diverters to extract the registered objects.

Computerized tomography using video recorded fluoroscopic images

NASA Technical Reports Server (NTRS)

Kak, A. C.; Jakowatz, C. V., Jr.; Baily, N. A.; Keller, R. A.

1975-01-01

A computerized tomographic imaging system is examined which employs video-recorded fluoroscopic images as input data. By hooking the video recorder to a digital computer through a suitable interface, such a system permits very rapid construction of tomograms.

[Computerized medical record: deontology and legislation].

PubMed

Allaert, F A; Dusserre, L

1996-02-01

Computerization of medical records is making headway for patients' follow-up, scientific research, and health expenses control, but it must not alter the guarantees provided to the patients by the medical code of ethics and the law of January 6, 1978. This law, modified on July 1, 1994, requires to register all computerized records of personal data and establishes rights to protect privacy against computer misdemeanor. All medical practitioners using computerized medical records must be aware that the infringement of this law may provoke suing in professional, civil or criminal court.

Symbolic algebra approach to the calculation of intraocular lens power following cataract surgery

NASA Astrophysics Data System (ADS)

Hjelmstad, David P.; Sayegh, Samir I.

2013-03-01

We present a symbolic approach based on matrix methods that allows for the analysis and computation of intraocular lens power following cataract surgery. We extend the basic matrix approach corresponding to paraxial optics to include astigmatism and other aberrations. The symbolic approach allows for a refined analysis of the potential sources of errors ("refractive surprises"). We demonstrate the computation of lens powers including toric lenses that correct for both defocus (myopia, hyperopia) and astigmatism. A specific implementation in Mathematica allows an elegant and powerful method for the design and analysis of these intraocular lenses.

SYMBOD - A computer program for the automatic generation of symbolic equations of motion for systems of hinge-connected rigid bodies

NASA Technical Reports Server (NTRS)

Macala, G. A.

1983-01-01

A computer program is described that can automatically generate symbolic equations of motion for systems of hinge-connected rigid bodies with tree topologies. The dynamical formulation underlying the program is outlined, and examples are given to show how a symbolic language is used to code the formulation. The program is applied to generate the equations of motion for a four-body model of the Galileo spacecraft. The resulting equations are shown to be a factor of three faster in execution time than conventional numerical subroutines.

Real-Time Symbol Extraction From Grey-Level Images

NASA Astrophysics Data System (ADS)

Massen, R.; Simnacher, M.; Rosch, J.; Herre, E.; Wuhrer, H. W.

1988-04-01

A VME-bus image pipeline processor for extracting vectorized contours from grey-level images in real-time is presented. This 3 Giga operation per second processor uses large kernel convolvers and new non-linear neighbourhood processing algorithms to compute true 1-pixel wide and noise-free contours without thresholding even from grey-level images with quite varying edge sharpness. The local edge orientation is used as an additional cue to compute a list of vectors describing the closed and open contours in real-time and to dump a CAD-like symbolic image description into a symbol memory at pixel clock rate.

Integration of symbolic and algorithmic hardware and software for the automation of space station subsystems

NASA Technical Reports Server (NTRS)

Gregg, Hugh; Healey, Kathleen; Hack, Edmund; Wong, Carla

1988-01-01

Expert systems that require access to data bases, complex simulations and real time instrumentation have both symbolic and algorithmic needs. Both of these needs could be met using a general purpose workstation running both symbolic and algorithmic codes, or separate, specialized computers networked together. The later approach was chosen to implement TEXSYS, the thermal expert system, developed by the NASA Ames Research Center in conjunction with the Johnson Space Center to demonstrate the ability of an expert system to autonomously monitor the thermal control system of the space station. TEXSYS has been implemented on a Symbolics workstation, and will be linked to a microVAX computer that will control a thermal test bed. The integration options and several possible solutions are presented.

Effects of Bright Light Therapy of Sleep, Cognition, Brain Function, and Neurochemistry in Mild Traumatic Brain Injury

DTIC Science & Technology

2012-01-01

computerized stimulation paradigms for use during functional neuroimaging (i.e., MSIT). Accomplishments: • The following computer tasks were...and Stability Test. • Programming of all computerized functional MRI stimulation paradigms and assessment tasks using E-prime software was completed...Computer stimulation paradigms were tested in the scanner environment to ensure that they could be presented and seen by subjects in the scanner

Computers in Manufacturing.

ERIC Educational Resources Information Center

Hudson, C. A.

1982-01-01

Advances in factory computerization (computer-aided design and computer-aided manufacturing) are reviewed, including discussions of robotics, human factors engineering, and the sociological impact of automation. (JN)

Computerized parts list system coordinates engineering releases, parts control, and manufacturing planning

NASA Technical Reports Server (NTRS)

Horton, W.; Kinsey, M.

1967-01-01

Computerized parts list system compiles and summarize all pertinent and available information on complex new systems. The parts list system consists of three computer subroutines - list of parts, parts numerical sequence list, and specifications list.

The Computerized Reference Department: Buying the Future.

ERIC Educational Resources Information Center

Kriz, Harry M.; Kok, Victoria T.

1985-01-01

Basis for systematic computerization of academic research library's reference, collection development, and collection management functions emphasizes productivity enhancement for librarians and support staff. Use of microcomputer and university's mainframe computer to develop applications of database management systems, electronic spreadsheets,…

Analytical exploration of the thermodynamic potentials by using symbolic computation software

NASA Astrophysics Data System (ADS)

Hantsaridou, Anastasia P.; Polatoglou, Hariton M.

2005-09-01

Thermodynamics is a very general theory, based on fundamental symmetries. It generalizes classical mechanics and incorporates theoretical concepts such as field and field equations. Although all these ingredients are of the highest importance for a scientist, they are not given the attention they perhaps deserve in most undergraduate courses. Nowadays, powerful computers in conjunction with equally powerful software can ease the exploration of the crucial ideas of thermodynamics. The purpose of the present work is to show how the utilization of symbolic computation software can lead to a complementary understanding of thermodynamics. The method was applied to first and second year physics students in the Aristotle University of Thessaloniki (Greece) during the 2002-2003 academic year. The results indicate that symbolic computation software is appropriate not only for enhancing the teaching of the fundamental principles in thermodynamics and their applications, but also for increasing students' motivation for learning.

Computerized measurement and analysis of scoliosis: a more accurate representation of the shape of the curve.

PubMed

Jeffries, B F; Tarlton, M; De Smet, A A; Dwyer, S J; Brower, A C

1980-02-01

A computer program was created to identify and accept spatial data regarding the location of the thoracic and lumbar vertebral bodies on scoliosis films. With this information, the spine can be mathematically reconstructed and a scoliotic angle calculated. There was a 0.968 positive correlation between the computer and manual methods of measuring scoliosis. The computer method was more reproducible with a standard deviation of only 1.3 degrees. Computerized measurement of scoliosis also provides better evaluation of the true shape of the curve.

Symbolic Mathematics Engines in Teaching Chemistry: A Symposium Report

ERIC Educational Resources Information Center

Ellison, Mark

2004-01-01

The use of Symbolic Mathematics Engines (SMEs) in chemical education as a part of the Division of Computers in Chemistry was discussed by a panel of educators at the Symbolic Calculation in Chemistry symposium in Philadelphia in 2004. The panelists agreed that many more topics in chemistry are amenable to SME's exploration and that symbolic…

An overview of selected information storage and retrieval issues in computerized document processing

NASA Technical Reports Server (NTRS)

Dominick, Wayne D. (Editor); Ihebuzor, Valentine U.

1984-01-01

The rapid development of computerized information storage and retrieval techniques has introduced the possibility of extending the word processing concept to document processing. A major advantage of computerized document processing is the relief of the tedious task of manual editing and composition usually encountered by traditional publishers through the immense speed and storage capacity of computers. Furthermore, computerized document processing provides an author with centralized control, the lack of which is a handicap of the traditional publishing operation. A survey of some computerized document processing techniques is presented with emphasis on related information storage and retrieval issues. String matching algorithms are considered central to document information storage and retrieval and are also discussed.

When math operations have visuospatial meanings versus purely symbolic definitions: Which solving stages and brain regions are affected?

PubMed

Pyke, Aryn A; Fincham, Jon M; Anderson, John R

2017-06-01

How does processing differ during purely symbolic problem solving versus when mathematical operations can be mentally associated with meaningful (here, visuospatial) referents? Learners were trained on novel math operations (↓, ↑), that were defined strictly symbolically or in terms of a visuospatial interpretation (operands mapped to dimensions of shaded areas, answer = total area). During testing (scanner session), no visuospatial representations were displayed. However, we expected visuospatially-trained learners to form mental visuospatial representations for problems, and exhibit distinct activations. Since some solution intervals were long (~10s) and visuospatial representations might only be instantiated in some stages during solving, group differences were difficult to detect when treating the solving interval as a whole. However, an HSMM-MVPA process (Anderson and Fincham, 2014a) to parse fMRI data identified four distinct problem-solving stages in each group, dubbed: 1) encode; 2) plan; 3) compute; and 4) respond. We assessed stage-specific differences across groups. During encoding, several regions implicated in general semantic processing and/or mental imagery were more active in visuospatially-trained learners, including: bilateral supramarginal, precuneus, cuneus, parahippocampus, and left middle temporal regions. Four of these regions again emerged in the computation stage: precuneus, right supramarginal/angular, left supramarginal/inferior parietal, and left parahippocampal gyrus. Thus, mental visuospatial representations may not just inform initial problem interpretation (followed by symbolic computation), but may scaffold on-going computation. In the second stage, higher activations were found among symbolically-trained solvers in frontal regions (R. medial and inferior and L. superior) and the right angular and middle temporal gyrus. Activations in contrasting regions may shed light on solvers' degree of use of symbolic versus mental visuospatial strategies, even in absence of behavioral differences. Copyright © 2017 Elsevier Inc. All rights reserved.

[Computer graphic display of retinal examination results. Software improving the quality of documenting fundus changes].

PubMed

Jürgens, Clemens; Grossjohann, Rico; Czepita, Damian; Tost, Frank

2009-01-01

Graphic documentation of retinal examination results in clinical ophthalmological practice is often depicted using pictures or in handwritten form. Popular software products used to describe changes in the fundus do not vary much from simple graphic programs that enable to insert, scale and edit basic graphic elements such as: a circle, rectangle, arrow or text. Displaying the results of retinal examinations in a unified way is difficult to achieve. Therefore, we devised and implemented modern software tools for this purpose. A computer program enabling to quickly and intuitively form graphs of the fundus, that can be digitally archived or printed was created. Especially for the needs of ophthalmological clinics, a set of standard digital symbols used to document the results of retinal examinations was developed and installed in a library of graphic symbols. These symbols are divided into the following categories: preoperative, postoperative, neovascularization, retinopathy of prematurity. The appropriate symbol can be selected with a click of the mouse and dragged-and-dropped on the canvas of the fundus. Current forms of documenting results of retinal examinations are unsatisfactory, due to the fact that they are time consuming and imprecise. Unequivocal interpretation is difficult or in some cases impossible. Using the developed computer program a sketch of the fundus can be created much more quickly than by hand drawing. Additionally the quality of the medica documentation using a system of well described and standardized symbols will be enhanced. (1) Graphic symbols used to document the results of retinal examinations are a part of everyday clinical practice. (2) The designed computer program will allow quick and intuitive graphical creation of fundus sketches that can be either digitally archived or printed.

DOE Office of Scientific and Technical Information (OSTI.GOV)

March-Leuba, S.; Jansen, J.F.; Kress, R.L.

A new program package, Symbolic Manipulator Laboratory (SML), for the automatic generation of both kinematic and static manipulator models in symbolic form is presented. Critical design parameters may be identified and optimized using symbolic models as shown in the sample application presented for the Future Armor Rearm System (FARS) arm. The computer-aided development of the symbolic models yields equations with reduced numerical complexity. Important considerations have been placed on the closed form solutions simplification and on the user friendly operation. The main emphasis of this research is the development of a methodology which is implemented in a computer program capablemore » of generating symbolic kinematic and static forces models of manipulators. The fact that the models are obtained trigonometrically reduced is among the most significant results of this work and the most difficult to implement. Mathematica, a commercial program that allows symbolic manipulation, is used to implement the program package. SML is written such that the user can change any of the subroutines or create new ones easily. To assist the user, an on-line help has been written to make of SML a user friendly package. Some sample applications are presented. The design and optimization of the 5-degrees-of-freedom (DOF) FARS manipulator using SML is discussed. Finally, the kinematic and static models of two different 7-DOF manipulators are calculated symbolically.« less

Health Representations, Perceived Valence, and Concept Associations for Symbols as Food Cues: A Mixed-Methods Approach.

PubMed

Thomas, Erica L; Puig Ribera, Anna; Senye-Mir, Anna; Eves, Frank F

2016-11-01

Researchers have experimented with a range of point-of-purchase (PoP) interventions in supermarkets, restaurants, and cafeterias. In general, these interventions have employed written materials. This research tested symbols to visually summarize information about the (un)healthiness of food. Study one explored health representations and valence associated with the image of a heart, a bathroom scale, and a running shoe using qualitative field interviews (N = 1200). Study two explored accessibility of a priori concept associations for two of those images, stratified by valence, in a computerized response latency task (N = 40). Study one indicted that the heart was best linked to its intended theme "heart health." Concerning valence, the heart was seen as both positive and negative whereas the scale was less likely to be viewed as positive relative to the running shoe. In study two, the heart was linked to five of the six a priori concepts and there was evidence that three of these were more accessible. Overall, the heart was better linked to positive poles than negative ones. A heart symbol may be useful to prompt heart healthy choices at the PoP. There was evidence that a scale may bias choice away from undesirable foods.

Spacelab user implementation assessment study (software requirements analysis). Volume 1: Executive study

NASA Technical Reports Server (NTRS)

1976-01-01

The primary objective of this study was to develop an integrated approach for the development, implementation, and utilization of all software that is required to efficiently and cost-effectively support advanced technology laboratory flight and ground operations. It was recognized that certain aspects of the operations would be mandatory computerized services; computerization of other aspects would be optional. Thus, the analyses encompassed not only alternate computer utilization and implementations but trade studies of the programmatic effects of non-computerized versus computerized approaches to the operations. A general overview of the study is presented.

Computerized Fleet Maintenance.

ERIC Educational Resources Information Center

Cataldo, John J.

The computerization of school bus maintenance records by the Niskayuna (New York) Central School District enabled the district's transportation department to engage in management practices resulting in significant savings. The district obtains computer analyses of the work performed on all vehicles, including time spent, parts, labor, costs,…

Information system to manage anatomical knowledge and image data about brain

NASA Astrophysics Data System (ADS)

Barillot, Christian; Gibaud, Bernard; Montabord, E.; Garlatti, S.; Gauthier, N.; Kanellos, I.

1994-09-01

This paper reports about first results obtained in a project aiming at developing a computerized system to manage knowledge about brain anatomy. The emphasis is put on the design of a knowledge base which includes a symbolic model of cerebral anatomical structures (grey nuclei, cortical structures such as gyri and sulci, verntricles, vessels, etc.) and of hypermedia facilities allowing to retrieve and display information associated with the objects (texts, drawings, images). Atlas plates digitized from a stereotactic atlas are also used to provide natural and effective communication means between the user and the system.

Development of the Symbolic Manipulator Laboratory modeling package for the kinematic design and optimization of the Future Armor Rearm System robot. Ammunition Logistics Program

DOE Office of Scientific and Technical Information (OSTI.GOV)

March-Leuba, S.; Jansen, J.F.; Kress, R.L.

1992-08-01

A new program package, Symbolic Manipulator Laboratory (SML), for the automatic generation of both kinematic and static manipulator models in symbolic form is presented. Critical design parameters may be identified and optimized using symbolic models as shown in the sample application presented for the Future Armor Rearm System (FARS) arm. The computer-aided development of the symbolic models yields equations with reduced numerical complexity. Important considerations have been placed on the closed form solutions simplification and on the user friendly operation. The main emphasis of this research is the development of a methodology which is implemented in a computer program capablemore » of generating symbolic kinematic and static forces models of manipulators. The fact that the models are obtained trigonometrically reduced is among the most significant results of this work and the most difficult to implement. Mathematica, a commercial program that allows symbolic manipulation, is used to implement the program package. SML is written such that the user can change any of the subroutines or create new ones easily. To assist the user, an on-line help has been written to make of SML a user friendly package. Some sample applications are presented. The design and optimization of the 5-degrees-of-freedom (DOF) FARS manipulator using SML is discussed. Finally, the kinematic and static models of two different 7-DOF manipulators are calculated symbolically.« less

Validation of a computerized algorithm to quantify fetal heart rate deceleration area.

PubMed

Gyllencreutz, Erika; Lu, Ke; Lindecrantz, Kaj; Lindqvist, Pelle G; Nordstrom, Lennart; Holzmann, Malin; Abtahi, Farhad

2018-05-16

Reliability in visual cardiotocography interpretation is unsatisfying, which has led to development of computerized cardiotocography. Computerized analysis is well established for antenatal fetal surveillance, but has yet not performed sufficiently during labor. We aimed to investigate the capacity of a new computerized algorithm compared to visual assessment in identifying intrapartum fetal heart rate baseline and decelerations. Three-hundred-and-twelve intrapartum cardiotocography tracings with variable decelerations were analysed by the computerized algorithm and visually examined by two observers, blinded to each other and the computer analysis. The width, depth and area of each deceleration was measured. Four cases (>100 variable decelerations) were subject to in-depth detailed analysis. The outcome measures were bias in seconds (width), beats per minute (depth), and beats (area) between computer and observers by using Bland-Altman analysis. Interobserver reliability was determined by calculating intraclass correlation and Spearman rank analysis. The analysis (312 cases) showed excellent intraclass correlation (0.89-0.95) and very strong Spearman correlation (0.82-0.91). The detailed analysis of > 100 decelerations in 4 cases revealed low bias between the computer and the two observers; width 1.4 and 1.4 seconds, depth 5.1 and 0.7 beats per minute, and area 0.1 and -1.7 beats. This was comparable to the bias between the two observers; 0.3 seconds (width), 4.4 beats per minute (depth), and 1.7 beats (area). The intraclass correlation was excellent (0.90-0.98). A novel computerized algorithm for intrapartum cardiotocography analysis is as accurate as gold standard visual assessment with high correlation and low bias. This article is protected by copyright. All rights reserved. This article is protected by copyright. All rights reserved.

Symbolic Constraint Maintenance Grid

NASA Technical Reports Server (NTRS)

James, Mark

2006-01-01

Version 3.1 of Symbolic Constraint Maintenance Grid (SCMG) is a software system that provides a general conceptual framework for utilizing pre-existing programming techniques to perform symbolic transformations of data. SCMG also provides a language (and an associated communication method and protocol) for representing constraints on the original non-symbolic data. SCMG provides a facility for exchanging information between numeric and symbolic components without knowing the details of the components themselves. In essence, it integrates symbolic software tools (for diagnosis, prognosis, and planning) with non-artificial-intelligence software. SCMG executes a process of symbolic summarization and monitoring of continuous time series data that are being abstractly represented as symbolic templates of information exchange. This summarization process enables such symbolic- reasoning computing systems as artificial- intelligence planning systems to evaluate the significance and effects of channels of data more efficiently than would otherwise be possible. As a result of the increased efficiency in representation, reasoning software can monitor more channels and is thus able to perform monitoring and control functions more effectively.

Fuzzy Intervals for Designing Structural Signature: An Application to Graphic Symbol Recognition

NASA Astrophysics Data System (ADS)

Luqman, Muhammad Muzzamil; Delalandre, Mathieu; Brouard, Thierry; Ramel, Jean-Yves; Lladós, Josep

The motivation behind our work is to present a new methodology for symbol recognition. The proposed method employs a structural approach for representing visual associations in symbols and a statistical classifier for recognition. We vectorize a graphic symbol, encode its topological and geometrical information by an attributed relational graph and compute a signature from this structural graph. We have addressed the sensitivity of structural representations to noise, by using data adapted fuzzy intervals. The joint probability distribution of signatures is encoded by a Bayesian network, which serves as a mechanism for pruning irrelevant features and choosing a subset of interesting features from structural signatures of underlying symbol set. The Bayesian network is deployed in a supervised learning scenario for recognizing query symbols. The method has been evaluated for robustness against degradations & deformations on pre-segmented 2D linear architectural & electronic symbols from GREC databases, and for its recognition abilities on symbols with context noise i.e. cropped symbols.

36 CFR 1120.52 - Computerized records.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 36 Parks, Forests, and Public Property 3 2014-07-01 2014-07-01 false Computerized records. 1120.52 Section 1120.52 Parks, Forests, and Public Property ARCHITECTURAL AND TRANSPORTATION BARRIERS COMPLIANCE... additional programming of the computer, thus producing information not previously in being, is not required...

36 CFR 1120.52 - Computerized records.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 36 Parks, Forests, and Public Property 3 2012-07-01 2012-07-01 false Computerized records. 1120.52 Section 1120.52 Parks, Forests, and Public Property ARCHITECTURAL AND TRANSPORTATION BARRIERS COMPLIANCE... additional programming of the computer, thus producing information not previously in being, is not required...

IGT-Open: An open-source, computerized version of the Iowa Gambling Task.

PubMed

Dancy, Christopher L; Ritter, Frank E

2017-06-01

The Iowa Gambling Task (IGT) is commonly used to understand the processes involved in decision-making. Though the task was originally run without a computer, using a computerized version of the task has become typical. These computerized versions of the IGT are useful, because they can make the task more standardized across studies and allow for the task to be used in environments where a physical version of the task may be difficult or impossible to use (e.g., while collecting brain imaging data). Though these computerized versions of the IGT have been useful for experimentation, having multiple software implementations of the task could present reliability issues. We present an open-source software version of the Iowa Gambling Task (called IGT-Open) that allows for millisecond visual presentation accuracy and is freely available to be used and modified. This software has been used to collect data from human subjects and also has been used to run model-based simulations with computational process models developed to run in the ACT-R architecture.

Computerized proof techniques for undergraduates

NASA Astrophysics Data System (ADS)

Smith, Christopher J.; Tefera, Akalu; Zeleke, Aklilu

2012-12-01

The use of computer algebra systems such as Maple and Mathematica is becoming increasingly important and widespread in mathematics learning, teaching and research. In this article, we present computerized proof techniques of Gosper, Wilf-Zeilberger and Zeilberger that can be used for enhancing the teaching and learning of topics in discrete mathematics. We demonstrate by examples how one can use these computerized proof techniques to raise students' interests in the discovery and proof of mathematical identities and enhance their problem-solving skills.

System for Computer Automated Typesetting ((SCAT) of Computer Authored Texts.

DTIC Science & Technology

1980-07-01

95 APPENDIX D - CODE SETS. .. .. .... ...... ..... ....... 101 APPENDIX E - SAMPLE OF PROGRAMMED INSTRUCTION DEMONSTRATING THE USE OF TYPOGRAPHY ...demonstrates the quality of typography available. 1discussion of typesetting in general is beyond the scope of this report. The reader not familiar with...INSTRUCTION DEMONSTRATING THE USE OF TYPOGRAPHY 107 1’p TAEG Report No. 8 PRESENT WEATHER SYMBOLS Symbolic Numbers NWS-AG-A-090 November 1979 This program was

The symbolic computation of series solutions to ordinary differential equations using trees (extended abstract)

NASA Technical Reports Server (NTRS)

Grossman, Robert

1991-01-01

Algorithms previously developed by the author give formulas which can be used for the efficient symbolic computation of series expansions to solutions of nonlinear systems of ordinary differential equations. As a by product of this analysis, formulas are derived which relate to trees to the coefficients of the series expansions, similar to the work of Leroux and Viennot, and Lamnabhi, Leroux and Viennot.

A comparison of paper-and-pencil and computerized forms of Line Orientation and Enhanced Cued Recall Tests.

PubMed

Aşkar, Petek; Altun, Arif; Cangöz, Banu; Cevik, Vildan; Kaya, Galip; Türksoy, Hasan

2012-04-01

The purpose of this study was to assess whether a computerized battery of neuropsychological tests could produce similar results as the conventional forms. Comparisons on 77 volunteer undergraduates were carried out with two neuropsychological tests: Line Orientation Test and Enhanced Cued Recall Test. Firstly, students were assigned randomly across the test medium (paper-and-pencil versus computerized). Secondly, the groups were given the same test in the other medium after a 30-day interval between tests. Results showed that the Enhanced Cued Recall Test-Computer-based did not correlate with the Enhanced Cued Recall Test-Paper-and-pencil results. Line Orientation Test-Computer-based scores, on the other hand, did correlate significantly with the Line Orientation Test-Paper-and-pencil version. In both tests, scores were higher on paper-and-pencil tests compared to computer-based tests. Total score difference between modalities was statistically significant for both Enhanced Cued Recall Tests and for the Line Orientation Test. In both computer-based tests, it took less time for participants to complete the tests.

MacMouse. Developing Preschool Readiness Concepts and Skills with HyperCard and MacRecorder.

ERIC Educational Resources Information Center

Fitterman, L. Jeffrey

Through developments with the use of the "Apple Macintosh" computer, "HyperCard," and "MacRecorder," children in preschool handicapped programs are now capable of participating in appropriate computerized learning experiences. "HyperCard" allows educators to produce their own computerized instructional…

45 CFR 307.10 - Functional requirements for computerized support enforcement systems in operation by October 1...

Code of Federal Regulations, 2010 CFR

2010-10-01

... to Public Welfare OFFICE OF CHILD SUPPORT ENFORCEMENT (CHILD SUPPORT ENFORCEMENT PROGRAM), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES COMPUTERIZED SUPPORT... payments; (6) Computing and distributing incentive payments to political subdivisions which share in the...

36 CFR § 1120.52 - Computerized records.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 36 Parks, Forests, and Public Property 3 2013-07-01 2012-07-01 true Computerized records. § 1120.52 Section § 1120.52 Parks, Forests, and Public Property ARCHITECTURAL AND TRANSPORTATION BARRIERS... could be produced only by additional programming of the computer, thus producing information not...

Production of graphic symbol sentences by individuals with aphasia: efficacy of a computer-based augmentative and alternative communication intervention.

PubMed

Koul, Rajinder; Corwin, Melinda; Hayes, Summer

2005-01-01

The study employed a single-subject multiple baseline design to examine the ability of 9 individuals with severe Broca's aphasia or global aphasia to produce graphic symbol sentences of varying syntactical complexity using a software program that turns a computer into a speech output communication device. The sentences ranged in complexity from simple two-word phrases to those with morphological inflections, transformations, and relative clauses. Overall, results indicated that individuals with aphasia are able to access, manipulate, and combine graphic symbols to produce phrases and sentences of varying degrees of syntactical complexity. The findings are discussed in terms of the clinical and public policy implications.

Crewmember Performance Before, During, And After Spaceflight

PubMed Central

Kelly, Thomas H; Hienz, Robert D; Zarcone, Troy J; Wurster, Richard M; Brady, Joseph V

2005-01-01

The development of technologies for monitoring the welfare of crewmembers is a critical requirement for extended spaceflight. Behavior analytic methodologies provide a framework for studying the performance of individuals and groups, and brief computerized tests have been used successfully to examine the impairing effects of sleep, drug, and nutrition manipulations on human behavior. The purpose of the present study was to evaluate the feasibility and sensitivity of repeated performance testing during spaceflight. Four National Aeronautics and Space Administration crewmembers were trained to complete computerized questionnaires and performance tasks at repeated regular intervals before and after a 10-day shuttle mission and at times that interfered minimally with other mission activities during spaceflight. Two types of performance, Digit-Symbol Substitution trial completion rates and response times during the most complex Number Recognition trials, were altered slightly during spaceflight. All other dimensions of the performance tasks remained essentially unchanged over the course of the study. Verbal ratings of Fatigue increased slightly during spaceflight and decreased during the postflight test sessions. Arousal ratings increased during spaceflight and decreased postflight. No other consistent changes in rating-scale measures were observed over the course of the study. Crewmembers completed all mission requirements in an efficient manner with no indication of clinically significant behavioral impairment during the 10-day spaceflight. These results support the feasibility and utility of computerized task performances and questionnaire rating scales for repeated measurement of behavior during spaceflight. PMID:16262187

Computerization and its contribution to care quality improvement: the nurses' perspective.

PubMed

Kagan, Ilya; Fish, Miri; Farkash-Fink, Naomi; Barnoy, Sivia

2014-12-01

Despite the widely held belief that the computerization of hospital medical systems contributes to improved patient care management, especially in the context of ordering medications and record keeping, extensive study of the attitudes of medical staff to computerization has found them to be negative. The views of nursing staff have been barely studied and so are unclear. The study reported here investigated the association between nurses' current computer use and skills, the extent of their involvement in quality control and improvement activities on the ward and their perception of the contribution of computerization to improving nursing care. The study was made in the context of a Joint Commission International Accreditation (JCIA) in a large tertiary medical center in Israel. The perception of the role of leadership commitment in the success of a quality initiative was also tested for. Two convenience samples were drawn from 33 clinical wards and units of the medical center. They were questioned at two time points, one before the JCIA and a second after JCIA completion. Of all nurses (N=489), 89 were paired to allow analysis of the study data in a before-and-after design. Thus, this study built three data sets: a pre-JCIA set, a post-JCIA set and a paired sample who completed the questionnaire both before and after JCIA. Data were collected by structured self-administered anonymous questionnaire. After the JCIA the participants ranked the role of leadership in quality improvement, the extent of their own quality control activity, and the contribution of computers to quality improvement higher than before the JCIA. Significant Pearson correlations were found showing that the higher the rating given to quality improvement leadership the more nurses reported quality improvement activities undertaken by them and the higher nurses rated the impact of computerization on the quality of care. In a regression analysis quality improvement leadership and computer use/skills accounted for 30% of the variance in the perceived contribution of computerization to quality improvement. (a) The present study is the first to show a relationship between organizational leadership and computer use by nurses for the purpose of improving clinical care. (b) The nurses' appreciation of the contribution computerization can make to data management and to clinical care quality improvement were both increased by the JCI accreditation process. Copyright © 2014 Elsevier Ireland Ltd. All rights reserved.

Sentence Comprehension: A Parallel Distributed Processing Approach

DTIC Science & Technology

1989-07-14

NAME OF PERFORMING ORGANIZATION 6b OFFICE SYMBOL 7a NAME OF MONITORING ORGANIZATION (If aodkawe) Computer Sciences DivisionCarnegie-Mellon University...Pittsburgh, Pennsylvania 15213. Arlington, Virginia 22217-5000 $a. NAME OF FUNOINGISPONSORING Sb OFFICE SYMBOL 9 PROCUREMENT INSTRUMENT IOENTIFICATION...3 OTIC USERS 22a NAME OF RESPONSIBLE INOIVI0UAL 22b TELEPHONE (include Area COd) 22c. OFFICE SYMBOL Dr. Alan L. Meyrowitz (202) 696-4302 N00014 D0

Map Design for Computer Processing: Literature Review and DMA Product Critique.

DTIC Science & Technology

1985-01-01

requirements can be separated contour lines (vegetation shown by iconic symbols) from user preference. versus extracting relief information using only con...tour lines (vegetation shown by tints); 0 extracting vegetation information using iconic sym- PERFORMANCE TESTING bols (relief shown by elevation...show another: trapolating the symbols on a white background) in tim- * in the case of point symbols, iconic forms where ing the performance of tasks

Target recognition and scene interpretation in image/video understanding systems based on network-symbolic models

NASA Astrophysics Data System (ADS)

Kuvich, Gary

2004-08-01

Vision is only a part of a system that converts visual information into knowledge structures. These structures drive the vision process, resolving ambiguity and uncertainty via feedback, and provide image understanding, which is an interpretation of visual information in terms of these knowledge models. These mechanisms provide a reliable recognition if the object is occluded or cannot be recognized as a whole. It is hard to split the entire system apart, and reliable solutions to the target recognition problems are possible only within the solution of a more generic Image Understanding Problem. Brain reduces informational and computational complexities, using implicit symbolic coding of features, hierarchical compression, and selective processing of visual information. Biologically inspired Network-Symbolic representation, where both systematic structural/logical methods and neural/statistical methods are parts of a single mechanism, is the most feasible for such models. It converts visual information into relational Network-Symbolic structures, avoiding artificial precise computations of 3-dimensional models. Network-Symbolic Transformations derive abstract structures, which allows for invariant recognition of an object as exemplar of a class. Active vision helps creating consistent models. Attention, separation of figure from ground and perceptual grouping are special kinds of network-symbolic transformations. Such Image/Video Understanding Systems will be reliably recognizing targets.

Combined single photon emission computerized tomography and conventional computerized tomography: Clinical value for the shoulder surgeons?

PubMed Central

Hirschmann, Michael T.; Schmid, Rahel; Dhawan, Ranju; Skarvan, Jiri; Rasch, Helmut; Friederich, Niklaus F.; Emery, Roger

2011-01-01

With the cases described, we strive to introduce single photon emission computerized tomography in combination with conventional computer tomography (SPECT/CT) to shoulder surgeons, illustrate the possible clinical value it may offer as new diagnostic radiologic modality, and discuss its limitations. SPECT/CT may facilitate the establishment of diagnosis, process of decision making, and further treatment for complex shoulder pathologies. Some of these advantages were highlighted in cases that are frequently seen in most shoulder clinics. PMID:22058640

An Introduction to the Computerized Adaptive Testing

ERIC Educational Resources Information Center

Tian, Jian-quan; Miao, Dan-min; Zhu, Xia; Gong, Jing-jing

2007-01-01

Computerized adaptive testing (CAT) has unsurpassable advantages over traditional testing. It has become the mainstream in large scale examinations in modern society. This paper gives a brief introduction to CAT including differences between traditional testing and CAT, the principles of CAT, psychometric theory and computer algorithms of CAT, the…

Computerized Proof Techniques for Undergraduates

ERIC Educational Resources Information Center

Smith, Christopher J.; Tefera, Akalu; Zeleke, Aklilu

2012-01-01

The use of computer algebra systems such as Maple and Mathematica is becoming increasingly important and widespread in mathematics learning, teaching and research. In this article, we present computerized proof techniques of Gosper, Wilf-Zeilberger and Zeilberger that can be used for enhancing the teaching and learning of topics in discrete…

Computerization, Postmodern Epistemology, and Reading in the Postmodern Era.

ERIC Educational Resources Information Center

Murphy, John W.

1988-01-01

The relevance of postmodernism for formulating educational policy is discussed, emphasizing the postmodern critique of computerization. Postmodernists suggest that the computer in education may not be as productive as was originally thought because it will bring to fruition the theories of modernism that separate truth from context. (JL)

Computerized Adaptive Testing: An Overview and an Example.

ERIC Educational Resources Information Center

McBride, James R.

The advantages of computerized adaptive testing are discussed, and an example illustrates its use in sixth grade mathematics. These tests are administered at a computer terminal, and the test items to be administered are selected according to the difficulty level appropriate to the individual's ability. Tailoring increases the psychometric…

An Evaluation of an Inquiry-Based Computer-Assisted Learning Environment.

ERIC Educational Resources Information Center

Maor, Dorit; Fraser, Barry

1994-01-01

This study focused on students' development of inquiry skills in a computerized learning environment. Seven Year-11 classes (n=120) interacted with a computerized database, "Birds of Antarctica," and curriculum materials while the teacher used an inquiry approach to learning. Students perceived their classes as more investigative and…

Guidelines for the Development of Computerized Student Information Systems.

ERIC Educational Resources Information Center

Armes, Nancy, Ed.; And Others

Designed to provide guidelines for the development of computerized student information systems, this report raises policy issues and questions to be resolved at the campus level and describes a variety of computer-generated reports and records that can assist in educational decision making and planning. Introductory material discusses the…

Potential of Audiographic Computerized Telelearning for Distance Extension Education.

ERIC Educational Resources Information Center

Verma, Satish; And Others

In the last 10 years, an approach to electronic distance education called audiographic computerized telelearning using standard telephone lines has come to the fore. Telelearning is a cost-effective system which optimizes existing computer facilities and creates a teaching-learning environment that is interactive, efficient, and adaptable to a…

Computerized Adaptive Testing: Some Issues in Development.

ERIC Educational Resources Information Center

Orcutt, Venetia L.

The emergence of enhanced capabilities in computer technology coupled with the growing body of knowledge regarding item response theory has resulted in the expansion of computerized adaptive test (CAT) utilization in a variety of venues. Newcomers to the field need a more thorough understanding of item response theory (IRT) principles, their…

76 FR 23824 - Guidance for Industry: “Computer Crossmatch” (Computerized Analysis of the Compatibility Between...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-04-28

... the Compatibility Between the Donor's Cell Type and the Recipient's Serum or Plasma Type... Crossmatch' (Computerized Analysis of the Compatibility between the Donor's Cell Type and the Recipient's... donor's cell type and the recipient's serum or plasma type. The guidance describes practices that we...

An Introduction to the Computerized Assessment of Art-Based Instruments

ERIC Educational Resources Information Center

Mattson, Donald C.

2012-01-01

This article provides a historical overview of computer-assisted art assessment, introduces the basic concepts of computerized assessment of art-based instruments (CAABI), and offers a tutorial to assist art therapists in the study of its application. Understanding this emergent technology may assist art therapists in overcoming hesitancy in…

Computerized technique for recording board defect data

Treesearch

R. Bruce Anderson; R. Edward Thomas; Charles J. Gatchell; Neal D. Bennett; Neal D. Bennett

1993-01-01

A computerized technique for recording board defect data has been developed that is faster and more accurate than manual techniques. The lumber database generated by this technique is a necessary input to computer simulation models that estimate potential cutting yields from various lumber breakdown sequences. The technique allows collection of detailed information...

Computer Review Can Cut HVAC Energy Use

ERIC Educational Resources Information Center

McClure, Charles J. R.

1974-01-01

A computerized review of construction bidding documents, usually done by a consulting engineer, can reveal how much money it will cost to operate various alternative types of HVAC equipment over a school's lifetime. The review should include a computerized load calculation, energy systems flow diagram, control system analysis, and a computerized…

Using computers to enable self-management of aphasia therapy exercises for word finding: the patient and carer perspective.

PubMed

Palmer, Rebecca; Enderby, Pam; Paterson, Gail

2013-01-01

Speech and language therapy (SLT) for aphasia can be difficult to access in the later stages of stroke recovery, despite evidence of continued improvement with sufficient therapeutic intensity. Computerized aphasia therapy has been reported to be useful for independent language practice, providing new opportunities for continued rehabilitation. The success of this option depends on its acceptability to patients and carers. To investigate factors that affect the acceptability of independent home computerized aphasia therapy practice. An acceptability study of computerized therapy was carried out alongside a pilot randomized controlled trial of computer aphasia therapy versus usual care for people more than 6 months post-stroke. Following language assessment and computer exercise prescription by a speech and language therapist, participants practised three times a week for 5 months at home with monthly volunteer support. Semi-structured interviews were conducted with 14 participants who received the intervention and ten carers (n = 24). Questions from a topic guide were presented and answered using picture, gesture and written support. Interviews were audio recorded, transcribed verbatim and analysed thematically. Three research SLTs identified and cross-checked themes and subthemes emerging from the data. The key themes that emerged were benefits and disadvantages of computerized aphasia therapy, need for help and support, and comparisons with face-to-face therapy. The independence, flexibility and repetition afforded by the computer was viewed as beneficial and the personalized exercises motivated participants to practise. Participants and carers perceived improvements in word-finding and confidence-talking. Computer practice could cause fatigue and interference with other commitments. Support from carers or volunteers for motivation and technical assistance was seen as important. Although some participants preferred face-to-face therapy, using a computer for independent language practice was perceived to be an acceptable alternative. Independent computerized aphasia therapy is acceptable to stroke survivors. Acceptability can be maximized by tailoring exercises to personal interests of the individual, ensuring access to support and giving consideration to fatigue and life style when recommending practice schedules. © 2013 Royal College of Speech and Language Therapists.

Error correcting code with chip kill capability and power saving enhancement

DOEpatents

Gara, Alan G [Mount Kisco, NY; Chen, Dong [Croton On Husdon, NY; Coteus, Paul W [Yorktown Heights, NY; Flynn, William T [Rochester, MN; Marcella, James A [Rochester, MN; Takken, Todd [Brewster, NY; Trager, Barry M [Yorktown Heights, NY; Winograd, Shmuel [Scarsdale, NY

2011-08-30

A method and system are disclosed for detecting memory chip failure in a computer memory system. The method comprises the steps of accessing user data from a set of user data chips, and testing the user data for errors using data from a set of system data chips. This testing is done by generating a sequence of check symbols from the user data, grouping the user data into a sequence of data symbols, and computing a specified sequence of syndromes. If all the syndromes are zero, the user data has no errors. If one of the syndromes is non-zero, then a set of discriminator expressions are computed, and used to determine whether a single or double symbol error has occurred. In the preferred embodiment, less than two full system data chips are used for testing and correcting the user data.

a Recursive Approach to Compute Normal Forms

NASA Astrophysics Data System (ADS)

HSU, L.; MIN, L. J.; FAVRETTO, L.

2001-06-01

Normal forms are instrumental in the analysis of dynamical systems described by ordinary differential equations, particularly when singularities close to a bifurcation are to be characterized. However, the computation of a normal form up to an arbitrary order is numerically hard. This paper focuses on the computer programming of some recursive formulas developed earlier to compute higher order normal forms. A computer program to reduce the system to its normal form on a center manifold is developed using the Maple symbolic language. However, it should be stressed that the program relies essentially on recursive numerical computations, while symbolic calculations are used only for minor tasks. Some strategies are proposed to save computation time. Examples are presented to illustrate the application of the program to obtain high order normalization or to handle systems with large dimension.

Influence of colour on acquisition and generalisation of graphic symbols.

PubMed

Hetzroni, O E; Ne'eman, A

2013-07-01

Children with autism may benefit from using graphic symbols for their communication, language and literacy development. The purpose of this study was to investigate the influence of colour versus grey-scale displays on the identification of graphic symbols using a computer-based intervention. An alternating treatment design was employed to examine the learning and generalisation of 58 colour and grey-scale symbols by four preschool children with autism. The graphic symbols were taught via a meaning-based intervention using stories and educational games. Results demonstrate that all of the children were able to learn and maintain symbol identification over time for both symbol displays with no apparent differences. Differences were apparent for two of the children who exhibited better generalisation when learning grey-scale symbols first. The other two showed no noticeable difference, between displays when generalising from one display to the other. Implications and further research are discussed. © 2012 The Authors. Journal of Intellectual Disability Research © 2012 John Wiley & Sons Ltd, MENCAP & IASSID.

Computerized Writing and Reading Instruction for Students in Grades 4 to 9 With Specific Learning Disabilities Affecting Written Language

PubMed Central

Tanimoto, Steven; Thompson, Rob; Berninger, Virginia W.; Nagy, William; Abbott, Robert D.

2015-01-01

Computer scientists and educational researchers evaluated effectiveness of computerized instruction tailored to evidence-based impairments in specific learning disabilities (SLDs) in students in grades 4 to 9 with persisting SLDs despite prior extra help. Following comprehensive, evidence-based differential diagnosis for dysgraphia (impaired handwriting), dyslexia (impaired word reading and spelling), and oral and written language learning disability (OWL LD), students completed 18 sessions of computerized instruction over about 3 months. The 11 students taught letter formation with sequential, numbered, colored arrow cues with full contours who wrote letters on lines added to iPAD screen showed more and stronger treatment effects than the 21 students taught using only visual motion cues for letter formation who wrote on an unlined computer monitor. Teaching to all levels of language in multiple functional language systems (by ear, eye, mouth, and hand) close in time resulted in significant gains in reading and writing skills for the group and in diagnosed SLD hallmark impairments for individuals; also, performance on computerized learning activities correlated with treatment gains. Results are discussed in reference to need for both accommodations and explicit instruction for persisting SLDs and the potential for computers to teach handwriting, morphophonemic orthographies, comprehension, and composition. PMID:26858470

The data base management system alternative for computing in the human services.

PubMed

Sircar, S; Schkade, L L; Schoech, D

1983-01-01

The traditional incremental approach to computerization presents substantial problems as systems develop and grow. The Data Base Management System approach to computerization was developed to overcome the problems resulting from implementing computer applications one at a time. The authors describe the applications approach and the alternative Data Base Management System (DBMS) approach through their developmental history, discuss the technology of DBMS components, and consider the implications of choosing the DBMS alternative. Human service managers need an understanding of the DBMS alternative and its applicability to their agency data processing needs. The basis for a conscious selection of computing alternatives is outlined.

Neuropsychological mechanisms of Digit Symbol Substitution Test impairment in Asperger Disorder.

PubMed

Yoran-Hegesh, Roni; Kertzman, Semion; Vishne, Tali; Weizman, Abraham; Kotler, Moshe

2009-03-31

Our aim was to investigate the neurocognitive mechanisms recruited by adolescents with Asperger Disorder (AD), in comparison to controls, and to detect the underlying mechanisms during the complex information processing required for the performance of the Digit Symbol Substitution Test (DSST). Male adolescents (n=23; mean age 15.1+/-3.6 years) with a DSM-IV diagnosis of AD were compared with a normal male control group with similar demographic characteristics (n=43; mean age: 15.1+/-3.6 years). A computerized neurocognitive battery was administered and included: Inspection Time (IT), Finger Tapping Test (FTT), Simple Reaction Time (SRT), Choice Reaction Time (CRT), Digit Running task (DRT), Stroop test and Digit Symbol Substitution Test (DSST). Adolescents with AD performed significantly worse than controls on the DSST. This impaired DSST performance was related to cognitive mechanisms different from those employed by normal controls. Motor slowness and inability to deal with increased amounts of information affected the performance of the AD group, while shifting of attention was the limiting factor in the controls. Both groups were similarly dependent on response selection. This study demonstrated differences in performance in complex cognitive tasks between adolescents with AD and normal controls that may be related to differences in neurocognitive mechanisms underlying information processing. Future neuroimaging studies are needed to clarify the neural network involved in the differences in cognitive performance between AD subjects and normal controls.

Stochastic Interactive Activation and the Effect of Context on Perception

DTIC Science & Technology

1989-07-14

OFFICE SYMBOL 7a. NAME OP MONITORING ORGANIZATION Caregi-MelonUniersty (if apdlcabile) Computer Sciences DivisionCarngieMelon U vesit j___________ Office...Pittsburgh, Pennsylvania 15213 Arlington, Virginia 22217-5000 Sa. NAME OF FUJNDING /SPONSORING Sb. OFFICE SYMBOL . 9 PROCJREMENT INSTRUMENT IDENTIFICATION...RESPONSIBLE INDIVIDUAL 22b TELEPHONE (Include Area Code) 122c. OFFICE SYMBOL Dr. Alan L. Meyrovitz 1(202) 696-4302 N00014 00 FORM 1473,054 MAR 83 APR

Efficient Symbolic Task Planning for Multiple Mobile Robots

DTIC Science & Technology

2016-12-13

Efficient Symbolic Task Planning for Multiple Mobile Robots Yuqian Jiang December 13, 2016 Abstract Symbolic task planning enables a robot to make...high-level deci- sions toward a complex goal by computing a sequence of actions with minimum expected costs. This thesis builds on a single- robot ...time complexity of optimal planning for multiple mobile robots . In this thesis we first investigate the performance of the state-of-the-art solvers of

University Faculty Teaching Activities in an Electronic Curriculum.

ERIC Educational Resources Information Center

Eisner, John; Carter, Thomas

1989-01-01

Discusses the changes in the instructional activities of university faculty members as a result of new computer-related educational technologies. Topics discussed include computer-assisted instruction; computer-managed instruction; optical discs; microcomputers; lecturing versus computer-based tutorials; videodiscs; computerized evaluative…

Symbolic Execution Enhanced System Testing

NASA Technical Reports Server (NTRS)

Davies, Misty D.; Pasareanu, Corina S.; Raman, Vishwanath

2012-01-01

We describe a testing technique that uses information computed by symbolic execution of a program unit to guide the generation of inputs to the system containing the unit, in such a way that the unit's, and hence the system's, coverage is increased. The symbolic execution computes unit constraints at run-time, along program paths obtained by system simulations. We use machine learning techniques treatment learning and function fitting to approximate the system input constraints that will lead to the satisfaction of the unit constraints. Execution of system input predictions either uncovers new code regions in the unit under analysis or provides information that can be used to improve the approximation. We have implemented the technique and we have demonstrated its effectiveness on several examples, including one from the aerospace domain.

A Workshop on the Integration of Numerical and Symbolic Computing Methods Held in Saratoga Springs, New York on July 9-11, 1990

DTIC Science & Technology

1991-04-01

SUMMARY OF COMPLETED PROJECT (for public use) The summary (about 200 words) must be self-contained and intellegible to a scientifically literate reader...dialogue among re- searchers in symbolic methods and numerical computation, and their appli- cations in certain disciplines of artificial intelligence...Lozano-Perez Purdue University Artificial Intelligence Laboratory West Lafayette, IN 47907 Massachusetts Institute of Technology (317) 494-6181 545

The decision tree classifier - Design and potential. [for Landsat-1 data

NASA Technical Reports Server (NTRS)

Hauska, H.; Swain, P. H.

1975-01-01

A new classifier has been developed for the computerized analysis of remote sensor data. The decision tree classifier is essentially a maximum likelihood classifier using multistage decision logic. It is characterized by the fact that an unknown sample can be classified into a class using one or several decision functions in a successive manner. The classifier is applied to the analysis of data sensed by Landsat-1 over Kenosha Pass, Colorado. The classifier is illustrated by a tree diagram which for processing purposes is encoded as a string of symbols such that there is a unique one-to-one relationship between string and decision tree.

Microcomputer Network for Computerized Adaptive Testing (CAT). [Final Report, FY81-83].

ERIC Educational Resources Information Center

Quan, Baldwin; And Others

Computerized adaptive testing (CAT) offers the opportunity to replace paper-and-pencil aptitude tests such as the Armed Services Vocational Aptitude Battery with shorter, more accurate, and more secure computer-administered tests. Its potential advantages need to be verified by experimental administration of automated tests to military recruit…

Computerized Systems for Collecting Real-Time Observational Data.

ERIC Educational Resources Information Center

Kahng, SungWoo; Iwata, Brian

1998-01-01

A survey of 15 developers of computerized real-time observation systems found many systems have incorporated laptop or handheld computers as well as bar-code scanners. Most systems used IBM-compatible software, and ranged from free to complete systems costing more than $1,500. Data analysis programs were included with most programs. (Author/CR)

Computerized Multi-Media Instructional Television. COMIT. Proceedings of a Symposium.

ERIC Educational Resources Information Center

Andrews, Gordon C., Ed.; Knapper, Christopher K., Ed.

A joint research project in educational techniques, which was conducted by the University of Waterloo and the IBM Corporation, explored the use of color television with random-access videotape under computer control. At the end of the three-year project, papers were solicited from all COMIT (Computerized Multi-Media Instructional Television)…

Operation ARA: A Computerized Learning Game that Teaches Critical Thinking and Scientific Reasoning

ERIC Educational Resources Information Center

Halpern, Diane F.; Millis, Keith; Graesser, Arthur C.; Butler, Heather; Forsyth, Carol; Cai, Zhiqiang

2012-01-01

Operation ARA (Acquiring Research Acumen) is a computerized learning game that teaches critical thinking and scientific reasoning. It is a valuable learning tool that utilizes principles from the science of learning and serious computer games. Students learn the skills of scientific reasoning by engaging in interactive dialogs with avatars. They…

An Empirical Validation of the Effectiveness of a Computerized Game to Teach Troubleshooting.

ERIC Educational Resources Information Center

Simutis, Zita M.; And Others

Forty-two enlisted men and women with no prior knowledge about electronics maintenance or logic diagrams participated in research designed to collect preliminary data on the training effectiveness of a problem solving computerized game for teaching electronics maintenance. Two games available on the University of Illinois PLATO Computer-Based…

MMPI-2 and MMPI-A Computerized Interpretation: An Adjunct to Quality Mental Health Service.

ERIC Educational Resources Information Center

Phelps, LeAdelle

1994-01-01

Provides reviews of computerized scoring and interpretive systems for the Minnesota Multiphasic Personality Inventory (MMPI-2 and MMPI-A): Caldwell Report, the Psychological Assessment Resources MMPI-2 Interpretive System, and the National Computer Systems Programs. Concludes that when used appropriately, such scoring systems enhance a counselor's…

Computerized design and generation of space-variant holographic filters. II - Applications of space-variant filters to optical computing

NASA Technical Reports Server (NTRS)

Ambs, P.; Fainman, Y.; Esener, S.; Lee, S. H.

1988-01-01

Holographic optical elements (HOEs) of space-variant impulse response have been designed and generated using a computerized optical system. HOEs made of dichromated gelatin have been produced and used for spatial light modulator defect removal and optical interconnects. Experimental performance and characteristics are presented.

Computerized Writing and Reading Instruction for Students in Grades 4-9 with Specific Learning Disabilities Affecting Written Language

ERIC Educational Resources Information Center

Tanimoto, S.; Thompson, R.; Berninger, V. W.; Nagy, W.; Abbott, R. D.

2015-01-01

Computer scientists and educational researchers evaluated effectiveness of computerized instruction tailored to evidence-based impairments in specific learning disabilities (SLDs) in students in grades 4-9 with persisting SLDs despite prior extra help. Following comprehensive, evidence-based differential diagnosis for dysgraphia (impaired…

Young Learners' Response Processes When Taking Computerized Tasks for Speaking Assessment

ERIC Educational Resources Information Center

Lee, Shinhye; Winke, Paula

2018-01-01

We investigated how young language learners process their responses on and perceive a computer-mediated, timed speaking test. Twenty 8-, 9-, and 10-year-old non-native English-speaking children (NNSs) and eight same-aged, native English-speaking children (NSs) completed seven computerized sample TOEFL® Primary™ speaking test tasks. We investigated…

Applications of Computer Science to the Management and Evaluation of the Educational Process.

ERIC Educational Resources Information Center

Hebenstreit, Jacques

This synthesis of reports from authors representing seven different countries discusses computerization as it applies to the management and evaluation of the educational process at all levels in developed countries. Focusing on the computerization of educational administration, the first of three sections of the paper suggests that advantages of…

Effects of low sampling rate in the digital data-transition tracking loop

NASA Technical Reports Server (NTRS)

Mileant, A.; Million, S.; Hinedi, S.

1994-01-01

This article describes the performance of the all-digital data-transition tracking loop (DTTL) with coherent and noncoherent sampling using nonlinear theory. The effects of few samples per symbol and of noncommensurate sampling and symbol rates are addressed and analyzed. Their impact on the probability density and variance of the phase error are quantified through computer simulations. It is shown that the performance of the all-digital DTTL approaches its analog counterpart when the sampling and symbol rates are noncommensurate (i.e., the number of samples per symbol is an irrational number). The loop signal-to-noise ratio (SNR) (inverse of phase error variance) degrades when the number of samples per symbol is an odd integer but degrades even further for even integers.

Neural computing for numeric-to-symbolic conversion in control systems

NASA Technical Reports Server (NTRS)

Passino, Kevin M.; Sartori, Michael A.; Antsaklis, Panos J.

1989-01-01

A type of neural network, the multilayer perceptron, is used to classify numeric data and assign appropriate symbols to various classes. This numeric-to-symbolic conversion results in a type of information extraction, which is similar to what is called data reduction in pattern recognition. The use of the neural network as a numeric-to-symbolic converter is introduced, its application in autonomous control is discussed, and several applications are studied. The perceptron is used as a numeric-to-symbolic converter for a discrete-event system controller supervising a continuous variable dynamic system. It is also shown how the perceptron can implement fault trees, which provide useful information (alarms) in a biological system and information for failure diagnosis and control purposes in an aircraft example.

A Comparative Study : Microprogrammed Vs Risc Architectures For Symbolic Processing

NASA Astrophysics Data System (ADS)

Heudin, J. C.; Metivier, C.; Demigny, D.; Maurin, T.; Zavidovique, B.; Devos, F.

1987-05-01

It is oftenclaimed that conventional computers are not well suited for human-like tasks : Vision (Image Processing), Intelligence (Symbolic Processing) ... In the particular case of Artificial Intelligence, dynamic type-checking is one example of basic task that must be improved. The solution implemented in most Lisp work-stations consists in a microprogrammed architecture with a tagged memory. Another way to gain efficiency is to design a well suited instruction set for symbolic processing, which reduces the semantic gap between the high level language and the machine code. In this framework, the RISC concept provides a convenient approach to study new architectures for symbolic processing. This paper compares both approaches and describes our projectof designing a compact symbolic processor for Artificial Intelligence applications.

A Survey of New Trends in Symbolic Execution for Software Testing and Analysis

NASA Technical Reports Server (NTRS)

Pasareanu, Corina S.; Visser, Willem

2009-01-01

Symbolic execution is a well-known program analysis technique which represents values of program inputs with symbolic values instead of concrete (initialized) data and executes the program by manipulating program expressions involving the symbolic values. Symbolic execution has been proposed over three decades ago but recently it has found renewed interest in the research community, due in part to the progress in decision procedures, availability of powerful computers and new algorithmic developments. We provide a survey of some of the new research trends in symbolic execution, with particular emphasis on applications to test generation and program analysis. We first describe an approach that handles complex programming constructs such as input data structures, arrays, as well as multi-threading. We follow with a discussion of abstraction techniques that can be used to limit the (possibly infinite) number of symbolic configurations that need to be analyzed for the symbolic execution of looping programs. Furthermore, we describe recent hybrid techniques that combine concrete and symbolic execution to overcome some of the inherent limitations of symbolic execution, such as handling native code or availability of decision procedures for the application domain. Finally, we give a short survey of interesting new applications, such as predictive testing, invariant inference, program repair, analysis of parallel numerical programs and differential symbolic execution.

A Symbolic Model of the Nonconscious Acquisition of Information.

ERIC Educational Resources Information Center

Ling, Charles X.; Marinov, Marin

1994-01-01

Challenges Smolensky's theory that human intuitive/nonconscious cognitive processes can only be accurately explained in terms of subsymbolic computations in artificial neural networks. Symbolic learning models of two cognitive tasks involving nonconscious acquisition of information are presented: learning production rules and artificial finite…

Feedback-Driven Dynamic Invariant Discovery

NASA Technical Reports Server (NTRS)

Zhang, Lingming; Yang, Guowei; Rungta, Neha S.; Person, Suzette; Khurshid, Sarfraz

2014-01-01

Program invariants can help software developers identify program properties that must be preserved as the software evolves, however, formulating correct invariants can be challenging. In this work, we introduce iDiscovery, a technique which leverages symbolic execution to improve the quality of dynamically discovered invariants computed by Daikon. Candidate invariants generated by Daikon are synthesized into assertions and instrumented onto the program. The instrumented code is executed symbolically to generate new test cases that are fed back to Daikon to help further re ne the set of candidate invariants. This feedback loop is executed until a x-point is reached. To mitigate the cost of symbolic execution, we present optimizations to prune the symbolic state space and to reduce the complexity of the generated path conditions. We also leverage recent advances in constraint solution reuse techniques to avoid computing results for the same constraints across iterations. Experimental results show that iDiscovery converges to a set of higher quality invariants compared to the initial set of candidate invariants in a small number of iterations.

A study of commuter airplane design optimization

NASA Technical Reports Server (NTRS)

Keppel, B. V.; Eysink, H.; Hammer, J.; Hawley, K.; Meredith, P.; Roskam, J.

1978-01-01

The usability of the general aviation synthesis program (GASP) was enhanced by the development of separate computer subroutines which can be added as a package to this assembly of computerized design methods or used as a separate subroutine program to compute the dynamic longitudinal, lateral-directional stability characteristics for a given airplane. Currently available analysis methods were evaluated to ascertain those most appropriate for the design functions which the GASP computerized design program performs. Methods for providing proper constraint and/or analysis functions for GASP were developed as well as the appropriate subroutines.

A modular architecture for transparent computation in recurrent neural networks.

PubMed

Carmantini, Giovanni S; Beim Graben, Peter; Desroches, Mathieu; Rodrigues, Serafim

2017-01-01

Computation is classically studied in terms of automata, formal languages and algorithms; yet, the relation between neural dynamics and symbolic representations and operations is still unclear in traditional eliminative connectionism. Therefore, we suggest a unique perspective on this central issue, to which we would like to refer as transparent connectionism, by proposing accounts of how symbolic computation can be implemented in neural substrates. In this study we first introduce a new model of dynamics on a symbolic space, the versatile shift, showing that it supports the real-time simulation of a range of automata. We then show that the Gödelization of versatile shifts defines nonlinear dynamical automata, dynamical systems evolving on a vectorial space. Finally, we present a mapping between nonlinear dynamical automata and recurrent artificial neural networks. The mapping defines an architecture characterized by its granular modularity, where data, symbolic operations and their control are not only distinguishable in activation space, but also spatially localizable in the network itself, while maintaining a distributed encoding of symbolic representations. The resulting networks simulate automata in real-time and are programmed directly, in the absence of network training. To discuss the unique characteristics of the architecture and their consequences, we present two examples: (i) the design of a Central Pattern Generator from a finite-state locomotive controller, and (ii) the creation of a network simulating a system of interactive automata that supports the parsing of garden-path sentences as investigated in psycholinguistics experiments. Copyright © 2016 Elsevier Ltd. All rights reserved.

Symbols of a cosmic order

NASA Astrophysics Data System (ADS)

Madjid, F. Hadi; Myers, John M.

2016-10-01

The world runs on networks over which signals communicate sequences of symbols, e.g. numerals. Examining both engineered and natural communications networks reveals an unsuspected order that depends on contact with an unpredictable entity. This order has three roots. The first is a proof within quantum theory that no evidence can ever determine its explanation, so that an agent choosing an explanation must do so unpredictably. The second root is the showing that clocks that step computers do not "tell time" but serve as self-adjusting symbol-handling agents that regulate "logically synchronized" motion in response to unpredictable disturbances. Such a clock-agent has a certain independence as well as the capacity to communicate via unpredictable symbols with other clock-agents and to adjust its own tick rate in response to that communication. The third root is the noticing of unpredictable symbol exchange in natural systems, including the transmission of symbols found in molecular biology. We introduce a symbol-handling agent as a role played in some cases by a person, for example a physicist who chooses an explanation of given experimental outcomes, and in other cases by some other biological entity, and in still other cases by an inanimate device, such as a computer-based detector used in physical measurements. While we forbear to try to explain the propensity of agents at all levels from cells to civilizations to form and operate networks of logically synchronized symbol-handling agents, we point to this propensity as an overlooked cosmic order, an order structured by the unpredictability ensuing from the proof. Appreciating the cosmic order leads to a conception of agency that replaces volition by unpredictability and reconceives the notion of objectivity in a way that makes a place for agency in the world as described by physics. Some specific implications for physics are outlined.

Spectral characteristics of convolutionally coded digital signals

NASA Technical Reports Server (NTRS)

Divsalar, D.

1979-01-01

The power spectral density of the output symbol sequence of a convolutional encoder is computed for two different input symbol stream source models, namely, an NRZ signaling format and a first order Markov source. In the former, the two signaling states of the binary waveform are not necessarily assumed to occur with equal probability. The effects of alternate symbol inversion on this spectrum are also considered. The mathematical results are illustrated with many examples corresponding to optimal performance codes.

Efficient hybrid-symbolic methods for quantum mechanical calculations

NASA Astrophysics Data System (ADS)

Scott, T. C.; Zhang, Wenxing

2015-06-01

We present hybrid symbolic-numerical tools to generate optimized numerical code for rapid prototyping and fast numerical computation starting from a computer algebra system (CAS) and tailored to any given quantum mechanical problem. Although a major focus concerns the quantum chemistry methods of H. Nakatsuji which has yielded successful and very accurate eigensolutions for small atoms and molecules, the tools are general and may be applied to any basis set calculation with a variational principle applied to its linear and non-linear parameters.

Lump-type solutions for the (4+1)-dimensional Fokas equation via symbolic computations

NASA Astrophysics Data System (ADS)

Cheng, Li; Zhang, Yi

2017-09-01

Based on the Hirota bilinear form, two classes of lump-type solutions of the (4+1)-dimensional nonlinear Fokas equation, rationally localized in almost all directions in the space are obtained through a direct symbolic computation with Maple. The resulting lump-type solutions contain free parameters. To guarantee the analyticity and rational localization of the solutions, the involved parameters need to satisfy certain constraints. A few particular lump-type solutions with special choices of the involved parameters are given.

Massive Symbolic Mathematical Computations and Their Applications

DTIC Science & Technology

1988-08-16

NUMBER ORGANIZATION (if appi cable) AFOSR I A_ /__ I F49620-87- C -0113 Bc. ADDRESS (City, Stare, and ZIP Code) %. SOURCE OF FUNDING NUMBERS PROGRAM PROJECT...TASK WORK UNIT - < ’/I/ "//ELEMENT NO. NO. NO. ACCESSION NO. /,, AF,; c 9r ;- 6 (4/tL’ " ’ ’! /K’, 11 TITLE (Incoue Secuirty Classification) Massive...DARPA R & D Status Report AFOSR.m. 8 8-1 12Contract No. F49620-87- C -0113 MASSIVE SYMBOLIC MATHEMATICAL COMPUTATIONS AND THEIR APPLICATIONS Quarterly

Effects of Psychology Courseware Use on Computer Anxiety in Students.

ERIC Educational Resources Information Center

Lambert, Matthew E.; Lenthall, Gerard

1989-01-01

Describes study that examined the relationship between computer anxiety and the use of psychology courseware in an undergraduate abnormal psychology class using four computerized case simulations. Comparisons of pretest and posttest computer anxiety measures are described, and the relationship between computer anxiety/attitudes and computer use is…

Natural Language Description of Emotion

ERIC Educational Resources Information Center

Kazemzadeh, Abe

2013-01-01

This dissertation studies how people describe emotions with language and how computers can simulate this descriptive behavior. Although many non-human animals can express their current emotions as social signals, only humans can communicate about emotions symbolically. This symbolic communication of emotion allows us to talk about emotions that we…

Body Motion and Graphing.

ERIC Educational Resources Information Center

Nemirovsky, Ricardo; Tierney, Cornelia; Wright, Tracy

1998-01-01

Analyzed two children's use of a computer-based motion detector to make sense of symbolic expressions (Cartesian graphs). Found three themes: (1) tool perspectives, efforts to understand graphical responses to body motion; (2) fusion, emergent ways of talking and behaving that merge symbols and referents; and (3) graphical spaces, when changing…

A survey of medical informatics in Belgium.

PubMed

Roger, F H; Behets, M; Andre, J; de Moor, G; Sevens, C; Willems, J L

1987-01-01

The Belgian Society for Medical Informatics (MIM) organized a survey in 1986 in order to assess the present state of development of medical informatics in Belgium. Questionnaires were sent to hospitals, laboratories, private practitioners and pharmacists, as well as to social security organizations and software industries. The response rate was higher in hospitals (93%) than in any other category. Results showed a large number of computerized hospitals (93% of general acute care hospitals and 91% of psychiatric hospitals). There has been a sharp increase (+ 15%) in computerization of the admission, accounting and billing procedures since 1985, most likely in relation with administrative rules issued by the Belgian Government. The same trend (+ 20%) has been observed for computer applications in clinical laboratories, between 1984 and 1985. There is almost one computer terminal for ten beds in the hospitals with more than 200 beds in 1986. This figure exemplifies the present trend to on-line access to data. Computerized instrumental aids to medicine such as text processing, imaging or computerized interpretation of signals have known a rapid extension during recent years, although less comprehensive than administrative applications in hospitals and in social security organizations. The present state of other applications in medicine (general practice, pharmacy, etc.) was more difficult to assess as those information systems remain more pinpointed. In all medical fields, there appears to be a new rise in computer programs offered by software companies.

36 CFR 79.4 - Definitions.

Code of Federal Regulations, 2010 CFR

2010-07-01

... or use of man-made or natural materials (such as slag, dumps, cores and debitage); (v) Organic..., laboratory reports, computer cards and tapes, computer disks and diskettes, printouts of computerized data...

36 CFR 79.4 - Definitions.

Code of Federal Regulations, 2012 CFR

2012-07-01

... or use of man-made or natural materials (such as slag, dumps, cores and debitage); (v) Organic..., laboratory reports, computer cards and tapes, computer disks and diskettes, printouts of computerized data...

36 CFR 79.4 - Definitions.

Code of Federal Regulations, 2011 CFR

2011-07-01

... or use of man-made or natural materials (such as slag, dumps, cores and debitage); (v) Organic..., laboratory reports, computer cards and tapes, computer disks and diskettes, printouts of computerized data...

36 CFR 79.4 - Definitions.

Code of Federal Regulations, 2014 CFR

2014-07-01

... or use of man-made or natural materials (such as slag, dumps, cores and debitage); (v) Organic..., laboratory reports, computer cards and tapes, computer disks and diskettes, printouts of computerized data...

36 CFR 79.4 - Definitions.

Code of Federal Regulations, 2013 CFR

2013-07-01

... or use of man-made or natural materials (such as slag, dumps, cores and debitage); (v) Organic..., laboratory reports, computer cards and tapes, computer disks and diskettes, printouts of computerized data...

A New Adaptive Structural Signature for Symbol Recognition by Using a Galois Lattice as a Classifier.

PubMed

Coustaty, M; Bertet, K; Visani, M; Ogier, J

2011-08-01

In this paper, we propose a new approach for symbol recognition using structural signatures and a Galois lattice as a classifier. The structural signatures are based on topological graphs computed from segments which are extracted from the symbol images by using an adapted Hough transform. These structural signatures-that can be seen as dynamic paths which carry high-level information-are robust toward various transformations. They are classified by using a Galois lattice as a classifier. The performance of the proposed approach is evaluated based on the GREC'03 symbol database, and the experimental results we obtain are encouraging.

Self-organisation of symbolic information

NASA Astrophysics Data System (ADS)

Feistel, R.

2017-01-01

Information is encountered in two different appearances, in native form by arbitrary physical structures, or in symbolic form by coded sequences of letters or the like. The self-organised emergence of symbolic information from structural information is referred to as a ritualisation transition. Occurring at some stage in evolutionary history, ritualisation transitions have in common that after the crossover, arbitrary symbols are issued and recognised by information-processing devices, by transmitters and receivers in the sense of Shannon's communication theory. Symbolic information-processing systems exhibit the fundamental code symmetry whose key features, such as largely lossless copying or persistence under hostile conditions, may elucidate the reasons for the repeated successful occurrence of ritualisation phenomena in evolution history. Ritualisation examples are briefly reviewed such as the origin of life, the appearance of human languages, the establishment of emergent social categories such as money, or the development of digital computers. In addition to their role as carriers of symbolic information, symbols are physical structures which also represent structural information. For a thermodynamic description of symbols and their arrangements, it appears reasonable to distinguish between Boltzmann entropy, Clausius entropy and Pauling entropy. Thermodynamic properties of symbols imply that their lifetimes are limited by the 2nd law.

What's your relationship with computerized manufacturing technologies -- functional, dysfunctional or non-existent?

Treesearch

Jan Wiedenbeck; Jeff Parsons; Bruce Beeken

2009-01-01

Computer-aided manufacturing (CAM), in which computer-aided design (CAD) and computer numerically controlled (CNC) machining are integrated for the production of parts, became a viable option for the woodworking industry in the 1980s.

Computerizing the Accounting Curriculum.

ERIC Educational Resources Information Center

Nash, John F.; England, Thomas G.

1986-01-01

Discusses the use of computers in college accounting courses. Argues that the success of new efforts in using computers in teaching accounting is dependent upon increasing instructors' computer skills, and choosing appropriate hardware and software, including commercially available business software packages. (TW)

Information Technology and Literacy Assessment.

ERIC Educational Resources Information Center

Balajthy, Ernest

2002-01-01

Compares technology predictions from around 1989 with the technology of 2002. Discusses the place of computer-based assessment today, computer-scored testing, computer-administered formal assessment, Internet-based formal assessment, computerized adaptive tests, placement tests, informal assessment, electronic portfolios, information management,…

Hybrid Computerized Adaptive Testing: From Group Sequential Design to Fully Sequential Design

ERIC Educational Resources Information Center

Wang, Shiyu; Lin, Haiyan; Chang, Hua-Hua; Douglas, Jeff

2016-01-01

Computerized adaptive testing (CAT) and multistage testing (MST) have become two of the most popular modes in large-scale computer-based sequential testing. Though most designs of CAT and MST exhibit strength and weakness in recent large-scale implementations, there is no simple answer to the question of which design is better because different…

A computerized model for integrating the physical environmental factors into metropolitan landscape planning

Treesearch

Julius Gy Fabos; Kimball H. Ferris

1977-01-01

This paper justifies and illustrates (in simplified form) a landscape planning approach to the environmental management of the metropolitan landscape. The model utilizes a computerized assessment and mapping system, which exhibits a recent advancement in computer technology that allows for greater accuracy and the weighting of different values when mapping at the...

The Design and Development of a Computerized Attention-Training Game System for School-Aged Children

ERIC Educational Resources Information Center

Wang, Tsui-Ying; Huang, Ho-Chuan

2013-01-01

A computerized attention-training game system has been developed to support attention training for school-aged children. The present system offers various types of computer games that provide training in different aspects of attention, such as selective attention, sustained attention, and divided attention. The N-tier architecture of the Web-based…

Informap... a computerized information system for fire planning and fire control

Treesearch

Theodore G. Storey; Ross D. Carder; Ernest T. Tolin

1969-01-01

INFORMAP (Information Necessary for Optimum Resource Management and Protection) is a computerized system under development for storing, manipulating, retrieving, and displaying data for fire planning and fire control. A prototype for planning applications has been developed and tested. It is programed in Fortran IV for the IBM 7040 computer, and displays information in...

The Computerized Educational Guidance System. EDGUYD Manual.

ERIC Educational Resources Information Center

Cassel, Russell N.

The Computerized Educational Guidance System (EDGUYD) permits one to narrow post high school educational planning where consideration is given to all 1,448 4-year colleges and universities in the United States. This, to be sure, is a feat no human counselor is capable of without a computer. The Educational Success Index (ESI) is the means used by…

Prioritized LT Codes

NASA Technical Reports Server (NTRS)

Woo, Simon S.; Cheng, Michael K.

2011-01-01

The original Luby Transform (LT) coding scheme is extended to account for data transmissions where some information symbols in a message block are more important than others. Prioritized LT codes provide unequal error protection (UEP) of data on an erasure channel by modifying the original LT encoder. The prioritized algorithm improves high-priority data protection without penalizing low-priority data recovery. Moreover, low-latency decoding is also obtained for high-priority data due to fast encoding. Prioritized LT codes only require a slight change in the original encoding algorithm, and no changes at all at the decoder. Hence, with a small complexity increase in the LT encoder, an improved UEP and low-decoding latency performance for high-priority data can be achieved. LT encoding partitions a data stream into fixed-sized message blocks each with a constant number of information symbols. To generate a code symbol from the information symbols in a message, the Robust-Soliton probability distribution is first applied in order to determine the number of information symbols to be used to compute the code symbol. Then, the specific information symbols are chosen uniform randomly from the message block. Finally, the selected information symbols are XORed to form the code symbol. The Prioritized LT code construction includes an additional restriction that code symbols formed by a relatively small number of XORed information symbols select some of these information symbols from the pool of high-priority data. Once high-priority data are fully covered, encoding continues with the conventional LT approach where code symbols are generated by selecting information symbols from the entire message block including all different priorities. Therefore, if code symbols derived from high-priority data experience an unusual high number of erasures, Prioritized LT codes can still reliably recover both high- and low-priority data. This hybrid approach decides not only "how to encode" but also "what to encode" to achieve UEP. Another advantage of the priority encoding process is that the majority of high-priority data can be decoded sooner since only a small number of code symbols are required to reconstruct high-priority data. This approach increases the likelihood that high-priority data is decoded first over low-priority data. The Prioritized LT code scheme achieves an improvement in high-priority data decoding performance as well as overall information recovery without penalizing the decoding of low-priority data, assuming high-priority data is no more than half of a message block. The cost is in the additional complexity required in the encoder. If extra computation resource is available at the transmitter, image, voice, and video transmission quality in terrestrial and space communications can benefit from accurate use of redundancy in protecting data with varying priorities.

Online graphic symbol recognition using neural network and ARG matching

NASA Astrophysics Data System (ADS)

Yang, Bing; Li, Changhua; Xie, Weixing

2001-09-01

This paper proposes a novel method for on-line recognition of line-based graphic symbol. The input strokes are usually warped into a cursive form due to the sundry drawing style, and classifying them is very difficult. To deal with this, an ART-2 neural network is used to classify the input strokes. It has the advantages of high recognition rate, less recognition time and forming classes in a self-organized manner. The symbol recognition is achieved by an Attribute Relational Graph (ARG) matching algorithm. The ARG is very efficient for representing complex objects, but computation cost is very high. To over come this, we suggest a fast graph matching algorithm using symbol structure information. The experimental results show that the proposed method is effective for recognition of symbols with hierarchical structure.

21 CFR 11.3 - Definitions.

Code of Federal Regulations, 2011 CFR

2011-04-01

... integrity of the data can be verified. (6) Electronic record means any combination of text, graphics, data... computer data compilation of any symbol or series of symbols executed, adopted, or authorized by an... name or mark. (9) Open system means an environment in which system access is not controlled by persons...

21 CFR 11.3 - Definitions.

Code of Federal Regulations, 2013 CFR

2013-04-01

... integrity of the data can be verified. (6) Electronic record means any combination of text, graphics, data... computer data compilation of any symbol or series of symbols executed, adopted, or authorized by an... name or mark. (9) Open system means an environment in which system access is not controlled by persons...

21 CFR 11.3 - Definitions.

Code of Federal Regulations, 2010 CFR

2010-04-01

... integrity of the data can be verified. (6) Electronic record means any combination of text, graphics, data... computer data compilation of any symbol or series of symbols executed, adopted, or authorized by an... name or mark. (9) Open system means an environment in which system access is not controlled by persons...

Exploring the Phase Space of a System of Differential Equations: Different Mathematical Registers

ERIC Educational Resources Information Center

Dana-Picard, Thierry; Kidron, Ivy

2008-01-01

We describe and analyze a situation involving symbolic representation and graphical visualization of the solution of a system of two linear differential equations, using a computer algebra system. Symbolic solution and graphical representation complement each other. Graphical representation helps to understand the behavior of the symbolic…

We Should Be Teaching Them More Than Just Symbol Manipulation.

ERIC Educational Resources Information Center

Stepans, Joseph; Olson, Melfried

1985-01-01

Suggests activities which provide students with opportunities to give meanings to symbols and to find reasons for doing computations. Includes investigations with a pendulum, circular running track, salary increases, and container volume. Indicates that teachers should place less emphasis on drill and manipulation to give meaning to abstract…

Schemas in Problem Solving: An Integrated Model of Learning, Memory, and Instruction

DTIC Science & Technology

1992-01-01

article: "Hybrid Computation in Cognitive Science: Neural Networks and Symbols" (J. A. Anderson, 1990). And, Marvin Minsky echoes the sentiment in his...distributed processing: A handbook of models, programs, and exercises. Cambridge, MA: The MIT Press. Minsky , M. (1991). Logical versus analogical or symbolic

Titration Calculations with Computer Algebra Software

ERIC Educational Resources Information Center

Lachance, Russ; Biaglow, Andrew

2012-01-01

This article examines the symbolic algebraic solution of the titration equations for a diprotic acid, as obtained using "Mathematica," "Maple," and "Mathcad." The equilibrium and conservation equations are solved symbolically by the programs to eliminate the approximations that normally would be performed by the student. Of the three programs,…

Evaluation of Map Symbols for a Computer Generated Topographic Display: Transfer of Training, Symbol Confusion, and Association Value Studies

DTIC Science & Technology

1982-12-01

i.i. task, Navy pilots were asked to draw symbols for a variety of objects (such as oilfield, airport, and factory) for each of the following...tasks have the additional advantages of: ease of testing many participants simultaneously, simplicity of performing the required tasks, and capability...Report 459-2, 1982. * McGrath, J.J., Osterhoff, W.E., and Borden, G.J. Geographic orientation in aircraft pilots : Experimental studes ia two

Hydrologic data-verification management program plan

USGS Publications Warehouse

Alexander, C.W.

1982-01-01

Data verification refers to the performance of quality control on hydrologic data that have been retrieved from the field and are being prepared for dissemination to water-data users. Water-data users now have access to computerized data files containing unpublished, unverified hydrologic data. Therefore, it is necessary to develop techniques and systems whereby the computer can perform some data-verification functions before the data are stored in user-accessible files. Computerized data-verification routines can be developed for this purpose. A single, unified concept describing master data-verification program using multiple special-purpose subroutines, and a screen file containing verification criteria, can probably be adapted to any type and size of computer-processing system. Some traditional manual-verification procedures can be adapted for computerized verification, but new procedures can also be developed that would take advantage of the powerful statistical tools and data-handling procedures available to the computer. Prototype data-verification systems should be developed for all three data-processing environments as soon as possible. The WATSTORE system probably affords the greatest opportunity for long-range research and testing of new verification subroutines. (USGS)

Computerized Measurement of Negative Symptoms in Schizophrenia

PubMed Central

Cohen, Alex S.; Alpert, Murray; Nienow, Tasha M.; Dinzeo, Thomas J.; Docherty, Nancy M.

2008-01-01

Accurate measurement of negative symptoms is crucial for understanding and treating schizophrenia. However, current measurement strategies are reliant on subjective symptom rating scales which often have psychometric and practical limitations. Computerized analysis of patients’ speech offers a sophisticated and objective means of evaluating negative symptoms. The present study examined the feasibility and validity of using widely-available acoustic and lexical-analytic software to measure flat affect, alogia and anhedonia (via positive emotion). These measures were examined in their relationships to clinically-rated negative symptoms and social functioning. Natural speech samples were collected and analyzed for 14 patients with clinically-rated flat affect, 46 patients without flat affect and 19 healthy controls. The computer-based inflection and speech rate measures significantly discriminated patients with flat affect from controls, and the computer-based measure of alogia and negative emotion significantly discriminated the flat and non-flat patients. Both the computer and clinical measures of positive emotion/anhedonia corresponded to functioning impairments. The computerized method of assessing negative symptoms offered a number of advantages over the symptom scale-based approach. PMID:17920078

Coping with Computing Success.

ERIC Educational Resources Information Center

Breslin, Richard D.

Elements of computing success of Iona College, the challenges it currently faces, and the strategies conceived to cope with future computing needs are discussed. The college has mandated computer literacy for students and offers nine degrees in the computerized information system/management information system areas. Since planning is needed in…

Ordinality and the nature of symbolic numbers.

PubMed

Lyons, Ian M; Beilock, Sian L

2013-10-23

The view that representations of symbolic and nonsymbolic numbers are closely tied to one another is widespread. However, the link between symbolic and nonsymbolic numbers is almost always inferred from cardinal processing tasks. In the current work, we show that considering ordinality instead points to striking differences between symbolic and nonsymbolic numbers. Human behavioral and neural data show that ordinal processing of symbolic numbers (Are three Indo-Arabic numerals in numerical order?) is distinct from symbolic cardinal processing (Which of two numerals represents the greater quantity?) and nonsymbolic number processing (ordinal and cardinal judgments of dot-arrays). Behaviorally, distance-effects were reversed when assessing ordinality in symbolic numbers, but canonical distance-effects were observed for cardinal judgments of symbolic numbers and all nonsymbolic judgments. At the neural level, symbolic number-ordering was the only numerical task that did not show number-specific activity (greater than control) in the intraparietal sulcus. Only activity in left premotor cortex was specifically associated with symbolic number-ordering. For nonsymbolic numbers, activation in cognitive-control areas during ordinal processing and a high degree of overlap between ordinal and cardinal processing networks indicate that nonsymbolic ordinality is assessed via iterative cardinality judgments. This contrasts with a striking lack of neural overlap between ordinal and cardinal judgments anywhere in the brain for symbolic numbers, suggesting that symbolic number processing varies substantially with computational context. Ordinal processing sheds light on key differences between symbolic and nonsymbolic number processing both behaviorally and in the brain. Ordinality may prove important for understanding the power of representing numbers symbolically.

Automating FEA programming

NASA Technical Reports Server (NTRS)

Sharma, Naveen

1992-01-01

In this paper we briefly describe a combined symbolic and numeric approach for solving mathematical models on parallel computers. An experimental software system, PIER, is being developed in Common Lisp to synthesize computationally intensive and domain formulation dependent phases of finite element analysis (FEA) solution methods. Quantities for domain formulation like shape functions, element stiffness matrices, etc., are automatically derived using symbolic mathematical computations. The problem specific information and derived formulae are then used to generate (parallel) numerical code for FEA solution steps. A constructive approach to specify a numerical program design is taken. The code generator compiles application oriented input specifications into (parallel) FORTRAN77 routines with the help of built-in knowledge of the particular problem, numerical solution methods and the target computer.

Assessing the use of computers in industrial occupational health departments.

PubMed

Owen, J P

1995-04-01

Computers are widely used in business and industry and the benefits of computerizing occupational health (OH) departments have been advocated by several authors. The requirements for successful computerization of an OH department are reviewed. Having identified the theoretical benefits, the real picture in industry is assessed by surveying 52 firms with over 1000 employees in a large urban area. Only 15 (29%) of the companies reported having any OH service, of which six used computers in the OH department, reflecting the business priorities of most of the companies. The types of software systems used and their main use are examined, along with perceived benefits or disadvantages. With the decreasing costs of computers and increasingly 'user-friendly' software, there is a real cost benefit to be gained from using computers in OH departments, although the concept may have to be 'sold' to management.

The Key to Successful Computerization Is through Good Trainers.

ERIC Educational Resources Information Center

Salzano, Julienne

Although few technologies have expanded as rapidly as computer technology, little is known about education and training for computers. In view of this, experts in the fields of computer technology and computer training were interviewed to identify those elements that are essential in training workers to become proficient with computers. Seven…

A Comparative Evaluation of Computer Based and Non-Computer Based Instructional Strategies.

ERIC Educational Resources Information Center

Emerson, Ian

1988-01-01

Compares the computer assisted instruction (CAI) tutorial with its non-computerized pedagogical roots: the Socratic Dialog with Skinner's Programmed Instruction. Tests the effectiveness of a CAI tutorial on diffusion and osmosis against four other interactive and non-interactive instructional strategies. Notes computer based strategies were…

12 CFR 1271.22 - Computer data.

Code of Federal Regulations, 2014 CFR

2014-01-01

... computer system. Any such arrangement shall ensure the security of the computerized data stored in a Bank's... 12 Banks and Banking 10 2014-01-01 2014-01-01 false Computer data. 1271.22 Section 1271.22 Banks... BANK OPERATIONS AND AUTHORITIES Bank Requests for Information § 1271.22 Computer data. Nothing in this...

SD-CAS: Spin Dynamics by Computer Algebra System.

PubMed

Filip, Xenia; Filip, Claudiu

2010-11-01

A computer algebra tool for describing the Liouville-space quantum evolution of nuclear 1/2-spins is introduced and implemented within a computational framework named Spin Dynamics by Computer Algebra System (SD-CAS). A distinctive feature compared with numerical and previous computer algebra approaches to solving spin dynamics problems results from the fact that no matrix representation for spin operators is used in SD-CAS, which determines a full symbolic character to the performed computations. Spin correlations are stored in SD-CAS as four-entry nested lists of which size increases linearly with the number of spins into the system and are easily mapped into analytical expressions in terms of spin operator products. For the so defined SD-CAS spin correlations a set of specialized functions and procedures is introduced that are essential for implementing basic spin algebra operations, such as the spin operator products, commutators, and scalar products. They provide results in an abstract algebraic form: specific procedures to quantitatively evaluate such symbolic expressions with respect to the involved spin interaction parameters and experimental conditions are also discussed. Although the main focus in the present work is on laying the foundation for spin dynamics symbolic computation in NMR based on a non-matrix formalism, practical aspects are also considered throughout the theoretical development process. In particular, specific SD-CAS routines have been implemented using the YACAS computer algebra package (http://yacas.sourceforge.net), and their functionality was demonstrated on a few illustrative examples. Copyright © 2010 Elsevier Inc. All rights reserved.

Noncoherent DTTLs for Symbol Synchronization

NASA Technical Reports Server (NTRS)

Simon, Marvin; Tkacenko, Andre

2007-01-01

Noncoherent data-transition tracking loops (DTTLs) have been proposed for use as symbol synchronizers in digital communication receivers. [Communication- receiver subsystems that can perform their assigned functions in the absence of synchronization with the phases of their carrier signals ( carrier synchronization ) are denoted by the term noncoherent, while receiver subsystems that cannot function without carrier synchronization are said to be coherent. ] The proposal applies, more specifically, to receivers of binary phase-shift-keying (BPSK) signals generated by directly phase-modulating binary non-return-to-zero (NRZ) data streams onto carrier signals having known frequencies but unknown phases. The proposed noncoherent DTTLs would be modified versions of traditional DTTLs, which are coherent. The symbol-synchronization problem is essentially the problem of recovering symbol timing from a received signal. In the traditional, coherent approach to symbol synchronization, it is necessary to establish carrier synchronization in order to recover symbol timing. A traditional DTTL effects an iterative process in which it first generates an estimate of the carrier phase in the absence of symbol-synchronization information, then uses the carrier-phase estimate to obtain an estimate of the symbol-synchronization information, then feeds the symbol-synchronization estimate back to the carrier-phase-estimation subprocess. In a noncoherent symbol-synchronization process, there is no need for carrier synchronization and, hence, no need for iteration between carrier-synchronization and symbol- synchronization subprocesses. The proposed noncoherent symbolsynchronization process is justified theoretically by a mathematical derivation that starts from a maximum a posteriori (MAP) method of estimation of symbol timing utilized in traditional, coherent DTTLs. In that MAP method, one chooses the value of a variable of interest (in this case, the offset in the estimated symbol timing) that causes a likelihood function of symbol estimates over some number of symbol periods to assume a maximum value. In terms that are necessarily oversimplified to fit within the space available for this article, it can be said that the mathematical derivation involves a modified interpretation of the likelihood function that lends itself to noncoherent DTTLs. The proposal encompasses both linear and nonlinear noncoherent DTTLs. The performances of both have been computationally simulated; for comparison, the performances of linear and nonlinear coherent DTTLs have also been computationally simulated. The results of these simulations show that, among other things, the expected mean-square timing errors of coherent and noncoherent DTTLs are relatively insensitive to window width. The results also show that at high signal-to-noise ratios (SNRs), the performances of the noncoherent DTTLs approach those of their coherent counterparts at, while at low SNRs, the noncoherent DTTLs incur penalties of the order of 1.5 to 2 dB.

Nursing informatics: the trend of the future.

PubMed

Nagelkerk, J; Ritola, P M; Vandort, P J

1998-01-01

Nursing informatics is a combination of computer, information, and nursing sciences. This new and expanding field addresses the efficient and effective use of information for nurses. Preparing nurses for computerization is essential to confront an explosion of sophisticated computerized technology in the workplace. It is critical in a competitive health care market for preparing nurses to use the most cost-effective methods. A model is presented that identifies six essential factors for preparing nurses for computerization. Strong leadership, effective communication, organized training sessions, established time frames, planned change, and tailored software are the essential factors to consider for development of a successful educational program.

An analysis of computerization in primary care practices.

PubMed

Condon, James V; Smith, Sherry P

2002-12-01

To remain profitable, primary care practices, the front-line health care providers, must provide excellent patient care and reduce expenses while providing payers with accurate data. Many primary care practices have turned to computer technology to achieve these goals. This study examined the degree of computerization of primary care providers in the Augusta, Georgia, metropolitan area as well as the level of awareness of the Health Insurance Portability and Accountability Act (HIPAA) by primary care providers and its potential effect on their future computerization plans. The study's findings are presented and discussed as well as a number of recommendations for practice managers.

THE VALIDITY OF HUMAN AND COMPUTERIZED WRITING ASSESSMENT

DOE Office of Scientific and Technical Information (OSTI.GOV)

Ronald L. Boring

2005-09-01

This paper summarizes an experiment designed to assess the validity of essay grading between holistic and analytic human graders and a computerized grader based on latent semantic analysis. The validity of the grade was gauged by the extent to which the student’s knowledge of the topic correlated with the grader’s expert knowledge. To assess knowledge, Pathfinder networks were generated by the student essay writers, the holistic and analytic graders, and the computerized grader. It was found that the computer generated grades more closely matched the definition of valid grading than did human generated grades.

Patterns of Auditory Perception Skills in Children with Learning Disabilities: A Computer-Assisted Approach.

ERIC Educational Resources Information Center

Pressman, E.; And Others

1986-01-01

The auditory receptive language skills of 40 learning disabled (LD) and 40 non-disabled boys (all 7 - 11 years old) were assessed via computerized versions of subtests of the Goldman-Fristoe-Woodcock Auditory Skills Test Battery. The computerized assessment correctly identified 92.5% of the LD group and 65% of the normal control children. (DB)

Back to the Future: Help! It Was 20 Years Ago, and We've Only Just Arrived!

ERIC Educational Resources Information Center

Coffield, Kate

This paper traces an educator's experiences with computers over a span of 20 years, and describes the computerization of and concomitant obstacles faced by the Humanities department at the American University in Cairo, Egypt (AUC). The computerization of AUC began in the 1980s, with workstations mainly in the science, math, engineering, and…

Implementation of a Computerized Maintenance Management System

NASA Technical Reports Server (NTRS)

Shen, Yong-Hong; Askari, Bruce

1994-01-01

A primer Computerized Maintenance Management System (CMMS) has been established for NASA Ames pressure component certification program. The CMMS takes full advantage of the latest computer technology and SQL relational database to perform periodic services for vital pressure components. The Ames certification program is briefly described and the aspects of the CMMS implementation are discussed as they are related to the certification objectives.

"Digital Natives": Honour and Respect in Computerized Encounters between Israeli Jewish and Arab Children and Adult Learners

ERIC Educational Resources Information Center

Gamliel, Tova; Hazan, Haim

2014-01-01

In Israel's Multigenerational Connection Program (MCP), children instruct adults in computer and Internet use. Taking children's advantage in digital literacy as a given, the study examines their generational status in computerized encounters that MCP creates in two schools, one Jewish and one Arab. The data were gathered by means of qualitative…

Computerized resources in language therapy with children of the autistic spectrum.

PubMed

Fernandes, Fernanda Dreux Miranda; Santos, Thaís Helena Ferreira; Amato, Cibelle Albuquerque de la Higuera; Molini-Avejonas, Daniela Regina

2010-01-01

The use of computerized technology in language therapy with children of the autistic spectrum. To assess the interference of using computers and specific programs during language therapy in the functional communicative profile and socio-cognitive performance of children of the autistic spectrum. 23 children with ages ranging between 3 and 12 years were individually video recorded prior to and after a set of 10 regular language therapy sessions (i.e. a total of two video samples per subject) using computerized games according to the child's choice. The following expressions were used by the therapists to describe the children's performance during the use of computers: more attentive, more communicative initiatives, more eye contact, more interactive, more verbalizations, more attention and more action requests. Qualitative and quantitative progresses were identified, although without statistical significance. Those progresses were observed after a time period that is smaller than the usually applied to this kind of comparison and it seems to be a promising result. More controlled associations and comparisons were not possible due to the groups' heterogeneity and therefore more consistent conclusions are not possible. It was clear that the subjects presented different reactions to the use of computerized resources during language therapy.

31 CFR 285.7 - Salary offset.

Code of Federal Regulations, 2014 CFR

2014-07-01

... Secretary, has waived certain requirements of the Computer Matching and Privacy Protection Act of 1988, 5 U... process known as centralized salary offset computer matching, identify Federal employees who owe delinquent nontax debt to the United States. Centralized salary offset computer matching is the computerized...

Computer-based, personalized cognitive training versus classical computer games: a randomized double-blind prospective trial of cognitive stimulation.

PubMed

Peretz, Chava; Korczyn, Amos D; Shatil, Evelyn; Aharonson, Vered; Birnboim, Smadar; Giladi, Nir

2011-01-01

Many studies have suggested that cognitive training can result in cognitive gains in healthy older adults. We investigated whether personalized computerized cognitive training provides greater benefits than those obtained by playing conventional computer games. This was a randomized double-blind interventional study. Self-referred healthy older adults (n = 155, 68 ± 7 years old) were assigned to either a personalized, computerized cognitive training or to a computer games group. Cognitive performance was assessed at baseline and after 3 months by a neuropsychological assessment battery. Differences in cognitive performance scores between and within groups were evaluated using mixed effects models in 2 approaches: adherence only (AO; n = 121) and intention to treat (ITT; n = 155). Both groups improved in cognitive performance. The improvement in the personalized cognitive training group was significant (p < 0.03, AO and ITT approaches) in all 8 cognitive domains. However, in the computer games group it was significant (p < 0.05) in only 4 (AO) or 6 domains (ITT). In the AO analysis, personalized cognitive training was significantly more effective than playing games in improving visuospatial working memory (p = 0.0001), visuospatial learning (p = 0.0012) and focused attention (p = 0.0019). Personalized, computerized cognitive training appears to be more effective than computer games in improving cognitive performance in healthy older adults. Further studies are needed to evaluate the ecological validity of these findings. Copyright © 2011 S. Karger AG, Basel.

Distinguishing between evidence and its explanations in the steering of atomic clocks

NASA Astrophysics Data System (ADS)

Myers, John M.; Hadi Madjid, F.

2014-11-01

Quantum theory reflects within itself a separation of evidence from explanations. This separation leads to a known proof that: (1) no wave function can be determined uniquely by evidence, and (2) any chosen wave function requires a guess reaching beyond logic to things unforeseeable. Chosen wave functions are encoded into computer-mediated feedback essential to atomic clocks, including clocks that step computers through their phases of computation and clocks in space vehicles that supply evidence of signal propagation explained by hypotheses of spacetimes with metric tensor fields. The propagation of logical symbols from one computer to another requires a shared rhythm-like a bucket brigade. Here we show how hypothesized metric tensors, dependent on guesswork, take part in the logical synchronization by which clocks are steered in rate and position toward aiming points that satisfy phase constraints, thereby linking the physics of signal propagation with the sharing of logical symbols among computers. Recognizing the dependence of the phasing of symbol arrivals on guesses about signal propagation transports logical synchronization from the engineering of digital communications to a discipline essential to physics. Within this discipline we begin to explore questions invisible under any concept of time that fails to acknowledge unforeseeable events. In particular, variation of spacetime curvature is shown to limit the bit rate of logical communication.

The explicit computation of integration algorithms and first integrals for ordinary differential equations with polynomials coefficients using trees

NASA Technical Reports Server (NTRS)

Crouch, P. E.; Grossman, Robert

1992-01-01

This note is concerned with the explicit symbolic computation of expressions involving differential operators and their actions on functions. The derivation of specialized numerical algorithms, the explicit symbolic computation of integrals of motion, and the explicit computation of normal forms for nonlinear systems all require such computations. More precisely, if R = k(x(sub 1),...,x(sub N)), where k = R or C, F denotes a differential operator with coefficients from R, and g member of R, we describe data structures and algorithms for efficiently computing g. The basic idea is to impose a multiplicative structure on the vector space with basis the set of finite rooted trees and whose nodes are labeled with the coefficients of the differential operators. Cancellations of two trees with r + 1 nodes translates into cancellation of O(N(exp r)) expressions involving the coefficient functions and their derivatives.

Neural Cognition and Affective Computing on Cyber Language.

PubMed

Huang, Shuang; Zhou, Xuan; Xue, Ke; Wan, Xiqiong; Yang, Zhenyi; Xu, Duo; Ivanović, Mirjana; Yu, Xueer

2015-01-01

Characterized by its customary symbol system and simple and vivid expression patterns, cyber language acts as not only a tool for convenient communication but also a carrier of abundant emotions and causes high attention in public opinion analysis, internet marketing, service feedback monitoring, and social emergency management. Based on our multidisciplinary research, this paper presents a classification of the emotional symbols in cyber language, analyzes the cognitive characteristics of different symbols, and puts forward a mechanism model to show the dominant neural activities in that process. Through the comparative study of Chinese, English, and Spanish, which are used by the largest population in the world, this paper discusses the expressive patterns of emotions in international cyber languages and proposes an intelligent method for affective computing on cyber language in a unified PAD (Pleasure-Arousal-Dominance) emotional space.

Neural Cognition and Affective Computing on Cyber Language

PubMed Central

Huang, Shuang; Zhou, Xuan; Xue, Ke; Wan, Xiqiong; Yang, Zhenyi; Xu, Duo; Ivanović, Mirjana

2015-01-01

Characterized by its customary symbol system and simple and vivid expression patterns, cyber language acts as not only a tool for convenient communication but also a carrier of abundant emotions and causes high attention in public opinion analysis, internet marketing, service feedback monitoring, and social emergency management. Based on our multidisciplinary research, this paper presents a classification of the emotional symbols in cyber language, analyzes the cognitive characteristics of different symbols, and puts forward a mechanism model to show the dominant neural activities in that process. Through the comparative study of Chinese, English, and Spanish, which are used by the largest population in the world, this paper discusses the expressive patterns of emotions in international cyber languages and proposes an intelligent method for affective computing on cyber language in a unified PAD (Pleasure-Arousal-Dominance) emotional space. PMID:26491431

Cosmic dust-ion-acoustic waves, spherical modified Kadomtsev-Petviashvili model, and symbolic computation

DOE Office of Scientific and Technical Information (OSTI.GOV)

Gao Yitian; Tian Bo; State Key Laboratory of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing 100083

2006-11-15

The spherical modified Kadomtsev-Petviashvili (smKP) model is hereby derived with symbolic computation for the dust-ion-acoustic waves with zenith-angle perturbation in a cosmic dusty plasma. Formation and properties of both dark and bright smKP nebulons are obtained and discussed. The relevance of those smKP nebulons to the supernova shells and Saturn's F-ring is pointed out, and possibly observable nebulonic effects for the future cosmic plasma experiments are proposed. The difference of the smKP nebulons from other types of nebulons is also analyzed.

Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan

DTIC Science & Technology

1994-01-01

1994 CMU-CS--94- 103 ¶ DTIC MAY 0e o99 c -rnepe Combining symbolic computation and theorem proving: some problems of Ramanujan Edmund Clarke Xudong Zhao...Research and Development Center, Aeronautical Systems Division (AFSC), U.S. Air Force, Wright-Patterson AFB, Ohio 45433-6543 under Contract F33615-90- C ...Availability Codes n n = f Avail and Ior7. k= f(k) = _L k~of(nk Dist Special 8. =I f (k + c ) =_k=,+ I f (k) A .[ 3. List of problems The list of challenge

Building a symbolic computer algebra toolbox to compute 2D Fourier transforms in polar coordinates.

PubMed

Dovlo, Edem; Baddour, Natalie

2015-01-01

The development of a symbolic computer algebra toolbox for the computation of two dimensional (2D) Fourier transforms in polar coordinates is presented. Multidimensional Fourier transforms are widely used in image processing, tomographic reconstructions and in fact any application that requires a multidimensional convolution. By examining a function in the frequency domain, additional information and insights may be obtained. The advantages of our method include: •The implementation of the 2D Fourier transform in polar coordinates within the toolbox via the combination of two significantly simpler transforms.•The modular approach along with the idea of lookup tables implemented help avoid the issue of indeterminate results which may occur when attempting to directly evaluate the transform.•The concept also helps prevent unnecessary computation of already known transforms thereby saving memory and processing time.

Statistical Symbolic Execution with Informed Sampling

NASA Technical Reports Server (NTRS)

Filieri, Antonio; Pasareanu, Corina S.; Visser, Willem; Geldenhuys, Jaco

2014-01-01

Symbolic execution techniques have been proposed recently for the probabilistic analysis of programs. These techniques seek to quantify the likelihood of reaching program events of interest, e.g., assert violations. They have many promising applications but have scalability issues due to high computational demand. To address this challenge, we propose a statistical symbolic execution technique that performs Monte Carlo sampling of the symbolic program paths and uses the obtained information for Bayesian estimation and hypothesis testing with respect to the probability of reaching the target events. To speed up the convergence of the statistical analysis, we propose Informed Sampling, an iterative symbolic execution that first explores the paths that have high statistical significance, prunes them from the state space and guides the execution towards less likely paths. The technique combines Bayesian estimation with a partial exact analysis for the pruned paths leading to provably improved convergence of the statistical analysis. We have implemented statistical symbolic execution with in- formed sampling in the Symbolic PathFinder tool. We show experimentally that the informed sampling obtains more precise results and converges faster than a purely statistical analysis and may also be more efficient than an exact symbolic analysis. When the latter does not terminate symbolic execution with informed sampling can give meaningful results under the same time and memory limits.

Validation of a Paper and Pencil Test Battery for the Diagnosis of Minimal Hepatic Encephalopathy in Korea.

PubMed

Jeong, Jae Yoon; Jun, Dae Won; Bai, Daiseg; Kim, Ji Yean; Sohn, Joo Hyun; Ahn, Sang Bong; Kim, Sang Gyune; Kim, Tae Yeob; Kim, Hyoung Su; Jeong, Soung Won; Cho, Yong Kyun; Song, Do Seon; Kim, Hee Yeon; Jung, Young Kul; Yoon, Eileen L

2017-09-01

The aim of this study was to validate a new paper and pencil test battery to diagnose minimal hepatic encephalopathy (MHE) in Korea. A new paper and pencil test battery was composed of number connection test-A (NCT-A), number connection test-B (NCT-B), digit span test (DST), and symbol digit modality test (SDMT). The norm of the new test was based on 315 healthy individuals between the ages of 20 and 70 years old. Another 63 healthy subjects (n = 31) and cirrhosis patients (n = 32) were included as a validation cohort. All participants completed the new paper and pencil test, a critical flicker frequency (CFF) test and computerized cognitive function test (visual continuous performance test [CPT]). The scores on the NCT-A and NCT-B increased but those of DST and SDMT decreased according to age. Twelve of the cirrhotic patients (37.5%) were diagnosed with MHE based on the new paper and pencil test battery. The total score of the paper and pencil test battery showed good positive correlation with the CFF (r = 0.551, P < 0.001) and computerized cognitive function test. Also, this score was lower in patients with MHE compared to those without MHE (P < 0.001). Scores on the CFF (32.0 vs. 28.7 Hz, P = 0.028) and the computer base cognitive test decreased significantly in patients with MHE compared to those without MHE. Test-retest reliability was comparable. In conclusion, the new paper and pencil test battery including NCT-A, NCT-B, DST, and SDMT showed good correlation with neuropsychological tests. This new paper and pencil test battery could help to discriminate patients with impaired cognitive function in cirrhosis (registered at Clinical Research Information Service [CRIS], https://cris.nih.go.kr/cris, KCT0000955). © 2017 The Korean Academy of Medical Sciences.

Children and Computers Abstracts.

ERIC Educational Resources Information Center

Rothenberg, Dianne, Ed.

1992-01-01

Abstracts of reports of eight research studies on computer uses in children's education are presented. Topics covered include (1) LOGO computer language; (2) computer graphics for art instruction; (3) animation; (4) problem solving; (5) children's use of symbols; (6) an evaluation of a Chapter 1 program involving children's computer use; (7) peer…

Identification of drug interactions in hospitals--computerized screening vs. bedside recording.

PubMed

Blix, H S; Viktil, K K; Moger, T A; Reikvam, A

2008-04-01

Managing drug interactions in hospitalized patients is important and challenging. The objective of the study was to compare two methods for identification of drug interactions (DDIs)--computerized screening and prospective bedside recording--with regard to capability of identifying DDIs. Patient characteristics were recorded for patients admitted to five hospitals. By bedside evaluation drug-related problems, including DDIs, were prospectively recorded by pharmacists and discussed in multidisciplinary teams. A computer screening programme was used to identify DDIs retrospectively--dividing DDIs into four classes: A, avoid; B, avoid/take precautions; C, take precautions; D, no action needed. Among 827 patients, computer screening identified DDIs in 544 patients (66%); 351 had DDIs introduced in hospital. The 1513 computer-identified DDIs had the following distribution: type A 78; type B 915; type C 38; type D 482. By bedside evaluation, 99 DDIs were identified in 73 patients (9%). The proportions of computer recorded DDIs which were also identified at the bedside were: 5%, 8%, 8%, 2% DDIs of types A, B, C and D respectively. In 10 patients, DDIs not registered by computer screening were identified by bedside evaluation. The drugs most frequently involved in DDIs, identified by computerized screening were acetylsalicylic acid, warfarin, furosemide and digitoxin compared with warfarin, simvastatin, theophylline and carbamazepine, by bedside evaluation. Despite an active prospective bedside search for DDIs, this approach identified less than one in 10 of the DDIs recorded by computer screening, including those regarded as hazardous. However, computer screening overestimates considerably when the objective is to identify clinically relevant DDIs.

Computerized screening for cognitive impairment in patients with COPD.

PubMed

Campman, Carlijn; van Ranst, Dirk; Meijer, Jan Willem; Sitskoorn, Margriet

2017-01-01

COPD is associated with cognitive impairment. These impairments should be diagnosed, but due to time- and budget-reasons, they are often not investigated. The aim of this study is to examine the viability of a brief computerized cognitive test battery, Central Nervous System Vital Signs (CNSVS), in COPD patients. Patients with COPD referred to tertiary pulmonary rehabilitation were included. Cognitive functioning of patients was assessed with CNSVS before pulmonary rehabilitation and compared with age-corrected CNSVS norms. CNSVS is a 30 minute computerized test battery that includes tests of verbal and visual memory, psychomotor speed, processing speed, cognitive flexibility, complex attention, executive functioning, and reaction time. CNSVS was fully completed by 205 (93.2%, 105 females, 100 males) of the total group of patients (n=220, 116 females, 104 males). Z -tests showed that COPD patients performed significantly worse than the norms on all CNSVS cognitive domains. Slightly more than half of the patients (51.8%) had impaired functioning on 1 or more cognitive domains. Patients without computer experience performed significantly worse on CNSVS than patients using the computer frequently. The completion rate of CNSVS was high and cognitive dysfunctions measured with this screening were similar to the results found in prior research, including paper and pen cognitive tests. These results support the viability of this brief computerized cognitive screening in COPD patients, that may lead to better care for these patients. Cognitive performance of patients with little computer experience should be interpreted carefully. Future research on this issue is needed.

31 CFR 285.7 - Salary offset.

Code of Federal Regulations, 2010 CFR

2010-07-01

... requirements of the Computer Matching and Privacy Protection Act of 1988, 5 U.S.C. 552a, as amended, for... known as centralized salary offset computer matching, identify Federal employees who owe delinquent nontax debt to the United States. Centralized salary offset computer matching is the computerized...

31 CFR 285.7 - Salary offset.

Code of Federal Regulations, 2011 CFR

2011-07-01

... requirements of the Computer Matching and Privacy Protection Act of 1988, 5 U.S.C. 552a, as amended, for... known as centralized salary offset computer matching, identify Federal employees who owe delinquent nontax debt to the United States. Centralized salary offset computer matching is the computerized...

31 CFR 285.7 - Salary offset.

Code of Federal Regulations, 2012 CFR

2012-07-01

... requirements of the Computer Matching and Privacy Protection Act of 1988, 5 U.S.C. 552a, as amended, for... known as centralized salary offset computer matching, identify Federal employees who owe delinquent nontax debt to the United States. Centralized salary offset computer matching is the computerized...

31 CFR 285.7 - Salary offset.

Code of Federal Regulations, 2013 CFR

2013-07-01

... requirements of the Computer Matching and Privacy Protection Act of 1988, 5 U.S.C. 552a, as amended, for... known as centralized salary offset computer matching, identify Federal employees who owe delinquent nontax debt to the United States. Centralized salary offset computer matching is the computerized...

Computing with impure numbers - Automatic consistency checking and units conversion using computer algebra

NASA Technical Reports Server (NTRS)

Stoutemyer, D. R.

1977-01-01

The computer algebra language MACSYMA enables the programmer to include symbolic physical units in computer calculations, and features automatic detection of dimensionally-inhomogeneous formulas and conversion of inconsistent units in a dimensionally homogeneous formula. Some examples illustrate these features.

Dynamics and computation in functional shifts

NASA Astrophysics Data System (ADS)

Namikawa, Jun; Hashimoto, Takashi

2004-07-01

We introduce a new type of shift dynamics as an extended model of symbolic dynamics, and investigate the characteristics of shift spaces from the viewpoints of both dynamics and computation. This shift dynamics is called a functional shift, which is defined by a set of bi-infinite sequences of some functions on a set of symbols. To analyse the complexity of functional shifts, we measure them in terms of topological entropy, and locate their languages in the Chomsky hierarchy. Through this study, we argue that considering functional shifts from the viewpoints of both dynamics and computation gives us opposite results about the complexity of systems. We also describe a new class of shift spaces whose languages are not recursively enumerable.

Reliability, validity and sensitivity of a computerized visual analog scale measuring state anxiety.

PubMed

Abend, Rany; Dan, Orrie; Maoz, Keren; Raz, Sivan; Bar-Haim, Yair

2014-12-01

Assessment of state anxiety is frequently required in clinical and research settings, but its measurement using standard multi-item inventories entails practical challenges. Such inventories are increasingly complemented by paper-and-pencil, single-item visual analog scales measuring state anxiety (VAS-A), which allow rapid assessment of current anxiety states. Computerized versions of VAS-A offer additional advantages, including facilitated and accurate data collection and analysis, and applicability to computer-based protocols. Here, we establish the psychometric properties of a computerized VAS-A. Experiment 1 assessed the reliability, convergent validity, and discriminant validity of the computerized VAS-A in a non-selected sample. Experiment 2 assessed its sensitivity to increase in state anxiety following social stress induction, in participants with high levels of social anxiety. Experiment 1 demonstrated the computerized VAS-A's test-retest reliability (r = .44, p < .001); convergent validity with the State-Trait Anxiety Inventory's state subscale (STAI-State; r = .60, p < .001); and discriminant validity as indicated by significantly lower correlations between VAS-A and different psychological measures relative to the correlation between VAS-A and STAI-State. Experiment 2 demonstrated the VAS-A's sensitivity to changes in state anxiety via a significant pre- to during-stressor rise in VAS-A scores (F(1,48) = 25.13, p < .001). Set-order administration of measures, absence of clinically-anxious population, and gender-unbalanced samples. The adequate psychometric characteristics, combined with simple and rapid administration, make the computerized VAS-A a valuable self-rating tool for state anxiety. It may prove particularly useful for clinical and research settings where multi-item inventories are less applicable, including computer-based treatment and assessment protocols. The VAS-A is freely available: http://people.socsci.tau.ac.il/mu/anxietytrauma/visual-analog-scale/. Copyright © 2014 Elsevier Ltd. All rights reserved.

Computerized symptom and quality-of-life assessment for patients with cancer part II: acceptability and usability.

PubMed

Mullen, Kristin H; Berry, Donna L; Zierler, Brenda K

2004-09-01

To determine the acceptability and usability of a computerized quality-of-life (QOL) and symptom assessment tool and the graphically displayed QOL and symptom output in an ambulatory radiation oncology clinic. Descriptive, cross-sectional. Radiation oncology clinic located in an urban university medical center. 45 patients with cancer being evaluated for radiation therapy and 10 clinicians, who submitted 12 surveys. Acceptability of the computerized assessment was measured with an online, 16-item, Likert-style survey delivered as 45 patients undergoing radiation therapy completed a 25-item QOL and symptom assessment. Usability of the graphic output was assessed with clinician completion of a four-item paper survey. Acceptability and usability of computerized patient assessment. The patient acceptability survey indicated that 70% (n = 28) liked computers and 10% (n = 4) did not. The program was easy to use for 79% (n = 26), easy to understand for 91% (n = 30), and enjoyable for 71% (n = 24). Seventy-six percent (n = 25) believed that the amount of time needed to complete the computerized survey was acceptable. Sixty-six percent (n = 21) responded that they were satisfied with the program, and none of the participants chose the very dissatisfied response. Eighty-three percent (n = 10) of the clinicians found the graphic output helpful in promoting communication with patients, 75% (n = 9) found the output report helpful in identifying appropriate areas of QOL deficits or concerns, and 83% (n = 10) indicated that the output helped guide clinical interactions with patients. The computer-based QOL and symptom assessment tool is acceptable to patients, and the graphically displayed QOL and symptom output is useful to radiation oncology nurses and physicians. Wider application of computerized patient-generated data can continue in various cancer settings and be tested for clinical and organizational outcomes.

Cost Effectiveness Tradeoffs in Computer Standardization and Technology Insertion.

DTIC Science & Technology

1986-06-01

S MONITORING ORGANIZATION REPORT NUMBER(S) P-1931 6aNAME OF PERFORMING ORGANIZATION 16b OFFICE SYMBOL 7a NAME oF MONITORIG ORGANIZAIO0N Institute for...shown in the figure, is a circle with a symbolic V"valve" on top controlling a flow arrow that goes between a symbolic " cloud " (that also resembles a four...leaf clover) and the rectangle which represents the level. If the rate is an inflow, the arrow points to the level and the cloud is called a source

Gordon Research Conference on Computational Chemistry Held in Plymouth, New Hampshire on 4-8 July 1988

DTIC Science & Technology

1988-07-01

NUMBER(S) S. MONITORING ORGANIZATION REPORT NUMBER(S) _ R.TR- 90 - 0 4 70 6a. NAME OF PERFORMING ORGANIZATION 6b. OFFICE SYMBOL 7a. NAME OF MONITORING...University of Rhode Island Building 410 Kingston, RI 18195 Boiling AFB, DC 20332-6448 . Sa. NAME OF FUNDING / SPONSORING Sb. OFFICE SYMBOL 9, PROCUREMENT...AS RPT. 3 OTIC USERS UNCLASSIFIED 22a- NAME OF RESPONSIBLE INDIVIDUAL 22b. TELEPHONE (Include Area Code) 22c OFFICE SYMBOL Dr Anthony J. Matuszko (202

Sign use and cognition in automated scientific discovery: are computers only special kinds of signs?

NASA Astrophysics Data System (ADS)

Giza, Piotr

2018-04-01

James Fetzer criticizes the computational paradigm, prevailing in cognitive science by questioning, what he takes to be, its most elementary ingredient: that cognition is computation across representations. He argues that if cognition is taken to be a purposive, meaningful, algorithmic problem solving activity, then computers are incapable of cognition. Instead, they appear to be signs of a special kind, that can facilitate computation. He proposes the conception of minds as semiotic systems as an alternative paradigm for understanding mental phenomena, one that seems to overcome the difficulties of computationalism. Now, I argue, that with computer systems dealing with scientific discovery, the matter is not so simple as that. The alleged superiority of humans using signs to stand for something other over computers being merely "physical symbol systems" or "automatic formal systems" is only easy to establish in everyday life, but becomes far from obvious when scientific discovery is at stake. In science, as opposed to everyday life, the meaning of symbols is, apart from very low-level experimental investigations, defined implicitly by the way the symbols are used in explanatory theories or experimental laws relevant to the field, and in consequence, human and machine discoverers are much more on a par. Moreover, the great practical success of the genetic programming method and recent attempts to apply it to automatic generation of cognitive theories seem to show, that computer systems are capable of very efficient problem solving activity in science, which is neither purposive nor meaningful, nor algorithmic. This, I think, undermines Fetzer's argument that computer systems are incapable of cognition because computation across representations is bound to be a purposive, meaningful, algorithmic problem solving activity.

13 CFR 120.194 - Use of computer forms.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 13 Business Credit and Assistance 1 2014-01-01 2014-01-01 false Use of computer forms. 120.194... Applying to All Business Loans Computerized Sba Forms § 120.194 Use of computer forms. Any Applicant or Participant may use computer generated SBA application forms, closing forms, and other forms designated by SBA...

13 CFR 120.194 - Use of computer forms.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 13 Business Credit and Assistance 1 2012-01-01 2012-01-01 false Use of computer forms. 120.194... Applying to All Business Loans Computerized Sba Forms § 120.194 Use of computer forms. Any Applicant or Participant may use computer generated SBA application forms, closing forms, and other forms designated by SBA...

13 CFR 120.194 - Use of computer forms.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 13 Business Credit and Assistance 1 2013-01-01 2013-01-01 false Use of computer forms. 120.194... Applying to All Business Loans Computerized Sba Forms § 120.194 Use of computer forms. Any Applicant or Participant may use computer generated SBA application forms, closing forms, and other forms designated by SBA...

13 CFR 120.194 - Use of computer forms.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 13 Business Credit and Assistance 1 2011-01-01 2011-01-01 false Use of computer forms. 120.194... Applying to All Business Loans Computerized Sba Forms § 120.194 Use of computer forms. Any Applicant or Participant may use computer generated SBA application forms, closing forms, and other forms designated by SBA...

13 CFR 120.194 - Use of computer forms.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 13 Business Credit and Assistance 1 2010-01-01 2010-01-01 false Use of computer forms. 120.194... Applying to All Business Loans Computerized Sba Forms § 120.194 Use of computer forms. Any Applicant or Participant may use computer generated SBA application forms, closing forms, and other forms designated by SBA...

Identification of Target Complaints by Computer Interview: Evaluation of the Computerized Assessment System for Psychotherapy Evaluation and Research.

ERIC Educational Resources Information Center

Farrell, Albert D.; And Others

1987-01-01

Evaluated computer interview to standardize collection of target complaints. Adult outpatients (N=103) completed computer interview, unstructured intake interview, Symptoms Checklist-90, and Minnesota Multiphasic Personality Inventory. Results provided support for the computer interview in regard to reliability and validity though there was low…

The Effects of Computerized Auditory Feedback on Electronic Article Surveillance Tag Placement in an Auto-Parts Distribution Center

ERIC Educational Resources Information Center

Goomas, David T.

2008-01-01

In this report from the field, computerized auditory feedback was used to inform order selectors and order selector auditors in a distribution center to add an electronic article surveillance (EAS) adhesive tag. This was done by programming handheld computers to emit a loud beep for high-priced items upon scanning the item's bar-coded Universal…

Documentation of CTRS--Computerized Test-Result Reporting System. The Illinois Series on Educational Application of Computers, No. 22e.

ERIC Educational Resources Information Center

Muiznieks, Viktors J.; Cox, John

The Computerized Test-Result Reporting System (CTRS), which consists of three programs written in the BASIC language, was developed to analyze obective tests, test items, test results, and to provide the teacher-user with interpreted data about the performance of tests, Lest items, and students. This paper documents the three programs from the…

The Future Is Kids and Computers.

ERIC Educational Resources Information Center

Personal Computing, 1982

1982-01-01

Describes a project which produced educational computer programs for PET microcomputers and use of computers in money management, in a filter company, and in a certified public accountant firm (which cancelled a contract for a time-sharing service). Also describes a computerized eye information network for ophthalmologists. (JN)

Designing User-Computer Dialogues: Basic Principles and Guidelines.

ERIC Educational Resources Information Center

Harrell, Thomas H.

This discussion of the design of computerized psychological assessment or testing instruments stresses the importance of the well-designed computer-user interface. The principles underlying the three main functional elements of computer-user dialogue--data entry, data display, and sequential control--are discussed, and basic guidelines derived…

Resistance to Change: Reactions to Workplace Computerization.

ERIC Educational Resources Information Center

Gattiker, Urs E.; Larwood, Laurie

Although past research has suggested that computer acceptance and knowledge are two variables crucial in attaining desired profitability increases with computer-based technology, few studies have examined how these variables occur in organizational settings. A study was undertaken to examine acceptance of, and knowledge about, computer-based…

Description and Evaluation of the Webster's Diacritical Markings. Computer-Assisted Instructional Program. Summary Report.

ERIC Educational Resources Information Center

von Feldt, James R.; Subtelny, Joanne

The Webster diacritical system provides a discrete symbol for each sound and designates the appropriate syllable to be stressed in any polysyllabic word; the symbol system presents cues for correct production, auditory discriminiation, and visual recognition of new words in print and as visual speech gestures. The Webster's Diacritical CAI Program…

Calculation of stress intensity factors in an isotropic multicracked plate: Part 2: Symbolic/numeric implementation

NASA Technical Reports Server (NTRS)

Arnold, S. M.; Binienda, W. K.; Tan, H. Q.; Xu, M. H.

1992-01-01

Analytical derivations of stress intensity factors (SIF's) of a multicracked plate can be complex and tedious. Recent advances, however, in intelligent application of symbolic computation can overcome these difficulties and provide the means to rigorously and efficiently analyze this class of problems. Here, the symbolic algorithm required to implement the methodology described in Part 1 is presented. The special problem-oriented symbolic functions to derive the fundamental kernels are described, and the associated automatically generated FORTRAN subroutines are given. As a result, a symbolic/FORTRAN package named SYMFRAC, capable of providing accurate SIF's at each crack tip, was developed and validated. Simple illustrative examples using SYMFRAC show the potential of the present approach for predicting the macrocrack propagation path due to existing microcracks in the vicinity of a macrocrack tip, when the influence of the microcrack's location, orientation, size, and interaction are taken into account.

Exact and Approximate Probabilistic Symbolic Execution

NASA Technical Reports Server (NTRS)

Luckow, Kasper; Pasareanu, Corina S.; Dwyer, Matthew B.; Filieri, Antonio; Visser, Willem

2014-01-01

Probabilistic software analysis seeks to quantify the likelihood of reaching a target event under uncertain environments. Recent approaches compute probabilities of execution paths using symbolic execution, but do not support nondeterminism. Nondeterminism arises naturally when no suitable probabilistic model can capture a program behavior, e.g., for multithreading or distributed systems. In this work, we propose a technique, based on symbolic execution, to synthesize schedulers that resolve nondeterminism to maximize the probability of reaching a target event. To scale to large systems, we also introduce approximate algorithms to search for good schedulers, speeding up established random sampling and reinforcement learning results through the quantification of path probabilities based on symbolic execution. We implemented the techniques in Symbolic PathFinder and evaluated them on nondeterministic Java programs. We show that our algorithms significantly improve upon a state-of- the-art statistical model checking algorithm, originally developed for Markov Decision Processes.

Technology for the product and process data base

NASA Technical Reports Server (NTRS)

Barnes, R. D.

1984-01-01

The computerized product and process data base is increasingly recognized to be the cornerstone component of an overall system aimed at the integrated automation of the industrial processes of a given company or enterprise. The technology needed to support these more effective computer integrated design and manufacturing methods, especially the concept of 3-D computer-sensible product definitions rather than engineering drawings, is not fully available and rationalized. Progress is being made, however, in bridging this technology gap with concentration on the modeling of sophisticated information and data structures, high-performance interactive user interfaces and comprehensive tools for managing the resulting computerized product definition and process data base.

Analysis of computer capabilities of Pacific Northwest paratransit providers

DOT National Transportation Integrated Search

1996-07-01

The major project objectives are to quantify the computer capabilities and to determine the computerization needs of paratransit operators in the Northwest, and to create a training program to assist paratransit operators in developing realistic spec...

Computer Series, 13.

ERIC Educational Resources Information Center

Moore, John W., Ed.

1981-01-01

Provides short descriptions of chemists' applications of computers in instruction: an interactive instructional program for Instrumental-Qualitative Organic Analysis; question-and-answer exercises in organic chemistry; computerized organic nomenclature drills; integration of theoretical and descriptive materials; acid-base titration simulation;…

Non-symbolic arithmetic in adults and young children.

PubMed

Barth, Hilary; La Mont, Kristen; Lipton, Jennifer; Dehaene, Stanislas; Kanwisher, Nancy; Spelke, Elizabeth

2006-01-01

Five experiments investigated whether adults and preschool children can perform simple arithmetic calculations on non-symbolic numerosities. Previous research has demonstrated that human adults, human infants, and non-human animals can process numerical quantities through approximate representations of their magnitudes. Here we consider whether these non-symbolic numerical representations might serve as a building block of uniquely human, learned mathematics. Both adults and children with no training in arithmetic successfully performed approximate arithmetic on large sets of elements. Success at these tasks did not depend on non-numerical continuous quantities, modality-specific quantity information, the adoption of alternative non-arithmetic strategies, or learned symbolic arithmetic knowledge. Abstract numerical quantity representations therefore are computationally functional and may provide a foundation for formal mathematics.

Image segmentation for enhancing symbol recognition in prosthetic vision.

PubMed

Horne, Lachlan; Barnes, Nick; McCarthy, Chris; He, Xuming

2012-01-01

Current and near-term implantable prosthetic vision systems offer the potential to restore some visual function, but suffer from poor resolution and dynamic range of induced phosphenes. This can make it difficult for users of prosthetic vision systems to identify symbolic information (such as signs) except in controlled conditions. Using image segmentation techniques from computer vision, we show it is possible to improve the clarity of such symbolic information for users of prosthetic vision implants in uncontrolled conditions. We use image segmentation to automatically divide a natural image into regions, and using a fixation point controlled by the user, select a region to phosphenize. This technique improves the apparent contrast and clarity of symbolic information over traditional phosphenization approaches.

Coherent states, 6j symbols and properties of the next to leading order asymptotic expansions

NASA Astrophysics Data System (ADS)

Kamiński, Wojciech; Steinhaus, Sebastian

2013-12-01

We present the first complete derivation of the well-known asymptotic expansion of the SU(2) 6j symbol using a coherent state approach, in particular we succeed in computing the determinant of the Hessian matrix. To do so, we smear the coherent states and perform a partial stationary point analysis with respect to the smearing parameters. This allows us to transform the variables from group elements to dihedral angles of a tetrahedron resulting in an effective action, which coincides with the action of first order Regge calculus associated to a tetrahedron. To perform the remaining stationary point analysis, we compute its Hessian matrix and obtain the correct measure factor. Furthermore, we expand the discussion of the asymptotic formula to next to leading order terms, prove some of their properties and derive a recursion relation for the full 6j symbol.

Computerized content analysis of some adolescent writings of Napoleon Bonaparte: a test of the validity of the method.

PubMed

Gottschalk, Louis A; DeFrancisco, Don; Bechtel, Robert J

2002-08-01

The aim of this study was to test the validity of a computer software program previously demonstrated to be capable of making DSM-IV neuropsychiatric diagnoses from the content analysis of speech or verbal texts. In this report, the computer program was applied to three personal writings of Napoleon Bonaparte when he was 12 to 16 years of age. The accuracy of the neuropsychiatric evaluations derived from the computerized content analysis of these writings of Napoleon was independently corroborated by two biographers who have described pertinent details concerning his life situations, moods, and other emotional reactions during this adolescent period of his life. The relevance of this type of computer technology to psychohistorical research and clinical psychiatry is suggested.

Spin wave Feynman diagram vertex computation package

NASA Astrophysics Data System (ADS)

Price, Alexander; Javernick, Philip; Datta, Trinanjan

Spin wave theory is a well-established theoretical technique that can correctly predict the physical behavior of ordered magnetic states. However, computing the effects of an interacting spin wave theory incorporating magnons involve a laborious by hand derivation of Feynman diagram vertices. The process is tedious and time consuming. Hence, to improve productivity and have another means to check the analytical calculations, we have devised a Feynman Diagram Vertex Computation package. In this talk, we will describe our research group's effort to implement a Mathematica based symbolic Feynman diagram vertex computation package that computes spin wave vertices. Utilizing the non-commutative algebra package NCAlgebra as an add-on to Mathematica, symbolic expressions for the Feynman diagram vertices of a Heisenberg quantum antiferromagnet are obtained. Our existing code reproduces the well-known expressions of a nearest neighbor square lattice Heisenberg model. We also discuss the case of a triangular lattice Heisenberg model where non collinear terms contribute to the vertex interactions.

Building a symbolic computer algebra toolbox to compute 2D Fourier transforms in polar coordinates

PubMed Central

Dovlo, Edem; Baddour, Natalie

2015-01-01

The development of a symbolic computer algebra toolbox for the computation of two dimensional (2D) Fourier transforms in polar coordinates is presented. Multidimensional Fourier transforms are widely used in image processing, tomographic reconstructions and in fact any application that requires a multidimensional convolution. By examining a function in the frequency domain, additional information and insights may be obtained. The advantages of our method include: • The implementation of the 2D Fourier transform in polar coordinates within the toolbox via the combination of two significantly simpler transforms. • The modular approach along with the idea of lookup tables implemented help avoid the issue of indeterminate results which may occur when attempting to directly evaluate the transform. • The concept also helps prevent unnecessary computation of already known transforms thereby saving memory and processing time. PMID:26150988

Developing Computer Model-Based Assessment of Chemical Reasoning: A Feasibility Study

ERIC Educational Resources Information Center

Liu, Xiufeng; Waight, Noemi; Gregorius, Roberto; Smith, Erica; Park, Mihwa

2012-01-01

This paper reports a feasibility study on developing computer model-based assessments of chemical reasoning at the high school level. Computer models are flash and NetLogo environments to make simultaneously available three domains in chemistry: macroscopic, submicroscopic, and symbolic. Students interact with computer models to answer assessment…

Application of Adaptive Decision Aiding Systems to Computer-Assisted Instruction. Final Report, January-December 1974.

ERIC Educational Resources Information Center

May, Donald M.; And Others

The minicomputer-based Computerized Diagnostic and Decision Training (CDDT) system described combines the principles of artificial intelligence, decision theory, and adaptive computer assisted instruction for training in electronic troubleshooting. The system incorporates an adaptive computer program which learns the student's diagnostic and…

Emergent latent symbol systems in recurrent neural networks

NASA Astrophysics Data System (ADS)

Monner, Derek; Reggia, James A.

2012-12-01

Fodor and Pylyshyn [(1988). Connectionism and cognitive architecture: A critical analysis. Cognition, 28(1-2), 3-71] famously argued that neural networks cannot behave systematically short of implementing a combinatorial symbol system. A recent response from Frank et al. [(2009). Connectionist semantic systematicity. Cognition, 110(3), 358-379] claimed to have trained a neural network to behave systematically without implementing a symbol system and without any in-built predisposition towards combinatorial representations. We believe systems like theirs may in fact implement a symbol system on a deeper and more interesting level: one where the symbols are latent - not visible at the level of network structure. In order to illustrate this possibility, we demonstrate our own recurrent neural network that learns to understand sentence-level language in terms of a scene. We demonstrate our model's learned understanding by testing it on novel sentences and scenes. By paring down our model into an architecturally minimal version, we demonstrate how it supports combinatorial computation over distributed representations by using the associative memory operations of Vector Symbolic Architectures. Knowledge of the model's memory scheme gives us tools to explain its errors and construct superior future models. We show how the model designs and manipulates a latent symbol system in which the combinatorial symbols are patterns of activation distributed across the layers of a neural network, instantiating a hybrid of classical symbolic and connectionist representations that combines advantages of both.

Does skill retention benefit from retentivity and symbolic rehearsal? - two studies with a simulated process control task.

PubMed

Kluge, Annette; Frank, Barbara; Maafi, Sanaz; Kuzmanovska, Aleksandra

2016-05-01

Two experiments were designed to compare two symbolic rehearsal refresher interventions (imaginary practice, a hidden introspective process) and investigate the role of retentivity in skill retention. Retentivity is investigated as the ability to memorise and reproduce information and associations that were learned a short time ago. Both experiments comprised initial training (week 1), a symbolic rehearsal for the experimental group (week 2) and a retention assessment (week 3). In the first study, the experimental group received a symbolic rehearsal, while the control group received no rehearsal. In the second study, the experimental group received the same symbolic rehearsal used in study 1, enhanced with rehearsal tasks addressing human-computer interaction. The results showed that both symbolic rehearsal interventions were equally likely to mitigate skill decay. The retentivity showed medium to high correlations with skill retention in both studies, and the results suggest that subjects high in retentivity benefit more from a symbolic rehearsal refresher intervention. Practitioner Summary: Skill decay becomes a problem in situations in which jobs require the correct mastery of non-routine situations. Two experimental studies with simulated process control tasks showed that symbolic rehearsal and retentivity can significantly mitigate skill decay and that subjects higher in retentivity benefit more from refresher interventions.

Explicit robust schemes for implementation of a class of principal value-based constitutive models: Symbolic and numeric implementation

NASA Technical Reports Server (NTRS)

Arnold, S. M.; Saleeb, A. F.; Tan, H. Q.; Zhang, Y.

1993-01-01

The issue of developing effective and robust schemes to implement a class of the Ogden-type hyperelastic constitutive models is addressed. To this end, special purpose functions (running under MACSYMA) are developed for the symbolic derivation, evaluation, and automatic FORTRAN code generation of explicit expressions for the corresponding stress function and material tangent stiffness tensors. These explicit forms are valid over the entire deformation range, since the singularities resulting from repeated principal-stretch values have been theoretically removed. The required computational algorithms are outlined, and the resulting FORTRAN computer code is presented.

Gender Differences in Computer Use and Attitudes on a Ubiquitous Computing Campus.

ERIC Educational Resources Information Center

McCoy, Leah P.; Heafner, Tina L.; Burdick, Matthew G.; Nagle, Laura M.

As colleges and universities consider various options for wide scale "computerization," one southern liberal arts university has instituted a technology program that insures that all students have equal access to laptop computers. At this university, each student is issued his or her own IBM ThinkPad, and activities involving this computer are…

Sociocultural Aspects of Computers in Education.

ERIC Educational Resources Information Center

Yeaman, Andrew R. J.

The data reported in this paper gives depth to the picture of computers in society, in work, and in schools. The prices have dropped but computer corporations sell to schools, as they do to any other customer, to increase profits for themselves. Computerizing is a vehicle for social stratification. Computers are not easy to use and are hard to…

12 CFR 978.8 - Computer data.

Code of Federal Regulations, 2010 CFR

2010-01-01

... security of the computerized data stored in a Bank's computer and restrict access to such data in order to... 12 Banks and Banking 7 2010-01-01 2010-01-01 false Computer data. 978.8 Section 978.8 Banks and... REQUESTS FOR INFORMATION § 978.8 Computer data. Nothing in this part shall preclude a Bank from arranging...

12 CFR 978.8 - Computer data.

Code of Federal Regulations, 2011 CFR

2011-01-01

... security of the computerized data stored in a Bank's computer and restrict access to such data in order to... 12 Banks and Banking 7 2011-01-01 2011-01-01 false Computer data. 978.8 Section 978.8 Banks and... REQUESTS FOR INFORMATION § 978.8 Computer data. Nothing in this part shall preclude a Bank from arranging...

12 CFR 978.8 - Computer data.

Code of Federal Regulations, 2013 CFR

2013-01-01

... security of the computerized data stored in a Bank's computer and restrict access to such data in order to... 12 Banks and Banking 8 2013-01-01 2013-01-01 false Computer data. 978.8 Section 978.8 Banks and... REQUESTS FOR INFORMATION § 978.8 Computer data. Nothing in this part shall preclude a Bank from arranging...

12 CFR 978.8 - Computer data.

Code of Federal Regulations, 2012 CFR

2012-01-01

... security of the computerized data stored in a Bank's computer and restrict access to such data in order to... 12 Banks and Banking 8 2012-01-01 2012-01-01 false Computer data. 978.8 Section 978.8 Banks and... REQUESTS FOR INFORMATION § 978.8 Computer data. Nothing in this part shall preclude a Bank from arranging...

Robust Computer-Assisted Laser Treatment Using Real-Time Retinal Tracking

DTIC Science & Technology

2001-10-25

Abstract- We propose a new computerized system to accurately guide laser shots to the diseased areas within the retina based on predetermined...image registration I. INTRODUCTION Diabetic retinopathy resulting from long term diabetes mellitus is one of the common diseases that lead to choroidal...have a strong impact on the effectiveness of such procedures. In this work, we propose a new computerized treatment planning system for laser treatment

LUNGx Challenge for computerized lung nodule classification

DOE PAGES

Armato, Samuel G.; Drukker, Karen; Li, Feng; ...

2016-12-19

The purpose of this work is to describe the LUNGx Challenge for the computerized classification of lung nodules on diagnostic computed tomography (CT) scans as benign or malignant and report the performance of participants’ computerized methods along with that of six radiologists who participated in an observer study performing the same Challenge task on the same dataset. The Challenge provided sets of calibration and testing scans, established a performance assessment process, and created an infrastructure for case dissemination and result submission. We present ten groups that applied their own methods to 73 lung nodules (37 benign and 36 malignant) thatmore » were selected to achieve approximate size matching between the two cohorts. Area under the receiver operating characteristic curve (AUC) values for these methods ranged from 0.50 to 0.68; only three methods performed statistically better than random guessing. The radiologists’ AUC values ranged from 0.70 to 0.85; three radiologists performed statistically better than the best-performing computer method. The LUNGx Challenge compared the performance of computerized methods in the task of differentiating benign from malignant lung nodules on CT scans, placed in the context of the performance of radiologists on the same task. Lastly, the continued public availability of the Challenge cases will provide a valuable resource for the medical imaging research community.« less

LUNGx Challenge for computerized lung nodule classification

PubMed Central

Armato, Samuel G.; Drukker, Karen; Li, Feng; Hadjiiski, Lubomir; Tourassi, Georgia D.; Engelmann, Roger M.; Giger, Maryellen L.; Redmond, George; Farahani, Keyvan; Kirby, Justin S.; Clarke, Laurence P.

2016-01-01

Abstract. The purpose of this work is to describe the LUNGx Challenge for the computerized classification of lung nodules on diagnostic computed tomography (CT) scans as benign or malignant and report the performance of participants’ computerized methods along with that of six radiologists who participated in an observer study performing the same Challenge task on the same dataset. The Challenge provided sets of calibration and testing scans, established a performance assessment process, and created an infrastructure for case dissemination and result submission. Ten groups applied their own methods to 73 lung nodules (37 benign and 36 malignant) that were selected to achieve approximate size matching between the two cohorts. Area under the receiver operating characteristic curve (AUC) values for these methods ranged from 0.50 to 0.68; only three methods performed statistically better than random guessing. The radiologists’ AUC values ranged from 0.70 to 0.85; three radiologists performed statistically better than the best-performing computer method. The LUNGx Challenge compared the performance of computerized methods in the task of differentiating benign from malignant lung nodules on CT scans, placed in the context of the performance of radiologists on the same task. The continued public availability of the Challenge cases will provide a valuable resource for the medical imaging research community. PMID:28018939

LUNGx Challenge for computerized lung nodule classification

DOE Office of Scientific and Technical Information (OSTI.GOV)

Armato, Samuel G.; Drukker, Karen; Li, Feng

The purpose of this work is to describe the LUNGx Challenge for the computerized classification of lung nodules on diagnostic computed tomography (CT) scans as benign or malignant and report the performance of participants’ computerized methods along with that of six radiologists who participated in an observer study performing the same Challenge task on the same dataset. The Challenge provided sets of calibration and testing scans, established a performance assessment process, and created an infrastructure for case dissemination and result submission. We present ten groups that applied their own methods to 73 lung nodules (37 benign and 36 malignant) thatmore » were selected to achieve approximate size matching between the two cohorts. Area under the receiver operating characteristic curve (AUC) values for these methods ranged from 0.50 to 0.68; only three methods performed statistically better than random guessing. The radiologists’ AUC values ranged from 0.70 to 0.85; three radiologists performed statistically better than the best-performing computer method. The LUNGx Challenge compared the performance of computerized methods in the task of differentiating benign from malignant lung nodules on CT scans, placed in the context of the performance of radiologists on the same task. Lastly, the continued public availability of the Challenge cases will provide a valuable resource for the medical imaging research community.« less

Sex differences on a computerized mental rotation task disappear with computer familiarization.

PubMed

Roberts, J E; Bell, M A

2000-12-01

The area of cognitive research that has produced the most consistent sex differences is spatial ability. Particularly, men consistently perform better on mental rotation tasks than do women. This study examined the effects of familiarization with a computer on performance of a computerized two-dimensional mental rotation task. Two groups of college students (N=44) performed the rotation task, with one group performing a color-matching task that allowed them to be familiarized with the computer prior to the rotation task. Among the participants who only performed the rotation task, the 11 men performed better than the 11 women. Among the participants who performed the computer familiarization task before the rotation task, how ever, there were no sex differences on the mental rotation task between the 10 men and 12 women. These data indicate that sex differences on this two-dimensional task may reflect familiarization with the computer, not the mental rotation component of the task. Further research with larger samples and increased range of task difficulty is encouraged.

An Analytical Framework for Categorizing the Use of CAS Symbolic Manipulation in Textbooks

ERIC Educational Resources Information Center

Davis, Jon D.; Fonger, Nicole L.

2015-01-01

The symbolic manipulation capabilities of computer algebra systems, which we refer to as CAS-S, are now becoming instantiated within secondary mathematics textbooks in the United States for the first time. While a number of research studies have examined how teachers use this technology in their classrooms, one of the most important factors in how…

Searching for Signs, Symbols, and Icons: Effects of Time of Day, Visual Complexity, and Grouping

ERIC Educational Resources Information Center

McDougall, Sine; Tyrer, Victoria; Folkard, Simon

2006-01-01

Searching for icons, symbols, or signs is an integral part of tasks involving computer or radar displays, head-up displays in aircraft, or attending to road traffic signs. Icons therefore need to be designed to optimize search times, taking into account the factors likely to slow down visual search. Three factors likely to adversely affect visual…

SBOL Visual: A Graphical Language for Genetic Designs.

PubMed

Quinn, Jacqueline Y; Cox, Robert Sidney; Adler, Aaron; Beal, Jacob; Bhatia, Swapnil; Cai, Yizhi; Chen, Joanna; Clancy, Kevin; Galdzicki, Michal; Hillson, Nathan J; Le Novère, Nicolas; Maheshwari, Akshay J; McLaughlin, James Alastair; Myers, Chris J; P, Umesh; Pocock, Matthew; Rodriguez, Cesar; Soldatova, Larisa; Stan, Guy-Bart V; Swainston, Neil; Wipat, Anil; Sauro, Herbert M

2015-12-01

Synthetic Biology Open Language (SBOL) Visual is a graphical standard for genetic engineering. It consists of symbols representing DNA subsequences, including regulatory elements and DNA assembly features. These symbols can be used to draw illustrations for communication and instruction, and as image assets for computer-aided design. SBOL Visual is a community standard, freely available for personal, academic, and commercial use (Creative Commons CC0 license). We provide prototypical symbol images that have been used in scientific publications and software tools. We encourage users to use and modify them freely, and to join the SBOL Visual community: http://www.sbolstandard.org/visual.

Symbolic computer vector analysis

NASA Technical Reports Server (NTRS)

Stoutemyer, D. R.

1977-01-01

A MACSYMA program is described which performs symbolic vector algebra and vector calculus. The program can combine and simplify symbolic expressions including dot products and cross products, together with the gradient, divergence, curl, and Laplacian operators. The distribution of these operators over sums or products is under user control, as are various other expansions, including expansion into components in any specific orthogonal coordinate system. There is also a capability for deriving the scalar or vector potential of a vector field. Examples include derivation of the partial differential equations describing fluid flow and magnetohydrodynamics, for 12 different classic orthogonal curvilinear coordinate systems.

Data compression and information retrieval via symbolization

DOE Office of Scientific and Technical Information (OSTI.GOV)

Tang, X.Z.; Tracy, E.R.

Converting a continuous signal into a multisymbol stream is a simple method of data compression which preserves much of the dynamical information present in the original signal. The retrieval of selected types of information from symbolic data involves binary operations and is therefore optimal for digital computers. For example, correlation time scales can be easily recovered, even at high noise levels, by varying the time delay for symbolization. Also, the presence of periodicity in the signal can be reliably detected even if it is weak and masked by a dominant chaotic/stochastic background. {copyright} {ital 1998 American Institute of Physics.}

Computerized screening for cognitive impairment in patients with COPD

PubMed Central

Campman, Carlijn; van Ranst, Dirk; Meijer, Jan Willem; Sitskoorn, Margriet

2017-01-01

Purpose COPD is associated with cognitive impairment. These impairments should be diagnosed, but due to time- and budget-reasons, they are often not investigated. The aim of this study is to examine the viability of a brief computerized cognitive test battery, Central Nervous System Vital Signs (CNSVS), in COPD patients. Patients and methods Patients with COPD referred to tertiary pulmonary rehabilitation were included. Cognitive functioning of patients was assessed with CNSVS before pulmonary rehabilitation and compared with age-corrected CNSVS norms. CNSVS is a 30 minute computerized test battery that includes tests of verbal and visual memory, psychomotor speed, processing speed, cognitive flexibility, complex attention, executive functioning, and reaction time. Results CNSVS was fully completed by 205 (93.2%, 105 females, 100 males) of the total group of patients (n=220, 116 females, 104 males). Z-tests showed that COPD patients performed significantly worse than the norms on all CNSVS cognitive domains. Slightly more than half of the patients (51.8%) had impaired functioning on 1 or more cognitive domains. Patients without computer experience performed significantly worse on CNSVS than patients using the computer frequently. Conclusion The completion rate of CNSVS was high and cognitive dysfunctions measured with this screening were similar to the results found in prior research, including paper and pen cognitive tests. These results support the viability of this brief computerized cognitive screening in COPD patients, that may lead to better care for these patients. Cognitive performance of patients with little computer experience should be interpreted carefully. Future research on this issue is needed. PMID:29089756

The Metamorphosis of an Introduction to Computer Science.

ERIC Educational Resources Information Center

Ben-Jacob, Marion G.

1997-01-01

Introductory courses in computer science at colleges and universities have undergone significant changes in 20 years. This article provides an overview of the history of introductory computer science (FORTRAN, ANSI flowchart symbols, BASIC, data processing concepts, and PASCAL) and its future (robotics and C++). (PEN)

Design consideration in constructing high performance embedded Knowledge-Based Systems (KBS)

NASA Technical Reports Server (NTRS)

Dalton, Shelly D.; Daley, Philip C.

1988-01-01

As the hardware trends for artificial intelligence (AI) involve more and more complexity, the process of optimizing the computer system design for a particular problem will also increase in complexity. Space applications of knowledge based systems (KBS) will often require an ability to perform both numerically intensive vector computations and real time symbolic computations. Although parallel machines can theoretically achieve the speeds necessary for most of these problems, if the application itself is not highly parallel, the machine's power cannot be utilized. A scheme is presented which will provide the computer systems engineer with a tool for analyzing machines with various configurations of array, symbolic, scaler, and multiprocessors. High speed networks and interconnections make customized, distributed, intelligent systems feasible for the application of AI in space. The method presented can be used to optimize such AI system configurations and to make comparisons between existing computer systems. It is an open question whether or not, for a given mission requirement, a suitable computer system design can be constructed for any amount of money.

The Future of School Library Media Centers.

ERIC Educational Resources Information Center

Craver, Kathleen W.

1984-01-01

Examines impact of technology on school library media program development and role of school librarian. Technological trends (computerized record keeping, computer-assisted instruction, networking, home computers, videodiscs), employment and economic trends, education of school librarians, social and behavioral trends, and organizational and…

Graphical user interfaces for symbol-oriented database visualization and interaction

NASA Astrophysics Data System (ADS)

Brinkschulte, Uwe; Siormanolakis, Marios; Vogelsang, Holger

1997-04-01

In this approach, two basic services designed for the engineering of computer based systems are combined: a symbol-oriented man-machine-service and a high speed database-service. The man-machine service is used to build graphical user interfaces (GUIs) for the database service; these interfaces are stored using the database service. The idea is to create a GUI-builder and a GUI-manager for the database service based upon the man-machine service using the concept of symbols. With user-definable and predefined symbols, database contents can be visualized and manipulated in a very flexible and intuitive way. Using the GUI-builder and GUI-manager, a user can build and operate its own graphical user interface for a given database according to its needs without writing a single line of code.

Disclosure of sensitive behaviors across self-administered survey modes: a meta-analysis.

PubMed

Gnambs, Timo; Kaspar, Kai

2015-12-01

In surveys, individuals tend to misreport behaviors that are in contrast to prevalent social norms or regulations. Several design features of the survey procedure have been suggested to counteract this problem; particularly, computerized surveys are supposed to elicit more truthful responding. This assumption was tested in a meta-analysis of survey experiments reporting 460 effect sizes (total N =125,672). Self-reported prevalence rates of several sensitive behaviors for which motivated misreporting has been frequently observed were compared across self-administered paper-and-pencil versus computerized surveys. The results revealed that computerized surveys led to significantly more reporting of socially undesirable behaviors than comparable surveys administered on paper. This effect was strongest for highly sensitive behaviors and surveys administered individually to respondents. Moderator analyses did not identify interviewer effects or benefits of audio-enhanced computer surveys. The meta-analysis highlighted the advantages of computerized survey modes for the assessment of sensitive topics.

Project IMPACT Software Documentation: Overview of the Computer-Administered Instruction Subsystem.

ERIC Educational Resources Information Center

Stelzer, John; Garneau, Jean

Research in Project IMPACT, prototypes of computerized training for Army personnel, is documented in an overview of the IMPACT computer software system for computer-administered instruction, exclusive of instructional software. The overview description provides a basis for an understanding of the rationale and motivation for the development of the…

METRO-APEX Volume 2.1: Computer Operator's Manual. Revised.

ERIC Educational Resources Information Center

University of Southern California, Los Angeles. COMEX Research Project.

The Computer Operator's Manual is one of a set of twenty-one manuals used in METRO-APEX 1974, a computerized college and professional level, computer-supported, role-play, simulation exercise of a community with "normal" problems. Stress is placed on environmental quality considerations. APEX 1974 is an expansion of APEX--Air Pollution…

Technology and Mathematics Education: A Survey of Recent Developments and Important Problems.

ERIC Educational Resources Information Center

Fey, James T.

1989-01-01

Provided is an overview and analysis of recent progress in applying electronic information technology to creation of new environments for intellectual work in mathematics. Describes the impact of numerical computation, graphic computation, symbolic computation, multiple representation of information, programing and information, and artificial…

SIGMA--A Graphical Approach to Teaching Simulation.

ERIC Educational Resources Information Center

Schruben, Lee W.

1992-01-01

SIGMA (Simulation Graphical Modeling and Analysis) is a computer graphics environment for building, testing, and experimenting with discrete event simulation models on personal computers. It uses symbolic representations (computer animation) to depict the logic of large, complex discrete event systems for easier understanding and has proven itself…

Incentives and Barriers That Influence Clinical Computerization in Hong Kong: A Population-based Physician Survey

PubMed Central

Leung, Gabriel M.; Yu, Philip L. H.; Wong, Irene O. L.; Johnston, Janice M.; Tin, Keith Y. K.

2003-01-01

Objective: Given the slow adoption of medical informatics in Hong Kong and Asia, we sought to understand the contributory barriers and potential incentives associated with information technology implementation. Design and Measurements: A representative sample of 949 doctors (response rate = 77.0%) was asked through a postal survey to rank a list of nine barriers associated with clinical computerization according to self-perceived importance. They ranked seven incentives or catalysts that may influence computerization. We generated mean rank scores and used multidimensional preference analysis to explore key explanatory dimensions of these variables. A hierarchical cluster analysis was performed to identify homogenous subgroups of respondents. We further determined the relationships between the sets of barriers and incentives/catalysts collectively using canonical correlation. Results: Time costs, lack of technical support and large capital investments were the biggest barriers to computerization, whereas improved office efficiency and better-quality care were ranked highest as potential incentives to computerize. Cost vs. noncost, physician-related vs. patient-related, and monetary vs. nonmonetary factors were the key dimensions explaining the barrier variables. Similarly, within-practice vs external and “push” vs “pull” factors accounted for the incentive variables. Four clusters were identified for barriers and three for incentives/catalysts. Canonical correlation revealed that respondents who were concerned with the costs of computerization also perceived financial incentives and government regulation to be important incentives/catalysts toward computerization. Those who found the potential interference with communication important also believed that the promise of improved care from computerization to be a significant incentive. Conclusion: This study provided evidence regarding common barriers associated with clinical computerization. Our findings also identified possible incentive strategies that may be employed to accelerate uptake of computer systems. PMID:12595409

APPLIED RESEARCH ON IMPLEMENTATION AND USE OF LIST PROCESSING LANGUAGES

DTIC Science & Technology

powerful manipulation of symbolic text (TECO), and (5) specification of a set of generalized display routines for visual communication with the computer. All work done related to the M-460 research computer at AFCRL.

Intelligent Systems For Aerospace Engineering: An Overview

NASA Technical Reports Server (NTRS)

KrishnaKumar, K.

2003-01-01

Intelligent systems are nature-inspired, mathematically sound, computationally intensive problem solving tools and methodologies that have become extremely important for advancing the current trends in information technology. Artificially intelligent systems currently utilize computers to emulate various faculties of human intelligence and biological metaphors. They use a combination of symbolic and sub-symbolic systems capable of evolving human cognitive skills and intelligence, not just systems capable of doing things humans do not do well. Intelligent systems are ideally suited for tasks such as search and optimization, pattern recognition and matching, planning, uncertainty management, control, and adaptation. In this paper, the intelligent system technologies and their application potential are highlighted via several examples.

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

NASA Technical Reports Server (NTRS)

Moscato, Mariano; Titolo, Laura; Dutle, Aaron; Munoz, Cesar A.

2017-01-01

This paper introduces a static analysis technique for computing formally verified round-off error bounds of floating-point functional expressions. The technique is based on a denotational semantics that computes a symbolic estimation of floating-point round-o errors along with a proof certificate that ensures its correctness. The symbolic estimation can be evaluated on concrete inputs using rigorous enclosure methods to produce formally verified numerical error bounds. The proposed technique is implemented in the prototype research tool PRECiSA (Program Round-o Error Certifier via Static Analysis) and used in the verification of floating-point programs of interest to NASA.

Intelligent Systems for Aerospace Engineering: An Overview

NASA Technical Reports Server (NTRS)

Krishnakumar, Kalmanje

2002-01-01

Intelligent systems are nature-inspired, mathematically sound, computationally intensive problem solving tools and methodologies that have become extremely important for advancing the current trends in information technology. Artificially intelligent systems currently utilize computers to emulate various faculties of human intelligence and biological metaphors. They use a combination of symbolic and sub-symbolic systems capable of evolving human cognitive skills and intelligence, not just systems capable of doing things humans do not do well. Intelligent systems are ideally suited for tasks such as search and optimization, pattern recognition and matching, planning, uncertainty management, control, and adaptation. In this paper, the intelligent system technologies and their application potential are highlighted via several examples.

The virtual digital nuclear power plant: A modern tool for supporting the lifecycle of VVER-based nuclear power units

NASA Astrophysics Data System (ADS)

Arkadov, G. V.; Zhukavin, A. P.; Kroshilin, A. E.; Parshikov, I. A.; Solov'ev, S. L.; Shishov, A. V.

2014-10-01

The article describes the "Virtual Digital VVER-Based Nuclear Power Plant" computerized system comprising a totality of verified initial data (sets of input data for a model intended for describing the behavior of nuclear power plant (NPP) systems in design and emergency modes of their operation) and a unified system of new-generation computation codes intended for carrying out coordinated computation of the variety of physical processes in the reactor core and NPP equipment. Experiments with the demonstration version of the "Virtual Digital VVER-Based NPP" computerized system has shown that it is in principle possible to set up a unified system of computation codes in a common software environment for carrying out interconnected calculations of various physical phenomena at NPPs constructed according to the standard AES-2006 project. With the full-scale version of the "Virtual Digital VVER-Based NPP" computerized system put in operation, the concerned engineering, design, construction, and operating organizations will have access to all necessary information relating to the NPP power unit project throughout its entire lifecycle. The domestically developed commercial-grade software product set to operate as an independently operating application to the project will bring about additional competitive advantages in the modern market of nuclear power technologies.

Methods in Symbolic Computation and p-Adic Valuations of Polynomials

NASA Astrophysics Data System (ADS)

Guan, Xiao

Symbolic computation has widely appear in many mathematical fields such as combinatorics, number theory and stochastic processes. The techniques created in the area of experimental mathematics provide us efficient ways of symbolic computing and verification of complicated relations. Part I consists of three problems. The first one focuses on a unimodal sequence derived from a quartic integral. Many of its properties are explored with the help of hypergeometric representations and automatic proofs. The second problem tackles the generating function of the reciprocal of Catalan number. It springs from the closed form given by Mathematica. Furthermore, three methods in special functions are used to justify this result. The third issue addresses the closed form solutions for the moments of products of generalized elliptic integrals , which combines the experimental mathematics and classical analysis. Part II concentrates on the p-adic valuations of polynomials from the perspective of trees. For a given polynomial f( n) indexed in positive integers, the package developed in Mathematica will create certain tree structure following a couple of rules. The evolution of such trees are studied both rigorously and experimentally from the view of field extension, nonparametric statistics and random matrix.

The dilemma of the symbols: analogies between philosophy, biology and artificial life.

PubMed

Spadaro, Salvatore

2013-01-01

This article analyzes some analogies going from Artificial Life questions about the symbol-matter connection to Artificial Intelligence questions about symbol-grounding. It focuses on the notion of the interpretability of syntax and how the symbols are integrated in a unity ("binding problem"). Utilizing the DNA code as a model, this paper discusses how syntactic features could be defined as high-grade characteristics of the non syntactic relations in a material-dynamic structure, by using an emergentist approach. This topic furnishes the ground for a confutation of J. Searle's statement that syntax is observer-relative, as he wrote in his book "Mind: A Brief Introduction". Moreover the evolving discussion also modifies the classic symbol-processing doctrine in the mind which Searle attacks as a strong AL argument, that life could be implemented in a computational mode. Lastly, this paper furnishes a new way of support for the autonomous systems thesis in Artificial Life and Artificial Intelligence, using, inter alia, the "adaptive resonance theory" (ART).

Predictor symbology in computer-generated pictorial displays

NASA Technical Reports Server (NTRS)

Grunwald, A. J.

1981-01-01

The display under investigation, is a tunnel display for the four-dimensional commercial aircraft approach-to-landing under instrument flight rules. It is investigated whether more complex predictive information such as a three-dimensional perspective vehicle symbol, predicting the future vehicle position as well as future vehicle attitude angles, contributes to a better system response, and suitable predictor laws for the predictor motions, are formulated. Methods for utilizing the predictor symbol in controlling the forward velocity of the aircraft in four-dimensional approaches, are investigated. The simulator tests show, that the complex perspective vehicle symbol yields improved damping in the lateral response as compared to a flat two-dimensional predictor cross, but yields generally larger vertical deviations. Methods of using the predictor symbol in controlling the forward velocity of the vehicle are shown to be effective. The tunnel display with superimposed perspective vehicle symbol yields very satisfactory results and pilot acceptance in the lateral control but is found to be unsatisfactory in the vertical control, as a result of too large vertical path-angle deviations.

Automatic code generation in SPARK: Applications of computer algebra and compiler-compilers

DOE Office of Scientific and Technical Information (OSTI.GOV)

Nataf, J.M.; Winkelmann, F.

We show how computer algebra and compiler-compilers are used for automatic code generation in the Simulation Problem Analysis and Research Kernel (SPARK), an object oriented environment for modeling complex physical systems that can be described by differential-algebraic equations. After a brief overview of SPARK, we describe the use of computer algebra in SPARK's symbolic interface, which generates solution code for equations that are entered in symbolic form. We also describe how the Lex/Yacc compiler-compiler is used to achieve important extensions to the SPARK simulation language, including parametrized macro objects and steady-state resetting of a dynamic simulation. The application of thesemore » methods to solving the partial differential equations for two-dimensional heat flow is illustrated.« less

Automatic code generation in SPARK: Applications of computer algebra and compiler-compilers

DOE Office of Scientific and Technical Information (OSTI.GOV)

Nataf, J.M.; Winkelmann, F.

We show how computer algebra and compiler-compilers are used for automatic code generation in the Simulation Problem Analysis and Research Kernel (SPARK), an object oriented environment for modeling complex physical systems that can be described by differential-algebraic equations. After a brief overview of SPARK, we describe the use of computer algebra in SPARK`s symbolic interface, which generates solution code for equations that are entered in symbolic form. We also describe how the Lex/Yacc compiler-compiler is used to achieve important extensions to the SPARK simulation language, including parametrized macro objects and steady-state resetting of a dynamic simulation. The application of thesemore » methods to solving the partial differential equations for two-dimensional heat flow is illustrated.« less

Computer Graphics.

ERIC Educational Resources Information Center

Halpern, Jeanne W.

1970-01-01

Computer graphics have been called the most exciting development in computer technology. At the University of Michigan, three kinds of graphics output equipment are now being used: symbolic printers, line plotters or drafting devices, and cathode-ray tubes (CRT). Six examples are given that demonstrate the range of graphics use at the University.…

The Experimental Mathematician: The Pleasure of Discovery and the Role of Proof

ERIC Educational Resources Information Center

Borwein, Jonathan M.

2005-01-01

The emergence of powerful mathematical computing environments, the growing availability of correspondingly powerful (multi-processor) computers and the pervasive presence of the Internet allow for mathematicians, students and teachers, to proceed heuristically and "quasi-inductively." We may increasingly use symbolic and numeric computation,…

System for Computer Automated Typesetting (SCAT) of Computer Authored Texts.

ERIC Educational Resources Information Center

Keeler, F. Laurence

This description of the System for Automated Typesetting (SCAT), an automated system for typesetting text and inserting special graphic symbols in programmed instructional materials created by the computer aided authoring system AUTHOR, provides an outline of the design architecture of the system and an overview including the component…

The Brainbow Connection: Supplementing the Romance of Classroom Color Computing.

ERIC Educational Resources Information Center

Burns, Hugh

1982-01-01

Discusses the role and use of color in instructional computing. Suggests teachers consider: (1) how color symbolically represents content and reinforces organization of lessons; (2) how color enhances a lesson's style and short/long-term memory; and (3) cost of classroom color computer assisted lessons. (Author/JN)

Reflecting on the ethical administration of computerized medical records

NASA Astrophysics Data System (ADS)

Collmann, Jeff R.

1995-05-01

This presentation examines the ethical issues raised by computerized image management and communication systems (IMAC), the ethical principals that should guide development of policies, procedures and practices for IMACS systems, and who should be involved in developing a hospital's approach to these issues. The ready access of computerized records creates special hazards of which hospitals must beware. Hospitals must maintain confidentiality of patient's records while making records available to authorized users as efficiently as possible. The general conditions of contemporary health care undermine protecting the confidentiality of patient record. Patients may not provide health care institutions with information about themselves under conditions of informed consent. The field of information science must design sophisticated systems of computer security that stratify access, create audit trails on data changes and system use, safeguard patient data from corruption, and protect the databases from outside invasion. Radiology professionals must both work with information science experts in their own hospitals to create institutional safeguards and include the adequacy of security measures as a criterion for evaluating PACS systems. New policies and procedures on maintaining computerized patient records must be developed that obligate all members of the health care staff, not just care givers. Patients must be informed about the existence of computerized medical records, the rules and practices that govern their dissemination and given the opportunity to give or withhold consent for their use. Departmental and hospital policies on confidentiality should be reviewed to determine if revisions are necessary to manage computer-based records. Well developed discussions of the ethical principles and administrative policies on confidentiality and informed consent and of the risks posed by computer-based patient records systems should be included in initial and continuing staff system training. Administration should develop ways to monitor staff compliance with confidentiality policies and should assess diligence in maintaining patient record confidentiality as part of staff annual performance evaluations. Ethical management of IMAC systems is the business of all members of the health care team. Computerized patient records management (including IMAC) should be scrutinized as any other clinical medial ethical issue. If hospitals include these processes in their planning for RIS, IMACS, and HIS systems, they should have time to develop institutional expertise on these questions before and as systems are installed rather than only as ethical dilemmas develop during their use.

Health technology assessment review: Computerized glucose regulation in the intensive care unit - how to create artificial control

PubMed Central

2009-01-01

Current care guidelines recommend glucose control (GC) in critically ill patients. To achieve GC, many ICUs have implemented a (nurse-based) protocol on paper. However, such protocols are often complex, time-consuming, and can cause iatrogenic hypoglycemia. Computerized glucose regulation protocols may improve patient safety, efficiency, and nurse compliance. Such computerized clinical decision support systems (Cuss) use more complex logic to provide an insulin infusion rate based on previous blood glucose levels and other parameters. A computerized CDSS for glucose control has the potential to reduce overall workload, reduce the chance of human cognitive failure, and improve glucose control. Several computer-assisted glucose regulation programs have been published recently. In order of increasing complexity, the three main types of algorithms used are computerized flowcharts, Proportional-Integral-Derivative (PID), and Model Predictive Control (MPC). PID is essentially a closed-loop feedback system, whereas MPC models the behavior of glucose and insulin in ICU patients. Although the best approach has not yet been determined, it should be noted that PID controllers are generally thought to be more robust than MPC systems. The computerized Cuss that are most likely to emerge are those that are fully a part of the routine workflow, use patient-specific characteristics and apply variable sampling intervals. PMID:19849827

A computerized clinical decision support system as a means of implementing depression guidelines.

PubMed

Trivedi, Madhukar H; Kern, Janet K; Grannemann, Bruce D; Altshuler, Kenneth Z; Sunderajan, Prabha

2004-08-01

The authors describe the history and current use of computerized systems for implementing treatment guidelines in general medicine as well as the development, testing, and early use of a computerized decision support system for depression treatment among "real-world" clinical settings in Texas. In 1999 health care experts from Europe and the United States met to confront the well-documented challenges of implementing treatment guidelines and to identify strategies for improvement. They suggested the integration of guidelines into computer systems that is incorporated into clinical workflow. Several studies have demonstrated improvements in physicians' adherence to guidelines when such guidelines are provided in a computerized format. Although computerized decision support systems are being used in many areas of medicine and have demonstrated improved patient outcomes, their use in psychiatric illness is limited. The authors designed and developed a computerized decision support system for the treatment of major depressive disorder by using evidence-based guidelines, transferring the knowledge gained from the Texas Medication Algorithm Project (TMAP). This computerized decision support system (CompTMAP) provides support in diagnosis, treatment, follow-up, and preventive care and can be incorporated into the clinical setting. CompTMAP has gone through extensive testing to ensure accuracy and reliability. Physician surveys have indicated a positive response to CompTMAP, although the sample was insufficient for statistical testing. CompTMAP is part of a new era of comprehensive computerized decision support systems that take advantage of advances in automation and provide more complete clinical support to physicians in clinical practice.

Implications for Intelligent Tutoring Systems for Research and Practice in Foreign Language Learning, NFLC Occasional Papers.

ERIC Educational Resources Information Center

Ginsberg, Ralph B.

Most of the now commonplace computer-assisted instruction (CAI) uses computers to increase the capacity to perform logical, numerical, and symbolic computations. However, computers are an interactive and potentially intelligent medium. The implications of artificial intelligence (AI) for learning are more radical than those for traditional CAI. AI…

Performance of the all-digital data-transition tracking loop in the advanced receiver

NASA Astrophysics Data System (ADS)

Cheng, U.; Hinedi, S.

1989-11-01

The performance of the all-digital data-transition tracking loop (DTTL) with coherent or noncoherent sampling is described. The effects of few samples per symbol and of noncommensurate sampling rates and symbol rates are addressed and analyzed. Their impacts on the loop phase-error variance and the mean time to lose lock (MTLL) are quantified through computer simulations. The analysis and preliminary simulations indicate that with three to four samples per symbol, the DTTL can track with negligible jitter because of the presence of earth Doppler rate. Furthermore, the MTLL is also expected to be large engough to maintain lock over a Deep Space Network track.

SBOL Visual: A Graphical Language for Genetic Designs

DOE PAGES

Quinn, Jacqueline Y.; Cox, Robert Sidney; Adler, Aaron; ...

2015-12-03

Synthetic Biology Open Language (SBOL) Visual is a graphical standard for genetic engineering. We report that it consists of symbols representing DNA subsequences, including regulatory elements and DNA assembly features. These symbols can be used to draw illustrations for communication and instruction, and as image assets for computer-aided design. SBOL Visual is a community standard, freely available for personal, academic, and commercial use (Creative Commons CC0 license). We provide prototypical symbol images that have been used in scientific publications and software tools. We encourage users to use and modify them freely, and to join the SBOL Visual community: http://www.sbolstandard.org/visual.

SBOL Visual: A Graphical Language for Genetic Designs

DOE Office of Scientific and Technical Information (OSTI.GOV)

Quinn, Jacqueline Y.; Cox, Robert Sidney; Adler, Aaron

Synthetic Biology Open Language (SBOL) Visual is a graphical standard for genetic engineering. We report that it consists of symbols representing DNA subsequences, including regulatory elements and DNA assembly features. These symbols can be used to draw illustrations for communication and instruction, and as image assets for computer-aided design. SBOL Visual is a community standard, freely available for personal, academic, and commercial use (Creative Commons CC0 license). We provide prototypical symbol images that have been used in scientific publications and software tools. We encourage users to use and modify them freely, and to join the SBOL Visual community: http://www.sbolstandard.org/visual.

SBOL Visual: A Graphical Language for Genetic Designs

PubMed Central

Adler, Aaron; Beal, Jacob; Bhatia, Swapnil; Cai, Yizhi; Chen, Joanna; Clancy, Kevin; Galdzicki, Michal; Hillson, Nathan J.; Le Novère, Nicolas; Maheshwari, Akshay J.; McLaughlin, James Alastair; Myers, Chris J.; P, Umesh; Pocock, Matthew; Rodriguez, Cesar; Soldatova, Larisa; Stan, Guy-Bart V.; Swainston, Neil; Wipat, Anil; Sauro, Herbert M.

2015-01-01

Synthetic Biology Open Language (SBOL) Visual is a graphical standard for genetic engineering. It consists of symbols representing DNA subsequences, including regulatory elements and DNA assembly features. These symbols can be used to draw illustrations for communication and instruction, and as image assets for computer-aided design. SBOL Visual is a community standard, freely available for personal, academic, and commercial use (Creative Commons CC0 license). We provide prototypical symbol images that have been used in scientific publications and software tools. We encourage users to use and modify them freely, and to join the SBOL Visual community: http://www.sbolstandard.org/visual. PMID:26633141

The Development of MUMPS-Based Rehabilitation Psychology Computer Applications.

ERIC Educational Resources Information Center

Dutro, Kenneth R.

The use of computer assisted programs in career exploration and occupational information is well documented. Various phases of the vocational counseling process, i.e., diagnostic evaluation, program planning, career exploration, case management, and program evaluation, offer similarly promising opportunities for computerization. Using the…

Computer-Controlled HVAC -- at Low Cost

ERIC Educational Resources Information Center

American School and University, 1974

1974-01-01

By tying into a computerized building-automation network, Schaumburg High School, Illinois, slashed its energy consumption by one-third. The remotely connected computer controls the mechanical system for the high school as well as other buildings in the community, with the cost being shared by all. (Author)

Computerized Manufacturing Automation. Employment, Education, and the Workplace. Summary.

ERIC Educational Resources Information Center

Congress of the U.S., Washington, DC. Office of Technology Assessment.

The application of programmable automation (PA) offers new opportunities to enhance and streamline manufacturing processes. Five PA technologies are examined in this report: computer-aided design, robots, numerically controlled machine tools, flexible manufacturing systems, and computer-integrated manufacturing. Each technology is in a relatively…

The New Film Technologies: Computerized Video-Assisted Film Production.

ERIC Educational Resources Information Center

Mott, Donald R.

Over the past few years, video technology has been used to assist film directors after they have shot a scene, to control costs, and to create special effects, especially computer assisted graphics. At present, a computer based editing system called "Film 5" combines computer technology and video tape with film to save as much as 50% of…

Today's Revolution: Computers in Education. Proceedings of the Association for Educational Data Systems International Convention (Phoenix, Arizona, May 3-7, 1976).

ERIC Educational Resources Information Center

Association for Educational Data Systems, Washington, DC.

The theme of the 1976 convention of the Association for Educational Data Systems (AEDS) was educational data processing and information systems. Special attention was focused on educational management information systems, computer centers and networks, computer assisted instruction, computerized testing, guidance, and higher education. This…

Feasibility and validity of the self-administered computerized assessment of mild cognitive impairment with older primary care patients.

PubMed

Tierney, Mary C; Naglie, Gary; Upshur, Ross; Moineddin, Rahim; Charles, Jocelyn; Jaakkimainen, R Liisa

2014-01-01

We investigated whether a validated computerized cognitive test, the Computerized Assessment of Mild Cognitive Impairment (CAMCI), could be independently completed by older primary care patients. We also determined the optimal cut-off for the CAMCI global risk score for mild cognitive impairment against an independent neuropsychological reference standard. All eligible patients aged 65 years and older, seen consecutively over 2 months by 1 family practice of 13 primary care physicians, were invited to participate. Patients with a diagnosis or previous work-up for dementia were excluded. Primary care physicians indicated whether they, the patient, or family had concerns about each patient's cognition. A total of 130 patients with cognitive concerns and a matched sample of 133 without cognitive concerns were enrolled. The CAMCI was individually administered after instructions to work independently. Comments were recorded verbatim. A total of 259 (98.5%) completed the entire CAMCI. Two hundred and forty-one (91.6%) completed it without any questions or after simple acknowledgment of their question. Lack of computer experience was the only patient characteristic that decreased the odds of independent CAMCI completion. These results support the feasibility of using self-administered computerized cognitive tests with older primary care patients, given the increasing reliance on computers by people of all ages. The optimal cut-off score had a sensitivity of 80% and specificity of 74%.

Evaluation of a computerized aid for creating human behavioral representations of human-computer interaction.

PubMed

Williams, Kent E; Voigt, Jeffrey R

2004-01-01

The research reported herein presents the results of an empirical evaluation that focused on the accuracy and reliability of cognitive models created using a computerized tool: the cognitive analysis tool for human-computer interaction (CAT-HCI). A sample of participants, expert in interacting with a newly developed tactical display for the U.S. Army's Bradley Fighting Vehicle, individually modeled their knowledge of 4 specific tasks employing the CAT-HCI tool. Measures of the accuracy and consistency of task models created by these task domain experts using the tool were compared with task models created by a double expert. The findings indicated a high degree of consistency and accuracy between the different "single experts" in the task domain in terms of the resultant models generated using the tool. Actual or potential applications of this research include assessing human-computer interaction complexity, determining the productivity of human-computer interfaces, and analyzing an interface design to determine whether methods can be automated.

[Feasibility and acceptance of computer-based assessment for the identification of psychosocially distressed patients in routine clinical care].

PubMed

Sehlen, Susanne; Ott, Martin; Marten-Mittag, Birgitt; Haimerl, Wolfgang; Dinkel, Andreas; Duehmke, Eckhart; Klein, Christian; Schaefer, Christof; Herschbach, Peter

2012-07-01

This study investigated feasibility and acceptance of computer-based assessment for the identification of psychosocial distress in routine radiotherapy care. 155 cancer patients were assessed using QSC-R10, PO-Bado-SF and Mach-9. The congruence between computerized tablet PC and conventional paper assessment was analysed in 50 patients. The agreement between the 2 modes was high (ICC 0.869-0.980). Acceptance of computer-based assessment was very high (>95%). Sex, age, education, distress and Karnofsky performance status (KPS) did not influence acceptance. Computerized assessment was rated more difficult by older patients (p = 0.039) and patients with low KPS (p = 0.020). 75.5% of the respondents supported referral for psycho-social intervention for distressed patients. The prevalence of distress was 27.1% (QSC-R10). Computer-based assessment allows easy identification of distressed patients. Level of staff involvement is low, and the results are quickly available for care providers. © Georg Thieme Verlag KG Stuttgart · New York.

Cross-Mode Comparability of Computer-Based Testing (CBT) versus Paper-Pencil Based Testing (PPT): An Investigation of Testing Administration Mode among Iranian Intermediate EFL Learners

ERIC Educational Resources Information Center

Khoshsima, Hooshang; Hosseini, Monirosadat; Toroujeni, Seyyed Morteza Hashemi

2017-01-01

Advent of technology has caused growing interest in using computers to convert conventional paper and pencil-based testing (Henceforth PPT) into Computer-based testing (Henceforth CBT) in the field of education during last decades. This constant promulgation of computers to reshape the conventional tests into computerized format permeated the…

Effects of peer social interaction on performance during computerized cognitive remediation therapy in patients with early course schizophrenia: A pilot study.

PubMed

Sandoval, Luis R; González, Betzamel López; Stone, William S; Guimond, Synthia; Rivas, Cristina Torres; Sheynberg, David; Kuo, Susan S; Eack, Shaun; Keshavan, Matcheri S

2017-09-04

Recent studies show that computer-based training enhances cognition in schizophrenia; furthermore, socialization has also been found to improve cognitive functions. It is generally believed that non-social cognitive remediation using computer exercises would be a pre-requisite for therapeutic benefits from social cognitive training. However, it is also possible that social interaction by itself enhances non-social cognitive functions; this possibility has scarcely been explored in schizophrenia patients. This pilot study examined the effects of computer-based neurocognitive training, along with social interaction either with a peer (PSI) or without one (N-PSI). We hypothesized that PSI will enhance cognitive performance during computerized exercises in schizophrenia, as compared with N-PSI. Sixteen adult participants diagnosed with schizophrenia or schizoaffective disorder participating in an ongoing trial of Cognitive Enhancement Therapy completed several computerized neurocognitive remediation training sessions (the Orientation Remedial Module©, or ORM), either with a peer or without a peer. We observed a significant interaction between the effect of PSI and performance on the different cognitive exercises (p<0.05). More precisely, when patients performed the session with PSI, they demonstrated better cognitive performances than with N-PSI in the ORM exercise that provides training in processing speed, alertness, and reaction time (the standard Attention Reaction Conditioner, or ARC) (p<0.01, corrected). PSI did not significantly affect other cognitive domains such as target detection and spatial attention. Our findings suggest that PSI could improve cognitive performance, such as processing speed, during computerized cognitive training in schizophrenia. Additional studies investigating the effect of PSI during cognitive remediation are needed to further evaluate this hypothesis. Copyright © 2017. Published by Elsevier B.V.

Ergonomic nursing workstation design to prevent cumulative trauma disorders.

PubMed

McHugh, M L; Schaller, P

1997-01-01

The introduction of computerized nursing information systems offers health care institutions an opportunity to take a new look at safety issues related to nursing workstation design. Industrial studies have investigated the injuries sustained by clerical workers who spend long periods of time at their computers. Cumulative trauma disorders (CTDs) are the most common injuries associated with computerized workstation use. They account for nearly 90,000 injuries each year in the United States. Typical CTDs include back pain, strain of the neck, shoulders and eyes, and carpal tunnel syndrome. As the information handling work of nurses is increasingly computerized, the incidence of computer-related injury is expected to increase. Injury rates can be reduced by ergonomic workstation design. An assessment of potential risks associated with the equipment installed should be done as part of workstation design. Risk identification is a prerequisite for avoiding injuries by designing workstations that protect human health. The ergonomic principles learned and tested on office workers are addressed and extrapolated to nursing workstation design. Specific suggestions for design of sitting and standing workstations are presented.

Using Symbolic TI Calculators in Engineering Mathematics: Sample Tasks and Reflections from a Decade of Practice

ERIC Educational Resources Information Center

Beaudin, Michel; Picard, Gilles

2010-01-01

Starting in September 1999, new students at ETS were required to own the TI-92 Plus or TI-89 symbolic calculator and since September 2002, the Voyage 200. Looking back at these ten years of working with a computer algebra system on every student's desk, one could ask whether the introduction of this hand-held technology has really forced teachers…

Computer Surveillance of Hospital-Acquired Infections: A 25 year Update

PubMed Central

Evans, R. Scott; Abouzelof, Rouett H.; Taylor, Caroline W.; Anderson, Vickie; Sumner, Sharon; Soutter, Sharon; Kleckner, Ruth; Lloyd, James F.

2009-01-01

Hospital-acquired infections (HAIs) are a significant cause of patient harm and increased healthcare cost. Many states have instituted mandatory hospital-wide reporting of HAIs which will increase the workload of infection preventionists and the Center for Medicare and Medicaid Services is no longer paying hospitals to treat certain HAIs. These competing priorities for increased reporting and prevention have many hospitals worried. Manual surveillance of HAIs cannot provide the speed, accuracy and consistency of computerized surveillance. Computer tools can also improve the speed and accuracy of HAI analysis and reporting. Computerized surveillance for HAIs was implemented at LDS Hospital in 1984, but that system required manual entry of data for analysis and reporting. This paper reports on the current functionality and status of the updated computer system for HAI surveillance, analysis and reporting used at LDS Hospital and the 21 other Intermountain Healthcare hospitals. PMID:20351845

Computer-assisted concept mapping: Visual aids for knowledge construction

PubMed Central

Mammen, Jennifer R.

2016-01-01

Background Concept mapping is a visual representation of ideas that facilitates critical thinking and is applicable to many areas of nursing education. Computer-Assisted Concept Maps are more flexible and less constrained than traditional paper methods, allowing for analysis and synthesis of complex topics and larger amounts of data. Ability to iteratively revise and collaboratively create computerized maps can contribute to enhanced interpersonal learning. However, there is limited awareness of free software that can support these types of applications. Discussion This educational brief examines affordances and limitations of Computer-Assisted Concept Maps and reviews free software for development of complex, collaborative malleable maps. Free software such as VUE, Xmind, MindMaple, and others can substantially contribute to utility of concept-mapping for nursing education. Conclusions Computerized concept-mapping is an important tool for nursing and is likely to hold greater benefit for students and faculty than traditional pen and paper methods alone. PMID:27351610

Non-standard analysis and embedded software

NASA Technical Reports Server (NTRS)

Platek, Richard

1995-01-01

One model for computing in the future is ubiquitous, embedded computational devices analogous to embedded electrical motors. Many of these computers will control physical objects and processes. Such hidden computerized environments introduce new safety and correctness concerns whose treatment go beyond present Formal Methods. In particular, one has to begin to speak about Real Space software in analogy with Real Time software. By this we mean, computerized systems which have to meet requirements expressed in the real geometry of space. How to translate such requirements into ordinary software specifications and how to carry out proofs is a major challenge. In this talk we propose a research program based on the use of no-standard analysis. Much detail remains to be carried out. The purpose of the talk is to inform the Formal Methods community that Non-Standard Analysis provides a possible avenue to attack which we believe will be fruitful.

An acceptable role for computers in the aircraft design process

NASA Technical Reports Server (NTRS)

Gregory, T. J.; Roberts, L.

1980-01-01

Some of the reasons why the computerization trend is not wholly accepted are explored for two typical cases: computer use in the technical specialties and computer use in aircraft synthesis. The factors that limit acceptance are traced in part, to the large resources needed to understand the details of computer programs, the inability to include measured data as input to many of the theoretical programs, and the presentation of final results without supporting intermediate answers. Other factors are due solely to technical issues such as limited detail in aircraft synthesis and major simplifying assumptions in the technical specialties. These factors and others can be influenced by the technical specialist and aircraft designer. Some of these factors may become less significant as the computerization process evolves, but some issues, such as understanding large integrated systems, may remain issues in the future. Suggestions for improved acceptance include publishing computer programs so that they may be reviewed, edited, and read. Other mechanisms include extensive modularization of programs and ways to include measured information as part of the input to theoretical approaches.

End-user satisfaction of a patient education tool manual versus computer-generated tool.

PubMed

Tronni, C; Welebob, E

1996-01-01

This article reports a nonexperimental comparative study of end-user satisfaction before and after implementation of a vendor supplied computerized system (Micromedex, Inc) for providing up-to-date patient instructions regarding diseases, injuries, procedures, and medications. The purpose of this research was to measure the satisfaction of nurses who directly interact with a specific patient educational software application and to compare user satisfaction with manual versus computer generated materials. A computing satisfaction questionnaire that uses a scale of 1 to 5 (1 being the lowest) was used to measure end-user computing satisfaction in five constructs: content, accuracy, format, ease of use, and timeliness. Summary statistics were used to calculate mean ratings for each of the questionnaire's 12 items and for each of the five constructs. Mean differences between the ratings before and after implementation of the five constructs were significant by paired t test. Total user satisfaction improved with the computerized system, and the computer generated materials were given a higher rating than were the manual materials. Implications of these findings are discussed.

Computer aided three-dimensional reconstruction and modeling of the pelvis, by using plastinated cross sections, as a powerful tool for morphological investigations.

PubMed

Sora, Mircea-Constantin; Jilavu, Radu; Matusz, Petru

2012-10-01

The aim of this study was to describe a method of developing a computerized model of the human female pelvis using plastinated slices. Computerized reconstruction of anatomical structures is becoming very useful for developing anatomical teaching, research modules and animations. Although databases consisting of serial sections derived from frozen cadaver material exist, plastination represents an alternative method for developing anatomical data useful for computerized reconstruction. A slice anatomy study, using plastinated transparent pelvis cross sections, was performed to obtain a 3D reconstruction. One female human pelvis used for this study, first plastinated as a block, then sliced into thin slices and in the end subjected to 3D computerized reconstruction using WinSURF modeling system (SURFdriver Software). To facilitate the understanding of the complex pelvic floor anatomy on sectional images obtained through MR imaging, and to make the representation more vivid, a female pelvis computer-aided 3D model was created. Qualitative observations revealed that the morphological features of the model were consistent with those displayed by typical cadaveric specimens. The quality of the reconstructed images appeared distinct, especially the spatial positions and complicated relationships of contiguous structures of the female pelvis. All reconstructed structures can be displayed in groups or as a whole and interactively rotated in 3D space. The utilization of plastinates for generating tissue sections is useful for 3D computerized modeling. The 3D model of the female pelvis presented in this paper provides a stereoscopic view to study the adjacent relationship and arrangement of respective pelvis sections. A better understanding of the pelvic floor anatomy is relevant to gynaecologists, radiologists, surgeons, urologists, physical therapists and all professionals who take care of women with pelvic floor dysfunction.

Feasibility of computerized working memory training in individuals with Huntington disease

PubMed Central

Sadeghi, Mahsa; Barlow-Krelina, Emily; Gibbons, Clare; Shaikh, Komal T.; Fung, Wai Lun Alan; Meschino, Wendy S.; Till, Christine

2017-01-01

Objectives Huntington disease (HD) is associated with a variety of cognitive deficits, with prominent difficulties in working memory (WM). WM deficits are notably compromised in early-onset and prodromal HD patients. This study aimed to determine the feasibility of a computerized WM training program (Cogmed QM), novel to the HD population. Methods Nine patients, aged 26–62, with early stage HD underwent a 25-session (5 days/week for 5 weeks) WM training program (Cogmed QM). Training exercises involved the manipulation and storage of verbal and visuospatial information, with difficulty adapted as a function of individual performance. Neuropsychological testing was conducted before and after training, and performance on criterion WM measures (Digit Span and Spatial Span), near-transfer WM measures (Symbol Span and Auditory WM), and control measures were evaluated. Post-training interviews about patient experience were thematically analyzed using NVivo software. Results Seven of nine patients demonstrated adherence to the training and completed all sessions within the recommended timeframe of 5 weeks. All adherent patients showed improvement on the Cogmed tasks as defined by the Improvement Index (M = 22.17, SD = 8.84, range = 13–36). All adherent patients reported that they found training helpful (n = 7), and almost all felt that their memory improved (n = 6). Participants also expressed that the training was difficult, sometimes frustrating, and time consuming. Conclusions This pilot study provides support for feasibility of computerized WM training in early-stage patients with HD. Results suggest that HD patients perceive benefits of intensive WM training, though a full-scale and controlled intervention project is needed to understand the size of the effect and reliability of changes over time. Trial registration ClinicalTrials.gov, Registry number NCT02926820 PMID:28453532

The Computerized Anatomical Man (CAM) model

NASA Technical Reports Server (NTRS)

Billings, M. P.; Yucker, W. R.

1973-01-01

A computerized anatomical man (CAM) model, representing the most detailed and anatomically correct geometrical model of the human body yet prepared, has been developed for use in analyzing radiation dose distribution in man. This model of a 50-percentile standing USAF man comprises some 1100 unique geometric surfaces and some 2450 solid regions. Internal body geometry such as organs, voids, bones, and bone marrow are explicitly modeled. A computer program called CAMERA has also been developed for performing analyses with the model. Such analyses include tracing rays through the CAM geometry, placing results on magnetic tape in various forms, collapsing areal density data from ray tracing information to areal density distributions, preparing cross section views, etc. Numerous computer drawn cross sections through the CAM model are presented.

The kinetics-based enzyme-linked immunosorbent assay for coronavirus antibodies in cats: calibration to the indirect immunofluorescence assay and computerized standardization of results through normalization to control values.

PubMed Central

Barlough, J E; Jacobson, R H; Downing, D R; Lynch, T J; Scott, F W

1987-01-01

The computer-assisted, kinetics-based enzyme-linked immunosorbent assay for coronavirus antibodies in cats was calibrated to the conventional indirect immunofluorescence assay by linear regression analysis and computerized interpolation (generation of "immunofluorescence assay-equivalent" titers). Procedures were developed for normalization and standardization of kinetics-based enzyme-linked immunosorbent assay results through incorporation of five different control sera of predetermined ("expected") titer in daily runs. When used with such sera and with computer assistance, the kinetics-based enzyme-linked immunosorbent assay minimized both within-run and between-run variability while allowing also for efficient data reduction and statistical analysis and reporting of results. PMID:3032390

The kinetics-based enzyme-linked immunosorbent assay for coronavirus antibodies in cats: calibration to the indirect immunofluorescence assay and computerized standardization of results through normalization to control values.

PubMed

Barlough, J E; Jacobson, R H; Downing, D R; Lynch, T J; Scott, F W

1987-01-01

The computer-assisted, kinetics-based enzyme-linked immunosorbent assay for coronavirus antibodies in cats was calibrated to the conventional indirect immunofluorescence assay by linear regression analysis and computerized interpolation (generation of "immunofluorescence assay-equivalent" titers). Procedures were developed for normalization and standardization of kinetics-based enzyme-linked immunosorbent assay results through incorporation of five different control sera of predetermined ("expected") titer in daily runs. When used with such sera and with computer assistance, the kinetics-based enzyme-linked immunosorbent assay minimized both within-run and between-run variability while allowing also for efficient data reduction and statistical analysis and reporting of results.

Facilities Management via Computer: Information at Your Fingertips.

ERIC Educational Resources Information Center

Hensey, Susan

1996-01-01

Computer-aided facilities management is a software program consisting of a relational database of facility information--such as occupancy, usage, student counts, etc.--attached to or merged with computerized floor plans. This program can integrate data with drawings, thereby allowing the development of "what if" scenarios. (MLF)

41 CFR 105-56.024 - Purpose and scope.

Code of Federal Regulations, 2010 CFR

2010-07-01

... offset computer matching, identify Federal employees who owe delinquent non-tax debt to the United States. Centralized salary offset computer matching is the computerized comparison of delinquent debt records with...) administrative offset program, to collect delinquent debts owed to the Federal Government. This process is known...

Usability of Interactive Computers in Exhibitions: Designing Knowledgeable Information for Visitors

ERIC Educational Resources Information Center

Bernier, Roxane

2003-01-01

This article investigates three types of content presentation (video documentary, computerized dictionary, and games) within interactive computer use at the Quebec Museum of Civilization. The visitors' viewpoint is particularly relevant for interface designing outcomes, since they argued that terminals require specific content display for…

[Personnel Management and Computer Systems].

ERIC Educational Resources Information Center

Reeves, Robert F.

The organization and use of computerized management information systems at the Oakland Schools intermediate school district in Michigan is utilized by 24 local school districts. The use of remote terminals provides access for the development of ongoing personnel programs. Emphasis is given to four major computer subsystems that directly involve…

Development of a Traditional/Computer-aided Graphics Course for Engineering Technology.

ERIC Educational Resources Information Center

Anand, Vera B.

1985-01-01

Describes a two-semester-hour freshman course in engineering graphics which uses both traditional and computerized instruction. Includes course description, computer graphics topics, and recommendations. Indicates that combining interactive graphics software with development of simple programs gave students a better foundation for upper-division…

MOUSE (MODULAR ORIENTED UNCERTAINTY SYSTEM): A COMPUTERIZED UNCERTAINTY ANALYSIS SYSTEM (FOR MICRO- COMPUTERS)

EPA Science Inventory

Environmental engineering calculations involving uncertainties; either in the model itself or in the data, are far beyond the capabilities of conventional analysis for any but the simplest of models. There exist a number of general-purpose computer simulation languages, using Mon...

Application of symbolic and algebraic manipulation software in solving applied mechanics problems

NASA Technical Reports Server (NTRS)

Tsai, Wen-Lang; Kikuchi, Noboru

1993-01-01

As its name implies, symbolic and algebraic manipulation is an operational tool which not only can retain symbols throughout computations but also can express results in terms of symbols. This report starts with a history of symbolic and algebraic manipulators and a review of the literatures. With the help of selected examples, the capabilities of symbolic and algebraic manipulators are demonstrated. These applications to problems of applied mechanics are then presented. They are the application of automatic formulation to applied mechanics problems, application to a materially nonlinear problem (rigid-plastic ring compression) by finite element method (FEM) and application to plate problems by FEM. The advantages and difficulties, contributions, education, and perspectives of symbolic and algebraic manipulation are discussed. It is well known that there exist some fundamental difficulties in symbolic and algebraic manipulation, such as internal swelling and mathematical limitation. A remedy for these difficulties is proposed, and the three applications mentioned are solved successfully. For example, the closed from solution of stiffness matrix of four-node isoparametrical quadrilateral element for 2-D elasticity problem was not available before. Due to the work presented, the automatic construction of it becomes feasible. In addition, a new advantage of the application of symbolic and algebraic manipulation found is believed to be crucial in improving the efficiency of program execution in the future. This will substantially shorten the response time of a system. It is very significant for certain systems, such as missile and high speed aircraft systems, in which time plays an important role.

Using Rasch Measurement to Develop a Computer Modeling-Based Instrument to Assess Students' Conceptual Understanding of Matter

ERIC Educational Resources Information Center

Wei, Silin; Liu, Xiufeng; Wang, Zuhao; Wang, Xingqiao

2012-01-01

Research suggests that difficulty in making connections among three levels of chemical representations--macroscopic, submicroscopic, and symbolic--is a primary reason for student alternative conceptions of chemistry concepts, and computer modeling is promising to help students make the connections. However, no computer modeling-based assessment…

Computer Algebra Systems in Education Newsletter[s].

ERIC Educational Resources Information Center

Computer Algebra Systems in Education Newsletter, 1990

1990-01-01

Computer Algebra Systems (CAS) are computer systems for the exact solution of problems in symbolic form. The newspaper is designed to serve as a conduit for information and ideas on the use of CAS in education, especially in lower division college and university courses. Articles included are about CAS programs in several colleges, experiences…

An Exploratory Study of the Implementation of Computer Technology in an American Islamic Private School

ERIC Educational Resources Information Center

Saleem, Mohammed M.

2009-01-01

This exploratory study of the implementation of computer technology in an American Islamic private school leveraged the case study methodology and ethnographic methods informed by symbolic interactionism and the framework of the Muslim Diaspora. The study focused on describing the implementation of computer technology and identifying the…

Prospective Teachers' Views on the Use of Calculators with Computer Algebra System in Algebra Instruction

ERIC Educational Resources Information Center

Ozgun-Koca, S. Ash

2010-01-01

Although growing numbers of secondary school mathematics teachers and students use calculators to study graphs, they mainly rely on paper-and-pencil when manipulating algebraic symbols. However, the Computer Algebra Systems (CAS) on computers or handheld calculators create new possibilities for teaching and learning algebraic manipulation. This…

Fourth Year Status Report. Computerized Training Systems Project. Project ABACUS.

DTIC Science & Technology

1976-08-01

in 7 9. PERFORMING ORGANIZATION NAME AND ADOMEN ,,, 10. PROGRAM ELEMENT. PROJECT , TASK US Army Tra ining Support Center A R E A S WORK UNIT NUMBERS...transp ired during the fourth year of Project ABACUS, the A rmy ’s program for the development of a Computerized Training System. It inc l udes a...have transpired durlnq the fourth year of Project ABACUS, the Army ’s program for the developmen t o~ aprototype Computer i zed Training System. It

The transformation of aerodynamic stability derivatives by symbolic mathematical computation

NASA Technical Reports Server (NTRS)

Howard, J. C.

1975-01-01

The formulation of mathematical models of aeronautical systems for simulation or other purposes, involves the transformation of aerodynamic stability derivatives. It is shown that these derivatives transform like the components of a second order tensor having one index of covariance and one index of contravariance. Moreover, due to the equivalence of covariant and contravariant transformations in orthogonal Cartesian systems of coordinates, the transformations can be treated as doubly covariant or doubly contravariant, if this simplifies the formulation. It is shown that the tensor properties of these derivatives can be used to facilitate their transformation by symbolic mathematical computation, and the use of digital computers equipped with formula manipulation compilers. When the tensor transformations are mechanised in the manner described, man-hours are saved and the errors to which human operators are prone can be avoided.

Active vision and image/video understanding with decision structures based on the network-symbolic models

NASA Astrophysics Data System (ADS)

Kuvich, Gary

2003-08-01

Vision is a part of a larger information system that converts visual information into knowledge structures. These structures drive vision process, resolve ambiguity and uncertainty via feedback projections, and provide image understanding that is an interpretation of visual information in terms of such knowledge models. The ability of human brain to emulate knowledge structures in the form of networks-symbolic models is found. And that means an important shift of paradigm in our knowledge about brain from neural networks to "cortical software". Symbols, predicates and grammars naturally emerge in such active multilevel hierarchical networks, and logic is simply a way of restructuring such models. Brain analyzes an image as a graph-type decision structure created via multilevel hierarchical compression of visual information. Mid-level vision processes like clustering, perceptual grouping, separation of figure from ground, are special kinds of graph/network transformations. They convert low-level image structure into the set of more abstract ones, which represent objects and visual scene, making them easy for analysis by higher-level knowledge structures. Higher-level vision phenomena are results of such analysis. Composition of network-symbolic models works similar to frames and agents, combines learning, classification, analogy together with higher-level model-based reasoning into a single framework. Such models do not require supercomputers. Based on such principles, and using methods of Computational intelligence, an Image Understanding system can convert images into the network-symbolic knowledge models, and effectively resolve uncertainty and ambiguity, providing unifying representation for perception and cognition. That allows creating new intelligent computer vision systems for robotic and defense industries.

An Analysis of Community Health Nurses Documentation: The Best Approach to Computerization

PubMed Central

Chalmers, M.

1988-01-01

The study explored and analyzed the actual patient-related documentation performed by a sample of community health nurses working in voluntary home health agencies. The outcome of the study was a system flow chart of that documentation and included: common components of the documentation, where in the existing systems they are recorded, when they are recorded by the nurse and why they are used by the nurses and administrative personnel in the agencies. The flow chart is suitable for use as a prototype for the development of a computer software package for the computerization of the patient-related documentation by community health nurses. General System and communication theories were used as a framework for this study. A thorough analysis of the documenation resulted in a complete and exhaustive explication of the documentation by community health nurses, as well as the identification of what parts of that documentation lend themselves most readily to computerization and what areas, if any, may not readily adapt to computerization.

[Computerized acquisition and elaboration of clinical data in Rheumatology during ten years: state of art and prospectives

PubMed

Troise Rioda, W.; Nervetti, A.

2001-01-01

The well known complexity to collect the clinical data of patients and in particular in the area of rheumatology push us to develop a computerized clinical chart in order to facilitate the classification, evaluation and monitoring of these patients. The proposed computerized clinical chart is easy to use but at the same time is a very potent tool that allow the clinicians to organize the classic rheumatological pathologies as well as the more complexes or even rare. The proposed clinical chart is based on a relational database (FileMaker Pro 5.0v1) available for both the actual operative systems implemented on personal computers (Windows and Macintosh); this allow the full compatibility among the two systems, the possibility of exchanging data without any loss of information. The computerized clinical chart is structured on modules for specific pathologies and for homogeneous groups of illnesses. Basically the modules are defined correlated files of data for a specific pathology but that can be used also as a common pool for different pathologies. Our experience, based on ten years of use, indicates in the computerized rheumatological clinical chart an indispensable tool for rheumatologists with a real friendly use.

[Modernized study on eye's signs of blood-stasis syndrome].

PubMed

Wu, Rui; Xie, Jian-xiang; Zhao, Feng-da

2011-03-01

To make out a computerized formula to diagnose eye's signs of blood-stasis syndrome (BSS), and to improve the previous diagnostic methods by naked eyes. The formula was created by detecting and analyzing the changes of eye's signs in 544 patients (261 of non-BSS and 283 of BSS) quantitatively, adopting computer's color scale principle. And the sensitivity, specificity and accuracy of the formula were verified in 382 patients (97 non-BSS and 285 of BSS). The computerized integral was compared with the naked eye integral, and the normal reference value was calculated with percentile. Various observatory indices of eye's sign were positively correlated with BSS. The specificity of the computerized method was 83.5%, and the diagnostic sensitivity was 89.8%, the accuracy 88.2%, and the correct index 0.733. Comparisons between the computerized integral method and the naked eye integral method showed significant difference in patients of non-BSS or of BSS in various degrees (including mild, moderate and severe) (P < 0.01). The reference value of the naked eye method was below 15. The computerized formula of eye's signs has higher specificity and sensitivity in the diagnosis of BSS, while the naked eye integral method is proved to be useful.

Case Studies in Library Computer Systems.

ERIC Educational Resources Information Center

Palmer, Richard Phillips

Twenty descriptive case studies of computer applications in a variety of libraries are presented in this book. Computerized circulation, serial and acquisition systems in public, high school, college, university and business libraries are included. Each of the studies discusses: 1) the environment in which the system operates, 2) the objectives of…

Reading Strategies: Issues in the Computerization of Machiavelli's "Il demonio che prese moglie".

ERIC Educational Resources Information Center

Morgan, Leslie Zarker

1994-01-01

The ideal computer-based foreign language reading program must include cognitive background, a learning taxonomy, sound computer design, and knowledge of what is needed for the specific language. Machiavelli's "Il demonia che prese moglie" is chosen for study due to its historical interest. (63 references) (CK)

Toward an Understanding of Incidental Input Enhancement in Computerized L2 Environments

ERIC Educational Resources Information Center

Gascoigne, Carolyn

2006-01-01

Computers, computer programs, and other novel and vivid technological applications to language learning can unintentionally redirect attentional resources and therefore increase the salience of unplanned as well as targeted features. Incidental activities such as keyboarding (Henry, 1992), manipulation of a mouse (Meunier, 1996), and other…

Computer Technology and Its Impact on Recreation and Sport Programs.

ERIC Educational Resources Information Center

Ross, Craig M.

This paper describes several types of computer programs that can be useful to sports and recreation programs. Computerized tournament scheduling software is helpful to recreation and parks staff working with tournaments of 50 teams/individuals or more. Important features include team capacity, league formation, scheduling conflicts, scheduling…

Command History for 1990

DTIC Science & Technology

1991-05-01

Marine Corps Tiaining Systems (CBESS) memorization training Inteligence Center, Dam Neck Threat memorization training Commander Tactical Wings, Atlantic...News Shipbuilding Technical training AEGIS Training Center, Dare Artificial Intelligence (Al) Tools Computerized firm-end analysis tools NETSCPAC...Technology Department and provides computational and electronic mail support for research in areas of artificial intelligence, computer-assisted instruction

Computer-Based Physics: An Anthology.

ERIC Educational Resources Information Center

Blum, Ronald, Ed.

Designed to serve as a guide for integrating interactive problem-solving or simulating computers into a college-level physics course, this anthology contains nine articles each of which includes an introduction, a student manual, and a teacher's guide. Among areas covered in the articles are the computerized reduction of data to a Gaussian…

Education Calls for a New Philosophy.

ERIC Educational Resources Information Center

Scheidlinger, Zygmunt

1999-01-01

Highlights changes brought on by computers and technological advancement and notes that only those with a vision of the future can direct and participate in the evolution of education. Suggests that virtual reality, simulation, animation and other computer-based features will render traditional class learning futile and that computerized education…

Computer Aided Training of Cognitive Processing Strategies with Developmentally Handicapped Adults.

ERIC Educational Resources Information Center

Ryba, Kenneth A.; And Others

1985-01-01

Correlational results involving 60 developmentally handicaped adults indicated that a computerized cross-modal memory game had a highly significant relationship with most cognitive and motor coordination measures. Computer aided training was not effective in improving overall cognitive functioning. There was no evidence of cognitive skills being…

Computerized History Games: Narrative Options

ERIC Educational Resources Information Center

Kee, Kevin

2011-01-01

How may historians best express history through computer games? This article suggests that the answer lies in correctly correlating historians' goals for teaching with the capabilities of different kinds of computer games. During the development of a game prototype for high school students, the author followed best practices as expressed in the…

Integrating Computer Concepts into Principles of Accounting.

ERIC Educational Resources Information Center

Beck, Henry J.; Parrish, Roy James, Jr.

A package of instructional materials for an undergraduate principles of accounting course at Danville Community College was developed based upon the following assumptions: (1) the principles of accounting student does not need to be able to write computer programs; (2) computerized accounting concepts should be presented in this course; (3)…

Reinventing Schools: The Technology Is Now!

ERIC Educational Resources Information Center

Ellmore, Douglas A., Sr.; Olson, Steve E.; Smith, Phillip M.

1995-01-01

Today's children have grown up immersed in a world of computers and other information technologies. They play video games; they listen to music on digital compact disks; they help their families program the computerized controls of videocassette players. With all of the exciting innovations in computer technology, children have the opportunity to…

Policy Information System Computer Program.

ERIC Educational Resources Information Center

Hamlin, Roger E.; And Others

The concepts and methodologies outlined in "A Policy Information System for Vocational Education" are presented in a simple computer format in this booklet. It also contains a sample output representing 5-year projections of various planning needs for vocational education. Computerized figures in the eight areas corresponding to those in the…

Exercise Prescribing: Computer Application in Older Adults

ERIC Educational Resources Information Center

Kressig, Reto W.; Echt, Katharina V.

2002-01-01

Purpose: The purpose of this study was to determine if older adults are capable and willing to interact with a computerized exercise promotion interface and to determine to what extent they accept computer-generated exercise recommendations. Design and Methods: Time and requests for assistance were recorded while 34 college-educated volunteers,…

Learning to Compute: Computerization and Ordinary, Everyday Life

ERIC Educational Resources Information Center

Sullivan, Joseph F.

2009-01-01

This study utilizes the basic framework of classical sociology as a foundation for examining the intersection of the structural history of the computer revolution with ordinary, everyday life. Just as the classical forefathers of modern sociology--Marx, Durkheim, and Weber--attempted to understand their eras of structural transformation, this…

Plotit-method of interactively plotting input data for the vorlax computer program. [computerized aircraft configuration design

NASA Technical Reports Server (NTRS)

Denn, F. M.

1978-01-01

Geometric input plotting to the VORLAX computer program by means of an interactive remote terminal is reported. The software consists of a procedure file and two programs. The programs and procedure file are described and a sample execution is presented.

Computer-Adaptive Testing in Second Language Contexts.

ERIC Educational Resources Information Center

Chalhoub-Deville, Micheline; Deville, Craig

1999-01-01

Provides a broad overview of computerized testing issues with an emphasis on computer-adaptive testing (CAT). A survey of the potential benefits and drawbacks of CAT are given, the process of CAT development is described; and some L2 instruments developed to assess various language skills are summarized. (Author/VWL)

The Reality, Direction, and Future of Computerized Publications.

ERIC Educational Resources Information Center

Levenstein, Nicholas

1994-01-01

Considers potential of personal computers, comparing development of computer today to that of cars in the 1920s. Examines recent changes in communications, university publications, and cultural habits. Explores technological issues, looking at modems and fiber optic cables, better screens, and CD-ROM and optical magnetic drives. (NB)

Realistic neurons can compute the operations needed by quantum probability theory and other vector symbolic architectures.

PubMed

Stewart, Terrence C; Eliasmith, Chris

2013-06-01

Quantum probability (QP) theory can be seen as a type of vector symbolic architecture (VSA): mental states are vectors storing structured information and manipulated using algebraic operations. Furthermore, the operations needed by QP match those in other VSAs. This allows existing biologically realistic neural models to be adapted to provide a mechanistic explanation of the cognitive phenomena described in the target article by Pothos & Busemeyer (P&B).

Development of a coupled expert system for the spacecraft attitude control problem

NASA Technical Reports Server (NTRS)

Kawamura, K.; Beale, G.; Schaffer, J.; Hsieh, B.-J.; Padalkar, S.; Rodriguezmoscoso, J.; Vinz, F.; Fernandez, K.

1987-01-01

A majority of the current expert systems focus on the symbolic-oriented logic and inference mechanisms of artificial intelligence (AI). Common rule-based systems employ empirical associations and are not well suited to deal with problems often arising in engineering. Described is a prototype expert system which combines both symbolic and numeric computing. The expert system's configuration is presented and its application to a spacecraft attitude control problem is discussed.

A Systems Engineering Survey of Artificial Intelligence and Smart Sensor Networks in a Network-Centric Environment

DTIC Science & Technology

2009-09-01

problems, to better model the problem solving of computer systems. This research brought about the intertwining of AI and cognitive psychology . Much of...where symbol sequences are sequential intelligent states of the network, and must be classified as normal, abnormal , or unknown. These symbols...is associated with abnormal behavior; and abcbc is associated with unknown behavior, as it fits no known behavior. Predicted outcomes from

Information Interface Related Standards, Guidelines, and Recommended Practices.

DTIC Science & Technology

1985-07-01

Application Workshop, IEEE, October 1984 (11) Software Portability and Standards, by Ingemar Dahlstrand, Ellis Horwood Ltd., 1984 (12) World of EDP...March 29, 1985, p. 42-48 * 9. "IBM’s Topview Plays to Poor Reviews of Early Users," Computer World , March 4, 1985, p. 5 10. "Lack of Software Standards...Information Symbols ISOiTR 7239-1984 - Development and Principles for Application of Public Information Symbols ISO/TR 8545 -1984 - Technical Drawings

Scalar correlator at [symbol: see text](alpha(s)4), Higgs boson decay into bottom quarks, and bounds on the light-quark masses.

PubMed

Baikov, P A; Chetyrkin, K G; Kühn, J H

2006-01-13

We compute, for the first time, the absorptive part of the massless correlator of two quark scalar currents in five loops. As physical applications, we consider the [symbol: see text](alpha(s)4) corrections to the decay rate of the standard model Higgs boson into quarks, as well as the constraints on the strange quark mass following from QCD sum rules.

Clinical evaluation of the WOMAC 3.0 OA Index in numeric rating scale format using a computerized touch screen version.

PubMed

Theiler, R; Spielberger, J; Bischoff, H A; Bellamy, N; Huber, J; Kroesen, S

2002-06-01

The Western Ontario and McMaster Universities (WOMAC) Osteoarthritis Index is a previously described self-administered questionnaire covering three domains: pain, stiffness and function. It has been validated in patients with osteoarthritis (OA) of the hip or knee in a paper-based format. To validate the WOMAC 3.0 using a numerical rating scale in a computerized touch screen format allowing immediate evaluation of the questionnaire. In the computed version cartoons, written and audio instruments were included in order facilitate application. Fifty patients, demographically balanced, with radiographically proven primary hip or knee OA completed the classical paper and the new computerized WOMAC version. Subjects were randomized either to paper format or computerized format first to balance possible order effects. The intra-class correlation coefficients for pain, stiffness and function values were 0.915, 0.745 and 0.940, respectively. The Spearman correlation coefficients for pain, stiffness and function were 0.88, 0.77 and 0.87, respectively. These data indicate that the computerized WOMAC OA index 3.0 is comparable to the paper WOMAC in all three dimensions. The computerized version would allow physicians to get an immediate result and if present a direct comparison with a previous exam. Copyright 2002 OsteoArthritis Research Society International. Published by Elsevier Science Ltd. All rights reserved.

A computer program for anisotropic shallow-shell finite elements using symbolic integration

NASA Technical Reports Server (NTRS)

Andersen, C. M.; Bowen, J. T.

1976-01-01

A FORTRAN computer program for anisotropic shallow-shell finite elements with variable curvature is described. A listing of the program is presented together with printed output for a sample case. Computation times and central memory requirements are given for several different elements. The program is based on a stiffness (displacement) finite-element model in which the fundamental unknowns consist of both the displacement and the rotation components of the reference surface of the shell. Two triangular and four quadrilateral elements are implemented in the program. The triangular elements have 6 or 10 nodes, and the quadrilateral elements have 4 or 8 nodes. Two of the quadrilateral elements have internal degrees of freedom associated with displacement modes which vanish along the edges of the elements (bubble modes). The triangular elements and the remaining two quadrilateral elements do not have bubble modes. The output from the program consists of arrays corresponding to the stiffness, the geometric stiffness, the consistent mass, and the consistent load matrices for individual elements. The integrals required for the generation of these arrays are evaluated by using symbolic (or analytic) integration in conjunction with certain group-theoretic techniques. The analytic expressions for the integrals are exact and were developed using the symbolic and algebraic manipulation language.

Turbofan Engine Post-Instability Behavior - Computer Simulations, Test Validation, and Application of Simulations,

DTIC Science & Technology

COMPRESSORS, *AIR FLOW, TURBOFAN ENGINES , TRANSIENTS, SURGES, STABILITY, COMPUTERIZED SIMULATION, EXPERIMENTAL DATA, VALIDATION, DIGITAL SIMULATION, INLET GUIDE VANES , ROTATION, STALLING, RECOVERY, HYSTERESIS

The symbolic computation and automatic analysis of trajectories

NASA Technical Reports Server (NTRS)

Grossman, Robert

1991-01-01

Research was generally done on computation of trajectories of dynamical systems, especially control systems. Algorithms were further developed for rewriting expressions involving differential operators. The differential operators involved arise in the local analysis of nonlinear control systems. An initial design was completed of the system architecture for software to analyze nonlinear control systems using data base computing.

Possible Pedagogical Applications of a Talking Computer Terminal for the French-Speaking Blind to Foreign Language Teaching.

ERIC Educational Resources Information Center

Trescases, Pierre

A computer system developed as a database access facilitator for the blind is found to have application to foreign language instruction, specifically in teaching French to speakers of English. The computer is programmed to translate symbols from the International Phonetic Alphabet (IPA) into appropriate phonemes for whatever language is being…

Effect of gender on computerized electrocardiogram measurements in college athletes.

PubMed

Mandic, Sandra; Fonda, Holly; Dewey, Frederick; Le, Vy-van; Stein, Ricardo; Wheeler, Matt; Ashley, Euan A; Myers, Jonathan; Froelicher, Victor F

2010-06-01

Broad criteria for classifying an electrocardiogram (ECG) as abnormal and requiring additional testing prior to participating in competitive athletics have been recommended for the preparticipation examination (PPE) of athletes. Because these criteria have not considered gender differences, we examined the effect of gender on the computerized ECG measurements obtained on Stanford student athletes. Currently available computer programs require a basis for "normal" in athletes of both genders to provide reliable interpretation. During the 2007 PPE, computerized ECGs were recorded and analyzed on 658 athletes (54% male; mean age, 19 +/- 1 years) representing 22 sports. Electrocardiogram measurements included intervals and durations in all 12 leads to calculate 12-lead voltage sums, QRS amplitude and QRS area, spatial vector length (SVL), and the sum of the R wave in V5 and S wave in V2 (RSsum). By computer analysis, male athletes had significantly greater QRS duration, PR interval, Q-wave duration, J-point amplitude, and T-wave amplitude, and shorter QTc interval compared with female athletes (all P < 0.05). All ECG indicators of left ventricular electrical activity were significantly greater in males. Although gender was consistently associated with indices of atrial and ventricular electrical activity in multivariable analysis, ECG measurements correlated poorly with body dimensions. Significant gender differences exist in ECG measurements of college athletes that are not explained by differences in body size. Our tables of "normal" computerized gender-specific measurements can facilitate the development of automated ECG interpretation for screening young athletes.

Symbol Synchronization for Diffusion-Based Molecular Communications.

PubMed

Jamali, Vahid; Ahmadzadeh, Arman; Schober, Robert

2017-12-01

Symbol synchronization refers to the estimation of the start of a symbol interval and is needed for reliable detection. In this paper, we develop several symbol synchronization schemes for molecular communication (MC) systems where we consider some practical challenges, which have not been addressed in the literature yet. In particular, we take into account that in MC systems, the transmitter may not be equipped with an internal clock and may not be able to emit molecules with a fixed release frequency. Such restrictions hold for practical nanotransmitters, e.g., modified cells, where the lengths of the symbol intervals may vary due to the inherent randomness in the availability of food and energy for molecule generation, the process for molecule production, and the release process. To address this issue, we develop two synchronization-detection frameworks which both employ two types of molecule. In the first framework, one type of molecule is used for symbol synchronization and the other one is used for data detection, whereas in the second framework, both types of molecule are used for joint symbol synchronization and data detection. For both frameworks, we first derive the optimal maximum likelihood (ML) symbol synchronization schemes as performance upper bounds. Since ML synchronization entails high complexity, for each framework, we also propose three low-complexity suboptimal schemes, namely a linear filter-based scheme, a peak observation-based scheme, and a threshold-trigger scheme, which are suitable for MC systems with limited computational capabilities. Furthermore, we study the relative complexity and the constraints associated with the proposed schemes and the impact of the insertion and deletion errors that arise due to imperfect synchronization. Our simulation results reveal the effectiveness of the proposed synchronization schemes and suggest that the end-to-end performance of MC systems significantly depends on the accuracy of the symbol synchronization.

USSR and Eastern Europe Scientific Abstracts, Cybernetics, Computers, and Automation Technology, Number 26

DTIC Science & Technology

1977-01-26

Sisteme Matematicheskogo Obespecheniya YeS EVM [ Applied Programs in the Software System for the Unified System of Computers], by A. Ye. Fateyev, A. I...computerized systems are most effective in large production complexes , in which the level of utilization of computers can be as high as 500,000...performance of these tasks could be furthered by the complex introduction of electronic computers in automated control systems. The creation of ASU

A computer case definition for sudden cardiac death.

PubMed

Chung, Cecilia P; Murray, Katherine T; Stein, C Michael; Hall, Kathi; Ray, Wayne A

2010-06-01

To facilitate studies of medications and sudden cardiac death, we developed and validated a computer case definition for these deaths. The study of community dwelling Tennessee Medicaid enrollees 30-74 years of age utilized a linked database with Medicaid inpatient/outpatient files, state death certificate files, and a state 'all-payers' hospital discharge file. The computerized case definition was developed from a retrospective cohort study of sudden cardiac deaths occurring between 1990 and 1993. Medical records for 926 potential cases had been adjudicated for this study to determine if they met the clinical definition for sudden cardiac death occurring in the community and were likely to be due to ventricular tachyarrhythmias. The computerized case definition included deaths with (1) no evidence of a terminal hospital admission/nursing home stay in any of the data sources; (2) an underlying cause of death code consistent with sudden cardiac death; and (3) no terminal procedures inconsistent with unresuscitated cardiac arrest. This definition was validated in an independent sample of 174 adjudicated deaths occurring between 1994 and 2005. The positive predictive value of the computer case definition was 86.0% in the development sample and 86.8% in the validation sample. The positive predictive value did not vary materially for deaths coded according to the ICO-9 (1994-1998, positive predictive value = 85.1%) or ICD-10 (1999-2005, 87.4%) systems. A computerized Medicaid database, linked with death certificate files and a state hospital discharge database, can be used for a computer case definition of sudden cardiac death. Copyright (c) 2009 John Wiley & Sons, Ltd.

Manage Energy with Computers.

ERIC Educational Resources Information Center

American School and University, 1982

1982-01-01

Computerized energy management at Drew University (New Jersey) is accomplished by direct digital control in which microprocessor controllers control, monitor, and carry out energy management functions at the equipment level. (Author/MLF)

Prediction of ball and roller bearing thermal and kinematic performance by computer analysis

NASA Technical Reports Server (NTRS)

Pirvics, J.; Kleckner, R. J.

1983-01-01

Characteristics of good computerized analysis software are suggested. These general remarks and an overview of representative software precede a more detailed discussion of load support system analysis program structure. Particular attention is directed at a recent cylindrical roller bearing analysis as an example of the available design tools. Selected software modules are then examined to reveal the detail inherent in contemporary analysis. This leads to a brief section on current design computation which seeks to suggest when and why computerized analysis is warranted. An example concludes the argument offered for such design methodology. Finally, remarks are made concerning needs for model development to address effects which are now considered to be secondary but are anticipated to emerge to primary status in the near future.

Adapting to a Computer-Oriented Society: The Leadership Role of Business and Liberal Arts Faculties.

ERIC Educational Resources Information Center

O'Gorman, David E.

The need for higher education to take a proactive rather than a reactive stance in dealing with the impact of the computer is considered. The field of computerized video technology is briefly discussed. It is suggested that disparate groups such as the liberal arts and business faculties should cooperate to maximize the use of computer technology.…

Application of computer graphics in the design of custom orthopedic implants.

PubMed

Bechtold, J E

1986-10-01

Implementation of newly developed computer modelling techniques and computer graphics displays and software have greatly aided the orthopedic design engineer and physician in creating a custom implant with good anatomic conformity in a short turnaround time. Further advances in computerized design and manufacturing will continue to simplify the development of custom prostheses and enlarge their niche in the joint replacement market.

MDCT for computerized volumetry of pneumothoraces in pediatric patients.

PubMed

Cai, Wenli; Lee, Edward Y; Vij, Abhinav; Mahmood, Soran A; Yoshida, Hiroyuki

2011-03-01

Our purpose in this study was to develop an automated computer-aided volumetry (CAV) scheme for quantifying pneumothorax in multidetector computed tomography (MDCT) images for pediatric patients and to investigate the imaging parameters that may affect its accuracy. Fifty-eight consecutive pediatric patients (mean age 12 ± 6 years) with pneumothorax who underwent MDCT for evaluation were collected retrospectively for this study. All cases were imaged by a 16- or 64-MDCT scanner with weight-based kilovoltage, low-dose tube current, 1.0-1.5 pitch, 0.6-5.0 mm slice thickness, and a B70f (sharp) or B31f (soft) reconstruction kernel. Sixty-three pneumothoraces ≥1 mL were visually identified in the left (n = 30) and right (n = 33) lungs. Each identified pneumothorax was contoured manually on an Amira workstation V4.1.1 (Mercury Computer Systems, Chelmsford, MA) by two radiologists in consensus. The computerized volumes of the pneumothoraces were determined by application of our CAV scheme. The accuracy of our automated CAV scheme was evaluated by comparison between computerized volumetry and manual volumetry, for the total volume of pneumothoraces in the left and right lungs. The mean difference between the computerized volumetry and the manual volumetry for all 63 pneumothoraces ≥1 mL was 8.2%. For pneumothoraces ≥10 mL, ≥50 mL, and ≥200 mL, the mean differences were 7.7% (n = 57), 7.3% (n = 33), and 6.4% (n = 13), respectively. The correlation coefficient was 0.99 between the computerized volume and the manual volume of pneumothoraces. Bland-Altman analysis showed that computerized volumetry has a mean difference of -5.1% compared to manual volumetry. For all pneumothoraces ≥10 mL, the mean differences for slice thickness ≤1.25 mm, = 1.5 mm, and = 5.0 mm were 6.1% (n = 28), 3.5% (n = 10), and 12.2% (n = 19), respectively. For the two reconstruction kernels, B70f and B31f, the mean differences were 6.3% (n = 42, B70f) and 11.7% (n = 15, B31f), respectively. Our automated CAV scheme provides an accurate measurement of pneumothorax volume in MDCT images of pediatric patients. For accurate volumetric quantification of pneumothorax in children in MDCT images by use of the automated CAV scheme, we recommended reconstruction parameters based on a slice thickness ≤1.5 mm and the reconstruction kernel B70f. Copyright © 2011 AUR. Published by Elsevier Inc. All rights reserved.

Gaze-independent BCI-spelling using rapid serial visual presentation (RSVP).

PubMed

Acqualagna, Laura; Blankertz, Benjamin

2013-05-01

A Brain Computer Interface (BCI) speller is a communication device, which can be used by patients suffering from neurodegenerative diseases to select symbols in a computer application. For patients unable to overtly fixate the target symbol, it is crucial to develop a speller independent of gaze shifts. In the present online study, we investigated rapid serial visual presentation (RSVP) as a paradigm for mental typewriting. We investigated the RSVP speller in three conditions, regarding the Stimulus Onset Asynchrony (SOA) and the use of color features. A vocabulary of 30 symbols was presented one-by-one in a pseudo random sequence at the same location of display. All twelve participants were able to successfully operate the RSVP speller. The results show a mean online spelling rate of 1.43 symb/min and a mean symbol selection accuracy of 94.8% in the best condition. We conclude that the RSVP is a promising paradigm for BCI spelling and its performance is competitive with the fastest gaze-independent spellers in literature. The RSVP speller does not require gaze shifts towards different target locations and can be operated by non-spatial visual attention, therefore it can be considered as a valid paradigm in applications with patients for impaired oculo-motor control. Copyright © 2013 International Federation of Clinical Neurophysiology. Published by Elsevier Ireland Ltd. All rights reserved.

AUTOMATED FLOWCHART SYSTEM FROM TEXAS A&M UNIVERSITY

NASA Technical Reports Server (NTRS)

Woodford, W.

1994-01-01

An accurate flowchart is an important part of the documentation for any computer program. The flowchart offers the user an easy to follow overview of program operation and the maintenance programmer an effective debugging tool. The TAMU FLOWCHART System was developed to flowchart any program written in the FORTRAN language. It generates a line printer flowchart which is representative of the program logic. This flowchart provides the user with a detailed representation of the program action taken as each program statement is executed. The TAMU FLOWCHART System should prove to be a valuable aid to groups working with complex FORTRAN programs. Each statement in the program is displayed within a symbol which represents the program action during processing of the enclosed statement. Symbols available include: subroutine, function, and entry statements; arithmetic statements; input and output statements; arithmetical and logical IF statements; subroutine calls with or without argument list returns; computed and assigned GO TO statements; DO statements; STOP and RETURN statements; and CONTINUE and ASSIGN statements. Comment cards within the source program may be suppressed or displayed and associated with a succeeding source statement. Each symbol is annotated with a label (if present in the source code), a block number, and the statement sequence number. Program flow and options within the program are represented by line segments and direction indicators connecting symbols. The TAMU FLOWCHART System should be able to accurately flowchart any working FORTRAN program. This program is written in COBOL for batch execution and has been implemented on an IBM 370 series computer with an OS operating system and with a central memory requirement of approximately 380K of 8 bit bytes. The TAMU FLOWCHART System was developed in 1977.

Spatial and symbolic queries for 3D image data

NASA Astrophysics Data System (ADS)

Benson, Daniel C.; Zick, Gregory L.

1992-04-01

We present a query system for an object-oriented biomedical imaging database containing 3-D anatomical structures and their corresponding 2-D images. The graphical interface facilitates the formation of spatial queries, nonspatial or symbolic queries, and combined spatial/symbolic queries. A query editor is used for the creation and manipulation of 3-D query objects as volumes, surfaces, lines, and points. Symbolic predicates are formulated through a combination of text fields and multiple choice selections. Query results, which may include images, image contents, composite objects, graphics, and alphanumeric data, are displayed in multiple views. Objects returned by the query may be selected directly within the views for further inspection or modification, or for use as query objects in subsequent queries. Our image database query system provides visual feedback and manipulation of spatial query objects, multiple views of volume data, and the ability to combine spatial and symbolic queries. The system allows for incremental enhancement of existing objects and the addition of new objects and spatial relationships. The query system is designed for databases containing symbolic and spatial data. This paper discuses its application to data acquired in biomedical 3- D image reconstruction, but it is applicable to other areas such as CAD/CAM, geographical information systems, and computer vision.

Symbolic computation of equivalence transformations and parameter reduction for nonlinear physical models

NASA Astrophysics Data System (ADS)

Cheviakov, Alexei F.

2017-11-01

An efficient systematic procedure is provided for symbolic computation of Lie groups of equivalence transformations and generalized equivalence transformations of systems of differential equations that contain arbitrary elements (arbitrary functions and/or arbitrary constant parameters), using the software package GeM for Maple. Application of equivalence transformations to the reduction of the number of arbitrary elements in a given system of equations is discussed, and several examples are considered. The first computational example of generalized equivalence transformations where the transformation of the dependent variable involves an arbitrary constitutive function is presented. As a detailed physical example, a three-parameter family of nonlinear wave equations describing finite anti-plane shear displacements of an incompressible hyperelastic fiber-reinforced medium is considered. Equivalence transformations are computed and employed to radically simplify the model for an arbitrary fiber direction, invertibly reducing the model to a simple form that corresponds to a special fiber direction, and involves no arbitrary elements. The presented computation algorithm is applicable to wide classes of systems of differential equations containing arbitrary elements.

Planning chemical syntheses with deep neural networks and symbolic AI

NASA Astrophysics Data System (ADS)

Segler, Marwin H. S.; Preuss, Mike; Waller, Mark P.

2018-03-01

To plan the syntheses of small organic molecules, chemists use retrosynthesis, a problem-solving technique in which target molecules are recursively transformed into increasingly simpler precursors. Computer-aided retrosynthesis would be a valuable tool but at present it is slow and provides results of unsatisfactory quality. Here we use Monte Carlo tree search and symbolic artificial intelligence (AI) to discover retrosynthetic routes. We combined Monte Carlo tree search with an expansion policy network that guides the search, and a filter network to pre-select the most promising retrosynthetic steps. These deep neural networks were trained on essentially all reactions ever published in organic chemistry. Our system solves for almost twice as many molecules, thirty times faster than the traditional computer-aided search method, which is based on extracted rules and hand-designed heuristics. In a double-blind AB test, chemists on average considered our computer-generated routes to be equivalent to reported literature routes.

Construction of Orthonormal Wavelets Using Symbolic Algebraic Methods

NASA Astrophysics Data System (ADS)

Černá, Dana; Finěk, Václav

2009-09-01

Our contribution is concerned with the solution of nonlinear algebraic equations systems arising from the computation of scaling coefficients of orthonormal wavelets with compact support. Specifically Daubechies wavelets, symmlets, coiflets, and generalized coiflets. These wavelets are defined as a solution of equation systems which are partly linear and partly nonlinear. The idea of presented methods consists in replacing those equations for scaling coefficients by equations for scaling moments. It enables us to eliminate some quadratic conditions in the original system and then simplify it. The simplified system is solved with the aid of the Gröbner basis method. The advantage of our approach is that in some cases, it provides all possible solutions and these solutions can be computed to arbitrary precision. For small systems, we are even able to find explicit solutions. The computation was carried out by symbolic algebra software Maple.

A view of Kanerva's sparse distributed memory

NASA Technical Reports Server (NTRS)

Denning, P. J.

1986-01-01

Pentti Kanerva is working on a new class of computers, which are called pattern computers. Pattern computers may close the gap between capabilities of biological organisms to recognize and act on patterns (visual, auditory, tactile, or olfactory) and capabilities of modern computers. Combinations of numeric, symbolic, and pattern computers may one day be capable of sustaining robots. The overview of the requirements for a pattern computer, a summary of Kanerva's Sparse Distributed Memory (SDM), and examples of tasks this computer can be expected to perform well are given.

Potential Physical Disabilities in Computerized Journalism Education.

ERIC Educational Resources Information Center

Jackson, Nancy Beth

Computers, depending on how they are used, can be both a boon and a menace to health and performance. With the increasing presence of computers on campus, journalism educators must make sure they are not creating a new class of disabled persons among their students and disabling themselves in the process. Journalism schools across the United…

United States Air Force Computer-Aided Acquisition and Logistics Support (CALS) Evolution of Computer Integrated Manufacturing (CIM) Technologies. Version 2.0 Draft

DOT National Transportation Integrated Search

1988-11-01

During the past decade a great deal of effort has been focused on the advantages computerization can bring to engineering design and production activities. This is seen in such developments as Group Technology (GT), Manufacturing Resource Planning (M...

Computer-Assisted Reporting in Classrooms: A Decade of Diffusion and a Comparison to Newsrooms.

ERIC Educational Resources Information Center

Davenport, Lucinda D.; Fico, Fred; DeFleur, Margaret H.

2002-01-01

Replicates and updates the only other research that examined the adoption of computer-assisted reporting instruction in journalism schools quantitatively. Compares the different computerized sources being used in newsrooms and classrooms, and elicits the reasons that these sources are being used in each environment. Concludes many programs are…

Human Skill in a Computerized Society: Complex Skills and Their Acquisition.

ERIC Educational Resources Information Center

Lesgold, Alan M.

1986-01-01

This paper discusses some of the issues raised for cognitive psychologists by the computer revolution together with the role that psychologists with computer training ought to play, especially in the study of how people acquire complex skills. The issues addressed include: (1) the competition between humans and intelligent machines; (2) the…

Using Web Speech Technology with Language Learning Applications

ERIC Educational Resources Information Center

Daniels, Paul

2015-01-01

In this article, the author presents the history of human-to-computer interaction based upon the design of sophisticated computerized speech recognition algorithms. Advancements such as the arrival of cloud-based computing and software like Google's Web Speech API allows anyone with an Internet connection and Chrome browser to take advantage of…

Your Computerized Classroom: Using Computers with Hearing Impaired Students.

ERIC Educational Resources Information Center

Abrams, Mary, Ed.

Thirteen papers submitted to a proposed conference (1986) at Gallaudet College on using computers to teach hearing impaired students are collected in this book. Many papers emphasize the use of word processing software to build language skills. Papers have the following titles and authors: "The Business of Writing: The Special Kids Card Company"…

Super and parallel computers and their impact on civil engineering

DOE Office of Scientific and Technical Information (OSTI.GOV)

Kamat, M.P.

1986-01-01

This book presents the papers given at a conference on the use of supercomputers in civil engineering. Topics considered at the conference included solving nonlinear equations on a hypercube, a custom architectured parallel processing system, distributed data processing, algorithms, computer architecture, parallel processing, vector processing, computerized simulation, and cost benefit analysis.

A Computerized Weather Station for the Apple IIe.

ERIC Educational Resources Information Center

Lorson, Mark V.

Predicting weather conditions is a topic of interest for students who want to make plans for outside activities. This paper discusses the development of an inexpensive computer-interfaced classroom weather station using an Apple IIe computer that provides the viewer with up to the minute digital readings of inside and outside temperature,…

Computer-Based Methods for Collecting Peer Nomination Data: Utility, Practice, and Empirical Support

ERIC Educational Resources Information Center

van den Berg, Yvonne H. M.; Gommans, Rob

2017-01-01

New technologies have led to several major advances in psychological research over the past few decades. Peer nomination research is no exception. Thanks to these technological innovations, computerized data collection is becoming more common in peer nomination research. However, computer-based assessment is more than simply programming the…

Quest for a Computerised Semantics.

ERIC Educational Resources Information Center

Leslie, Adrian R.

The objective of this thesis was to colligate the various strands of research in the literature of computational linguistics that have to do with the computational treatment of semantic content so as to encode it into a computerized dictionary. In chapter 1 the course of mechanical translation (1947-1960) and quantitative linguistics is traced to…

Cognitive Aging and Computer-Based Instructional Design: Where Do We Go from Here?

ERIC Educational Resources Information Center

Van Gerven, Pascal W. M.; Paas, Fred; Tabbers, Huib K.

2006-01-01

In this article, the most relevant literature on cognitive aging and instructional design is merged to formulate recommendations for designing computer-based training material aimed at elderly learners. The core message is that researchers and instructional designers do not need to develop special computerized instruction for older adults. Rather,…

Computer Grading As an Instructional Tool.

ERIC Educational Resources Information Center

Rottmann, Ray M.; Hudson, H. T.

1983-01-01

Describes computer grading system providing/storing scores and giving feedback to instructors on how students are performing on a day-to-day basis and how they are handling course concepts. Focuses on the hardware and software of this efficient computerized grading package, which can be used with classes of 250 students (or larger). (Author/JN)

A Randomized Trial of Two Promising Computer-Based Interventions for Students with Attention Difficulties

ERIC Educational Resources Information Center

Rabiner, David L.; Murray, Desiree W.; Skinner, Ann T; Malone, Patrick S.

2010-01-01

Few studies have examined whether attention can be improved with training, even though attention difficulties adversely affect academic achievement. The present study was a randomized-controlled trial evaluating the impact of Computerized Attention Training (CAT) and Computer Assisted Instruction (CAI) on attention and academic performance in 77…

Comparison of Computer-Based Versus Counselor-Based Occupational Information Systems with Disadvantaged Vocational Students

ERIC Educational Resources Information Center

Maola, Joseph; Kane, Gary

1976-01-01

Subjects, who were Occupational Work Experience students, were randomly assigned to individual guidance from either a computerized occupational information system, to a counselor-based information system or to a control group. Results demonstrate a hierarchical learning effect: The computer group learned more than the counseled group, which…

Letter to the Editor: Use of Publicly Available Image Resources

DOE PAGES

Armato, Samuel G.; Drukker, Karen; Li, Feng; ...

2017-05-11

Here we write with regard to the Academic Radiology article entitled, “Computer-aided Diagnosis for Lung Cancer: Usefulness of Nodule Heterogeneity” by Drs. Nishio and Nagashima (1). The authors also report on a computerized method to classify as benign or malignant lung nodules present in computed tomography (CT) scans.

Computer Managed Instruction at Arthur Andersen & Company: A Status Report.

ERIC Educational Resources Information Center

Dennis, Verl E.; Gruner, Dennis

1992-01-01

Computer managed instruction (CMI) based on the principle of mastery learning has been cost effective for job training in the tax division of Arthur Andersen & Company. The CMI software system, which uses computerized pretests and posttests to monitor training, has been upgraded from microcomputer use to local area networks. Success factors at…

Computers in the Workplace.

ERIC Educational Resources Information Center

Gattiker, Urs E.; And Others

It is expected that by 1990 the majority of clerical and managerial workers in North America will use computers in their daily work. An integrative model was developed which views quality of work life as an ever changing dimension influenced by computerization and by perception of career success and non-work factors. To test this model, a study…

Computer applications for the hospital security department--buying or developing a shift log reporting system.

PubMed

Gruber, T

1996-01-01

The author presents guidelines to help a security department select a computer system to track security activities--whether it's a commercial software product, an in-house developed program, or a do-it-yourself designed system. Computerized security activity reporting, he believes, is effective and beneficial.

The Affective Experience of Novice Computer Programmers

ERIC Educational Resources Information Center

Bosch, Nigel; D'Mello, Sidney

2017-01-01

Novice students (N = 99) participated in a lab study in which they learned the fundamentals of computer programming in Python using a self-paced computerized learning environment involving a 25-min scaffolded learning phase and a 10-min unscaffolded fadeout phase. Students provided affect judgments at approximately 100 points (every 15 s) over the…

Computers and Management Structure: Some Empirical Findings Re-examined

ERIC Educational Resources Information Center

Robey, Daniel

1977-01-01

Studies that relate computerization to either centralization or decentralization of organizational decision making are reviewed. Four issues are addressed that relate to conceptual or methodological problems. (Author/MLF)

76 FR 40844 - Changes to Move Update Standards

Federal Register 2010, 2011, 2012, 2013, 2014

2011-07-12

... accuracy standard: a. For computerized lists, Coding Accuracy Support System (CASS)- certified address matching software and current USPS City State Product, within a mailer's computer systems or through an...

Automated Computerized Analysis of Speechin Psychiatric Disorders

PubMed Central

Cohen, Alex S.; Elvevåg, Brita

2014-01-01

Purpose of Review Disturbances in communication are a hallmark of severe mental illnesses. Recent technological advances have paved the way for objectifying communication using automated computerized linguistic and acoustic analysis. We review recent studies applying various computer-based assessments to the natural language produced by adult patients with severe mental illness. Recent Findings Automated computerized methods afford tools with which it is possible to objectively evaluate patients in a reliable, valid and efficient manner that complements human ratings. Crucially, these measures correlate with important clinical measures. The clinical relevance of these novel metrics has been demonstrated by showing their relationship to functional outcome measures, their in vivo link to classic ‘language’ regions in the brain, and, in the case of linguistic analysis, their relationship to candidate genes for severe mental illness. Summary Computer based assessments of natural language afford a framework with which to measure communication disturbances in adults with SMI. Emerging evidence suggests that they can be reliable and valid, and overcome many practical limitations of more traditional assessment methods. The advancement of these technologies offers unprecedented potential for measuring and understanding some of the most crippling symptoms of some of the most debilitating illnesses known to humankind. PMID:24613984

Virtual reality simulation: using three-dimensional technology to teach nursing students.

PubMed

Jenson, Carole E; Forsyth, Diane McNally

2012-06-01

The use of computerized technology is rapidly growing in the classroom and in healthcare. An emerging computer technology strategy for nursing education is the use of virtual reality simulation. This computer-based three-dimensional educational tool simulates real-life patient experiences in a risk-free environment, allows for repeated practice sessions, requires clinical decision making, exposes students to diverse patient conditions, provides immediate feedback, and is portable. The purpose of this article was to review the importance of virtual reality simulation as a computerized teaching strategy. In addition, a project to explore readiness of nursing faculty at one major Midwestern university for the use of virtual reality simulation as a computerized teaching strategy is described where faculty thought virtual reality simulation would increase students' knowledge of an intravenous line insertion procedure. Faculty who practiced intravenous catheter insertion via virtual reality simulation expressed a wide range of learning experiences from using virtual reality simulation that is congruent with the literature regarding the barriers to student learning. Innovative teaching strategies, such as virtual reality simulation, address barriers of increasing patient acuity, high student-to-faculty ratio, patient safety concerns from faculty, and student anxiety and can offer rapid feedback to students.

Computer-Assisted Organizing

ERIC Educational Resources Information Center

Brunner, David James

2009-01-01

Organizing refers to methods of distributing physical and symbolic tasks among multiple agents in order to achieve goals. My dissertation investigates the dynamics of organizing in hybrid information processing systems that incorporate both humans and computers. To explain the behavior of these hybrid systems, I develop and partially test a theory…

Thermoelectric pump performance analysis computer code

NASA Technical Reports Server (NTRS)

Johnson, J. L.

1973-01-01

A computer program is presented that was used to analyze and design dual-throat electromagnetic dc conduction pumps for the 5-kwe ZrH reactor thermoelectric system. In addition to a listing of the code and corresponding identification of symbols, the bases for this analytical model are provided.

What Communication Theories Can Teach the Designer of Computer-Based Training.

ERIC Educational Resources Information Center

Larsen, Ronald E.

1985-01-01

Reviews characteristics of computer-based training (CBT) that make application of communication theories appropriate and presents principles from communication theory (e.g., general systems theory, symbolic interactionism, rule theories, and interpersonal communication theories) to illustrate how CBT developers can profitably apply them to…

Computational Planning in Facial Surgery.

PubMed

Zachow, Stefan

2015-10-01

This article reflects the research of the last two decades in computational planning for cranio-maxillofacial surgery. Model-guided and computer-assisted surgery planning has tremendously developed due to ever increasing computational capabilities. Simulators for education, planning, and training of surgery are often compared with flight simulators, where maneuvers are also trained to reduce a possible risk of failure. Meanwhile, digital patient models can be derived from medical image data with astonishing accuracy and thus can serve for model surgery to derive a surgical template model that represents the envisaged result. Computerized surgical planning approaches, however, are often still explorative, meaning that a surgeon tries to find a therapeutic concept based on his or her expertise using computational tools that are mimicking real procedures. Future perspectives of an improved computerized planning may be that surgical objectives will be generated algorithmically by employing mathematical modeling, simulation, and optimization techniques. Planning systems thus act as intelligent decision support systems. However, surgeons can still use the existing tools to vary the proposed approach, but they mainly focus on how to transfer objectives into reality. Such a development may result in a paradigm shift for future surgery planning. Thieme Medical Publishers 333 Seventh Avenue, New York, NY 10001, USA.

A consensus algorithm for approximate string matching and its application to QRS complex detection

NASA Astrophysics Data System (ADS)

Alba, Alfonso; Mendez, Martin O.; Rubio-Rincon, Miguel E.; Arce-Santana, Edgar R.

2016-08-01

In this paper, a novel algorithm for approximate string matching (ASM) is proposed. The novelty resides in the fact that, unlike most other methods, the proposed algorithm is not based on the Hamming or Levenshtein distances, but instead computes a score for each symbol in the search text based on a consensus measure. Those symbols with sufficiently high scores will likely correspond to approximate instances of the pattern string. To demonstrate the usefulness of the proposed method, it has been applied to the detection of QRS complexes in electrocardiographic signals with competitive results when compared against the classic Pan-Tompkins (PT) algorithm. The proposed method outperformed PT in 72% of the test cases, with no extra computational cost.

The advanced receiver 2: Telemetry test results in CTA 21

NASA Technical Reports Server (NTRS)

Hinedi, S.; Bevan, R.; Marina, M.

1991-01-01

Telemetry tests with the Advanced Receiver II (ARX II) in Compatibility Test Area 21 are described. The ARX II was operated in parallel with a Block-III Receiver/baseband processor assembly combination (BLK-III/BPA) and a Block III Receiver/subcarrier demodulation assembly/symbol synchronization assembly combination (BLK-III/SDA/SSA). The telemetry simulator assembly provided the test signal for all three configurations, and the symbol signal to noise ratio as well as the symbol error rates were measured and compared. Furthermore, bit error rates were also measured by the system performance test computer for all three systems. Results indicate that the ARX-II telemetry performance is comparable and sometimes superior to the BLK-III/BPA and BLK-III/SDA/SSA combinations.

Analysis of the effects of periodic forcing in the spike rate and spike correlation's in semiconductor lasers with optical feedback

NASA Astrophysics Data System (ADS)

Quintero-Quiroz, C.; Sorrentino, Taciano; Torrent, M. C.; Masoller, Cristina

2016-04-01

We study the dynamics of semiconductor lasers with optical feedback and direct current modulation, operating in the regime of low frequency fluctuations (LFFs). In the LFF regime the laser intensity displays abrupt spikes: the intensity drops to zero and then gradually recovers. We focus on the inter-spike-intervals (ISIs) and use a method of symbolic time-series analysis, which is based on computing the probabilities of symbolic patterns. We show that the variation of the probabilities of the symbols with the modulation frequency and with the intrinsic spike rate of the laser allows to identify different regimes of noisy locking. Simulations of the Lang-Kobayashi model are in good qualitative agreement with experimental observations.

Wet Labs, Computers, and Spreadsheets.

ERIC Educational Resources Information Center

Durham, Bill

1990-01-01

Described are some commonly encountered chemistry experiments that have been modified for computerized data acquisition. Included are exercises in radioactivity, titration, calorimetry, kinetics, and electrochemistry. Software considerations and laboratory procedures are discussed. (CW)

Reaching out to clinicians: implementation of a computerized alert system.

PubMed

Degnan, Dan; Merryfield, Dave; Hultgren, Steve

2004-01-01

Several published articles have identified that providing automated, computer-generated clinical alerts about potentially critical clinical situations should result in better quality of care. In 1999, the pharmacy department at a community hospital network implemented and refined a commercially available, computerized clinical alert system. This case report discusses the implementation process, gives examples of how the system is used, and describes results following implementation. The use of the clinical alert system in this hospital network resulted in improved patient safety as well as in greater efficiency and decreased costs.

Computer program for Stirling engine performance calculations

NASA Technical Reports Server (NTRS)

Tew, R. C., Jr.

1983-01-01

The thermodynamic characteristics of the Stirling engine were analyzed and modeled on a computer to support its development as a possible alternative to the automobile spark ignition engine. The computer model is documented. The documentation includes a user's manual, symbols list, a test case, comparison of model predictions with test results, and a description of the analytical equations used in the model.

A computer-oriented system for assembling and displaying land management information

Treesearch

Elliot L. Amidon

1964-01-01

Maps contain information basic to land management planning. By transforming conventional map symbols into numbers which are punched into cards, the land manager can have a computer assemble and display information required for a specific job. He can let a computer select information from several maps, combine it with such nonmap data as treatment cost or benefit per...

Additional and revised thermochemical data and computer code for WATEQ2: a computerized chemical model for trace and major element speciation and mineral equilibria of natural waters

USGS Publications Warehouse

Ball, James W.; Nordstrom, D. Kirk; Jenne, Everett A.

1980-01-01

A computerized chemical model, WATEQ2, has resulted from extensive additions to and revision of the WATEQ model of Truesdell and Jones (Truesdell, A. H., and Jones, B. F., 1974, WATEQ, a computer program for calculating chemical equilibria of natural waters: J. Res. U. S. Geol, Survey, v. 2, p. 233-274). The model building effort has necessitated searching the literature and selecting thermochemical data pertinent to the reactions added to the model. This supplementary report manes available the details of the reactions added to the model together with the selected thermochemical data and their sources. Also listed are details of program operation and a brief description of the output of the model. Appendices-contain a glossary of identifiers used in the PL/1 computer code, the complete PL/1 listing, and sample output from three water analyses used as test cases.

Computer-Assisted Concept Mapping: Visual Aids for Knowledge Construction.

PubMed

Mammen, Jennifer R

2016-07-01

Concept mapping is a visual representation of ideas that facilitates critical thinking and is applicable to many areas of nursing education. Computer-assisted concept maps are more flexible and less constrained than traditional paper methods, allowing for analysis and synthesis of complex topics and larger amounts of data. Ability to iteratively revise and collaboratively create computerized maps can contribute to enhanced interpersonal learning. However, there is limited awareness of free software that can support these types of applications. This educational brief examines affordances and limitations of computer-assisted concept maps and reviews free software for development of complex, collaborative malleable maps. Free software, such as VUE, XMind, MindMaple, and others, can substantially contribute to the utility of concept mapping for nursing education. Computerized concept-mapping is an important tool for nursing and is likely to hold greater benefit for students and faculty than traditional pen-and-paper methods alone. [J Nurs Educ. 2016;55(7):403-406.]. Copyright 2016, SLACK Incorporated.

Symbolic Analysis of Concurrent Programs with Polymorphism

NASA Technical Reports Server (NTRS)

Rungta, Neha Shyam

2010-01-01

The current trend of multi-core and multi-processor computing is causing a paradigm shift from inherently sequential to highly concurrent and parallel applications. Certain thread interleavings, data input values, or combinations of both often cause errors in the system. Systematic verification techniques such as explicit state model checking and symbolic execution are extensively used to detect errors in such systems [7, 9]. Explicit state model checking enumerates possible thread schedules and input data values of a program in order to check for errors [3, 9]. To partially mitigate the state space explosion from data input values, symbolic execution techniques substitute data input values with symbolic values [5, 7, 6]. Explicit state model checking and symbolic execution techniques used in conjunction with exhaustive search techniques such as depth-first search are unable to detect errors in medium to large-sized concurrent programs because the number of behaviors caused by data and thread non-determinism is extremely large. We present an overview of abstraction-guided symbolic execution for concurrent programs that detects errors manifested by a combination of thread schedules and data values [8]. The technique generates a set of key program locations relevant in testing the reachability of the target locations. The symbolic execution is then guided along these locations in an attempt to generate a feasible execution path to the error state. This allows the execution to focus in parts of the behavior space more likely to contain an error.

Computerization of the standard corsi block-tapping task affects its underlying cognitive concepts: a pilot study.

PubMed

Claessen, Michiel H G; van der Ham, Ineke J M; van Zandvoort, Martine J E

2015-01-01

The tablet computer initiates an important step toward computerized administration of neuropsychological tests. Because of its lack of standardization, the Corsi Block-Tapping Task could benefit from advantages inherent to computerization. This task, which requires reproduction of a sequence of movements by tapping blocks as demonstrated by an examiner, is widely used as a representative of visuospatial attention and working memory. The aim was to validate a computerized version of the Corsi Task (e-Corsi) by comparing recall accuracy to that on the standard task. Forty university students (Mage = 22.9 years, SD = 2.7 years; 20 female) performed the standard Corsi Task and the e-Corsi on an iPad 3. Results showed higher accuracy in forward reproduction on the standard Corsi compared with the e-Corsi, whereas backward performance was comparable. These divergent performance patterns on the 2 versions (small-to-medium effect sizes) are explained as a result of motor priming and interference effects. This finding implies that computerization has serious consequences for the cognitive concepts that the Corsi Task is assumed to assess. Hence, whereas the e-Corsi was shown to be useful with respect to administration and registration, these findings also stress the need for reconsideration of the underlying theoretical concepts of this task.

A comparison of computer-assisted and manual wound size measurement.

PubMed

Thawer, Habiba A; Houghton, Pamela E; Woodbury, M Gail; Keast, David; Campbell, Karen

2002-10-01

Accurate and precise wound measurements are a critical component of every wound assessment. To examine the reliability and validity of a new computerized technique for measuring human and animal wounds, chronic human wounds (N = 45) and surgical animal wounds (N = 38) were assessed using manual and computerized techniques. Using intraclass correlation coefficients, intrarater and interrater reliability of surface area measurements obtained using the computerized technique were compared to those obtained using acetate tracings and planimetry. A single measurement of surface area using either technique produced excellent intrarater and interrater reliability for both human and animal wounds, but the computerized technique was more precise than the manual technique for measuring the surface area of animal wounds. For both types of wounds and measurement techniques, intrarater and interrater reliability improved when the average of three repeated measurements was obtained. The precision of each technique with human wounds and the precision of the manual technique with animal wounds also improved when three repeated measurement results were averaged. Concurrent validity between the two techniques was excellent for human wounds but poor for the smaller animal wounds, regardless of whether single or the average of three repeated surface area measurements was used. The computerized technique permits reliable and valid assessment of the surface area of both human and animal wounds.

Computer algebra and operators

NASA Technical Reports Server (NTRS)

Fateman, Richard; Grossman, Robert

1989-01-01

The symbolic computation of operator expansions is discussed. Some of the capabilities that prove useful when performing computer algebra computations involving operators are considered. These capabilities may be broadly divided into three areas: the algebraic manipulation of expressions from the algebra generated by operators; the algebraic manipulation of the actions of the operators upon other mathematical objects; and the development of appropriate normal forms and simplification algorithms for operators and their actions. Brief descriptions are given of the computer algebra computations that arise when working with various operators and their actions.

Bruner's Three Forms of Representation Revisited: Action, Pictures and Words for Effective Computer Instruction.

ERIC Educational Resources Information Center

Presno, Caroline

1997-01-01

Discusses computer instruction in light of Bruner's theory of three forms of representation (action, icons, and symbols). Examines how studies regarding Paivio's dual-coding theory and studies focusing on procedural knowledge support Bruner's theory. Provides specific examples for instruction in three categories: demonstrations, pictures and…

Symbol Tables and Branch Tables: Linking Applications Together

NASA Technical Reports Server (NTRS)

Handler, Louis M.

2011-01-01

This document explores the computer techniques used to execute software whose parts are compiled and linked separately. The computer techniques include using a branch table or indirect address table to connect the parts. Methods of storing the information in data structures are discussed as well as differences between C and C++.

Applications of Parsing Theory to Computer-Assisted Instruction.

ERIC Educational Resources Information Center

Markosian, Lawrence Z.; Ager, Tryg A.

1983-01-01

Applications of an LR-1 parsing algorithm to intelligent programs for computer assisted instruction in symbolic logic and foreign languages are discussed. The system has been adequately used for diverse instructional applications, including analysis of student input, generation of pattern drills, and modeling the student's understanding of the…

From Jabberwocky to genome: Lewis Carroll and computational biology.

PubMed

Searls, D B

2001-01-01

In addition to his literary output, Lewis Carroll created a vast range of games and puzzles that depend upon wordplay of various kinds, especially the manipulation of alphabetic symbols in diverse contexts. Such wordplay reveals a turn of mind well suited to methodologies used in modern computational biology.

Using Computer Symbolic Algebra to Solve Differential Equations.

ERIC Educational Resources Information Center

Mathews, John H.

1989-01-01

This article illustrates that mathematical theory can be incorporated into the process to solve differential equations by a computer algebra system, muMATH. After an introduction to functions of muMATH, several short programs for enhancing the capabilities of the system are discussed. Listed are six references. (YP)

Torus as phase space: Weyl quantization, dequantization, and Wigner formalism

DOE Office of Scientific and Technical Information (OSTI.GOV)

Ligabò, Marilena, E-mail: marilena.ligabo@uniba.it

2016-08-15

The Weyl quantization of classical observables on the torus (as phase space) without regularity assumptions is explicitly computed. The equivalence class of symbols yielding the same Weyl operator is characterized. The Heisenberg equation for the dynamics of general quantum observables is written through the Moyal brackets on the torus and the support of the Wigner transform is characterized. Finally, a dequantization procedure is introduced that applies, for instance, to the Pauli matrices. As a result we obtain the corresponding classical symbols.

Architecture and the Information Revolution.

ERIC Educational Resources Information Center

Driscoll, Porter; And Others

1982-01-01

Traces how technological changes affect the architecture of the workplace. Traces these effects from the industrial revolution up through the computer revolution. Offers suggested designs for the computerized office of today and tomorrow. (JM)

A three-dimensional computerized isometric strength measurement system.

PubMed

Black, Nancy L; Das, Biman

2007-05-01

The three-dimensional Computerized Isometric Strength Measurement System (CISMS) reliably and accurately measures isometric pull and push strengths in work spaces of paraplegic populations while anticipating comparative studies with other populations. The main elements of the system were: an extendable arm, a vertical supporting track, a rotating platform, a force transducer, stability sensors and a computerized data collection interface. The CISMS with minor modification was successfully used to measure isometric push-up and pull-down strengths of paraplegics and isometric push, pull, push-up and pull-down strength in work spaces for seated and standing able-bodied populations. The instrument has satisfied criteria of versatility, safety and comfort, ease of operation, and durability. Results are accurate within 2N for aligned forces. Costing approximately $1,500 (US) including computer, the system is affordable and accurate for aligned isometric strength measurements.

Distinguishing between evidence and its explanations in the steering of atomic clocks

DOE Office of Scientific and Technical Information (OSTI.GOV)

Myers, John M., E-mail: myers@seas.harvard.edu; Hadi Madjid, F., E-mail: gmadjid@aol.com

2014-11-15

Quantum theory reflects within itself a separation of evidence from explanations. This separation leads to a known proof that: (1) no wave function can be determined uniquely by evidence, and (2) any chosen wave function requires a guess reaching beyond logic to things unforeseeable. Chosen wave functions are encoded into computer-mediated feedback essential to atomic clocks, including clocks that step computers through their phases of computation and clocks in space vehicles that supply evidence of signal propagation explained by hypotheses of spacetimes with metric tensor fields. The propagation of logical symbols from one computer to another requires a shared rhythm—likemore » a bucket brigade. Here we show how hypothesized metric tensors, dependent on guesswork, take part in the logical synchronization by which clocks are steered in rate and position toward aiming points that satisfy phase constraints, thereby linking the physics of signal propagation with the sharing of logical symbols among computers. Recognizing the dependence of the phasing of symbol arrivals on guesses about signal propagation transports logical synchronization from the engineering of digital communications to a discipline essential to physics. Within this discipline we begin to explore questions invisible under any concept of time that fails to acknowledge unforeseeable events. In particular, variation of spacetime curvature is shown to limit the bit rate of logical communication. - Highlights: • Atomic clocks are steered in frequency toward an aiming point. • The aiming point depends on a chosen wave function. • No evidence alone can determine the wave function. • The unknowability of the wave function has implications for spacetime curvature. • Variability in spacetime curvature limits the bit rate of communications.« less

Comparing data collected by computerized and written surveys for adolescence health research.

PubMed

Wu, Ying; Newfield, Susan A

2007-01-01

This study assessed whether data-collection formats, computerized versus paper-and-pencil, affect response patterns and descriptive statistics for adolescent health assessment surveys. Youth were assessed as part of a health risk reduction program. Baseline data from 1131 youth were analyzed. Participants completed the questionnaire either by computer (n = 390) or by paper-and-pencil (n = 741). The rate of returned surveys meeting inclusion requirements was 90.6% and did not differ by methods. However, the computerized method resulted in significantly less incompleteness but more identical responses. Multiple regression indicated that the survey methods did not contribute to problematic responses. The two survey methods yielded similar scale internal reliability and descriptive statistics for behavioral and psychological outcomes, although the computerized method elicited higher reports of some risk items such as carrying a knife, beating up a person, selling drugs, and delivering drugs. Overall, the survey method did not produce a significant difference in outcomes. This provides support for program personnel selecting survey methods based on study goals with confidence that the method of administration will not have a significant impact on the outcome.

Computerized analysis of sonograms for the detection of breast lesions

NASA Astrophysics Data System (ADS)

Drukker, Karen; Giger, Maryellen L.; Horsch, Karla; Vyborny, Carl J.

2002-05-01

With a renewed interest in using non-ionizing radiation for the screening of high risk women, there is a clear role for a computerized detection aid in ultrasound. Thus, we are developing a computerized detection method for the localization of lesions on breast ultrasound images. The computerized detection scheme utilizes two methods. Firstly, a radial gradient index analysis is used to distinguish potential lesions from normal parenchyma. Secondly, an image skewness analysis is performed to identify posterior acoustic shadowing. We analyzed 400 cases (757 images) consisting of complex cysts, solid benign lesions, and malignant lesions. The detection method yielded an overall sensitivity of 95% by image, and 99% by case at a false-positive rate of 0.94 per image. In 51% of all images, only the lesion itself was detected, while in 5% of the images only the shadowing was identified. For malignant lesions these numbers were 37% and 9%, respectively. In summary, we have developed a computer detection method for lesions on ultrasound images of the breast, which may ultimately aid in breast cancer screening.

Computerization of guidelines: a knowledge specification method to convert text to detailed decision tree for electronic implementation.

PubMed

Aguirre-Junco, Angel-Ricardo; Colombet, Isabelle; Zunino, Sylvain; Jaulent, Marie-Christine; Leneveut, Laurence; Chatellier, Gilles

2004-01-01

The initial step for the computerization of guidelines is the knowledge specification from the prose text of guidelines. We describe a method of knowledge specification based on a structured and systematic analysis of text allowing detailed specification of a decision tree. We use decision tables to validate the decision algorithm and decision trees to specify and represent this algorithm, along with elementary messages of recommendation. Edition tools are also necessary to facilitate the process of validation and workflow between expert physicians who will validate the specified knowledge and computer scientist who will encode the specified knowledge in a guide-line model. Applied to eleven different guidelines issued by an official agency, the method allows a quick and valid computerization and integration in a larger decision support system called EsPeR (Personalized Estimate of Risks). The quality of the text guidelines is however still to be developed further. The method used for computerization could help to define a framework usable at the initial step of guideline development in order to produce guidelines ready for electronic implementation.

Evaluation of a new computerized psychometric test battery: Effects of zolpidem and caffeine.

PubMed

Pilli, Raveendranadh; Naidu, Mur; Pingali, Usharani; Shobha, Jc

2013-10-01

To evaluate the effects of centrally active drugs using a new indigenously developed automated psychometric test system and compare the results with that obtained using pencil- and paper-based techniques. The tests were standardized in 24 healthy participants. Reproducibility of the test procedure was evaluated by performing the tests by a single experimenter on two occasions (interday reproducibility). To evaluate the sensitivity of the tests, the effects of zolpidem (5 mg) and caffeine (500 mg) versus placebo were studied in 24 healthy participants in a randomized, double-blind three-way crossover design. Psychometric tests were performed at baseline and at 1, 2, and 3 h after administration of study medication. The effects of zolpidem and caffeine on the psychomotor performance were most pronounced 1 h after administration. At this time, a significant impairment of performance in the simple reaction test (SRT), choice discrimination test (CDT), digit symbol substitution test (DSST), digit vigilance test (DVT), and card sorting test (CST) was observed with zolpidem. In contrast, caffeine showed a significant improvement in performance in CDT and DVT only. The results suggest that the tests of the computerized system are more sensitive and reliable then the pencil and paper tests in detecting the effects of central acting agents and are suitable for use in clinical areas to conduct studies with patients.

Speech processing using conditional observable maximum likelihood continuity mapping

DOE Office of Scientific and Technical Information (OSTI.GOV)

Hogden, John; Nix, David

A computer implemented method enables the recognition of speech and speech characteristics. Parameters are initialized of first probability density functions that map between the symbols in the vocabulary of one or more sequences of speech codes that represent speech sounds and a continuity map. Parameters are also initialized of second probability density functions that map between the elements in the vocabulary of one or more desired sequences of speech transcription symbols and the continuity map. The parameters of the probability density functions are then trained to maximize the probabilities of the desired sequences of speech-transcription symbols. A new sequence ofmore » speech codes is then input to the continuity map having the trained first and second probability function parameters. A smooth path is identified on the continuity map that has the maximum probability for the new sequence of speech codes. The probability of each speech transcription symbol for each input speech code can then be output.« less

Allan Cormack, Computerized Axial Tomography (CAT), and Magnetic Resonance

Science.gov Websites

Radiopharmaceuticals, DOE Technical Report, 1977 Emission Computed Tomography: A New Technique for the Quantitative Extending the Power of Nuclear Magnetic Resonance Techniques Magnetic Resonance Imaging Research Top Some

Virginia Transit Performance Evaluation Package (VATPEP).

DOT National Transportation Integrated Search

1987-01-01

The Virginia Transit Performance Evaluation Package (VATPEP), a computer software package, is documented. This is the computerized version of the methodology used by the Virginia Department of Transportation to evaluate the performance of public tran...

STRUCTURE-ACTIVITY RELATIONSHIPS--COMPUTERIZED SYSTEMS

EPA Science Inventory

This report discusses some important general strategies and issuesrelative to the application of computational SAR techniques formodeling genotoxicity and carcinogenicity endpoints. roblemsparticular to the SAR modeling of such endpoints pertain to: hecomplexity of the carcinogen...

We're Having a Seed Sale.

ERIC Educational Resources Information Center

Riss, Pam Helfers

1994-01-01

Botany meets computer science in this activity, which challenges students to create a computerized seed catalog. Class members work together to develop a database of plants, much like the major seed companies do. (PR)

Symbolic Processing Combined with Model-Based Reasoning

NASA Technical Reports Server (NTRS)

James, Mark

2009-01-01

A computer program for the detection of present and prediction of future discrete states of a complex, real-time engineering system utilizes a combination of symbolic processing and numerical model-based reasoning. One of the biggest weaknesses of a purely symbolic approach is that it enables prediction of only future discrete states while missing all unmodeled states or leading to incorrect identification of an unmodeled state as a modeled one. A purely numerical approach is based on a combination of statistical methods and mathematical models of the applicable physics and necessitates development of a complete model to the level of fidelity required for prediction. In addition, a purely numerical approach does not afford the ability to qualify its results without some form of symbolic processing. The present software implements numerical algorithms to detect unmodeled events and symbolic algorithms to predict expected behavior, correlate the expected behavior with the unmodeled events, and interpret the results in order to predict future discrete states. The approach embodied in this software differs from that of the BEAM methodology (aspects of which have been discussed in several prior NASA Tech Briefs articles), which provides for prediction of future measurements in the continuous-data domain.

Searching through synaesthetic colors.

PubMed

Laeng, Bruno

2009-10-01

Synaesthesia can be characterized by illusory colors being elicited automatically when one reads an alphanumeric symbol. These colors can affect attention; synaesthetes can show advantages in visual search of achromatic symbols that normally cause slow searches. However, some studies have failed to find these advantages, challenging the conclusion that synaesthetic colors influence attention in a manner similar to the influence of perceptual colors. In the present study, we investigated 2 synaesthetes who reported colors localized in space over alphanumeric symbols' shapes. The Euclidian distance in CIE xyY color space between two synaesthetic colors was computed for each specific visual search, so that the relationship between color distance (CD) and efficiency of search could be explored with simple regression analyses. Target-to-distractors color salience systematically predicted the speed of search, but the CD between a target or distractors and the physically presented achromatic color did not. When the synaesthetic colors of a target and distractors were nearly complementary, searches resembled popout performance with real colors. Control participants who performed searches for the same symbols (which were colored according to the synaesthetic colors) showed search functions very similar to those shown by the synaesthetes for the physically achromatic symbols.

A Comparison of Computer-Based Classification Testing Approaches Using Mixed-Format Tests with the Generalized Partial Credit Model

ERIC Educational Resources Information Center

Kim, Jiseon

2010-01-01

Classification testing has been widely used to make categorical decisions by determining whether an examinee has a certain degree of ability required by established standards. As computer technologies have developed, classification testing has become more computerized. Several approaches have been proposed and investigated in the context of…

An Investigation on Computer-Adaptive Multistage Testing Panels for Multidimensional Assessment

ERIC Educational Resources Information Center

Wang, Xinrui

2013-01-01

The computer-adaptive multistage testing (ca-MST) has been developed as an alternative to computerized adaptive testing (CAT), and been increasingly adopted in large-scale assessments. Current research and practice only focus on ca-MST panels for credentialing purposes. The ca-MST test mode, therefore, is designed to gauge a single scale. The…

[Computerization and robotics in medical practice].

PubMed

Dervaderics, J

1997-10-26

The article gives the outlines of all principles used in computing included the non-electrical and analog computers and the artifical intelligence followed by citing examples as well. The principles and medical utilization of virtual reality are also mentioned. There are discussed: surgical planning, image guided surgery, robotic surgery, telepresence and telesurgery, and telemedicine implemented partially via Internet.

Integration of Computers into the Medical School Curriculum: An Example from a Microbiology Course.

ERIC Educational Resources Information Center

Platt, Mark W.; And Others

1994-01-01

While the use of computers has become widespread in recent years, a unified, integrated approach to their use in the medical school curriculum has not yet emerged. Describes a program at the University of New Mexico that will phase-in computerization of its curriculum beginning in the fall of 1993. (LZ)