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 ...
详细信息
OMG published a draft specification for a reliable ordered multicast inter-ORB protocol to be used by distributed applications developed in CORBA (ROMIOP). This specification was made to attend the demand of applicati...
详细信息
作者：
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.
Although wireless hearing aid systems have been proposed by several research groups, no viable whole-system simulation results have been reported so far for better evaluation of this advanced hearing device. In this p...
详细信息
Although wireless hearing aid systems have been proposed by several research groups, no viable whole-system simulation results have been reported so far for better evaluation of this advanced hearing device. In this paper, a system-level simulation using ADStrade is presented based on one of the typical wireless hearing aid architecture. The results show that the wireless hearing aid system function can be simulated and verified. And from these results, we can get a very promising performance which can be used for further design
With the increase in adoption of remote work groups and teams working in non-collocated environments, several opportunities for interaction have been lost. Contact with colleagues and discovery of opportunities, previ...
详细信息
With the increase in adoption of remote work groups and teams working in non-collocated environments, several opportunities for interaction have been lost. Contact with colleagues and discovery of opportunities, previously easy due to physical proximity, is made harder with distance. In this paper, we describe an agent-based framework to assist users in finding opportunities for interaction that may have been overlooked.
Active learning enables learners to actively engage in learning. Learning not only transfers material to students for learning, but also encourages greater mental engagement and more extensive student-student and stud...
详细信息
Active learning enables learners to actively engage in learning. Learning not only transfers material to students for learning, but also encourages greater mental engagement and more extensive student-student and student-instructor interaction than does a typical lecture class. Peer instruction (PI) engages students in active learning by achieving continuous instructor-student interaction in a physics lecture. However, the methodologies and the effectiveness of implementing PI for elementary school students have seldom been clarified. This study explores the possibility of adopting PI in an elementary science classroom. The research considerations of the study are as follows: (1) how wireless technology can enhance PI in elementary science classroom; (2) how a teacher can engage students in pre-class reading, and (3) whether elementary school students have sufficient social skills to perform a PI discussion? These questions are examined by observing how the PI pedagogical model worked with a wireless response system in elementary science classroom. Based on the observation, this study also proposes a way of improving the PI learning experience of elementary school students by adding experiments and observations during peer discussion to explain concepts and phenomena in physics.
暂无评论