ppxscal/embedding_network huggingface dataset:
Negotiation of meaning and co-construction of knowledge: An experimental analysis of asynchronous online instruction
Authors: Darrell M. Hull, Terrill F. Saxon
Venue: Computers Education (2009)

Variations in group co-construction of knowledge and the extent to which participants engaged in negotiating meaning were directly related to instruction. The authors examined social interaction resulting from controlled variation in instruction using a counter-balanced design in two professional development courses for teachers. Both courses were held at the same time, included the same content with the same instructor, and were held in an asynchronous online format. Twenty-four subjects were randomly assigned to the two courses. Using socio-historical constructivist theory to guide instruction interventions, instruction frequency and questioning were intentionally manipulated during one-half of each course. The variations in instruction were hypothesized to promote negotiation of meaning and co-construction of knowledge within both groups. Transcript analysis using a dependent measure of social interaction was applied to the 782 utterances of the participants. Multiple comparisons revealed significant differences in the dependent measure in portions of the course where modified instructional strategies were implemented. The results show that relatively simple alterations in instructional practice (e.g., increasing instructional statements from once to twice per week and engaging participants in dialogue through open-ended questioning) yields a substantially enhanced learning outcome within this environment. Strong evidence suggests that online learning groups depend heavily on instruction to facilitate negotiation of meaning and co-construction of knowledge. This research raises concerns about whether or not instructors employ instructional strategies that influence social knowledge construction and subsequent learning outcomes from asynchronous online courses. In addition, the study demonstrates the utility of a previously published measure for social interaction in CMC.
Management of I.T., Changes, Risks, Workshops, Epistemology
Authors: Andreas Sofroniou
Venue:  (2007)

The compilation of five Management related books: 1. THE I.T. BOOK AIMS TO FILL A GAP IN THE CURRENT BUSINESS AND TUTORIAL LITERATURE. 2. MANAGEMENT OF CHANGES TO I.T. DEALS WITH THE CHANGES OF SYSTEMS, CONFIGURATIONS, RELEASES AND ASSETS AS A WHOLE GROUP OF ACTIVITIES. 3. I.T. RISKS. AN UNCERTAIN EVENT, WHICH MAY HAVE AN ADVERSE EFFECT ON THE PROJECT'S OBJECTIVES. 4. PROGRAMMES WORKSHOP DEALS WITH THE MANAGEMENT OF PROJECTS, WHERE ESTABLISHED PROCEDURES AND VARIOUS DEVELOPMENT METHODS ARE EXPLAINED. 5. EPISTEMOLOGY: THE PHILOSOPHICAL CONCEPTS OF MANAGEMENT THROUGH THE AGES. THE PROCESS OF MANAGING A TEAM INVOLVES THE INTERACTION OF PEOPLE WHERE INDIVIDUALS CONTRIBUTE TO THE RUNNING OF AN ORGANISATION, A GOVERNMENT, OR THE COMPLETION OF A TASK. Andreas Sofroniou, DSc PhD PsD ExecMBA CEng FIoD, is a practising psychotherapist, an executive with international organisations and an adviser to governments.
Metal chamber temperature control by using fuzzy PID gain auto-tuning strategy
Authors: Shiuh-Jer Huang, Yi-Ho Lo
Venue: WSEAS Transactions on Systems and Control (2009)

Although PID control scheme is widely employed in industrial control systems, it is hard to search the model-free appropriate control gains for achieving good dynamic performance. The selected constant PID control gains can not achieve consistent control accuracy for different temperature setting points or testing runs. In addition, the temperature control system has nonlinear time-delay, time-varying, slow response speed and one-way control input characteristics, it is also difficult to accurately estimate the dynamic model for designing a model-based general purpose temperature controller to achieve good control performance. Recently, temperature is become an important production control parameter in chemical and semiconductor industry. How to design an appropriate gains auto-tuning control strategy for achieving accurate temperature control accuracy has become an interesting research topic. Here two model-free auto-tuning PID and fuzzy PID control strategies are introduced to design a general temperature controller for different plants. The designed temperature control plants have heater control phase only without cooling control function. The experimental results show that these control schemes can obtain reasonable control performance. The steady state error of the step input response is less than 0.2°C without overshoot. The setting point dynamic response behaviour is better than that of the model-based IMC-PID due to the modelling uncertainty and modelling error.
Using Asset Teams to Design Mass-Customizable Next-to-Skin Apparel
Authors: Patrick Kinnicutt, Tanya Domina, Terence Lerch, Maureen Macgillivray
Venue: Computer Supported Cooperative Work in Design IV: 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers (2008)

Much research has been done in recent years in the apparel industry to incorporate different fabrics, mesh designs, nanomaterials and "smart fabrics" for sports, first responder and military apparel. One application of these technologies exists in next-to-skin apparel, where combinations of varying fabrics and/or finishes are being used to provide thermal and moisture management. This paper describes a case study showing how asset teams may effectively communicate to develop multidisciplinary solutions to design problems. In particular, the workflow used to develop a database of the thermal distributions of the human torso will be discussed. This database will be data mined to determine whether the mass-customization of next-to-skin apparel designed to optimize thermal and moisture management is feasible or not.
A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

This paper proposes a formal framework for the specification, analysis and generation of standardized hypermedia documents. This framework is based on the Hierarchical Time Stream Petri Net (HTSPN) model adapted to the specification of temporal and logical constraints in distributed hypermedia systems. The interpreted HTSPN model presented in the paper allows the accurate and unambiguous specification of hypermedia documents. Moreover, it permits powerful analysis techniques to be applied for insuring the quality of hypermedia documents. It is important for a HTSPN specification to be stocked, exchanged and presented within open hypermedia systems. Therefore, a procedure translating interpreted HTSPN specification into an MHEG representation is also proposed. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Autonomous collaborative environment for project-based learning
Authors: Mihoko Otake, Ryo Fukano, Shinji Sako, Masao Sugi, Kiyoshi Kotani, Junya Hayashi, Hiroshi Noguchi, Ryuichi Yoneda, Kenjiro Taura, Nobuyuki Otsu, Tomomasa Sato
Venue: Robotics and Autonomous Systems (2009)

The importance of integrating different disciplines of information science and technology is growing for the realization of an information system which works robustly in the real world. Such a system should be achieved by integrating different disciplines, since it is difficult to cover all areas in information science and technology by only one person or group. In order to support collaboration, the autonomous collaborative environment for project- based learning was developed. The environment comprises the workshop ''A Hundred Hour Workshop'' and the community site ''WS100H.NET''. Novel interdisciplinary technology, fusion of recognition and parallel computation was successfully developed whose collaboration process was autonomous.
Design and Verification of Fault-Tolerant Components
Authors: Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn
Venue: Methods, Models and Tools for Fault Tolerance (2009)

We present a systematic approach to design and verification of fault-tolerant components with real-time properties as found in embedded systems. A state machine model of the correct component is augmented with internal transitions that represent hypothesized faults. Also, constraints on the occurrence or timing of faults are included in this model. This model of a faulty component is then extended with fault detection and recovery mechanisms, again in the form of state machines. Desired properties of the component are model checked for each of the successive models. The models can be made relatively detailed such that they can serve directly as blueprints for engineering, and yet be amenable to exhaustive verification. The approach is illustrated with a design of a triple modular fault-tolerant system that is a real case we received from our collaborators in the aerospace field. We use UPPAAL to model and check this design. Model checking uses concrete parameters, so we extend the result with parametric analysis using abstractions of the automata in a rigorous verification.
Towards Verification of Java Programs in perICS
Authors: Andrzej Zbrzezny, Bożena Woźna
Venue: Fundamenta Informaticae (2008)

VerICS is a tool for the automated verification of timed automata and protocols written in both the Intermediate Language and the specification language Estelle. Recently, the tool has been extended to work with Timed Automata with Discrete Data and with multi-agent systems. This paper presents a prototype Timed Automata with Discrete Data model of Java programs. In addition, we show how to use the model together with the verification core of VerICS to validate the well-known alternating bit protocol written in Java.
Real-Time Embedded Multithreading Using ThreadX and MIPS
Authors: Edward L. Lamie
Venue:  (2008)

Real-Time Embedded Multithreading contains the fundamentals of developing real-time operating systems and multithreading with all the new functionality of ThreadX Version 5. This MIPS edition covers all the new ThreadX 5 features including Real-Time Event-Chaining, Run-Time Performance Metrics, and Run-Time Statck Analysis as specified for MIPS. ThreadX has been deployed in approximately 500 million devices worldwide including cell phones, digital cameras, and laser printers. General concepts and terminology are detailed along with problem solving of common pitfalls. The features and services of ThreadX are reviewed. The book is technology agnostic and applicable to all types of microprocessors. *A great introduction to real-time systems including general concepts and terminology*An insider shares his knowledge on ThreadX 5, a real-time operating system*A limited version of the ThreadX 5 software is packaged on a CD-ROM with the bookto run all sample projects and the case study
A bayesian framework to integrate knowledge-based and data-driven inference tools for reliable yield diagnoses
Authors: Chih-Min Fan, Yun-Pei L
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

This paper studies the issues of designing a Bayesian framework for the reliable diagnosis of various yield-loss factors induced in semiconductor manufacturing. The proposed framework integrates both the results from knowledge-based and data-driven inference tools as input data, where the former resembles expert's knowledge on diagnosing pre-known yield-loss factors while the latter serves for exploring new yield-loss factors. Three modules with specific designs for yield diagnosis applications are addressed: Pre-Process for generating candidate factors and corresponding prior distributions, Bayesian Inference for calculating posterior distributions, and Post-Process for deriving reliable rankings of candidate factors. The final output, a Bubble Diagram with Pareto Frontier, provides visual interpretations on the integral results from data-driven, knowledge-based and Bayesian inference tools. Specific issues addressed in the proposed Bayesian framework provide directions for implementing a real system.
Based on B/S of the three-tier architecture of the questions the management system
Authors: Aimin Yang, Junping Wu, Lixia Wang
Venue: Proceedings of the 3rd WSEAS international conference on Computer engineering and applications (2009)

With the deep development of computer technology and network technology, long-distance education has become an important part of modern education. In order to lighten teachers' work of making up questions and check students' study condition more reasonably, a set of test questions management system is necessary. This article introduces a set of three-layer test question base management system based on B/S which is design by using ASP, NET and Access tools. The system can realize the dynamic addition, modification and managing intelligentization test paper of all kinds of test questions, which greatly lightens teachers' work and meanwhile provide reformation thought for impersonal proposition.
Three-Dimensional Visualization of Wheat Simulation Results
Authors: Yeping Zhu, Shijuan Li
Venue: Proceedings of the 2009 Second International Symposium on Intelligent Information Technology and Security Informatics (2009)

The wheat three-dimensional visualization system was designed and developed in accordance with wheat growth regularity by using the technologies of 3D animation, computer component and crop simulation to show the result of crop model. This model simulates wheat physiological process after inputting necessary parameters and produces day-to-day production data. The visualization system shows wheat growth and environmental changing vividly day by day in order to make wheat production more comprehensive for user. For example, it can express the whole process from sowing to germination, tillering, jointing, anthesis and maturing, and show the instant condition of soil water and nitrogen and rainfall. The author introduced system design and development method, then presented how to build wheat visualization model and develop the components.
Hybrid Heuristics for Multi-mode Resource-Constrained Project Scheduling
Authors: Celso Tchao, Simone L. Martins
Venue: Learning and Intelligent Optimization: Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers (2008)

This paper describes some tabu search based heuristics with path relinking for the multi-mode resource-constrained project scheduling problem. Path relinking is used as a post optimization strategy, so that it explores paths that connect elite solutions found by the tabu search based heuristics. Computational results show that path relinking is able to improve the tabu search based heuristics, and that these hybrid heuristics are able to find good quality solutions in quite short computational times.
Intelligent products: From lifecycle data acquisition to enabling product-related services
Authors: Xiaoyu Yang, Philip Moore, Seng Kwong Chong
Venue: Computers in Industry (2009)

In this paper key components in an intelligent product are defined and an associated intelligent product model is formulated. In this model, each product is equipped with an Intelligent Data Unit that connects to a regional back-end service enabler over the Communication Support Infrastructure (e.g. Internet) for lifecycle data transmission. An Intelligent Data Unit is a hardware device that consists of sensors, a controller, memory and data communication interface, which can be embedded into the product to acquire the lifecycle data. A service enabler is a software agent that receives the lifecycle data, and uses it to enable services and provide useful information and knowledge. The analysis and design of a service enabler is described, and a prototype service enabler is developed. It has been demonstrated in field trials that intelligent products built in this way can enable suitable product-related services.
Visible Space by Landscape Recognition by Local Inhabitants and the Composition
Authors: Hirotomo Ohuchi, Satoshi Yamada, Setsuko Ouchi
Venue: Proceedings of the 2009 International Conference on Advanced Geographic Information Systems & Web Services (2009)

This study discusses the relationship between the extent of the sphere of cognition by local inhabitants in a coastal fishing area and the physical environment, as ascertained from a questionnaire survey of local inhabitants. The object is 59 coastal fishing villages (Izu and Bousou peninsulas in Japan) in which the sea, a town, and a mountain are considered as one, and the object has complicated geographic features. We have researched the complexity and metamorphosis patterns of common areas in coastal fishing regions using the sphere graphic method. Based on research, this study analyzes the explicate order and the implicate order formed from the mutual relationship of the cognitive region and visibility, and determined the relationship between cognitive attribution and visibility. We analyzed the visibility with a visible region image using the 3-dimensional shade picture, which applied inverse-square damping, which is an approximation of human visual recognition and is obtained from a spread of light. From the above analysis, the correlativity of cognitive attribution and visibility by landscape recognition by the local inhabitants was shown, and its composition was determined.
A Garbage Collection Technique for Embedded Multithreaded Multicore Processors
Authors: Sascha Uhrig, Theo Ungerer
Venue: Proceedings of the 22nd International Conference on Architecture of Computing Systems (2009)

Multicore processors get more and more popular, even in embedded systems. Due to the deeply integrated threading concept, Java is a perfect choice to deal with the necessary thread-level parallelism required for the performance potential of a multicore. Accordingly, the software developers are familiar with the threading concept, which means that single core applications already fit very well on a multicore processor and are able to utilize its advantage. Nevertheless, a drawback of Java has to be mentioned: the required garbage collection. Especially in multicore environments the most often used stop-the-world collectors reach their limits because all cores have to be suspended at the time a single thread requires a garbage collection cycle. Hence, the performance of the other cores is harmed tremendously. In this paper we present a garbage collection technique that runs in parallel to the application threads within a multithreaded multicore without any stop-the-world behavior.
Comparing First-Fit and Next-Fit for Online Edge Coloring
Authors: Martin R. Ehmsen, Lene M. Favrholdt, Jens S. Kohrt, Rodica Mihai
Venue: Proceedings of the 19th International Symposium on Algorithms and Computation (2008)

We study the performance of the algorithms First-Fit and Next-Fit for two online edge coloring problems. In the min-coloring problem, all edges must be colored using as few colors as possible. In the max-coloring problem, a fixed number of colors is given, and as many edges as possible should be colored. Previous analysis using the competitive ratio has not separated the performance of First-Fit and Next-Fit, but intuition suggests that First-Fit should be better than Next-Fit. We compare First-Fit and Next-Fit using the relative worst order ratio, and show that First-Fit is better than Next-Fit for the min-coloring problem. For the max-coloring problem, we show that First-Fit and Next-Fit are not strictly comparable, i.e., there are graphs for which First-Fit is better than Next-Fit and graphs where Next-Fit is slightly better than First-Fit.
J-map for quantum dot cellular automata
Authors: Hanan Ahmed Hossni Mahmoud Abd Alla
Venue: Proceedings of the 8th conference on Signal processing, computational geometry and artificial vision (2008)

In CMOS technology AND-OR combination logic is used because of the ease of its minimization using different established methodologies such as K-map. On the other hand, majority gate-based logic is not handled well in standard CMOS technologies, primarily because of the hardware inefficiencies in creating majority gates. As a result no optimization techniques of circuits based on majority gates were established. Emerging technologies specifically, quantum-dot cellular automata (QCA) uses majority gate as a fundamental logic primitive instead of the AND-OR combination gates. We report an intuitive systematic methodology J-map minimization technique for reduction of 3-variable Boolean functions into a simplified majority representation. The main contribution of this work is the general and systematic way the new approach can be applied. All attempts in the literature were complex and lacked the systematic approach we are offering. The design of full adder cell will be presented using the new technique.
Realization of Breadth-first Searches Based AI Properties of VCN
Authors: Qiu-Sun Ye
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

This paper makes an analyzing & discussing of Breadth-first Search technology of both FCN and VCN in searching without information, and points out that, merits and demerits of two Numbers on searching without information. And then, it gives a novel realization method of Breadth-first Search in problem-solving which sometimes we should think simultaneously over the intelligent properties of VCN, and gives out an example of the problem-solving method, i.e. the problem-solving such as catching fish with casting a net or boy-herder picks peaches by climbing up a tree.
It's not that important: demoting personal information of low subjective importance using GrayArea
Authors: Ofer Bergman, Simon Tucker, Ruth Beyth-Marom, Edward Cutrell, Steve Whittaker
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

Users find it hard to delete unimportant personal information which often results in cluttered workspaces. We present a full design cycle for GrayArea, a novel interface that allows users to demote unimportant files by dragging them to a gray area at the bottom of their file folders. Demotion is an intermediate option between keeping and deleting. It combines the advantages of deletion (unimportant files don't compete for attention) and keeping (files are retrieved in their folder context). We developed the GrayArea working prototype using thorough iterative design. We evaluated it by asking 96 participants to 'clean' two folders with, and without, GrayArea. Using GrayArea reduced folder clutter by 13%. Further, 81% of participants found it easier to demote than delete files, and most indicated they would use GrayArea if provided in their operating systems. The results provide strong evidence for the demotion principle suggested by the user-subjective approach.