We present the use of the polysaccharide chitosan for immobilizing biomolecules on microfabricated device surfaces. The main advantages of chitosan are its abundance of primary amine groups and its ability to be elect...
详细信息
ISBN:
(纸本)1424402778
We present the use of the polysaccharide chitosan for immobilizing biomolecules on microfabricated device surfaces. The main advantages of chitosan are its abundance of primary amine groups and its ability to be electrodeposited. Biomolecules are easily attached to chitosan 's amines by standard glutaraldehyde chemistry. The electrodeposition of chitosan allows accurate spatial and temporal control of biomolecule placement. We have demonstrated this biofunctionalization method for two different bioMEMS devices: a biophotonic sensor and a micromechanical biosensor. We have successfully assembled probe DNA on each of them and detected hybridization with target DNA as a demonstration of sensor operation. Here, we briefly present the fabrication procedure and testing results for both of these bioMEMS sensing devices
One-on-one educational computing refers to I student I computing device, which means every student in a group uses a digital learning device. In this paper, we present a model of student question generation called AGQ...
详细信息
ISBN:
(纸本)0805857826
One-on-one educational computing refers to I student I computing device, which means every student in a group uses a digital learning device. In this paper, we present a model of student question generation called AGQ, which stands for "asking a good question," supported by one-on-one educational computing in the classroom settings. AGQ is designed for engaging students in a challenging learning activity that potentially involves higher-level cognitive processing operations. We shall describe the general design of AGQ, called Product Evolution, and that the current version is a variation of it.
To develop software for embedded systems the designer must take into account different kinds of problems and complexities. The main issues are related to late integration with the target hardware and the separation of...
详细信息
This paper addresses the dynamic location management for personal communication service (PCS) networks with consideration of mobility patterns. The popular hexagonal cellular architecture is considered. In this paper,...
详细信息
The Engineering Games at UnicenP began in 1999 and, in 2004, the 6 th edition had the participation of approximately 600 students, freshmen and sophomore, from the Civil, computer, Electric and Mechanical Engineering ...
详细信息
作者：
Artemov, SergeiNogina, ElenaGraduate Center
CUNY Ph.D. Program in Computer Science 365 Fifth Avenue New York NY 10016 United States BMCC
CUNY Department of Mathematics 199 Chambers Street New York NY 10007 United States
The true belief components of Plato's tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the just...
详细信息
ISBN:
(纸本)9810534124
The true belief components of Plato's tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the justification component of Plato's definition did not have a formal representation. This paper introduces the notion of justification into formal epistemology. Epistemic logic with justification, along with the usual knowledge operator F (F is known), contains assertions t:F (t is a justification for F). We suggest an epistemic semantics which augments Kripke models with a natural Fitting-style treatment of justification assertions t:F. Completeness and some new specific properties of basic systems of epistemic logic with justification are established.
The stringent requirements on size and power consumption constrain the conventional hearing aid devices from providing the patients an economic and user friendly solution, specifically for better noise cancellation. W...
详细信息
A study of thermal chemical vapor deposition (CVD) grown carbon nanotubes (CNTs) field emitters in a triode amplifier configuration is reported. The CNT transistor characteristics were examined by integrating gate and...
A study of thermal chemical vapor deposition (CVD) grown carbon nanotubes (CNTs) field emitters in a triode amplifier configuration is reported. The CNT transistor characteristics were examined by integrating gate and anode with CNT cathode in two structural forms, utilizing a TEM grid (transmission electron microscope specimen holder) as the gate electrode and a micropatterned CNT with self-aligned gate. The TEM-grid CNT triode displayed clearly gate-controlled current modulation behavior with distinct cutoff, linear, and saturation regions, and a reasonable gate turn-on field of ∼5.4V∕μm despite a large cathode-gate spacing of ∼120μm . The field emission result established the basic transistor characteristics of CNTs in a triode configuration. A CNT triode construct with a self-aligned gated fabrication technique was also developed to realize a monolithic triode structure with shorter gate-cathode spacing, lowering gate voltage, and enhancing emission current. The triode exhibited a significantly lower gate turn-on voltage of ∼40V , and gate-controlled modulation of the emission current. An anode current density of ∼30mA∕cm2 was achieved at a gate voltage of ∼80V and an anode voltage of ∼200V . The dc characteristics for both of the CNT triodes were investigated, including Ia versus Va for different Vg . Moreover, dc parameters such as transconductance, amplification factors, and anode resistance of the triode amplifier were determined. The CNT triodes exhibited useful amplification factor and high output impedance.
GOMS is a well-known model that has been successfully used in predicting the performance of human-computer interaction, identifying usability problems and improving user-interface design. The focus of GOMS on the indi...
详细信息
GOMS is a well-known model that has been successfully used in predicting the performance of human-computer interaction, identifying usability problems and improving user-interface design. The focus of GOMS on the individual user, however, explains why it has not been applied in the groupware context. We were inspired by GOMS to define a model that describes collaborative tasks in a formal way. We illustrate the application of the model by applying it to the design of a collaborative tool for software engineering requirements negotiation.
暂无评论