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,...
详细信息
This work describes a workflow-based environment that manages the execution of software-testing processes. Testing processes require that human and computer resources be handled as dedicated resources, previously sche...
详细信息
ISBN:
(纸本)972886521X
This work describes a workflow-based environment that manages the execution of software-testing processes. Testing processes require that human and computer resources be handled as dedicated resources, previously scheduled for testing activities, with no overlapping. Two striking features of this environment are: a) the efficient handling of resources by taking into account the capabilities offered by resources required by testing activities, and b) it provides a broader view of all execution steps in a software-testing plan. Hence, it enables a better planning of software-testing process executions, as well as of human and computer resources involved.
OMG has published an unreliable multicast specification for distributed applications developed in CORBA (UMIOP). This mechanism can be implemented based on IP Multicast, a best-effort protocol, which provides no guara...
详细信息
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...
详细信息
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...
详细信息
作者：
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...
详细信息
Distance Learning physically separates the learner from the teacher often forfeiting the traditional support available in a face-to-face model. What are the issues and lessons learned in supporting teachers and learne...
详细信息
ISBN:
(纸本)1595930590
Distance Learning physically separates the learner from the teacher often forfeiting the traditional support available in a face-to-face model. What are the issues and lessons learned in supporting teachers and learners in Distance Learning? The panelists will share their experience and lessons learned. Copyright 2005 ACM.
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.
暂无评论