Towards a web-based progressive handwriting recognition environment for mathematical problem solving

The emergence of pen-based mobile devices such as PDAs and tablet PCs provides a new way to input mathematical expressions to computer by using handwriting which is much more natural and efficient for entering mathematics. This paper proposes a web-based handwriting mathematics system, called WebMath, for supporting mathematical problem solving. The proposed WebMath system is based on client–server architecture. It comprises four major components: a standard web server, handwriting mathematical expression editor, computation engine and web browser with Ajax-based communicator. The handwriting mathematical expression editor adopts a progressive recognition approach for dynamic recognition of handwritten mathematical expressions. The computation engine supports mathematical functions such as algebraic simplification and factorization, and integration and differentiation. The web browser provides a user-friendly interface for accessing the system using advanced Ajax-based communication. In this paper, we describe the different components of the WebMath system and its performance analysis.     

Class Based Contextual Logic for DOOD

Cntextual logic provides a mechanism to reason about modules.In this paper,this theory of modules if modules is extended to a context theory of classes where class is in the true spirit of object-oriented databases.The logic,referred to as CLOG,is class-based.CLOG supports class,object identity,multiple role of object, monotonic and non-monotonic inheritance of data and method,method factoring,views,derived and query classes.Views and derived classes are queries in themselves.Objects are pure data terms representing the ground instances of facts in the class.Object identity is a first class term in the logic.Inheritance is handled through delegation.     

Efficient distributed algorithms for single-source shortest paths and related problems on plane networks

An efficient distributed algorithm is given for computing single-source shortest paths in an asynchronous planar network. The algorithm has message and time complexityO(pn) on ann-node network, wherep is the smallest number of faces needed to cover all the nodes, taken over all possible plane embeddings of the network. Each node has only local information about the network, consisting of an ordered list of its incident edges in the embedding that realizesp and the name of the covering face that it belongs to. The complexity of the algorithm ranges fromO(n) toO(n ²) asp ranges from 1 to Θ(n). The algorithm is more efficient than previous algorithms [A3], [F1] for a broad range of values forp; however, the algorithms in [A3] and [F1] do not require knowledge about the embedding. The single-source algorithm incorporates optimal distributed solutions to a number of interesting subproblems including: (i) decomposing the plane embedding into Θ(p) outerplane graphs with favorable properties; (ii) a single-source algorithm for outerplane graphs; and (iii) identifying any edge in an outerplane graph whose cost exceeds the distance between its endpoints. As an application, a communication-, time-, and space-efficient message-routing scheme is presented which adapts to changing link conditions and routes along near-shortest paths. This research was supported in part by a grant-in-aid of research from the Graduate School of the University of Minnesota. R. Janardan was also supported in part by NSF Grant CCR-8808574. Portions of this work were presented at the 4th International Workshop on Distributed Algorithms, Bari, Italy, September 1990.     

Significance tests and deduction: Reply to Folger (1989).

Shows that agreeing with R. Folger's (1989) methodological observations does not mean that it is incorrect to use significance tests. This contention is based on the dynamics of theory corroboration, with reference to which the following distinctions are illustrated, namely, the distinctions between (a) statistical hypothesis testing, theory corroboration, and syllogistic argument, (b) a responsible experimenter and a cynical experimenter, (c) logical validity and methodological correctness, and (d) warranted assertability and truth. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Characterization of nitrogen-fixing cyanobacteria in the Brazilian Amazon floodplain

The diversity of the free-living nitrogen-fixing cyanobacterial community in the floodplain sediments along the Solimões and Amazon Rivers and some of their tributaries (Japurá, Negro and Madeira) was investigated. Five cyanobacterial genera were morphologically identified, four of which (Nostoc, Calothrix, Cylindrospermum and Fischerella) have not previously been isolated from the Brazilian Amazon floodplain. Nostoc strains were the most commonly found heterocyst-forming cyanobacteria. Five strains (N. muscorum CENA18 and CENA61, N. piscinale CENA21, Cylindrospermum sp. CENA33 and Fischerella sp. CENA19) were selected for growth measurement, ability to fix N₂ and phylogenetic analysis, based on their widespread distribution and morphological distinction. Molecular analyses employing 16S rRNA sequences indicated that some of the isolates may represent novel cyanobacterial species. Dinitrogen fixed by these strains was measured indirectly as acetylene reduction activity and ranged from 11.5 to 22.2 nmol C₂H₄ μg Chl a⁻¹ h⁻¹. These results provide evidence of widespread and importance of nitrogen-fixing cyanobacteria as a source of N inputs in the Amazonian ecosystem.     

Analysis, Design, and Control of a Transcutaneous Power Regulator for Artificial Hearts

Based on a generic transcutaneous transformer model, a remote power supply using a resonant topology for use in artificial hearts is analyzed and designed for easy controllability and high efficiency. The primary and secondary windings of the transcutaneous transformer are positioned outside and inside the human body, respectively. In such a transformer, the alignment and gap may change with external positioning. As a result, the coupling coefficient of the transcutaneous transformer is also varying, and so are the two large leakage inductances and the mutual inductance. Resonant-tank circuits with varying resonant-frequency are formed from the transformer inductors and external capacitors. For a given range of coupling coefficients, an operating frequency corresponding to a particular coupling coefficient can be found, for which the voltage transfer function is insensitive to load. Prior works have used frequency modulation to regulate the output voltage under varying load and transformer coupling. The use of frequency modulation may require a wide control frequency range which may extend well above the load insensitive frequency. In this paper, study of the input-to-output voltage transfer function is carried out, and a control method is proposed to lock the switching frequency at just above the load insensitive frequency for optimized efficiency at heavy loads. Specifically, operation at above resonant of the resonant circuits is maintained under varying coupling-coefficient. Using a digital-phase-lock-loop (PLL), zero-voltage switching is achieved in a full-bridge converter which is also programmed to provide output voltage regulation via pulsewidth modulation (PWM). A prototype transcutaneous power regulator is built and found to to perform excellently with high efficiency and tight regulation under variations of the alignment or gap of the transcutaneous transformer, load and input voltage.     

Preparation of Porous Tin Oxide Nanobelts Using the Electrospinning Technique

The electrospinning method is adopted to prepare utralong PEO/stannic hydroxide composite nanofibers. Tin-oxide nanobelts can be obtained by calcination of the composite nanofibers in an open atmosphere. The nanobelts were characterized by a field emission scanning electron microscope, X-ray diffraction, a transmission electron microscope, a Raman spectromicroscope, and Fourier transform infrared spectroscopy. Microstructural analysis has shown that the nanobelts prepared consist of a continuous network of interconnected SnO₂ grains. As a result, the SnO₂ nanobelts possess a high surface area and continuous porosity, which may be applied for the fabrication of sensitive gas sensors.     

Flexural properties of sawdust reinforced phenolic composites: Pilot study

The advantageous properties of sawdust and phenolic resins were combined by making sawdust reinforced phenolic composites with different percentages by weight of sawdust. The sawdust was divided into three grades in accordance with its particulate size. Garamite and propylene glycol were added individually and together to enhance the flexural properties of the composites obtained. Without any garamite and propylene glycol, it was discovered that the best flexural properties of the composites were obtained when the percentage by weight of sawdust (<300 μm) is up to 15%. Beyond this, the flexural properties dropped significantly; in addition, the fluidity of the composite was very low and the mixture was not suitable for casting. In general, the flexural modulus of the composites decreases with an increase in sawdust content, i.e., they are more elastic but their maximum flexural strain does not improve. Garamite was therefore added to improve the maximum flexural strains of the composites and this was successful. The addition of propylene glycol makes the composite more plastic. © 2009 Wiley Periodicals, Inc. J Appl Polym Sci, 2009     

Toward best-effort services over WDM networks with fair access andminimum bandwidth guarantee

Most existing wavelength-division multiplexed (WDM) networks employ circuit switching, typically with one session having exclusive use of one entire wavelength. Consequently, they are not suitable for data applications involving bursty traffic patterns. The All-Optical Network (AON) Consortium has developed an all-optical LAN/MAN test bed which provides time-slotted WDM service. We explore extensions of this service to achieve fine-grained statistical multiplexing with different virtual circuits time sharing the wavelengths in a fair manner. We develop a very fast, best effort time-slotted WDM network protocol with very good fairness and throughput characteristics. As an additional design feature, our protocol supports the assignment of guaranteed bandwidths (GBW) to selected sessions. This feature acts as a first step toward supporting integrated services at the optical layer in WDM networks