Musings on Technology and Learning Disabilities on the Occasion of the New Millennium

2000 ◽  
Vol 15 (2) ◽  
pp. 5-12 ◽  
Author(s):  
Rena B. Lewis
Keyword(s):  
Learning Disabilities ◽  
Computer System ◽  
Programming Language ◽  
State Of The Art ◽  
Disk Drive ◽  
Word Processor ◽  
Technology And Learning ◽  
New Millennium

Almost 30 years ago, I bought an IBM Selectric typewriter for about $500. I still use it occasionally and it works perfectly. Almost 20 years ago, I bought my first home microcomputer, an Apple II Plus, for about $5,000. The system included a monochrome Zenith monitor with an amber display, an Apple disk drive, and an Epson dot matrix printer, all state-of-the-art equipment. It also included a shift key modification so that both upper and lowercase letters would appear on the screen. The BASIC programming language was resident in ROM. I had to purchase software to run on the microcomputer, and my first purchase was the Apple Writer II word processor. This computer system is gone from my life; it's too old even to be stored with the “antiques” in the rafters of my garage.

Recognition System Of The Al Qur’an Surah Al-Falaq Verse 1-5 Through Voice Using Ada-Boost

2021 ◽  
Vol 1 (3) ◽  
pp. 49-53
Author(s):  
Diauddin Ismail
Keyword(s):  
Everyday Life ◽  
Success Rate ◽  
Computer System ◽  
Programming Language ◽  
Computer Technology ◽  
Recognition System ◽  
Recorded Sound ◽  
Voice Classification ◽  
Sound Files

In everyday life, it is not uncommon when we hear the sound of chanting the holy verses of the Al Al Qur’an  which are read in mosques before prayer time or in other conditions we seem interested in knowing what Surah and which verse is being recited. This is due to the love of Muslims themselves for the Al Qur’an  but not all Muslims memorize the entire contents of the Al Qur’an . Based on the limitations and the magnitude of curiosity about Surah and Verse information, the writer is interested in developing a computer system that can recognize and provide information on the recited Surah and Verse. Advances in computer technology not only make it easier for humans to carry out activities. One of the human intelligences that are planted into computer technology is to recognize the verses of the Al Al Qur’an  Surah Al-Falaq through voice. Ada-Boost method is one method to identify or recognize voice classification, and by using this method the success rate in recognizing verse numbers reaches 72%. This system can only recognize the number of verses of the Al Al Qur’an  Surah Al-Falaq, recorded sound files with the .wav file extension and built using the Delphi programming language.

scholarly journals αCheck: A mechanized metatheory model checker

2017 ◽  
Vol 17 (3) ◽  
pp. 311-352 ◽  
Author(s):  
JAMES CHENEY ◽  
ALBERTO MOMIGLIANO
Keyword(s):  
Programming Language ◽  
Dual Problem ◽  
State Of The Art ◽  
Operational Semantics ◽  
Type Systems ◽  
Model Checker ◽  
Formal Systems ◽  
Current State ◽  
Fully Automatic ◽  
Nominal Logic

AbstractThe problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has received considerable attention recently. However, the dual problem of searching for errors in such formalizations has attracted comparatively little attention. In this article, we present αCheck, a bounded model checker for metatheoretic properties of formal systems specified using nominal logic. In contrast to the current state of the art for metatheory verification, our approach is fully automatic, does not require expertise in theorem proving on the part of the user, and produces counterexamples in the case that a flaw is detected. We present two implementations of this technique, one based onnegation-as-failureand one based onnegation elimination, along with experimental results showing that these techniques are fast enough to be used interactively to debug systems as they are developed.

Word Processing with Speech Synthesis and Word Prediction: Effects on the Dialogue Journal Writing of Students with Learning Disabilities

1998 ◽  
Vol 21 (2) ◽  
pp. 151-166 ◽  
Author(s):  
Charles A. MacArthur
Keyword(s):  
Learning Disabilities ◽  
Word Processing ◽  
Speech Synthesis ◽  
Word Processor ◽  
Students With Learning Disabilities ◽  
Word Prediction ◽  
Dialogue Journals ◽  
Dialogue Journal ◽  
Writing Problems ◽  
Journal Entries

Five students, ages 9 and 10, with learning disabilities and severe writing problems wrote in dialogue journals to their teacher. They used a standard word processor during baseline phases and a word processor with speech synthesis and word prediction features during treatment phases. The special features had a strong effect on the legibility and spelling of written dialogue journal entries for four of the five students. During baseline, the writing of these four students ranged from 55% to 85% legible words and 42% to 75% correctly spelled words. All four increased their percentage of both legible and correctly spelled words into the 90–100% range.

scholarly journals High-performance Python for crystallographic computing

2019 ◽  
Vol 52 (4) ◽  
pp. 882-897 ◽  
Author(s):  
A. Boulle ◽  
J. Kieffer
Keyword(s):  
Programming Language ◽  
High Performance ◽  
Scientific Computing ◽  
State Of The Art ◽  
Third Party ◽  
Improve Performance ◽  
Python Language ◽  
Python Programming Language ◽  
Numerical Computing ◽  
Python Programming

The Python programming language, combined with the numerical computing library NumPy and the scientific computing library SciPy, has become the de facto standard for scientific computing in a variety of fields. This popularity is mainly due to the ease with which a Python program can be written and executed (easy syntax, dynamical typing, no compilation etc.), coupled with the existence of a large number of specialized third-party libraries that aim to lift all the limitations of the raw Python language. NumPy introduces vector programming, improving execution speeds, whereas SciPy brings a wealth of highly optimized and reliable scientific functions. There are cases, however, where vector programming alone is not sufficient to reach optimal performance. This issue is addressed with dedicated compilers that aim to translate Python code into native and statically typed code with support for the multi-core architectures of modern processors. In the present article it is shown how these approaches can be efficiently used to tackle different problems, with increasing complexity, that are relevant to crystallography: the 2D Laue function, scattering from a strained 2D crystal, scattering from 3D nanocrystals and, finally, diffraction from films and multilayers. For each case, detailed implementations and explanations of the functioning of the algorithms are provided. Different Python compilers (namely NumExpr, Numba, Pythran and Cython) are used to improve performance and are benchmarked against state-of-the-art NumPy implementations. All examples are also provided as commented and didactic Python (Jupyter) notebooks that can be used as starting points for crystallographers curious to enter the Python ecosystem or wishing to accelerate their existing codes.

scholarly journals Synbit: synthesizing bidirectional programs using unidirectional sketches

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-31
Author(s):  
Masaomi Yamaguchi ◽  
Kazutaka Matsuda ◽  
Cristina David ◽  
Meng Wang
Keyword(s):  
Programming Language ◽  
State Of The Art ◽  
Input Output ◽  
Program Structure ◽  
The Core ◽  
Synthesis Tool ◽  
The Given

We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus a few input/output examples. The core ideas are: (1) constructing a sketch using the given unidirectional program as a specification, and (2) filling the sketch in a modular fashion by exploiting the properties of bidirectional programs. These ideas are enabled by our choice of programming language, HOBiT, which is specifically designed to maintain the unidirectional program structure in bidirectional programming, and keep the parts that control bidirectional behavior modular. To evaluate our approach, we implemented it in a tool called Synbit and used it to generate bidirectional programs for intricate microbenchmarks, as well as for a few larger, more realistic problems. We also compared Synbit to a state-of-the-art unidirectional synthesis tool on the task of synthesizing backward computations.

Search for Compatible Source Code

2021 ◽  
Vol 31 (03) ◽  
pp. 477-502
Author(s):  
Fuqi Cai ◽  
Changjing Wang ◽  
Qing Huang ◽  
Zhengkang Zuo ◽  
Yunyan Liao
Keyword(s):  
Programming Language ◽  
State Of The Art ◽  
Source Code ◽  
The State ◽  
Third Party ◽  
Search Model ◽  
Code Search ◽  
Art Methods ◽  
Local Programming ◽  
Cosine Distance

Third-party libraries always evolve and produce multiple versions. Lucene, for example, released ten new versions (from version 7.7.0 to 8.4.0) in 2019. These versions confuse the existing code search methods to retrieve the source code that is not compatible with local programming language. To solve this issue, we propose DCSE, a deep code search model based on evolving information (i.e. evolved code tokens and evolution description). DCSE first deeply excavates evolved code tokens and evolution description in the code evolution process; then it takes evolved code tokens and evolution description as one feature of source code and code description, respectively. With such fuller representation, DCSE embeds source code and its code description into a high-dimensional shared vector space, and makes the cosine distance of their vectors closer. For the ever-evolving third-party libraries like Lucene, the experimental results show that DCSE could retrieve the source code that is compatible with local programming language, it outperforms the state-of-the-art methods (e.g. CODEnn) by 56.9–60.9[Formula: see text] in RFVersion. For the rarely-evolving third-party libraries, DCSE outperforms the state-of-the-art methods (e.g. CODEnn) by 4–11[Formula: see text] in Precision.

Investigation of Degradation Signature for Hard Disk Drives Using Vibration and Acoustic Emission Sensors

2009 ◽  
Author(s):  
Ibrahim Zeid ◽  
Sagar Kamarthi ◽  
Yogesh Bagul
Keyword(s):  
Acoustic Emission ◽  
Computer System ◽  
Signal To Noise Ratio ◽  
Hard Disk Drives ◽  
Hard Disk ◽  
Disk Drive ◽  
Remaining Useful Life ◽  
Acoustic Emission Sensors ◽  
Sensor Signals ◽  
Useful Life

The hard disk drive (HDD) is a critical component of any computer system. The performance of a computer system largely depends on the performance and health of its HDD. This paper investigates degradation signatures for the estimation of remaining useful life and the assessment of health of a HDD. Most of the mechanical faults in a HDD results in head-disk collision or friction. As a HDD ages, it may experience gradual damage to the head and scratches on the disk. One can expect that changes in the condition of head and disk may result in comparable changes in the characteristics of HDD vibration and acoustic emission signals. Based on this premise, this research conducted experiments on HDDs subject to accelerated deterioration. HDDs are monitored through vibration and acoustic emission sensors. Extracting features from these sensor signals, HDD degradation signatures are created. The results indicate that though degradation signatures exhibit a gradual trend with HDD aging, accurate assessment remaining useful life and health are not possible using these degradation signatures. Poor signal to noise ratio is the main impediment in this approach. The conclusion is that the best vibration and acoustic sensors available for this application are neither sensitive nor selective enough to capture the changes in the head and the disk of an aging HDD.

Sign in / Sign up

Export Citation Format

Share Document