The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate methods have been proposed primarily to deal with state-space explosion that makes the exact model checking by numerical methods practically infeasible for large systems. However, the existing statistical methods either consider...
Cold rolled and annealed interstitial free high strength (IFHS) steels show various kinds of precipitates. Out of these, FeTiP is the most deleterious, since its formation leads to a loss of strength as well as degradation of the formability of the steel. This effect is much more pronounced in batch annealed IFHS steels than in their continuous annealed counterparts. The harmful effects of FeTiP precipitation...
We will outline some of the important problems of extending the relational model for processing statistical data bases. We achieve this by augmenting to relational algebra few more numerical operations without altering the relational algebra. This algebra is referred to as statistical relational algebra. Applications of this extended extended relational model for solving some common statistical problems...
Evaluation of biomass concentration is an important problem encountered in many microbial and other bioprocesses. It determines the catalytic activity of the microbial cell in a given time. Various direct and indirect methods for the estimation of biomass have been developed using physical and biochemical techniques. Despite many promising classical methods available, the evaluation of microbial growth...
Wearable antenna is a planner structure microstrip antenna used in Body Area Network (BAN). In this paper, one single band and two multiband wearable antennas are reported. Wearable materials like curtain cotton and polycot has been used as dielectric substrate to design the antennas. Antenna-1 is single band antenna. First order Koch snowflake fractal curve is used to obtain multiband operation....
Calcific aortic valve disease (CAVD) is a cardiovascular condition that causes the progressive narrowing of the aortic valve (AV) opening, due to the growth of bone-like deposits all over the aortic root (AR). Transcatheter aortic valve replacement (TAVR), a minimally invasive procedure, has recently become the only lifesaving solution for patients that cannot tolerate the standard surgical valve...
Petroleum product resources are limited and their consumption is increasing very fast with globalization and high technology development since last decade. Since the prices of these products are on the rise, so there is a need to search for an alternate source, which would fuel the Automobiles without any major engine modifications. Diesel engines are used for most of the engineering applications...
The vehicle-to-grid (V2G) framework proposes integration of battery-powered electric drive vehicles into the grid, enabling them to be recharged as necessary and to act as suppliers in the ancillary service electricity markets. This is expected to create incentives for the production and adoption of electric vehicles in the automotive industry. V2G frameworks require that the utility company or a...
There has been a renewed interest in the operator scheduling problem due to the down-scaling trend of CMOS technology and the increasing adoption of the fine-grained power management at the level of individual functional unit. Traditionally branch-and-bound has been a popular choice for determining the pareto-optimal frontier with respect to area and power under certain user constraints. In this paper...
Demand response systems primarily seek to reduce demand levels during periods of high load and increase demand as necessary in the off-peak hours. The objective of this flattening of the demand curve is to curb the need for generators to frequently ramp up or down and to reduce peak load levels. This, in turn, would potentially decrease the aggregate production cost of electricity. One of the most...
Demand response systems seek to flatten the demand for electricity by providing real-time pricing to consumers to motivate avoidance of power-intensive tasks when rates are high. Advanced Metering Infrastructure (AMI) has been developed to facilitate this process, allowing for billing that applies fine-grained prices to fine-grained consumption data. But AMI also presents a unique privacy risk to...
Wireless sensor networks (WSNs) are frameworks for modern pervasive computing infrastructures, and are often subject to operational difficulties, such as the inability to effectively mitigate signal noise or sensor failure. Natural systems, such as gene regulatory networks (GRNs), participate in similar information transport and are often subject to similar operational disruptions (noise, damage,...
Presently, Independent System Operators (ISOs) in deregulated electricity markets in the U.S. use an auction method that minimizes the total bid cost when determining units to be on and their generation levels (Bid Cost Minimization or BCM). It has recently been shown that this method of auction does not provide minimal consumer payment costs for a given set of bids under the Market Clearing Price...
We present a model for the automated segmentation of cells from confocal microscopy volumes of biological samples. The segmentation task for these images is exceptionally challenging due to weak boundaries and varying intensity during the imaging process. To tackle this, a two step pruning process based on the Fast Marching Method is first applied to obtain an over-segmented image. This is followed...
In our previous work, we have shown that time lags can be incorporated in information theory based metrics to further improve the efficiency of gene regulatory network inference. In particular, we have studied the mutual information metric where we found that mutual information saturates after a certain data size. We also proposed the time lagged mutual information metric and showed that the accuracy...
In Alzheimer's disease (AD), the aggregates of amyloid-β (Aβ) peptide form large fibrillar deposits and are believed to be the cause for cognitive decline. Hence, the nucleation dependent Aβ aggregation process has been subject to intense investigation for biophysical understanding. Here, we present a molecular-level simulation model to understand and predict the dynamics of this process supported...
A fuzzy logic based image processing application has been developed here which noninvasively measures the blood sugar level of a person from his /her urine by noting the colour change in its reaction with Benedicts reagent and displays the result so that apart from the patient, others also get informed. This system helps a diabetic patient to regularly monitor and control his/her blood sugar level...
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent register transfer level (RTL) description of hardware. This flow uses an intermediate representation which is an orthogonal factorization of the program behavior into control, data and memory aspects, and is suitable for the description of large systems. We show that optimizations such as arbiter-less...
We present a method for object tracking over time sequence imagery. The image plane is represented with a 4-connected planar graph where vertices are associated with pixels. On each image, the outer contour of the object is localized by finding the optimal cycle in the graph such that a cost function based on temporal, appearance and shape priors is minimized. Our contribution is the particle filtering-based...
In a Multi-Processor System-on-Chip (MPSoC)-based embedded system with Network-on-chip (NoC) as the communication architecture, routing of the communication traffic among the Processing Elements (PEs) contributes significantly to the overall latency, throughput and energy consumption. Design of an efficient routing algorithm for NoC requires a thorough understanding of the role of individual components...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.