AINTEC 2010, the 6th Asian Internet Engineering Conference, Nov. 16 – 17, 2010, Bangkok, Thailand. Deadline for submission: Aug. 1, 2010.
The 6th Asian Internet Engineering Conference (AINTEC) provides an
international technical forum for experts from industry and academia,
especially aiming at addressing issues pertinent to the Asia and
Pacific region with vast diversities of socio-economic and networking
conditions while inviting high quality and recent research results
from the global Internet research community. AINTEC 2010 follows the
five successful editions held in Thailand.
The conference is single-track and features a technical program with
significant opportunities for individual and small-group discussions
among a diverse set of participants. The technical sessions will
include invited talks by leading experts, presentations of papers,
demos, posters and pre-conference activities ( 21st Asian School on
Computer Science on Nov. 13 – 14 November 2010 ).
AINTEC 2010 solicits high quality papers that improve digital
communications in diverse situations, represented as "Challenged
Areas of interest include, but are not limited to the followings:
Networking technologies in developing regions
Emergency networks and dependable infrastructures
Ad hoc and sensor networking and applications
Wireless and mobile networks
Delay and disruption tolerant networks
Autonomic and situated communications
New networking paradigm and architecture
Location management and positioning
Internet measurement, analysis and modeling
Peer-to-peer and overlay networks
Multimedia systems and applications
Network operations and management
Submissions must be original, unpublished, and not have been submitted
to another conference or journal for publication. Papers must be
submitted in electronic format following the instructions provided on
the AINTEC web site and must be less than 8 pages in the 10pts "SIGCOMM format". AINTEC' 2010 proceedings will be included in the ACM
Digital Library. Submission of a paper implies that should the paper
be accepted for publication in the conference proceedings, at least
one of the authors will register and present the paper in the
Using simulations to test observation protocols. Application to
epidemiological surveillance, by Bruno Bonté, PhD student, CIRAD, France.
Wednesday, Nov. 10, 2010, 12:00, CSIM #107.
Actors and decision makers of any socio-ecological system face commune
issues. Knowledge on the system behaviour is approximative, data on the
system state is incomplete, and thus consequences of actions are
unclear. For these reasons, modelling and simulation theory can be used,
in order to transpose discussions from the complex and unknown real
system to simpler and entirely known models of this system. My PhD
focuses on the experimentation process: What is the experimentation
process to follow with the model? And how to automatize this process?
Epidemiological surveillance consists in monitoring epidemics spread. It
is taken as an example to illustrate these questions. The surveillance
system is the sociological system on which decisions have to be taken.
In a first part, I will present my material and methods: the
simulation formalism I use, as well as the software systems I used to
build simulators, analyse simulation results, and control source versions.
Then in a second part, I will present ongoing work: A formal framework
of model experimentation process and its implementation; The main
structure of the coupling between the model of disease spread and the
model of observation protocol performed by disease surveillance; How I
plan to experiment this coupled model to help decision makers choosing
the best observation protocol.
Finaly I will briefly present future work: I would like to use
experiment process formalisation to perform data assimilation (using
surveillance data to calibrate disease spread model during the epidemics).
Termination of Imperative Programs via Term Rewriting, by Prof. Deepak Kapur, Department of Computer Science, University of New Mexico.
Thursday, Nov. 4, 2010, 13:30, CSIM #209.
Termination techniques and tools from term rewriting literature
are proposed for showing termination of imperative programs
working on numbers. An imperative program is translated to a
constrained rewrite system in which rewrite rules are applicable
only at the top most level. Constraints are simple number
theoretic relations on program variables, expressible in
quantifier-free Presburger arithmetic. A rewriting sequence is
proved to directly mimic computations of an imperative
program. Termination of such rewrite systems is shown by adapting
the dependency pair method and the associated dependency pair
framework to the constrained equational rewrite system modulo
Presburger arithmetic. The proposed approach has been used to
prove termination of a large class of imperative programs.
Agile at Proteus, by Chokchai Phatharamalai and Nattanicha Rittammanart.
Friday Jul. 16, 11:00, CSIM #209.
Two CSIM-SE alumni will host an interactive discussion on
their exciting life inside an Agile software development company: their
responsibilities, the practices they use, their working environment, and
opportunities for internships and jobs.
What I love about Ruby, by Keith Bennett, software developer, Bennett Business Solutions, Inc., Reston, USA.
Friday, Feb. 19, 2010, 15:00, CSIM.
The talk is just an introduction to the features of the language I like the best. It will not cover Ruby on Rails (the most popular web framework in Ruby), but just the Ruby language itself, which, by the way, is awesome.Live coding is expected during the session so you can consider intalling Ruby on your machine before the lecture.
Talk on computer imaging and real time image processing, by Prof. Mohd Zaid Abdullah, Dean of the School of Electrical & Electronic Engineering, Universiti Sains Malaysia.
Thursday, Feb. 4, 2010, 13:30, TC.
Since the original discovery of x-rays by German physicist Willhem
Conrad Röntgen in 1896, computer imaging has proven itself as
versatile technique for non-destructive testing of material of prime
importance in medical and general industries. Today CT has become a
standard technique for medical imaging with modern state-of-the art
machine can produce images with resolution reaching sub-micrometer
scale, and at a speed of les than 1 second per frame. Even though
research in this area is still progressing, however, efforts are now
more focused in extending the range of clinical applications of CT and
in lowering the cost of CT examination.
The greatest strength of CT lies in its ability to resolve smaller
objects with dimension comparable to its wavelength. However the major
drawback is due to the fact this system utilises radioactive sources
which produce ionising radiation. Consequently, this limits the use of
CT for applications outside medical fraternity except for few special
cases only. For this reason many developments have taken place as
early as in 1980s, focussing towards developing alternative computer
imaging systems which are relatively safe and produce no harmful
effects. As a result numbers of imaging modalities employing
monochromatic sources like electrical currents and electromagnetic
radiation have been developed and tested in the laboratories. Although
these technologies are safe combined with the fact that they are
relatively cheap to produce, however, their spatial resolutions have
a fundamental limit set by the wavelength of the signal used.
Typically the resolutions produced by this system are few tens of
centimeters at 2 MHz compared to less than 1 mm in conventional CT. At
first sight it might be seen the resolution could be improved by
increasing the frequency, but unfortunately electrical signals are
attenuated with increasing frequency due to skin effect. Resultantly
the depth of penetration decreases as the frequency increases.
Therefore, successful deployments of non-ionising based imaging
systems are limited to applications in which the targets are located
closed to the surface. For this reason there was very little
development surrounding the use of electrical signals for computer
imaging, and no significantly new method has been published in last 10
years. Only improving the existing techniques and developing new
applications have been reported. Recent technological advances in
microwave communication, array processor and image processing software
are set to reverse this trend. The new milestone in computer imaging
actually arrived in late 2001s when ultrawide wide band (UWB) radio
officially came into existence, inviting major advances in wireless
communication, networking, radar and positioning systems. Unlike
monochromatic signals, UWB features an ultra-short low-power waveform
occupying new FCC bandwidth of 3.6-10.1 GHz. As information resembling
pulses with ultra-short duration have UWB spectral occupancy, UWB
system comes with two unique advantages. First UWB enhances
capability to penetrate through obstacles with pronounced sensitivity
to scattering. Second, UWB enables super-resolution imaging reaching
the scale at the centimeter level. With these attractive features,
interest in UWB devices for imaging applications has increased
drastically in the last five years. To-date, various image processing
techniques and algorithms for reconstruction have been proposed and
investigated. The method based on the finite difference time domain is
one of the recently emerging techniques for reconstructing UWB images.
Research indicated that the FDTD based solver is capable of resolving
objects smaller to one third than the wavelength, and resolution
reaching sub-millimeter in range. Recent progress shows that the
spatial resolution of less than 0.3 % is easily achievable with high
as well as low contrast targets. It is expected that this figure can
further be improved with the increasing sophistication in the image
capturing hardware and image reconstruction software. This opens the
possibility in applying this technique for routine medical imaging as
well as engineering investigations. At present, there is obviously
vigorous development taking place in this field. However, to fully
exploit the benefits of UWB technology, enhanced interdisciplinary
links need to be established across the signal processing and
electromagnetic computing communities. Today research in signal
processing for UWB is still at its infancy, offering limited resources
in handling the challenges facing UWB applications. On the other hand
digital image processing techniques have matured for conventional
sensors, and large body of imaging products have been produced from
recent advances in electronic instrumentation. At the same time DSP
based design also enjoy process portability, low sensitivity to
component variability as well as benefits from Moores law. The talk
focusses on computer imaging research and real-time image processsing
which are actively pursued at Universiti Sains Malaysia.
An ongoing project for digitizing traditional culture, by Dr. Cary Laxer, head of the Computer Science Department, Rose-Hulman Institute of Technology.
Tuesday, Jan. 12, 2010, 14:30, CSIM #209.
The Surin Folk Festival brings together many people from various cultures. Festival organizers would like to digitally preserve the festival, so that future generations of people can observe the many traditions that are displayed at the festival, as well as to have interested people research the sustainable practices that have survived for thousands of years in these cultures. A multi-institutional, multi-disciplinary, international team of faculty and students will work on this project; currently the United States, New Zealand, and Thailand are represented. The project provides opportunities for students to learn about new cultures, and to work with other students from around the world.
This project is the first of hopefully many designed to encourage university students from around the world to apply their IT expertise towards problems in sustainable development. If you are interested in this project, or have ideas where future projects could focus, please join us this afternoon at 14h30. Please pass this invitation on to others who might also be interested in this type of project.