Status report: specifying JavaScript with ML

The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applications. This “definitional interpreter ” serves many purposes: a high-level and readable specification language, an executable and testable specification, a reference implementation, and an aid in driving the design process. We describe the design and specification of JavaScript and our experience so far using Standard ML for this purpose. Categories and Subject Descriptors D.2.1 [Software Engineering]: Requirements/Specifications—Languages; D.3.1 [Programmin

Automated knowledge capture in 2D and 3D design environments

In Life Cycle Engineering, it is vital that the engineering knowledge for the product is captured throughout its life cycle in a formal and structured manner. This will allow the information to be referred to in the future by engineers who did not work on the original design but are wanting to understand the reasons that certain design decisions were made. In the past, attempts were made to try to capture this knowledge by having the engineer record the knowledge manually during a design session. However, this is not only time-consuming but is also disruptive to the creative process. Therefore, the research presented in this paper is concerned with capturing design knowledge automatically using a traditional 2D design environment and also an immersive 3D design environment. The design knowledge is captured by continuously and non-intrusively logging the user during a design session and then storing this output in a structured eXtensible Markup Language (XML) format. Next, the XML data is analysed and the design processes that are involved can be visualised by the automatic generation of IDEF0 diagrams. Using this captured knowledge, it forms the basis of an interactive online assistance system to aid future users who are carrying out a similar design task

Collaborative decoding of critical tokens for boosting factuality of large language models

The most common training pipeline for large language models includes pretraining, finetuning and aligning phases, with their respective resulting models, such as the pretrained model and the finetuned model. Finetuned and aligned models show improved abilities of instruction following and safe generation, however their abilities to stay factual about the world are impacted by the finetuning process. Furthermore, the common practice of using sampling during generation also increases chances of hallucination. In this work, we introduce a collaborative decoding framework to harness the high factuality within pretrained models through the concept of critical tokens. We first design a critical token classifier to decide which model to use for the next token, and subsequently generates the next token using different decoding strategies. Experiments with different models and datasets show that our decoding framework is able to reduce model hallucination significantly, showcasing the importance of the collaborative decoding framework.Comment: work in progres

TOK: developing a tangible platform for storytelling

This paper describes a first study of a tangible interface, consisting of a platform and a set of picture cards that children can use to create stories. The handling of the picture cards has shown to be highly motivating and engaging, helping children to build a storyline creating logical relations among different characters and objects. The interface works like an experimental space where children can play with the language and simultaneously reflect over it, individually or in a collaborative process. We present the design of the first prototype and the data collected with two groups of five years old preschoolers and report our findings regarding the interaction design, as well as a reflection over future work.Fundação para a Ciência e a Tecnologia (FCT) - projeto PTDC/CPE-CED/110417/2009 "Developing the next Generation of Hybrid Learning Materials

Efficient Design and Synthesis of Decimation Filters for Wideband Delta-Sigma ADCs

A design methodology for synthesizing power-optimized decimation filters for wideband Delta Sigma (ΔΣ) analog-to-digital converters (ADCs) for next-generation wireless standards is presented. The decimation filter is designed to filter the out-of-band quantization noise from a fifth-order continuous-time ΔΣ modulator, with 20 MHz signal bandwidth and 14-bits resolution. The modulator employs an oversampling ratio (OSR) of 16 with a clock rate of 640 MHz. Retiming, pipelining, Canonical Signed Digits (CSD) encoding has been utilized along with an optimized halfband filter to realize the power savings in the overall decimation filter. A process flow to rapidly design the optimized filters in MATLAB, generate the hardware description language (HDL) code and then automatically synthesize the design using standard cells has been presented. The decimation filter is implemented using standard cells in a 45 nm CMOS technology occupies a layout area of 0.12 mm2 and consumes 8 mW power from the 1.1 V supply

Hardware and Software Codesign for Multimedia Capable Portable Devices using SystemC

Multimedia capable portable devices such as 3G phones will host a variety of new applications. Although the underlying push for new applications in such devices is driven by the increase in bandwidth offered by 3G, it is clear that many of the “new” applications will require the provision of new and powerful graphics/video technology within the mobile device itself. Within a computing device, high bandwidth and computational cost are associated with anything but the simplest of graphics, and as a result the graphics subsystem is generally one of the most critical elements of a system, requiring particular attention in the design process. The project is examining the suitability of SystemC, a system description language, for Hardware/Software Codesign of a graphics system in a typical next generation WAP compatible device

Webpage design optimization using genetic algorithm driven CSS

In the rapid emergence of globalization, e-commerce, and internet accessibility in remote parts of the world, ongoing feedback and participation from site visitors are essential for attaining clear and effective communication on a web site. This thesis presents a computational experiment for optimizing design of a webpage in an evolutionary manner. Webpage personalization is viewed as a configuration problem whose goal is to determine the optimal presentation of a webpage while taking into account the preference of the web author (designer), layout constraints (web design/editing language: HTML, CSS), and viewer interaction with the browser. The study proposes use of genetic algorithm-driven Cascading Style Sheets (CSS) to assist the process of webpage design optimization. This method will engage visitors to remotely modify and enhance the style (type, layout and color) of web site to fit their aesthetic and functional representation of well-received design. The preference feedback from user will be stored in an application server for automated evolutionary selection process and reinitialized for the next generation of users. Through the experimentation of web prototype and user evaluation test, the implementation of this method is examined and the derived design solutions are analyzed based on web aesthetics, standards, and accessibility