Abstract: We show that Chebyshev Polynomials are a practical representation of computable functions on the computable reals. The paper presents error estimates for common operations and demonstrates that Chebyshev Polynomial methods would be more efficient than Taylor Series methods for evaluation of transcendental functions.
Abstract: Three-dimensional reconstruction of small objects has
been one of the most challenging problems over the last decade.
Computer graphics researchers and photography professionals have
been working on improving 3D reconstruction algorithms to fit the
high demands of various real life applications. Medical sciences,
animation industry, virtual reality, pattern recognition, tourism
industry, and reverse engineering are common fields where 3D
reconstruction of objects plays a vital role. Both lack of accuracy and
high computational cost are the major challenges facing successful
3D reconstruction. Fringe projection has emerged as a promising 3D
reconstruction direction that combines low computational cost to both
high precision and high resolution. It employs digital projection,
structured light systems and phase analysis on fringed pictures.
Research studies have shown that the system has acceptable
performance, and moreover it is insensitive to ambient light.
This paper presents an overview of fringe projection approaches. It
also presents an experimental study and implementation of a simple
fringe projection system. We tested our system using two objects
with different materials and levels of details. Experimental results
have shown that, while our system is simple, it produces acceptable
results.
Abstract: Sustainable development is highly dependent on the
implementation of environmental education programs, which has as
its ultimate goal to produce environmentally literate citizens that
undertake environmentally friendly actions. Efforts on environmental
education along past years are now perceived on the increase of
citizens awareness on European countries and, particularly, in
Portugal. However, we still have a lack of information on the
prevalence of specific behaviors that contributes to sustainability,
influenced by a new attitude toward the environment. The
determination of pro-environmental behaviors prevalence in higher
education students is an important approach to understand to which
extend the next leading generation is, in practice, committed with the
goals of sustainable development. Therefore, present study evaluates
the prevalence of a specific set of behaviors (water savings, energy
savings, environmental criteria on shopping, and mobility) on the
University of Madeira students and discusses their commitment with
sustainable development.
Abstract: Face detection and recognition has many applications
in a variety of fields such as security system, videoconferencing and
identification. Face classification is currently implemented in
software. A hardware implementation allows real-time processing,
but has higher cost and time to-market.
The objective of this work is to implement a classifier based on
neural networks MLP (Multi-layer Perceptron) for face detection.
The MLP is used to classify face and non-face patterns. The systm is
described using C language on a P4 (2.4 Ghz) to extract weight
values. Then a Hardware implementation is achieved using VHDL
based Methodology. We target Xilinx FPGA as the implementation
support.
Abstract: Biological, psychological and social experiences and
perceptions of healthcare services in patients medically diagnosed of
coronary heart disease were investigated using a sample of 10
participants whose responses to the in-depth interview questions
were analyzed based on inter-and-intra-case analyses. The results
obtained revealed that advancing age, single status, divorce and/or
death of spouse and the issue of single parenting negatively impacted
patients- biopsychosocial experiences. The patients- experiences of
physical signs and symptoms, anxiety and depression, past serious
medical conditions, use of self-prescribed medications, family
history of poor mental/medical or physical health, nutritional
problems and insufficient physical activities heightened their risk of
coronary attack. Collectivist culture served as a big source of relieve
to the patients. Patients- temperament, experience of different
chronic life stresses/challenges, mood alteration, regular drinking,
smoking/gambling, and family/social impairments compounded their
health situation. Patients were satisfied with the biomedical services
rendered by the healthcare personnel, whereas their psychological
and social needs were not attended to. Effective procedural treatment
model, a holistic and multidimensional approach to the treatment of
heart disease patients was proposed.
Abstract: The objective of this study was to develop and compare alternative prediction equations of lean meat proportion (LMP) of lamb carcasses. Forty (40) male lambs, 22 of Churra Galega Bragançana Portuguese local breed and 18 of Suffolk breed were used. Lambs were slaughtered, and carcasses weighed approximately 30 min later in order to obtain hot carcass weight (HCW). After cooling at 4º C for 24-h a set of seventeen carcass measurements was recorded. The left side of carcasses was dissected into muscle, subcutaneous fat, inter-muscular fat, bone, and remainder (major blood vessels, ligaments, tendons, and thick connective tissue sheets associated with muscles), and the LMP was evaluated as the dissected muscle percentage. Prediction equations of LMP were developed, and fitting quality was evaluated through the coefficient of determination of estimation (R2 e) and standard error of estimate (SEE). Models validation was performed by k-fold crossvalidation and the coefficient of determination of prediction (R2 p) and standard error of prediction (SEP) were computed. The BT2 measurement was the best single predictor and accounted for 37.8% of the LMP variation with a SEP of 2.30%. The prediction of LMP of lamb carcasses can be based simple models, using as predictors the HCW and one fat thickness measurement.
Abstract: Real-time object tracking is a problem which involves extraction of critical information from complex and uncertain imagedata. In this paper, we present a comprehensive methodology to design an artificial neural network (ANN) for a real-time object tracking application. The object, which is tracked for the purpose of demonstration, is a specific airplane. However, the proposed ANN can be trained to track any other object of interest. The ANN has been simulated and tested on the training and testing datasets, as well as on a real-time streaming video. The tracking error is analyzed with post-regression analysis tool, which finds the correlation among the calculated coordinates and the correct coordinates of the object in the image. The encouraging results from the computer simulation and analysis show that the proposed ANN architecture is a good candidate solution to a real-time object tracking problem.
Abstract: This paper presents a model for the evaluation of
energy performance and aerodynamic forces acting on a small
straight-bladed Darrieus-type vertical axis wind turbine depending on
blade geometrical section. It consists of an analytical code coupled to
a solid modeling software, capable of generating the desired blade
geometry based on the desired blade design geometric parameters.
Such module is then linked to a finite volume commercial CFD code
for the calculation of rotor performance by integration of the
aerodynamic forces along the perimeter of each blade for a full period
of revolution.After describing and validating the computational
model with experimental data, the results of numerical simulations
are proposed on the bases of two candidate airfoil sections, that is a
classical symmetrical NACA 0021 blade profile and the recently
developed DU 06-W-200 non-symmetric and laminar blade
profile.Through a full CFD campaign of analysis, the effects of blade
geometrical section on angle of attack are first investigated and then
the overall rotor torque and power are analyzed as a function of blade
azimuthal position, achieving a numerical quantification of the
influence of airfoil geometry on overall rotor performance.
Abstract: A good green building design project, designers should consider not only energy consumption, but also healthy and comfortable needs of inhabitants. In recent years, the Taiwan government paid attentions on both carbon reduction and indoor air quality issues, which be presented in the legislation of Building Codes and other regulations. Taiwan located in hot and humid climates, dampness in buildings leads to significant microbial pollution and building damage. This means that the high temperature and humidity present a serious indoor air quality issue. The interactions between vapor transfers and energy fluxes are essential for the whole building Heat Air and Moisture (HAM) response. However, a simulation tool with short calculation time, property accuracy and interface is needed for practical building design processes. In this research, we consider the vapor transfer phenomenon of building materials as well as temperature and humidity and energy consumption in a building space. The simulation bases on the EMPD method, which was performed by EnergyPlus, a simulation tool developed by DOE, to simulate the indoor moisture variation in a one-zone residential unit based on the Effective Moisture Penetration Depth Method, which is more suitable for practical building design processes.
Abstract: This paper aims at overviewing the topics of a research project (CARDIOSENSOR) on the field of health sciences (biomaterials and biomedical engineering). The project has focused on the development of a nanosensor for the assessment of the risk of cardiovascular diseases by the monitoring of C-reactive protein (CRP), which has been currently considered as the best validated inflammatory biomarker associated to cardiovascular diseases. The project involves tasks such as: 1) the development of sensor devices based on field effect transistors (FET): assembly, optimization and validation; 2) application of sensors to the detection of CRP in standard solutions and comparison with enzyme-linked immunosorbent assay (ELISA); and 3) application of sensors to real samples such as blood and saliva and evaluation of their ability to predict the risk of cardiovascular disease.
Abstract: Linear approximation of point spread function (PSF) is a new method for determining subpixel translations between images. The problem with the actual algorithm is the inability of determining translations larger than 1 pixel. In this paper a multiresolution technique is proposed to deal with the problem. Its performance is evaluated by comparison with two other well known registration method. In the proposed technique the images are downsampled in order to have a wider view. Progressively decreasing the downsampling rate up to the initial resolution and using linear approximation technique at each step, the algorithm is able to determine translations of several pixels in subpixel levels.
Abstract: In this paper, the performance of three types of serial
concatenated convolutional codes (SCCC) is compared and analyzed
in additive white Gaussian noise (AWGN) channel. In Type I, only the
parity bits of outer encoder are passed to inner encoder. In Type II and
Type III, both the information bits and the parity bits of outer encoder
are transferred to inner encoder. As results of simulation, Type I shows
the best bit error rate (BER) performance at low signal-to-noise ratio
(SNR). On the other hand, Type III shows the best BER performance
at high SNR in AWGN channel. The simulation results are analyzed
using the distance spectrum.
Abstract: The performance of a sucrose-based H2 production in
a completely stirred tank reactor (CSTR) was modeled by neural
network back-propagation (BP) algorithm. The H2 production was
monitored over a period of 450 days at 35±1 ºC. The proposed model
predicts H2 production rates based on hydraulic retention time
(HRT), recycle ratio, sucrose concentration and degradation, biomass
concentrations, pH, alkalinity, oxidation-reduction potential (ORP),
acids and alcohols concentrations. Artificial neural networks (ANNs)
have an ability to capture non-linear information very efficiently. In
this study, a predictive controller was proposed for management and
operation of large scale H2-fermenting systems. The relevant control
strategies can be activated by this method. BP based ANNs modeling
results was very successful and an excellent match was obtained
between the measured and the predicted rates. The efficient H2
production and system control can be provided by predictive control
method combined with the robust BP based ANN modeling tool.
Abstract: Characterization and evaluation of the activity of Vespa basalis DPP-IV, which expressed in Spodoptera frugiperda 21 cells. The expression of rDPP-IV was confirmed by SDS–PAGE, Western blot analyses, LC-MS/MS and measurement of its peptidase specificity. One-step purification by Ni-NTA affinity chromatography and the total amount of rDPP-IV recovered was approximately 6.4mg per liter from infected culture medium; an equivalent amount would be produced by 1x109 infected Sf21 insect cells. Through the affinity purification led to highly stable rDPP-IV enzyme was recovered and with significant peptidase activity. The rDPP-IV exhibited classical Michaelis–Menten kinetics, with kcat/Km in the range of 10-500 mM-1×S-1 for the five synthetic substrates and optimum substrate is Ala-Pro-pNA. As expected in inhibition assay, the enzymatic activity of rDPP-IV was significantly reduced by 80 or 60% in the presence of sitagliptin (a DPP-IV inhibitor) or PMSF (a serine protease inhibitor), but was not apparently affected by iodoacetamide (a cysteine protease inhibitor).
Abstract: This paper aims to develop a model that assists the
international retailer in selecting the country that maximizes the
degree of fit between the retailer-s goals and the country
characteristics in his initial internationalization move. A two-stage
multi criteria decision model is designed integrating the Analytic
Hierarchy Process (AHP) and Goal Programming. Ethical, cultural,
geographic and economic proximity are identified as the relevant
constructs of the internationalization decision. The constructs are
further structured into sub-factors within analytic hierarchy. The
model helps the retailer to integrate, rank and weigh a number of
hard and soft factors and prioritize the countries accordingly. The
model has been implemented on a Turkish luxury goods retailer who
was planning to internationalize. Actual entry of the specific retailer
in the selected country is a support for the model. Implementation on
a single retailer limits the generalizability of the results; however, the
emphasis of the paper is on construct identification and model
development. The paper enriches the existing literature by proposing
a hybrid multi objective decision model which introduces new soft
dimensions i.e. perceived distance, ethical proximity, humane
orientation to the decision process and facilitates effective decision
making.
Abstract: Different forms of interaction are an integral part of
modern courses. Traditional courses held on-campus might focus on
teacher-student interaction, or student-student interaction, or both.
However when these traditional on-campus courses are to be held as
distance courses there is a risk that these well-designed interactions
will be difficult or impossible to uphold. For example, studentstudent
interaction in traditional project assignments might not work
well if the students are scattered across the world. Thus, even a welldesigned
traditional on-site course cannot without modification be
turned into a distance course. Traditional on-site courses simply have
to be redesigned to become true distance courses. This paper
describes a structured approach which facilitates the redesign of a
traditional course into a distance course. The approach is based on
that the desired forms of course flexibility are identified, and
thereafter that the course activities are redesigned to facilitate
interaction in a distance course. The approach is making use of
known patterns of pedagogic interaction and existing guidelines for
distance education design. The approach is illustrated with an
example course in the field of information systems design.
Abstract: We report the size dependence of 1D superconductivity in ultrathin (10-130 nm) nanowires produced by coating suspended carbon nanotubes with a superconducting NbN thin film. The resistance-temperature characteristic curves for samples with ≧25 nm wire width show the superconducting transition. On the other hand, for the samples with 10-nm width, the superconducting transition is not exhibited owing to the quantum size effect. The differential resistance vs. current density characteristic curves show some peak, indicating that Josephson junctions are formed in nanowires. The presence of the Josephson junctions is well explained by the measurement of the magnetic field dependence of the critical current. These understanding allow for the further expansion of the potential application of NbN, which is utilized for single photon detectors and so on.
Abstract: The scientific community has invested a great deal of effort in the fields of discrete wavelet transform in the last few decades. Discrete wavelet transform (DWT) associated with the vector quantization has been proved to be a very useful tool for the compression of image. However, the DWT is very computationally intensive process requiring innovative and computationally efficient method to obtain the image compression. The concurrent transformation of the image can be an important solution to this problem. This paper proposes a model of concurrent DWT for image compression. Additionally, the formal verification of the model has also been performed. Here the Symbolic Model Verifier (SMV) has been used as the formal verification tool. The system has been modeled in SMV and some properties have been verified formally.
Abstract: In the present paper, we propose numerical methods for solving the Stein equation AXC - X - D = 0 where the matrix A is large and sparse. Such problems appear in discrete-time control problems, filtering and image restoration. We consider the case where the matrix D is of full rank and the case where D is factored as a product of two matrices. The proposed methods are Krylov subspace methods based on the block Arnoldi algorithm. We give theoretical results and we report some numerical experiments.
Abstract: In recent past, the Unified Modeling Language (UML) has become the de facto industry standard for object-oriented modeling of the software systems. The syntax and semantics rich UML has encouraged industry to develop several supporting tools including those capable of generating deployable product (code) from the UML models. As a consequence, ensuring the correctness of the model/design has become challenging and extremely important task. In this paper, we present an approach for automatic verification of protocol model/design. As a case study, Session Initiation Protocol (SIP) design is verified for the property, “the CALLER will not converse with the CALLEE before the connection is established between them ". The SIP is modeled using UML statechart diagrams and the desired properties are expressed in temporal logic. Our prototype verifier “UML-SMV" is used to carry out the verification. We subjected an erroneous SIP model to the UML-SMV, the verifier could successfully detect the error (in 76.26ms) and generate the error trace.