This paper describes design principles that were extracted from the profiles of products redesigned to be more environmentally benign. These extracted principles will be used to support the work of creating a Design for Environment (DfE) methodology called ENVRIZ that provides product designers with a procedure for creating more environmentally benign products and overcoming environmental contr...

This short discussion introduces the new Special Section on Advanced FIA Data Analysis that has been recently created in the Mathematical and Computational Forestry & Natural-Resource Sciences (MCFNS) journal as a result of collaboration between the journal editors and scientists of the U.S. Forest Service, FIA (Forest Inventory Analysis) program. This section contains three papers, all of whic...

This paper reviews the principles behind the paradigm of “abstract interpretation via -valued logic,” discusses recent work to extend the approach, and summarizes ongoing research aimed at overcoming remaining limitations on the ability to create programanalysis algorithms fully automatically.

There is usually two parts to the definition of a (programming) language. The first part is what is called the syntax, that is, the sequence of characters, the language constructs (building blocks) that allow one to construct a program in that language. The second part of a language definition is what is termed as the Semantics of the language. Semantics often refers to the behaviour of a progr...

This paper explains the transformation of Pancasila as an institution that governs state religion relations in Indonesia. Why has Pancasila been stable at the national level but discontinuous at the subnational level since Indonesia’s democratic transition and decentralization? By tracing Pancasila’s history back to its origin, this paper demonstrates that territorial interest has been an impor...

The sectionr presents the summary of talk in the RoboCup Workshop at Blaubeuren, Germany, Oct. 4-5th after the RoboCup-2003 Symposium. The talk starts from the early beginning of RoboCup and raised the future issues towards the final goal, that is, roadmap discussion and its related issue. Finally, new activities for RoboCity CoRE was

ABSTRACT We analyze the database research publications of four major core database technology conferences (SIGMOD, VLDB, ICDE, EDBT), two main theoretical database conferences (PODS, ICDT) and three database journals (TODS, VLDB Journal, TKDE) over a period of 10 years (2001 2010). Our analysis considers only regular papers as we do not include short papers, demo papers, posters, tutorials or p...