TY - JOUR TI - Worst-Case Fair Bin Sort Queuing (WBSQ): An O(1) Worst-Case Fair Scheduler AU - Dwekat, Zyad A. AU - Rouskas, George N. AU - IEEE T2 - 2011 Ieee International Conference on Communications (Icc) DA - 2011/// PY - 2011/// ER - TY - JOUR TI - On Optimal Tiered Structures for Network Service Bundles AU - Lv, Qian AU - Rouskas, George N. AU - IEEE T2 - 2011 Ieee Global Telecommunications Conference (Globecom 2011) DA - 2011/// PY - 2011/// ER - TY - JOUR TI - Hybrid FRR/p-Cycle MPLS Link Protection Design AU - Cao, Chang AU - Rouskas, George N. AU - IEEE T2 - 2011 Ieee Global Telecommunications Conference (Globecom 2011) DA - 2011/// PY - 2011/// ER - TY - JOUR TI - Flow Isolation in Optical Networks AU - Wang, Hui AU - Rouskas, George N. AU - IEEE T2 - 2011 18th Ieee Workshop on Local and Metropolitan Area Networks (Lanman) DA - 2011/// PY - 2011/// ER - TY - JOUR TI - Demonstration of QoS-Aware Video Streaming over a Metro-Scale Optical Network Using a Cross-Layer Architectural Design AU - Wang, Michael S. AU - Wang, Anjing AU - Bathula, Balagangadhar G. AU - Lai, Caroline P. AU - Baldine, Ilia AU - Chen, Cathy AU - Majumder, Debjyoti AU - Gurkan, Deniz AU - Rouskas, George N. AU - Dutta, Rudra AU - Bergman, Keren AU - America, Optical Society T2 - 2011 Optical Fiber Communication Conference and Exposition (Ofc/nfoec) and the National Fiber Optic Engineers Conference DA - 2011/// PY - 2011/// ER - TY - SOUND TI - Production Planning with Resources Subject to Congestion AU - Uzsoy, R. DA - 2011/3// PY - 2011/3// ER - TY - SOUND TI - Production Planning with Resources Subject to Congestion AU - Uzsoy, R. DA - 2011/9// PY - 2011/9// ER - TY - SOUND TI - Heuristics for Multiproduct Dynamic Lot Sizing with Congestion AU - Kang, Y. AU - Albey, E. AU - Hwang, S. AU - Uzsoy, R. DA - 2011/7// PY - 2011/7// ER - TY - SOUND TI - Production Planning with Workload-Dependent Lead Times and Uncertain Demand AU - Uzsoy, R. DA - 2011/12// PY - 2011/12// ER - TY - CONF TI - Geography in Healthcare Planning AU - Carr, S. AU - Gultekin, M. AU - Roberts, S. AU - Uzsoy, R. T2 - Industrial Engineering Research Conference C2 - 2011/5// CY - Reno, NV DA - 2011/5// PY - 2011/5// ER - TY - CONF TI - Modelling the Effect of Public Health Resources on the Dynamic of Pertussis Outbreaks AU - Yaylali, E. AU - Uzsoy, R. AU - Worth, T. AU - Maillard, J.M. AU - Meyer, A.M. AU - Samoff, E. AU - Wendelboe, A. T2 - INFORMS Conference on Healthcare C2 - 2011/6// CY - Montreal, Quebec, Canada DA - 2011/6// PY - 2011/6// ER - TY - BOOK TI - Planning in the Extended Enterprise: A State of the Art Handbook A3 - Kempf, K.G. A3 - Keskinocak, P. A3 - Uzsoy, R. DA - 2011/// PY - 2011/// VL - 2 PB - Springer ER - TY - CONF TI - Estimating Clearing Functions for Multistage Production Systems with Alternative Machines AU - Albey, E. AU - Bilge, U. AU - Uzsoy, R. T2 - INFORMS National Meeting C2 - 2011/11// CY - Charlotte, NC DA - 2011/11// PY - 2011/11// ER - TY - CONF TI - A New Genetic Algorithm for Multicriteria Project Selection and Scheduling AU - Viktorovna, N. AU - Gaytan Iniestra, J. AU - Uzsoy, R. T2 - INFORMS National Meeting C2 - 2011/11// CY - Charlotte, NC DA - 2011/11// PY - 2011/11// ER - TY - CONF TI - Modeling the Conditional Covariance of Demands with Application to Production Planning AU - Norouzi, A. AU - Uzsoy, R. T2 - INFORMS National Meeting C2 - 2011/11// CY - Charlotte, NC DA - 2011/11// PY - 2011/11// ER - TY - CONF TI - Modeling the Effect of Public Health Resources and Alerting on the Dynamics of Pertussis Spread AU - Yaylali, E. AU - Ivy, J.S. AU - Uzsoy, R. T2 - INFORMS National Meeting C2 - 2011/11// CY - Charlotte, NC DA - 2011/11// PY - 2011/11// ER - TY - CONF TI - A Nonlinear Knapsack Problem Arising in Location Problems with Safety Stocks AU - Jarugumilli, K. AU - Uzsoy, R. T2 - INFORMS National Meeting C2 - 2011/11// CY - Charlotte, NC DA - 2011/11// PY - 2011/11// ER - TY - CONF TI - Estimating Clearing Functions from Simulation Data AU - Kacar, N.B. AU - Uzsoy, R. T2 - INFORMS National Meeting C2 - 2011/11// CY - Charlotte, NC DA - 2011/11// PY - 2011/11// ER - TY - ER - TY - ER - TY - JOUR TI - Production planning with load-dependent lead times and safety stocks for a single product AU - Ravindran, Ashwin AU - Kempf, Karl G. AU - Uzsoy, Reha T2 - International Journal of Planning and Scheduling AB - Queuing models have demonstrated the nonlinear relationship between resource utilisation, which is determined by production planning decisions, and lead times. Both production planning decisions and safety stock levels are driven by lead times, and are thus tightly interrelated. However, production planning and safety stock calculations have generally been carried out separately. We propose a production planning model for a single–stage single–product system that integrates release planning and safety stock considerations. Concave clearing functions are used to capture the nonlinear relationship between resource utilisation and lead times, while chance constraints represent the need to plan inventories to achieve desired service levels. Extensive computational experiments indicate that the proposed model provides an excellent tradeoff between customer service and inventory costs. DA - 2011/// PY - 2011/// DO - 10.1504/ijps.2011.044547 VL - 1 IS - 1/2 SP - 58 J2 - IJPS LA - en OP - SN - 2044-494X 2044-4958 UR - http://dx.doi.org/10.1504/ijps.2011.044547 DB - Crossref ER - TY - JOUR TI - Quality of service-based multi-domain routing under multiple quality of service metrics AU - Yiltas, D. AU - Perros, H. T2 - IET Communications AB - Applications such as voice and video require network paths that satisfy several different quality of service (QoS) metrics, such as delay, jitter, packet loss rate and availability. The calculation of paths under multiple QoS metrics, such as the above four metrics, is a difficult problem since these metrics are in general incompatible. The authors propose a simple method for combining the above four QoS metrics into a single composite QoS metric which can be used as a link cost in Dijkstra's algorithm in order to calculate a path. The authors evaluated the proposed method in a multi-domain routing environment where domain reachability information is available through a service oriented architecture paradigm, and they show that it outperforms two commonly used methods. The results are also applicable to routing within a single domain. DA - 2011/2/11/ PY - 2011/2/11/ DO - 10.1049/iet-com.2010.0144 VL - 5 IS - 3 SP - 327-336 LA - en OP - SN - 1751-8628 1751-8636 UR - http://dx.doi.org/10.1049/iet-com.2010.0144 DB - Crossref ER - TY - CONF TI - Toward the development of a commercial system to effectively harvest small- diameter woody biomass for energy production, habitat management and wildfire risk reduction AU - Catts, G. AU - Roise, Joseph AU - Hannum, L. T2 - TAPPI International Bioenergy & Bioproducts Conference C2 - 2011/3/14/ CY - Atlanta, GA DA - 2011/3/14/ PY - 2011/3/14/ ER - TY - CONF TI - Commitments with Regulations: Reasoning about Safety and Control in R EGULA AU - Marengo, Elisa AU - Baldoni, Matteo AU - Chopra, Amit K. AU - Baroglio, Cristina AU - Patti, Viviana AU - Singh, Munindar P. T2 - International Conference on Autonomous Agents and MultiAgent Systems C2 - 2011/5// C3 - Proceedings of the 10th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) CY - Taipei, Taiwan DA - 2011/5// PY - 2011/5// SP - 467–474 PB - IFAAMAS ER - TY - CONF TI - A Unified Framework for Trust in Composite Networks AU - Adalı, Sibel AU - Wallace, William A. AU - Qi, Yi AU - Vijayakumar, Priyankaa AU - Singh, Munindar P. T2 - Autonomous Agents & Multi-Agent Systems Workshop on Trust in Agent Societies C2 - 2011/// C3 - Proceedings of the 13th Autonomous Agents & Multi-Agent Systems Workshop on Trust in Agent Societies CY - Taipei, Taiwan DA - 2011/// PY - 2011/5/2/ SP - 1–12 ER - TY - CONF TI - Optimal ordering policy with multiple unreliable suppliers AU - Wang, Y. AU - King, R.E. AU - Ahiska, S.S. AU - Warsing, D.P. C2 - 2011/// C3 - 61st Annual IIE Conference and Expo Proceedings DA - 2011/// UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84900342045&partnerID=MN8TOARS ER - TY - JOUR TI - CAUSES OF FOURTH AGED PATIENTS HOSPITALIZATION IN AN INTERNAL MEDICINE HOSPITAL CLINIC AU - Bristianou, Magdalini AU - Panou, Charalambos AU - Chatzidakis, Ioannis AU - Tsiligrou, Vaina AU - Theodosopoulos, Ioannis AU - Rouskas, Georgios AU - Liaskoni, Constantina AU - Lanaras, Leonidas T2 - European Journal of Internal Medicine DA - 2011/10// PY - 2011/10// DO - 10.1016/S0953-6205(11)60442-1 VL - 22 SP - S108-S109 J2 - European Journal of Internal Medicine LA - en OP - SN - 0953-6205 UR - http://dx.doi.org/10.1016/S0953-6205(11)60442-1 DB - Crossref ER - TY - JOUR TI - Elsevier OSN is Sad to Announce the Loss of Fabio Neri, co-Editor-in-Chief of the Journal, Distinguished Professor and Researcher AU - Bianco, Andrea AU - Jukan, Admela AU - Rouskas, George T2 - Optical Switching and Networking DA - 2011/12// PY - 2011/12// DO - 10.1016/j.osn.2011.09.001 VL - 8 IS - 4 SP - 286-287 J2 - Optical Switching and Networking LA - en OP - SN - 1573-4277 UR - http://dx.doi.org/10.1016/j.osn.2011.09.001 DB - Crossref ER - TY - JOUR TI - On an identity of Gessel and Stanton and the new little Göllnitz identities AU - Savage, Carla D. AU - Sills, Andrew V. T2 - Advances in Applied Mathematics AB - We show that an identity of Gessel and Stanton [I. Gessel, D. Stanton, Applications of q -Lagrange inversion to basic hypergeometric series, Trans. Amer. Math. Soc. 277 (1983) 197, Eq. (7.24)] can be viewed as a symmetric version of a recent analytic variation of the little Göllnitz identities. This is significant, since the Göllnitz–Gordon identities are considered the usual symmetric counterpart to little Göllnitz theorems. Is it possible, then, that the Gessel–Stanton identity is part of an infinite family of identities like those of Göllnitz–Gordon? Toward this end, we derive partners and generalizations of the Gessel–Stanton identity. We show that the new little Göllnitz identities enumerate partitions into distinct parts in which even-indexed (resp. odd-indexed) parts are even, and derive a refinement of the Gessel–Stanton identity that suggests a similar interpretation is possible. We study an associated system of q -difference equations to show that the Gessel–Stanton identity and its partner are actually two members of a three-element family. DA - 2011/1// PY - 2011/1// DO - 10.1016/j.aam.2009.12.009 VL - 46 IS - 1-4 SP - 563-575 J2 - Advances in Applied Mathematics LA - en OP - SN - 0196-8858 UR - http://dx.doi.org/10.1016/j.aam.2009.12.009 DB - Crossref KW - Integer partitions KW - q-Series identities KW - q-Gauss summation KW - Little Gollnitz partition theorems KW - Gollnitz-Gordon partition theorem KW - Lebesgue identity ER - TY - CONF TI - Direct Transcription Solution of Optimal Control Problems with Control Delays AU - Betts, John T. AU - Campbell, Stephen L. AU - Thompson, Karmethia C. AU - Simos, Theodore E. AU - Psihoyios, George AU - Tsitouras, Ch. AU - Anastassi, Zacharias T2 - NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics AB - The numerical solution of optimal control problems is important in many areas. Often the models for these problems have delays. Direct transcription is a popular approach for the numerical solution of optimal control problems in industry. However, much less work has been done on the direct transcription solution of optimal control problems with delays. This talk will describe progress and challenges in developing a general purpose industrial grade direct transcription code that can handle problems with delays. Of special interest will be the more challenging case of control delays. C2 - 2011/// C3 - DA - 2011/// DO - 10.1063/1.3636665 PB - AIP UR - http://dx.doi.org/10.1063/1.3636665 DB - Crossref KW - Optimal control KW - numerical methods KW - direct transcription KW - delays ER - TY - JOUR TI - Expository research papers AU - Ipsen, I. T2 - SIAM Review DA - 2011/// PY - 2011/// VL - 53 IS - 4 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84856706336&partnerID=MN8TOARS ER - TY - JOUR TI - Expository Research Papers AU - Ipsen, Ilse T2 - SIAM Review AB - The two papers in this issue deal with bifurcations and social network analysis. Bifurcation, in its original sense, means division into two branches. In the context of dynamical systems, a bifurcation occurs when a small change in a parameter causes a sudden qualitative change in the solution. Mike Jeffrey and S. J. Hogan study dynamical systems where a state vector x is defined by a system of ordinary differential equations $$\frac{dx}{dt}= f(x,t;\mu)$$ and $\mu$ represents the parameter. Here it is the function f that is responsible for the bifurcations, because f is only piecewise smooth. Piecewise smoothness occurs in applications ranging from engineering and medicine to biology and ecology, often in situations where impact or friction is modeled. Furthermore the authors assume that the discontinuity in f is confined to a smooth manifold of codimension one, the so-called switching manifold, where the solution x remains continuous but may fail to be unique. As a consequence, trajectories of x either cross through the switching manifold or slide along it. If the latter give rise to a bifurcation, then it is, aptly named, a sliding bifurcation. This is a succinct and well-written paper and it makes a number of contributions: first, identifying those points on the switching manifold where switching bifurcations can occur, namely at certain singularities (folds, cusps, saddles, and bowls); second, deriving a complete classification of all one-parameter sliding bifurcations; and third, discovering new sliding bifurcations, which all turn out to be catastrophic. In the second paper, “Comparing Community Structure to Characteristics in Online Collegiate Social Networks,” Amanda Traud, Eric Kelsic, Peter Mucha, and Mason Porter examine how relationships on a social networking site are correlated with demographic traits. In particular, they inspect the complete Facebook pages of five U.S. universities from a single snapshot in September 2005 and ask questions like: If people are friends on Facebook, are they likely to live in the same dormitory, major in the same subject, or have gone to the same high school? Computationally, Facebook users are represented as nodes of a graph, friendships as edges, and social communities as clusters of nodes. Identifying clusters, i.e., community detection, is done with an “unsupervised” algorithm that amounts to optimizing a modularity quality function, which depends only on the edge structure of the graph. This algorithmically computed community must now be compared to communities associated with demographic traits. The authors investigate different similarity measures, based on pair counting, for performing the comparisons. Along the way they face a number of issues: How to display and compare the communities visually? How to compute the correlations accurately and efficiently? What to do about missing data? This is an exciting paper, drawing on tools from graph partitioning, optimization, data clustering, contingency tables, and statistical psychology. It might also be the only paper in a SIAM journal that explains why the social structure at Caltech is different from that of the University of North Carolina. DA - 2011/1// PY - 2011/1// DO - 10.1137/siread000053000003000503000001 VL - 53 IS - 3 SP - 503-503 ER - TY - JOUR TI - Expository Research Papers AU - Ipsen, Ilse T2 - SIAM Review AB - You may be concerned that this issue features just a single paper in the Expository Research section. But not to worry—you will get your money's worth. Based on foundations laid by the eminent Austrian-born algebraist Emil Artin (1898–1962) you will be acquainted with improved designs for bread mixers and taffy pullers. Ingredients include topology, dynamical systems, linear algebra, the golden ratio, and Lego toys. The applications considered by Matthew Finn and Jean-Luc Thiffeault in their paper “Topological Optimization of Rod-Stirring Devices” go far beyond food preparation and extend to industrial dough production, and to glass manufacturing where inhomogeneities in molten glass are removed by stirring it with rods. The subject of this paper is the design of efficient devices that stir a fluid thoroughly. When the fluid motion is mainly two-dimensional, as in the case of glass, for example, one can model the fluid as a two-dimensional surface. Instead of using the Stokes equations to describe the fluid motion, the authors adopt a topological approach. They view the fluid as a punctured disk (the punctures being the stirring rods), and the rod motions as mappings of this disk. The mappings associated with efficient practical stirring protocols belong to the so-called pseudo-Anosov category and produce a fluid motion that is related to chaotic dynamical systems. Implementing a pseudo-Anosov mapping requires at least three stirring rods, which is why many taffy pullers have three stirring rods. The authors choose the topological notion of braids to describe the motion protocol of the stirring rods. Mathematical relations derived by Emil Artin identify those groups of braids that can actually be physically realized. In order to estimate how thoroughly a stirring protocol mixes up the fluid, one represents the braids as products of $2\times 2$ matrices, and then determines the spectral radius of the product. For three rods the best stirring protocol has a spectral radius equal to the golden ratio. One must be careful, though, to balance mathematical tractability with practical engineering considerations. Stirring protocols that are optimal from a mathematical point of view are not necessarily so in practice. Part of the reason is that the mathematical approach corresponds to a sequential operation of the stirring rods, while in practice one would want them to work in parallel. The authors devise a parallel motion protocol for stirring rods and present evidence for the optimality of this parallel protocol. This is a marvelous paper, easy to read, accessible, and most enjoyable. To top everything off, the authors built optimal stirring devices with 2 and with 4 stirring rods from Lego toy pieces. How cool is that? DA - 2011/1// PY - 2011/1// DO - 10.1137/siread000053000004000721000001 VL - 53 IS - 4 SP - 721-721 ER - TY - JOUR TI - An SDRE-Based Approach for HIV Feedback Control and Control of Thin Film Growth in a CVD Reactor AU - Banks, H.T. AU - Beeler, S.C. AU - Kwon, Hee-Dae AU - Lewis, B.M. AU - Toivanen, J.A. AU - Tran, H.T. T2 - IFAC Proceedings Volumes AB - A number of computational methodologies have been proposed in the literature to design and synthesize feedback controls when the plant is modeled by nonlinear dynamical systems. One of the highly promising and rapidly emerging methodologies for designing nonlinear controllers is the state-dependent Riccati equation (SDRE) method in the context of the nonlinear regulator problem. In essence, SDRE mimics the linear quadratic regulator theory by using direct parametrization to rewrite the nonlinear state function as a product of a state-dependent coefficient matrix with the state vector. This paper presents an overview of our successful effort on the application of SDRE for the regulation of the growth of thin films in a high pressure chemical vapor deposition (CVD) and for the development of optimal dynamic multi-drug therapies for human immunodeficiency virus (HIV) infection. DA - 2011/1// PY - 2011/1// DO - 10.3182/20110828-6-it-1002.03412 VL - 44 IS - 1 SP - 9601-9606 J2 - IFAC Proceedings Volumes LA - en OP - SN - 1474-6670 UR - http://dx.doi.org/10.3182/20110828-6-it-1002.03412 DB - Crossref ER - TY - CONF TI - Trust as Dependence: A Logical Approach AU - Singh, Munindar P. T2 - International Conference on Autonomous Agents and Multiagent Systems C2 - 2011/5// C3 - AAMAS '11: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems CY - Taipei, Taiwan DA - 2011/5// PY - 2011/5/2/ VL - 2 SP - 863–870 PB - IFAAMAS UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84899408581&partnerID=MN8TOARS ER - TY - CONF TI - Specifying and Applying Commitment-Based Business Patterns AU - Chopra, Amit K. AU - Singh, Munindar P. T2 - International Conference on Autonomous Agents and Multiagent Systems C2 - 2011/5// C3 - AAMAS '11: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems CY - Taipei, Taiwan DA - 2011/5// PY - 2011/5/2/ VL - 1 SP - 475–482 PB - IFAAMAS UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84899421820&partnerID=MN8TOARS ER - TY - CONF TI - Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language AU - Singh, M.P. C2 - 2011/// C3 - 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 DA - 2011/// VL - 1 SP - 457-464 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84899440400&partnerID=MN8TOARS ER - TY - CONF TI - Kokomo: An empirically evaluated methodology for affective applications AU - Sollenberger, Derek J. AU - Singh, Munindar P. T2 - International Conference on Autonomous Agents and MultiAgent Systems C2 - 2011/5// C3 - Proceedings of the 10th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) CY - Taipei, Taiwan DA - 2011/5// PY - 2011/5// VL - 1 SP - 293–300 PB - IFAAMAS UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84899438815&partnerID=MN8TOARS ER - TY - BOOK TI - Formal methods in agent-oriented software engineering AU - El Fallah-Seghrouchni, A. AU - Gomez-Sanz, J.J. AU - Singh, M.P. AB - There is a growing interest among agent and multiagent system developers for formal methods. Formal methods are means to define and realize correct specifications of multiagent system. The benefits of formal methods become clearer when we recognize the cost of developing a defective multiagent system. This paper seeks to introduce engineers to the possibilities of applying formal methods for multiagent systems. To this end, it discusses selected formal methods approaches for multiagent systems for which there is tool support. These works have been organized into two broad categories: those formal methods constituting a development method in themselves and those intended to complement an existing development method. DA - 2011/// PY - 2011/// DO - 10.1007/978-3-642-19208-1_15 VL - 6038 LNCS SE - 213-228 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-79952420920&partnerID=MN8TOARS ER - TY - CONF TI - Commitments with regulations: Reasoning about safety and control in REGULA AU - Marengo, E. AU - Baldoni, M. AU - Baroglio, C. AU - Chopra, A.K. AU - Patti, V. AU - Singh, M.P. C2 - 2011/// C3 - 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 DA - 2011/// VL - 1 SP - 433-440 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84899444781&partnerID=MN8TOARS ER - TY - BOOK TI - Methodology for engineering affective social applications AU - Sollenberger, D.J. AU - Singh, M.P. AB - Affective applications are becoming increasingly mainstream in entertainment and education. Yet, current techniques for building such applications are limited, and the maintenance and use of affect is in essence handcrafted in each application. The Koko architecture describes middleware that reduces the burden of incorporating affect into applications, thereby enabling developers to concentrate on the functional and creative aspects of their applications. Further, Koko includes a methodology for creating affective social applications, called Koko-ASM. Specifically, it incorporates expressive communicative acts, and uses them to guide the design of an affective social application. With respect to agent-oriented software engineering, Koko contributes a methodology that incorporates expressives. The inclusion of expressives, which are largely ignored in conventional approaches, expands the scope of AOSE to affective applications. DA - 2011/// PY - 2011/// DO - 10.1007/978-3-642-19208-1_7 VL - 6038 LNCS SE - 97-109 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-79952381410&partnerID=MN8TOARS ER - TY - CONF TI - LoST: Local State Transfer: An architectural style for the distributed enactment of business protocols AU - Singh, M.P. AB - Local State Transfer (LoST) is a simple, declarative approach for enacting communication protocols. LoST is perfectly distributed and relies only upon the local knowledge of each business partner. It involves a novel treatment of the information bases of protocols, especially in terms of how their parameters are specified. As a result, LoST can capture subtle patterns of interaction that more complex approaches cannot handle well. Further, LoST lends itself to implementations that are robust against unordered and lossy message transmission. C2 - 2011/// C3 - Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011 DA - 2011/// DO - 10.1109/ICWS.2011.48 SP - 57-64 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80053159719&partnerID=MN8TOARS ER - TY - BOOK TI - Analyzing contract robustness through a model of commitments AU - Chopra, A.K. AU - Oren, N. AU - Modgil, S. AU - Desai, N. AU - Miles, S. AU - Luck, M. AU - Singh, M.P. AB - We address one of the challenges in developing solutions based on multiagent systems for the problems of cross-organizational business processes and commerce generally. Specifically, we study how to gather and analyze requirements embodied within business contracts using the abstractions from multiagent systems. Commerce is driven by business contracts. Each party to a business contract must be assured that the contract is robust, in the sense that it fulfills its goals and avoids undesirable outcomes. However, real-life business contracts tend to be complex and unamenable both to manual scrutiny and domain-independent scientific methods, making it difficult to provide automated support for determining or improving their robustness. As a result, establishing a contract is nontrivial and adds significantly to the transaction costs of conducting business. If the adoption of multiagent systems approaches in supporting business interactions is to be viable, we need to develop appropriate techniques to enable tools to reason about contracts in relation to their robustness. To this end, we propose a powerful approach to assessing the robustness of contracts, and make two main contributions. First, we demonstrate a novel conceptual model for contracts that is based on commitments. Second, we offer a methodology for (i) creating commitment-based models of contracts from textual descriptions, and (ii) evaluating the contract models for robustness. We validate these contributions via a study of real-world contracts. DA - 2011/// PY - 2011/// DO - 10.1007/978-3-642-22636-6_2 VL - 6788 LNCS SE - 17-36 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80054108244&partnerID=MN8TOARS ER - TY - CONF TI - Colaba: Collaborative design of cross-organizational processes AU - Chopra, A.K. AU - Singh, M.P. AB - Cross-organizational processes naturally involve multiple stakeholders with distinct business interests. Yet, current process modeling approaches are conceptually centralized. This paper develops Colaba, a novel approach for the design of a cross-organizational process. Colaba naturally accommodates the requirements of multiple stakeholders. It is realized as a tool and methodology that uses and maintains a repository of business protocols, each describing a business function to the desired level of nuance. Design in Colaba is thus simply a matter of selecting, refining, extending, and composing protocols. Colaba is based on the concepts of Issue-Based Information Systems. It naturally supports stakeholders proposing process models, raising issues about them, and evaluating alternative proposals. Colaba contributes argumentation primitives and a representation relevant to business processes that accommodates the diverse perspectives of the roles in a protocol. This paper includes an evaluation of Colaba via a case study. C2 - 2011/// C3 - 2011 Workshop on Requirements Engineering for Systems, Services and Systems-of-Systems, RESS 2011 - Workshop Co-located with the 19th IEEE International Requirements Engineering Conference DA - 2011/// DO - 10.1109/RESS.2011.6043928 SP - 36-43 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80055038648&partnerID=MN8TOARS ER - TY - JOUR TI - Patient specific modeling of cardiovascular and respiratory dynamics during hypercapnia AU - Ellwein, L M AU - Pope, S R AU - Xie, A AU - Batzel, J AU - Kelley, C T AU - Olufsen, M S T2 - Mathematical Biosciences DA - 2011/// PY - 2011/// VL - 241 IS - 1 SP - 56--74 ER - TY - JOUR TI - Finding A Stable Solution of A System of Nonlinear Equations AU - Kelley, C T AU - Qi, L AU - Tong, X AU - Yin, H T2 - J. Indus. Manag. Opt. DA - 2011/// PY - 2011/// VL - 7 SP - 497-521 ER - TY - JOUR TI - Users' Guide for imfil AU - Kelley, C T DA - 2011/// PY - 2011/// ER - TY - CONF TI - Application of a Modified Nelder-Mead Algorithm for calibrating RF Analog Integrated Circuits AU - Wyers, E.J. AU - Steer, M.B. AU - Kelley, C.T. AU - Franzon, P.D. C2 - 2011/// C3 - Proceedings GOMACTech'11 DA - 2011/// SP - 545–548 ER - TY - BOOK TI - Implicit Filtering AU - Kelley, C T DA - 2011/// PY - 2011/// PB - SIAM ER - TY - JOUR TI - Nonlinear Least Squares Problems and Subset Selection AU - Ipsen, I C F AU - Kelley, C T AU - Pope, S R T2 - SIAM J. Numer. Anal. DA - 2011/// PY - 2011/// VL - 49 SP - 1244-1266 ER - TY - JOUR TI - Expository Research Papers AU - Ipsen, Ilse T2 - SIAM Review AB - The two papers in this issue are concerned with fair division and with approximation of functions. “Divide-and-Conquer: A Proportional, Minimal-Envy Cake-Cutting Algorithm,” by Steven Brams, Michael Jones, and Christian Klamler, has nothing to do with wedding cakes or Food Network Challenges. Instead it deals with the mathematical problem of proportional division, which often arises in social science applications. Let us illustrate the cake-cutting paradigm with the divide-and-choose algorithm for two players. Suppose you and I are to cut a cake, so that each of us gets half of the cake, where “half” is interpreted according to our preferences. Suppose you like chocolate and prefer a piece with at least half of all the chocolate decoration. I, on the other hand, like marzipan and prefer a piece with at least half of all the marzipan decoration. In the divide-and-choose algorithm, I start by cutting the cake into two pieces, so that each piece contains the same amount of marzipan. Then you pick the piece with the most chocolate. This is a proportional and envy-free division of the cake. The division is proportional because each of us gets at least half of what we want (chocolate in your case, marzipan in mine), and it is envy-free because none of us would want the other's piece. Mathematically, one expresses the preference for chocolate or marzipan in terms of a probability density function. For n players the situation is much more complicated. The authors propose a divide-and-conquer algorithm that requires only the minimal number of $n-1$ cuts. Although the algorithm is not envy-free, it does minimize the maximal number of players that any player can envy. The algorithm is also simple and easy to implement. Now for the second paper. Back in 1901 the German mathematician Carl Runge showed that polynomial interpolation of a function at n equally spaced points in the interval $[-1,1]$ can produce interpolants that fail to converge as $n\rightarrow\infty$, because they exhibit large-amplitude oscillations near the interval endpoints. In their paper “Impossibility of Fast Stable Approximation of Analytic Functions from Equispaced Samples,” Rodrigo Platte, Lloyd Trefethen, and Arno Kuijlaars look at the situation in a more general setting, and with finite precision computation in the back of their minds. Now the approximants do not have to be interpolating polynomials. They can be much more general. All that is required is that an approximant $\phi_n(f)$ depend on f at the n equally spaced grid points in $[-1,1]$, but nowhere else. The question is: How can perturbations in f affect the convergence of the approximant $\phi_n(f)$ in the worst case? To answer this question, the authors introduce a condition number $\kappa_n$ that measures how sensitive $\phi_n(f)$ can be to changes in f. You can think of $\kappa_n$ as sort of a Lipschitz constant for $\phi_n$. The main result is: If the approximants converge exponentially fast, in the sense that $\|f-\phi_n(f)\|\sim \sigma^n$ for some $\sigma<1$, then $\kappa_n\sim C^n$ for some $C>1$. This means, in the worst case, exponentially fast convergence comes at the price of exponential ill-conditioning. The authors also identify connections with potential theory, matrix iterations in the form of Krylov space methods, and quadrature formulae. DA - 2011/1// PY - 2011/1// DO - 10.1137/siread000053000002000289000001 VL - 53 IS - 2 SP - 289-289 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-79957451081&partnerID=MN8TOARS ER - TY - JOUR TI - Expository Research Papers AU - Ipsen, Ilse T2 - SIAM Review AB - The two papers in this issue are of the analytic kind. The first one deals with symbol calculus, and the second one with compressed sensing. In their paper “Discrete Symbol Calculus,” Laurent Demanet and Lexing Ying propose efficient representations for functions of elliptic operators. The idea is to replace the symbol of an operator matrix A by a low-rank approximation. Then one can derive an efficient representation for $f(A)$, where f is a function like inverse, square root, or exponential. The low-rank approximations are constructed from rational Chebyshev interpolants, and also from hierarchical spline interpolants. The authors analyze how many terms are required for a low-rank approximation of specified accuracy, and they present numerical experiments. This appears to be an original and promising approach for reflection seismology and other areas of wave propagation. Compressed sensing is one of mathematics' hot topics. And it has already made contributions to signal processing: Compressed sensing can reduce the time for an MRI scan by a factor of 7. This is remarkable when you imagine that a small child may be able to hold still for 1 minute, but rarely for an eternity of 7. So what is compressed sensing? Suppose we want to determine (“measure”) all N elements of an unknown vector x. The straightforward way would be to perform N inner products with canonical vectors, with each canonical vector being responsible for one element of x. If x is sparse with only k nonzero elements, and we know the positions of these nonzero elements, then k inner products suffice to measure x. But what if we don't know the positions of the k nonzero elements? Can we still measure x with about k inner products? Look to compressed sensing for answers, and you'll be advised as follows: Perform the inner products in parallel, by means of a matrix vector multiplication $Ax$. However, for the rows of A don't choose canonical vectors, but instead choose, say, random vectors. The resulting algorithm for measuring x consists of two steps: The first (“encoding”) step determines a vector y from the matrix vector product $y=Ax$. There upon A and y are fed as constraints to the second (“decoding”) step, which recovers x as the solution of the $\ell_1$ minimization problem $\min_z{\|z\|_1}$ subject to the constraint $Az=y$. The performance of A in recovering x can be quantified from a RIP constant, where “RIP” stands for “restricted isometry property.” The RIP constant of A indicates how much A can deviate from behaving like an isometry when applied to vectors with k nonzero elements. More precisely, the RIP constant indicates by how much A can distort the two norm of a vector with k nonzero elements. RIP constants are the topic of the second paper, “Compressed Sensing: How Sharp Is the Restricted Isometry Property?” by Jeffrey Blanchard, Coralia Cartis, and Jared Tanner. They present tight bounds on RIP constants, and they introduce the framework of proportional growth arithmetic in order to compare RIP bounds to two alternative performance metrics: polytope analysis and geometric functional analysis techniques. This is an exciting paper and an exciting area, combining tools from matrix theory, probability, and functional analysis! DA - 2011/1// PY - 2011/1// DO - 10.1137/siread000053000001000069000001 VL - 53 IS - 1 SP - 69-69 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84856703956&partnerID=MN8TOARS ER - TY - ER - TY - CONF TI - Maximally reduced observers for linear time varying DAEs AU - Bobinyec, Karen AU - Campbell, Stephen L. AU - Kunkel, Peter T2 - Control (MSC) AB - The problem of observer design for descriptor systems, or systems of differential algebraic equations (DAEs) as they are also known, has been studied in the linear time invariant case. However, those studies do not readily extend to general linear time varying descriptor systems. Recently there have been new theoretical results and algorithms for computing completions of DAEs. In this paper we examine the application of these ideas to the computation of reduced order observers for linear time invariant and linear time varying DAEs. C2 - 2011/9// C3 - 2011 IEEE International Symposium on Computer-Aided Control System Design (CACSD) DA - 2011/9// DO - 10.1109/cacsd.2011.6044570 PB - IEEE SN - 9781457710667 UR - http://dx.doi.org/10.1109/cacsd.2011.6044570 DB - Crossref ER - TY - CONF TI - Optimal control software for constrained nonlinear systems with delays AU - Betts, John T. AU - Campbell, Stephen L. AU - Thompson, Karmethia C. T2 - Control (MSC) AB - The numerical solution of optimal control problems is important in a variety of industries. One of the popular methods for complex problems is direct transcription. Direct transcription does not rely on the necessary conditions and it is easy to incorporate a wide variety of constraints on both controls and states. Optimal control problems can often involve delays in the state or the control or both. While some numerical methods exist for some optimal control problems with delays they are not direct transcription methods. This paper reports on progress in developing a general purpose industrial grade software package to numerically solve complex optimal control problems with delays and state and control constraints using direct transcription. C2 - 2011/9// C3 - 2011 IEEE International Symposium on Computer-Aided Control System Design (CACSD) DA - 2011/9// DO - 10.1109/cacsd.2011.6044560 PB - IEEE SN - 9781457710667 UR - http://dx.doi.org/10.1109/cacsd.2011.6044560 DB - Crossref ER - TY - JOUR TI - Active incipient fault detection in continuous time systems with multiple simultaneous faults AU - Stephen, Campbell AU - Martene, Fair T2 - Numerical Algebra, Control and Optimization AB - The problem of detecting small parameter variations in linear uncertain systems due to incipient faults, with the possibility of injecting an input signal to enhance detection, is considered. Most studies assume that there is only one fault developing. Recently an active approach for two or more simultaneous faults has been introduced for the discrete time case. In this paper we extend this approach to the continuous time case. A computational method for the construction of an input signal for achieving guaranteed detection with specified precision is presented. The method is an extension of a multi-model approach used for the construction of auxiliary signals for failure detection, however, new technical issues must be addressed. DA - 2011/6// PY - 2011/6// DO - 10.3934/naco.2011.1.211 VL - 1 IS - 2 SP - 211-224 J2 - NACO LA - en OP - SN - 2155-3289 UR - http://dx.doi.org/10.3934/naco.2011.1.211 DB - Crossref KW - Fault detection KW - numerical methods ER - TY - CONF TI - Direct optimization determination of auxiliary test signals for linear problems with model uncertainty AU - Andjelkovic, Ivan AU - Campbell, Stephen L. T2 - 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) AB - Recently there has been increased interest in active approaches for fault detection which use auxiliary test signals. Theory and algorithms have been presented in the literature for the design of fault detection signals for linear systems with model uncertainty. These approaches cannot solve many problems with constraints. This paper gives the first direct optimization formulation of the more general constrained problem. The use of a direct optimization formulation allows the solution of problems not possible by the original algorithms such as problems with input and state constraints. Computational examples are given both to illustrate the theory and to discuss computational issues. C2 - 2011/12// C3 - IEEE Conference on Decision and Control and European Control Conference DA - 2011/12// DO - 10.1109/cdc.2011.6160186 PB - IEEE SN - 9781612848013 9781612848006 9781467304573 9781612847993 UR - http://dx.doi.org/10.1109/cdc.2011.6160186 DB - Crossref ER - TY - CONF TI - Full order observers for linear DAEs AU - Bobinyec, Karen AU - Campbell, Stephen L. AU - Kunkel, Peter T2 - 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) AB - Observer design for descriptor systems, or systems of differential algebraic equations (DAEs) as they are also known, is well studied in the linear time invariant (LTI) case. However, those studies do not readily extend to general linear time varying (LTV) or nonlinear descriptor systems. This paper presents an alternative approach for observer design that not only works for the LTI case but also shows great potential for the design of observers for general LTV descriptor systems. C2 - 2011/12// C3 - IEEE Conference on Decision and Control and European Control Conference DA - 2011/12// DO - 10.1109/cdc.2011.6160215 PB - IEEE SN - 9781612848013 9781612848006 9781467304573 9781612847993 UR - http://dx.doi.org/10.1109/cdc.2011.6160215 DB - Crossref ER - TY - JOUR TI - QTL Mapping for Days to Flowering under Drought Condition in Rice (Oryza sativa L.) Genome AU - Chakraborty, Supriyo AU - Zeng, Zhao Bang T2 - Notulae Botanicae Horti Agrobotanici Cluj-Napoca AB - QTL for days to flowering in rice under drought condition were mapped using a DH population derived from a cross between a deep-rooted upland adapted japonica genotype CT9993-5-10-1-M and a lowland adapted shallow-rooted moderately drought tolerant indica genotype IR62266-42-6-2. QTL mapping was performed following three different mapping models viz. simple (SIM), composite (CIM) and multiple mapping model (MIM) using WinQTL Cartographer version 2.5.006. SIM located 12 QTL for days to flowering spread over nine chromosomes whereas CIM and MIM each located 5 QTL with a threshold LOD score of 2.5. A comparison of the QTL detected by three different models identified five QTL that were common across at least two models for days to flowering. In MIM analysis, the detected QTL (qHD-1-b) between flanking markers (RG109 – ME1014) located on chromosome 1 recorded positive effect (1.4090) but the remaining four QTL had negative effect. The QTL (qHD-3-a) detected between flanking markers (RG104 – RG409) by both MIM and SIM in the present study was also reported earlier as linked with the marker RG104. The five common QTL detected by at least two models could be considered as stable QTL for days to flowering under drought and might be of practical use in marker assisted selection. DA - 2011/5/30/ PY - 2011/5/30/ DO - 10.15835/nbha3915610 VL - 39 IS - 1 SP - 58 J2 - Not Bot Hort Agrobot Cluj OP - SN - 1842-4309 0255-965X UR - http://dx.doi.org/10.15835/nbha3915610 DB - Crossref ER - TY - CONF TI - Direct transcription solution of optimal control problems with delays AU - Betts, J.T. AU - Campbell, S.L. AU - Thompson, Karmethia C2 - 2011/// C3 - Numerical Analysis and Applied Mathematics ICNAAM2011 AIP Conf. Proc. DA - 2011/// VL - 1389 SP - 38–41 ER - TY - CONF TI - Integrating Computing into Thermodynamics: Lessons Learned AU - Pasquinelli, M. AU - Joines, J.A. T2 - American Society for Engineering Education International Conference C2 - 2011/// C3 - 2011 ASEE Annual Conference & Exposition DA - 2011/// SP - 22-901 ER - TY - CONF TI - A content freshness enhancement with infrastructures in mobile opportunistic networks AU - Ban, D. AU - Devetsikiotis, M. AB - In mobile opportunistic networks, we investigate the effect of infrastructures on content update process. In the network, an information provider continuously generates a time-sensitive content (e.g., news, twits or military commands) whose freshness decreases with time. This information is propagated to users throughout opportunistic contacts. Users prefer to have the more recently generated (i.e., up-to-date) content. In that, they utilize a content age to compare their freshness and share only the smaller age content when an opportunistic contact occurs. C2 - 2011/// C3 - 2011 - Milcom 2011 Military Communications Conference DA - 2011/// DO - 10.1109/milcom.2011.6127811 SP - 997-1002 ER - TY - CONF TI - on distribution and limits of information dissemination latency and speed in mobile cognitive radio networks AU - Sun, L. AU - Wang, Wenye AB - Dissemination latency and speed are central to the applications of cognitive radio networks, which have become an important component of current communication infrastructure. In this paper, we investigate the distributions and limits of information dissemination latency and speed in a cognitive radio network where licensed users (primary users) are static and cognitive radio users (secondary users) are mobile. We show that the dissemination latency depends on the stationary spatial distribution and mobility capability α (characterizing the region that a mobile secondary user can reach) of secondary users. Given any stationary spatial distribution, we find that there exists a critical value on α, below which the latency and speed are heavy-tailed and above which the right tails of their distribution are bounded by Gamma random variables. We further show that as the network grows to infinity, the latency asymptotically scales linearly with the “distance” (characterized by transmission hops or Euclidean distance) between the source and the destination. Our results are validated through simulations. C2 - 2011/// C3 - 2011 proceedings ieee infocom DA - 2011/// DO - 10.1109/infcom.2011.5935069 SP - 246–250 ER - TY - CONF TI - From jammer to gambler: Modeling and detection of jamming attacks against time-critical traffic AU - Lu, Z. AU - Wang, Wenye AU - Wang, C. AB - Time-critical wireless applications in emerging network systems, such as e-healthcare and smart grids, have been drawing increasing attention in both industry and academia. The broadcast nature of wireless channels unavoidably exposes such applications to jamming attacks. However, existing methods to characterize and detect jamming attacks cannot be applied directly to time-critical networks, whose communication traffic model differs from conventional models. In this paper, we aim at modeling and detecting jamming attacks against time-critical traffic. We introduce a new metric, message invalidation ratio, to quantify the performance of time-critical applications. A key insight that leads to our modeling is that the behavior of a jammer who attempts to disrupt the delivery of a time-critical message can be exactly mapped to the behavior of a gambler who tends to win a gambling game. We show via the gambling-based modeling and real-time experiments that there in general exists a phase transition phenomenon for a time-critical application under jamming attacks: as the probability that a packet is jammed increases from 0 to 1, the message invalidation ratio first increases slightly (even negligibly), then increases dramatically to 1. Based on analytical and experimental results, we further design and implement the JADE (Jamming Attack Detection based on Estimation) system to achieve efficient and robust jamming detection for time-critical wireless networks. C2 - 2011/// C3 - 2011 proceedings ieee infocom DA - 2011/// DO - 10.1109/infcom.2011.5934989 SP - 1871–1879 ER - TY - CONF TI - Communication genres: Integrating communication into the software engineering curriculum AU - Carter, M. AU - Vouk, M. AU - Gannod, G. C. AU - Burge, J. E. AU - Anderson, P. V. AU - Hoffman, M. E. AB - One way to improve the communication abilities of new software engineering graduates in the workplace is to integrate communication more effectively in the software engineering curriculum. But faculty typically conceive of communication as outside their realm of expertise. Based on the results of an NSF-funded project, we use theories of situated learning and genre to make the case that communication is integral to software engineering and that faculty are in the best position to guide students in becoming better communicators in the field. We identify software engineering genres and show how those genres may be used to integrate communication in the classroom and throughout the curriculum. C2 - 2011/// C3 - 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEET) DA - 2011/// DO - 10.1109/cseet.2011.5876091 SP - 21-30 ER - TY - JOUR TI - A new choice rule for regularization parameters in Tikhonov regularization AU - Ito, Kazufumi AU - Jin, Bangti AU - Zou, Jun T2 - APPLICABLE ANALYSIS AB - This article proposes and analyses a novel heuristic rule for choosing regularization parameters in Tikhonov regularization for inverse problems. The existence of solutions to the regularization parameter equation is shown, and a variational characterization of the inverse solution is provided. Some a posteriori error estimates of the approximate solutions to the inverse problem are also established. An iterative algorithm is suggested for the efficient numerical realization of the new choice rule, which is shown to have a practically desirable monotone convergence. Numerical experiments for both mildly and severely ill-posed benchmark inverse problems with various regularizing functionals of Tikhonov type, e.g. L 2–L 2 with constraints, L 2–ℓ1 and L 1–TV, are presented to demonstrate its effectiveness, and compared with the quasi-optimality criterion. DA - 2011/// PY - 2011/// DO - 10.1080/00036811.2010.541450 VL - 90 IS - 10 SP - 1521-1544 SN - 1563-504X KW - parameter choice KW - a posteriori error estimate KW - Tikhonov regularization ER - TY - JOUR TI - A metamodeling approach for cross-layer optimization: A framework and application to Voice over WiFi AU - Papapanagiotou, Ioannis AU - Granelli, Fabrizio AU - Kliazovich, Dzmitry AU - Devetsikiotis, Michael T2 - SIMULATION MODELLING PRACTICE AND THEORY AB - Cross-layer design has been proposed to optimize the performance of networks by exploiting the interrelations among parameters and procedures at different levels of the protocol stack. This paper introduces a quantitative framework for the study of cross-layer interactions, which enables design engineers to analyze and quantify interlayer dependencies and to identify the optimal operating point of the system, by using network economic theory principles. The framework is then used for performance optimization of a single-cell Voice over WiFi (VoWiFi) system. Insights gained from the considered scenario enable us to define a novel cross-layer Call Admission Control (CAC) scheme. The multistage CAC takes into account Quality of Service (QoS) criteria, which provide satisfaction to the end user, as well as revenue criteria that maximize the possible profit of the WiFi provider. DA - 2011/10// PY - 2011/10// DO - 10.1016/j.simpat.2011.06.005 VL - 19 IS - 9 SP - 2117-2129 SN - 1878-1462 KW - Cross-layer design KW - Metamodeling KW - Call Admission Control (CAC) KW - VoWiFi ER - TY - CONF TI - Tutorial on the simulation of healthcare systems AU - Roberts, S. D. AB - For a variety of reasons, simulation has enjoyed widespread application in health care and health care delivery systems. Although the dominant modeling methodology is discrete event simulation, numerous studies employ system dynamics, agent-based simulation, and hybrid/combined methods. Software has been increasingly adapted to health care through enhanced visualizations and modeling. Virtually every health care environment has been studied using simulation including hospitals, extended care, rehabilitation, specialty care, long-term care, public health, among others. Frequent problems are patient flow, staffing, works schedules, facilities capacity and design, admissions/scheduling, appointments, logistics, and planning. Health care problems are especially complicated by the fact that “people serve people,” meaning people are both the customer and the supply. The customers arrive through a complex decision process that produces uncertain demand. The response is an even more complex organization of health care resources, each of which play a distinctive and overlapping role, providing a unique simulation challenge. C2 - 2011/// C3 - Proceedings of the 2011 winter simulation conference (wsc) DA - 2011/// DO - 10.1109/wsc.2011.6147860 SP - 1403-1414 ER - TY - JOUR TI - Information sharing in capacity constrained supply chains under lost sales AU - Davis, Lauren B. AU - King, Russell E. AU - Hodgson, Thom J. AU - Wei, Wenbin T2 - INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH AB - We present a modelling approach for quantifying the value of information in supply chains using Markov decision processes (MDP). The case where information sharing occurs is modelled using a completely observable MDP. A restricted observation MDP is used to model the case where no information sharing occurs. We illustrate the use of this framework on a two-stage capacity-constrained supply chain consisting of a supplier and a retailer. We quantify the value of information sharing in this setting and construct several performance measures to identify the benefits to both the retailer and supplier as a result of the information sharing partnership. DA - 2011/// PY - 2011/// DO - 10.1080/00207543.2010.535037 VL - 49 IS - 24 SP - 7469-7491 SN - 1366-588X KW - Markov decision process KW - supply chain information sharing ER - TY - CONF TI - Analysis of response time percentile service level agreements in SOA-based applications AU - Boloor, K. AU - Chirkova, R. AU - Salo, T. AU - Viniotis, Y. AB - A large number of enterprise, web-based, distributed software applications are designed on Service Oriented Architecture (SOA) principles and hosted in large scale datacenters managed by cloud providers. Typically, Service Level Agreements (SLAs) are negotiated between the consumers of the cloud platform services and the cloud provider. In this work, we consider SLAs that involve percentiles of response times as part of the performance metrics; the SLAs stipulate that a penalty be charged to the cloud provider if the SLA targets are not met. The main motivation for considering such SLAs is their potential for price differentiation. We focus our analysis on the effects the penalty function has on the achieved response time percentiles. In particular, we analyze the effect of three commonly deployed choices (linear, exponential or step-wise functions) to relate the penalty charged and the achieved percentile. This analysis is NP-hard, so we employ a heuristic algorithm that is based on simulated annealing. Our results indicate that the linear penalty charging function is "best'' in the sense that it maximizes the achieved response time percentiles. C2 - 2011/// C3 - 2011 ieee global telecommunications conference (globecom 2011) DA - 2011/// DO - 10.1109/glocom.2011.6133866 ER - TY - CONF TI - On the access time in mobile hybrid networks AU - Zheng, H. Y. AU - Wang, Wenye AB - This paper investigates the access time of mobile nodes to infrastructure networks in Mobile Hybrid Networks (MHNs), e.g., sensor-actuator networks, where mobile nodes move around the coexisting infrastructure networks. In such networks, mobile nodes may relay data packets in a hop-by-hop fashion, and eventually deliver packets to the wired networks. Our objective is to study the lower bound of the access time, which implies the minimum time to deliver data packets from low-speed, unreliable wireless networks to the high-speed, reliable infrastructure network. In particular, we propose a theoretical framework to analyze the packet propagation speed in MHNs, and to show that there is a unified lower bound on the access time regardless of data forwarding schemes. When wireless nodes move at an average speed of v and variance σ 2 towards an AP, and their density λ is small (e.g., the network is sparse and surely disconnected), we prove that the expected access time is lower bounded by (L b (0)-r) 22 packet mobility is unbiased and L b (0)-r/v for the biased case, where L b (0) is the distance from the source node to the nearest access point. Here, packet mobility is the mobility of a packet due to both node mobility and data transmissions. We further propose a routing scheme to achieve such theoretical bounds. C2 - 2011/// C3 - 2011 ieee global telecommunications conference (globecom 2011) DA - 2011/// DO - 10.1109/glocom.2011.6133498 ER - TY - CONF TI - On optimal tiered structures for network service bundles AU - Lv, Q. AU - Rouskas, G. N. AB - Network operators offer a variety of tiered services in which users may select only from a small set of tiers which offer progressively higher levels of service. Service bundling, whereby several services are combined together and sold as a single package, is also common in the telecommunications market. We consider the problem of determining optimal tiering structures for service bundles using tools from economics and utility theory. Our work provides insight into the selection and pricing of Internet tiered services. C2 - 2011/// C3 - 2011 ieee global telecommunications conference (globecom 2011) DA - 2011/// DO - 10.1109/glocom.2011.6133598 ER - TY - CONF TI - On network performance evaluation toward the smart grid: A case study of DNP3 over TCP/IP AU - Lu, X. AU - Lu, Z. AU - Wang, Wenye AU - Ma, J. F. AB - The smart grid is the next-generation power system that incorporates power infrastructures with information technologies. In the smart grid, power devices are interconnected to support a variety of intelligent mechanisms, such as relay protection and demand response. To enable such mechanisms, messages must be delivered in a timely manner via network protocols. A cost-efficient and backward-compatible way for smart grid protocol design is to migrate current protocols in supervisory control and data acquisition (SCADA) systems to the smart grid. However, an open question is whether the performance of SCADA protocols can meet the timing requirements of smart grid applications. To address this issue, we establish a micro smart grid, Green Hub, to measure the delay performance of a predominant SCADA protocol, distributed network protocol 3.0 (DNP3) over TCP/IP. Our results show that although DNP3 over TCP/IP is widely considered as a smart grid communication protocol, it cannot be used in applications with delay constraints smaller than 16ms in Green Hub, such as relay protection. In addition, since DNP3 provides reliability mechanisms similar to TCP, we identify that such an overlapped design induces 50%-80% of the processing delay in embedded power devices. Our results indicate that DNP3 over TCP/IP can be further optimized in terms of delay efficiency, and a lightweight communication protocol is essential for time-critical smart grid applications. C2 - 2011/// C3 - 2011 ieee global telecommunications conference (globecom 2011) DA - 2011/// DO - 10.1109/glocom.2011.6134406 ER - TY - JOUR TI - NC State's Supply Chain Resource Cooperative Educates in the Real World AU - Handfield, Robert B. AU - Edwards, Steven A. AU - Stonebraker, Jeffrey S. T2 - INTERFACES AB - North Carolina State University's Supply Chain Resource Cooperative (SCRC) is a unique university-industry initiative that provides MBA and undergraduate students with opportunities to apply supply chain (SC) theory and concepts to field-based projects over a semester. We integrate field-based student course projects with real problems that companies are facing. The projects are led by SCRC directors, faculty at the Poole College of Management, and SC managers that financially support the SCRC. The SCRC focuses on improving the caliber of students entering the SC management profession. It accomplishes this by bringing the classroom into industry and involving students in finding viable solutions to real business problems, thus facilitating interactions between students and companies. Since 2000, 1,251 students have completed 331 projects with 39 companies. The SCRC is a self-funded small business that is supported by donor companies. Its organizational structure enables us to develop and maintain long-term relationships with donor companies, which are critical for a successful student-based outreach initiative with industry. In this paper, we describe the SCRC's evolution and benefits, and provide insights that may help other institutions interested in establishing similar organizations. DA - 2011/// PY - 2011/// DO - 10.1287/inte.1110.0584 VL - 41 IS - 6 SP - 548-563 SN - 1526-551X UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-83455262975&partnerID=MN8TOARS KW - education KW - field-based student projects KW - supply chain applications ER - TY - CONF TI - Intermittently connected vehicle-to-vehicle networks: Detection and analysis AU - Li, Y. J. AU - Zhao, M. AU - Wang, Wenye AB - Vehicular Adhoc Networks (VANETs) are dedicated to improve the safety and efficiency of transportation systems through vehicle to vehicle or vehicle to road side communications. VANETs exhibit dynamic topology and intermittent connectivity due to high vehicle mobility. These distinguished features declare a challenging question: how to detect on the fly vehicular networks such that we can explore mobility-assisted message dissemination and topology control in VANETs. As being closely related to network dynamics, vehicle mobility could be explored to uncover network structure. In this paper, we have observed that mobility of vehicle, rather than being random, shows temporal locality (i.e., frequently visiting several communities like home and office), and spatial locality (i.e., velocity constrained by road layout and nearby vehicles). We first examine temporal locality using a campus trace, then measure temporal locality similarity between two vehicles based on the relative entropy of their location preferences. By further incorporating spatial locality similarity, we introduce a new metric, namely dual locality ratio (DLR), which represents the mobility correlation of vehicles. Simulation results show that DLR can effectively identify dynamic vehicular network structures. We also demonstrate applications of DLR for improving performances of data forwarding and clustering in vehicle-to-vehicle networks. C2 - 2011/// C3 - 2011 ieee global telecommunications conference (globecom 2011) DA - 2011/// DO - 10.1109/glocom.2011.6134395 ER - TY - CONF TI - Aggregated-DAG Scheduling for Job Flow Maximization in Heterogeneous Cloud Computing AU - Saovapakhiran, B. AU - Michailidis, G. AU - Devetsikiotis, M. AB - Heterogeneous computing platforms such as Grid and Cloud computing are becoming prevalent and available online. As a result, resource management in these platforms is fundamentally critical to their global performance. Under the assumption of jobs comprised of subtasks forming DAG jobs, we focus on how to increase utilization and achieve near-optimal throughput performance on heterogeneous platforms. Our analysis and proposed algorithm are analytically derived and establish that, by aggregating multiple jobs using good scheduling, a near-optimal throughput can be achieved. Consequently, its limit is asymptotically converging to a certain value and can be written in the form of the service time of subtasks. Furthermore, our analysis shows how to explicitly compute the optimal throughput of computing systems, an important task for such a complex scheduling problem. In addition, we derive a simple super-job scheduling and show that its performance in term of throughput is better than the well-known Heterogeneous Earliest-Finish-Time (HEFT) algorithm. C2 - 2011/// C3 - 2011 ieee global telecommunications conference (globecom 2011) DA - 2011/// DO - 10.1109/glocom.2011.6133611 ER - TY - JOUR TI - A survey on the communication architectures in smart grid AU - Wang, Wenye AU - Xu, Yi AU - Khanna, Mohit T2 - COMPUTER NETWORKS AB - The next-generation electric power systems (smart grid) are studied intensively as a promising solution for energy crisis. One important feature of the smart grid is the integration of high-speed, reliable and secure data communication networks to manage the complex power systems effectively and intelligently. We provide in this paper a comprehensive survey on the communication architectures in the power systems, including the communication network compositions, technologies, functions, requirements, and research challenges. As these communication networks are responsible for delivering power system related messages, we discuss specifically the network implementation considerations and challenges in the power system settings. This survey attempts to summarize the current state of research efforts in the communication networks of smart grid, which may help us identify the research problems in the continued studies. DA - 2011/10/27/ PY - 2011/10/27/ DO - 10.1016/j.comnet.2011.07.010 VL - 55 IS - 15 SP - 3604-3629 SN - 1872-7069 KW - Smart grid KW - Power communications KW - Communication networks KW - Communication protocols KW - Grid standards ER - TY - JOUR TI - A simple novel approach to valuing risky zero coupon bond in a markov regime switching economy AU - Deshpande, A. T2 - Methodology and Computing in Applied Probability DA - 2011/// PY - 2011/// VL - 13 IS - 4 SP - 783-800 ER - TY - JOUR TI - Enteric Microbiome Metabolites Correlate with Response to Simvastatin Treatment AU - Kaddurah-Daouk, Rima AU - Baillie, Rebecca A. AU - Zhu, Hongjie AU - Zeng, Zhao-Bang AU - Wiest, Michelle M. AU - Nguyen, Uyen Thao AU - Wojnoonski, Katie AU - Watkins, Steven M. AU - Trupp, Miles AU - Krauss, Ronald M. T2 - PLOS ONE AB - Although statins are widely prescribed medications, there remains considerable variability in therapeutic response. Genetics can explain only part of this variability. Metabolomics is a global biochemical approach that provides powerful tools for mapping pathways implicated in disease and in response to treatment. Metabolomics captures net interactions between genome, microbiome and the environment. In this study, we used a targeted GC-MS metabolomics platform to measure a panel of metabolites within cholesterol synthesis, dietary sterol absorption, and bile acid formation to determine metabolite signatures that may predict variation in statin LDL-C lowering efficacy. Measurements were performed in two subsets of the total study population in the Cholesterol and Pharmacogenetics (CAP) study: Full Range of Response (FR), and Good and Poor Responders (GPR) were 100 individuals randomly selected from across the entire range of LDL-C responses in CAP. GPR were 48 individuals, 24 each from the top and bottom 10% of the LDL-C response distribution matched for body mass index, race, and gender. We identified three secondary, bacterial-derived bile acids that contribute to predicting the magnitude of statin-induced LDL-C lowering in good responders. Bile acids and statins share transporters in the liver and intestine; we observed that increased plasma concentration of simvastatin positively correlates with higher levels of several secondary bile acids. Genetic analysis of these subjects identified associations between levels of seven bile acids and a single nucleotide polymorphism (SNP), rs4149056, in the gene encoding the organic anion transporter SLCO1B1. These findings, along with recently published results that the gut microbiome plays an important role in cardiovascular disease, indicate that interactions between genome, gut microbiome and environmental influences should be considered in the study and management of cardiovascular disease. Metabolic profiles could provide valuable information about treatment outcomes and could contribute to a more personalized approach to therapy. DA - 2011/10/13/ PY - 2011/10/13/ DO - 10.1371/journal.pone.0025482 VL - 6 IS - 10 SP - SN - 1932-6203 ER - TY - JOUR TI - Application of Proper Orthogonal Decomposition (POD) to inverse problems in saturated groundwater flow AU - Winton, Corey AU - Pettway, Jackie AU - Kelley, C. T. AU - Howington, Stacy AU - Eslinger, Owen J. T2 - ADVANCES IN WATER RESOURCES AB - We develop a new Proper Orthogonal Decomposition (POD) reduced order model for saturated groundwater flow, and apply that model to an inverse problem for the hydraulic conductivity field. We use sensitivities as the POD basis. We compare the output when the optimizer uses the reduced order model against results obtained with a full PDE based model. The solutions generated using the POD reduced model are comparable in residual norm to the solutions formed using only the full-scale model. The material parameters are similarly comparable. The time to solution when using the reduced model is reduced by at least an order of magnitude, as are the number of calls to the full model. DA - 2011/12// PY - 2011/12// DO - 10.1016/j.advwatres.2011.09.007 VL - 34 IS - 12 SP - 1519-1526 SN - 1872-9657 KW - Proper Orthogonal Decomposition KW - Optimization KW - Parameter estimation KW - Inverse problem KW - Saturated groundwater flow ER - TY - JOUR TI - Receding Horizon Control of HIV AU - David, John AU - Tran, Hien AU - Banks, H. T. T2 - OPTIMAL CONTROL APPLICATIONS & METHODS AB - This paper describes a model of the immunologic response of the human immunodeficiency virus (HIV) in individuals. It then illustrates how a Receding Horizon Control (RHC) methodology can be used to drive the system to a stable equilibrium in which a strong immune response controls the viral load in the absence of drug treatment. We also illustrate how this feedback methodology can overcome unplanned treatment interruptions, inaccurate or incomplete data and imperfect model specification. We consider how ideas from stochastic estimation can be used in conjunction with RHC to create a robust treatment methodology. We then consider the performance of this methodology over random simulations of the previously considered clinical conditions. Copyright © 2010 John Wiley & Sons, Ltd. DA - 2011/// PY - 2011/// DO - 10.1002/oca.969 VL - 32 IS - 6 SP - 681-699 SN - 1099-1514 KW - HIV model KW - Receding Horizon Control KW - extended Kalman filter KW - state estimator ER - TY - JOUR TI - Inverse data envelopment analysis model to preserve relative efficiency values: The case of variable returns to scale AU - Lertworasirikul, Saowanee AU - Charnsethikul, Peerayuth AU - Fang, Shu-Cherng T2 - Computers & Industrial Engineering AB - This paper studies the inverse Data Envelopment Analysis (inverse DEA) for the case of variable returns to scale (inverse BCC). The developed inverse BCC model can preserve relative efficiency values of all decision making units (DMUs) in a new production possibility set composing of all current DMUs and a perturbed DMU with new input and output values. We consider the inverse BCC model for a resource allocation problem, where increases of some outputs and decreases of the other outputs of the considered DMU can be taken into account simultaneously. The inverse BCC problem is in the form of a multi-objective nonlinear programming model (MONLP), which is not easy to solve. We propose a linear programming model, which gives a Pareto-efficient solution to the inverse BCC problem. However, there exists at least an optimal solution to the proposed model if and only if the new output vector is in the set of current production possibility set. The proposed approach is illustrated via a case study of a motorcycle-part company. DA - 2011/11// PY - 2011/11// DO - 10.1016/j.cie.2011.06.014 VL - 61 IS - 4 SP - 1017-1023 J2 - Computers & Industrial Engineering LA - en OP - SN - 0360-8352 UR - http://dx.doi.org/10.1016/j.cie.2011.06.014 DB - Crossref KW - Data envelopment analysis KW - Inverse optimization KW - Efficiency KW - Performance analysis KW - Resource allocation ER - TY - JOUR TI - Generalized nonlinear H-infinity synthesis condition with its numerically efficient solution AU - Zheng, Qian AU - Wu, Fen T2 - INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL AB - Abstract In this paper, we will first derive a general synthesis condition for the output‐feedback ℋ︁ ∞ control of smooth nonlinear systems. Computationally efficient ℋ︁ ∞ control design procedure for a subclass of smooth nonlinear systems with polynomial vector field is then proposed by converting the resulting Hamilton‐Jacobi‐Isaacs inequalities from rational forms to their equivalent polynomial forms. Using quadratic Lyapunov functions, both the state‐feedback and output‐feedback problems will be reformulated as semi‐definite optimization conditions and locally tractable solutions can be obtained through sum‐of‐squares (SOS) programming. The proposed nonlinear ℋ︁ ∞ design approach achieves significant relaxations on the plant structure compared with existing results in the literature. Moreover, the SOS‐based solution algorithm provides an effective computational scheme to break the bottleneck in solving nonlinear ℋ︁ ∞ and optimal control problems. The proposed nonlinear ℋ︁ ∞ control approach has been applied to several examples to demonstrate its advantages over existing nonlinear control techniques and its usefulness to engineering problems. Copyright © 2010 John Wiley & Sons, Ltd. DA - 2011/12// PY - 2011/12// DO - 10.1002/rnc.1682 VL - 21 IS - 18 SP - 2079-2100 SN - 1099-1239 KW - nonlinear H-infinity control KW - output feedback KW - polynomial nonlinear systems KW - SOS programming ER - TY - JOUR TI - Breakthrough Scanning, Supplier Knowledge Exchange, and New Product Development Performance AU - Cousins, Paul D. AU - Lawson, Benn AU - Petersen, Kenneth J. AU - Handfield, Robert B. T2 - JOURNAL OF PRODUCT INNOVATION MANAGEMENT AB - The ability of a firm to scan its environment for breakthrough innovations and develop new products is increasingly central to business success. However, many firms struggle to develop breakthrough innovations alone, and rely increasingly on their supply base to provide input in processing uncertain and ambiguous technological knowledge. This paper develops a theoretical framework, based in information processing theory, to investigate the effects of breakthrough search behaviors by the buyer firm on their technical proficiency, reliance on supplementary processing capacity with suppliers, and subsequent new product development and financial performance. Using data provided by 111 procurement executives from the United Kingdom, we find support for our hypotheses. Increased breakthrough scanning results in higher firm‐level technical proficiency, and also an increase in knowledge sharing with the firm's suppliers. A combination of a firm's technical capabilities and knowledge exchange with suppliers was found to result in improved new product development performance and financial performance. This study extends the supply relationship management and new product development literatures, and suggests implications for both research and practice. DA - 2011/11// PY - 2011/11// DO - 10.1111/j.1540-5885.2011.00854.x VL - 28 IS - 6 SP - 930-942 SN - 1540-5885 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80053978989&partnerID=MN8TOARS ER - TY - JOUR TI - Bandwidth allocation under end-to-end percentile delay bounds AU - Anjum, Bushra AU - Perros, Harry AU - Mountrouidou, Xenia AU - Kontovasilis, Kimon T2 - INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT AB - SUMMARY We describe an efficient and accurate approximation method for calculating the bandwidth that should be allocated on each link along the path of a point‐to‐point Multiprotocol Label Switching connection, so that the end‐to‐end delay D is less than or equal to a given value T with a probability γ , that is, P ( D ≤ T ) = γ . We model a connection by a tandem queuing network of infinite capacity queues. The arrival process of packets to the connection is assumed to be bursty and correlated and it is depicted by a two‐stage Markov‐Modulated Poisson Process. The service times are exponentially distributed. The proposed method uses only the first queue of the tandem queuing network to construct an upper and lower bound of the required bandwidth so that P ( D ≤ T ) = γ . Subsequently, we estimate the required bandwidth using a simple interpolation function between the two bounds. Extensive comparisons with simulation showed that the results obtained have an average relative error of 1.25%. Copyright © 2011 John Wiley & Sons, Ltd. DA - 2011/// PY - 2011/// DO - 10.1002/nem.783 VL - 21 IS - 6 SP - 536-547 SN - 1099-1190 ER - TY - JOUR TI - THE REVIEWERS HATED IT! WHAT TO DO WHEN YOUR RESULTS DON'T ADD UP AU - Handfield, Robert T2 - JOURNAL OF SUPPLY CHAIN MANAGEMENT AB - This essay explores the reasons why studies with non‐significant results often do not get published, by looking back on a subset of submissions from the past 15 years. Suggestions are then provided to authors who face the dilemma of non‐significance. DA - 2011/// PY - 2011/// DO - 10.1111/j.1745-493x.2011.03243.x VL - 47 IS - 4 SP - 11-16 SN - 1523-2409 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80054709343&partnerID=MN8TOARS KW - research methods KW - nonsignificant results ER - TY - JOUR TI - Payment contracts in a preventive health care system: A perspective from Operations Management AU - Yaesoubi, Reza AU - Roberts, Stephen D. T2 - JOURNAL OF HEALTH ECONOMICS AB - We consider a health care system consisting of two noncooperative parties: a health purchaser (payer) and a health provider, where the interaction between the two parties is governed by a payment contract. We determine the contracts that coordinate the health purchaser-health provider relationship; i.e. the contracts that maximize the population's welfare while allowing each entity to optimize its own objective function. We show that under certain conditions (1) when the number of customers for a preventive medical intervention is verifiable, there exists a gate-keeping contract and a set of concave piecewise linear contracts that coordinate the system, and (2) when the number of customers is not verifiable, there exists a contract of bounded linear form and a set of incentive-feasible concave piecewise linear contracts that coordinate the system. DA - 2011/12// PY - 2011/12// DO - 10.1016/j.jhealeco.2011.08.009 VL - 30 IS - 6 SP - 1188-1196 SN - 0167-6296 KW - Health care payment system KW - Coordinating contracts KW - Welfare KW - Mechanism design KW - Principal-agent model KW - Preventive care ER - TY - JOUR TI - MINIMAL EFFORT PROBLEMS AND THEIR TREATMENT BY SEMISMOOTH NEWTON METHODS AU - Ito, Kazufumi AU - Kunisch, Karl T2 - SIAM JOURNAL ON CONTROL AND OPTIMIZATION AB - The paper introduces minimum effort control problems. These provide an answer to the question of the smallest possible control bound which still allows us to drive the system to a target within a fixed time T. This is a counterpart to the time optimal control problem which minimizes the time required to drive the system to the target, given a control bound. The problem is formulated as an optimal control problem with pointwise constraint on the control. The necessary conditions of optimality are derived by Lagrange multiplier theory. The semismooth Newton method is applied to a properly regularized problem. Well-posedness and superlinear convergence of the semismooth Newton method are proved for linear control systems under a controllability condition. Numerical results are presented for demonstrating the applicability and feasibility of the proposed method. DA - 2011/// PY - 2011/// DO - 10.1137/100784667 VL - 49 IS - 5 SP - 2083-2100 SN - 0363-0129 KW - minimum effort control KW - Lagrange multiplier theory KW - semismooth Newton method ER - TY - JOUR TI - KARUSH-KUHN-TUCKER CONDITIONS FOR NONSMOOTH MATHEMATICAL PROGRAMMING PROBLEMS IN FUNCTION SPACES AU - Ito, Kazufumi AU - Kunisch, Karl T2 - SIAM JOURNAL ON CONTROL AND OPTIMIZATION AB - Lagrange multiplier rules for abstract optimization problems with mixed smooth and convex terms in the cost, with smooth equality constrained and convex inequality constraints, are presented. The typical case for the equality constraints that the theory is meant for is given by differential equations. Applications are given to $L^1$-minimum norm control problems, $L^\infty$-norm minimization, and a class of optimal control problems with distributed state constraints and nonsmooth cost. DA - 2011/// PY - 2011/// DO - 10.1137/100817061 VL - 49 IS - 5 SP - 2133-2154 SN - 0363-0129 KW - KKT conditions KW - nonsmooth optimization KW - necessary optimality ER - TY - CONF TI - Information delivery in large wireless networks with minimum energy expense AU - Xu, Y. AU - Wang, Wenye AB - Energy efficient communication is a critical research problem in large-scale multihop wireless networks because of the limited energy supplies from batteries. We investigate in this paper the minimum energy required to fulfill various information delivery goals that correspond to the major communication paradigms in large wireless networks. We characterize the minimum energy requirement in two steps. We first derive the lower bounds on the energy consumption for all the possible solutions that deliver the information as required. We then design routing schemes that accomplish the information delivery tasks by using an amount of energy comparable to the lower bounds. Our work provides the fundamental understandings of energy needs and the efficient solutions for energy usages in major communication scenarios, which contribute to the rational dimensioning and wise utilization of the energy resources in large wireless networks. C2 - 2011/// C3 - 2011 proceedings ieee infocom DA - 2011/// DO - 10.1109/infcom.2011.5934950 SP - 1584–1592 ER - TY - JOUR TI - A new approach to nonlinear constrained Tikhonov regularization AU - Ito, Kazufumi AU - Jin, Bangti T2 - INVERSE PROBLEMS AB - We present a novel approach to nonlinear constrained Tikhonov regularization from the viewpoint of optimization theory. A second-order sufficient optimality condition is suggested as a nonlinearity condition to handle the nonlinearity of the forward operator. The approach is exploited to derive convergence rates results for a priori as well as a posteriori choice rules, e.g., discrepancy principle and balancing principle, for selecting the regularization parameter. The idea is further illustrated on a general class of parameter identification problems, for which (new) source and nonlinearity conditions are derived and the structural property of the nonlinearity term is revealed. A number of examples including identifying distributed parameters in elliptic differential equations are presented. DA - 2011/10// PY - 2011/10// DO - 10.1088/0266-5611/27/10/105005 VL - 27 IS - 10 SP - SN - 1361-6420 ER - TY - JOUR TI - A Stochastic Portfolio Optimization Model with Bounded Memory AU - Chang, Mou-Hsiung AU - Pang, Tao AU - Yang, Yipeng T2 - MATHEMATICS OF OPERATIONS RESEARCH AB - This paper considers a portfolio management problem of Merton's type in which the risky asset return is related to the return history. The problem is modeled by a stochastic system with delay. The investor's goal is to choose the investment control as well as the consumption control to maximize his total expected, discounted utility. Under certain situations, we derive the explicit solutions in a finite dimensional space. DA - 2011/11// PY - 2011/11// DO - 10.1287/moor.1110.0508 VL - 36 IS - 4 SP - 604-619 SN - 1526-5471 KW - stochastic delay equations KW - optimal stochastic control KW - Hamilton-Jacobi-Bellman equation ER - TY - JOUR TI - Selecting and using views to compute aggregate queries AU - Afrati, F. AU - Chirkova, R. T2 - Journal of Computer and System Sciences AB - We consider a workload of aggregate queries and investigate the problem of selecting materialized views that (1) provide equivalent rewritings for all the queries, and (2) are optimal, in that the cost of evaluating the query workload is minimized. We consider conjunctive views and rewritings, with or without aggregation; in each rewriting, only one view contributes to computing the aggregated query output. We look at query rewriting using existing views and at view selection. In the query-rewriting problem, we give sufficient and necessary conditions for a rewriting to exist. For view selection, we prove complexity results. Finally, we give algorithms for obtaining rewritings and selecting views. DA - 2011/// PY - 2011/// DO - 10.1016/j.jcss.2010.10.003 VL - 77 IS - 6 SP - 1079-1107 ER - TY - JOUR TI - Numerical Study of Surfactant-Laden Drop-Drop Interactions AU - Xu, Jian-Jun AU - Li, Zhilin AU - Lowengrub, John AU - Zhao, Hongkai T2 - COMMUNICATIONS IN COMPUTATIONAL PHYSICS AB - Abstract In this paper, we numerically investigate the effects of surfactant on drop-drop interactions in a 2D shear flow using a coupled level-set and immersed interface approach proposed in (Xu et al., J. Comput. Phys., 212 (2006), 590-616). We find that surfactant plays a critical and nontrivial role in drop-drop interactions. In particular, we find that the minimum distance between the drops is a non-monotone function of the surfactant coverage and Capillary number. This non-monotonic behavior, which does not occur for clean drops, is found to be due to the presence of Marangoni forces along the drop interfaces. This suggests that there are non-monotonic conditions for coalescence of surfactant-laden drops, as observed in recent experiments of Leal and co-workers. Although our study is two-dimensional, we believe that drop-drop interactions in three-dimensional flows should be qualitatively similar as the Maragoni forces in the near contact region in 3D should have a similar effect. DA - 2011/8// PY - 2011/8// DO - 10.4208/cicp.090310.020610a VL - 10 IS - 2 SP - 453-473 SN - 1991-7120 KW - Surfactants KW - drops KW - coalescence KW - surface tension KW - Marangoni effect KW - level-set method KW - immersed interface method KW - Stokes flow ER - TY - JOUR TI - Modelling and analysis of semiconductor manufacturing in a shrinking world: Challenges and successes AU - Chien, C. F. AU - Dauzere-Peres, S. AU - Ehm, H. AU - Fowler, J. W. AU - Jiang, Z. B. AU - Krishnaswamy, S. AU - Lee, T. E. AU - Monch, L. AU - Uzsoy, R. T2 - European Journal of Industrial Engineering DA - 2011/// PY - 2011/// VL - 5 IS - 3 SP - 254-271 ER - TY - JOUR TI - KKT SOLUTION AND CONIC RELAXATION FOR SOLVING QUADRATICALLY CONSTRAINED QUADRATIC PROGRAMMING PROBLEMS AU - Lu, Cheng AU - Fang, Shu-Cherng AU - Jin, Qingwei AU - Wang, Zhenbo AU - Xing, Wenxun T2 - SIAM JOURNAL ON OPTIMIZATION AB - To find a global optimal solution to the quadratically constrained quadratic programming problem, we explore the relationship between its Lagrangian multipliers and related linear conic programming problems. This study leads to a global optimality condition that is more general than the known positive semidefiniteness condition in the literature. Moreover, we propose a computational scheme that provides clues of designing effective algorithms for more solvable quadratically constrained quadratic programming problems. DA - 2011/// PY - 2011/// DO - 10.1137/100793955 VL - 21 IS - 4 SP - 1475-1490 SN - 1095-7189 KW - quadratically constrained quadratic programming KW - conic programming KW - global optimality condition KW - solvable condition ER - TY - JOUR TI - Dynamic evasion-interrogation games with uncertainty in the context of electromagetics AU - Banks, H. T. AU - Hu, S. H. AU - Ito, K. AU - Muccio, S. G. T2 - Numerical Mathematics: Theory, Methods and Applications DA - 2011/// PY - 2011/// VL - 4 IS - 3 SP - 359-378 ER - TY - JOUR TI - Axle load distribution for mechanistic-empirical pavement design in North Carolina multidimensional clustering approach and decision tree development AU - Sayyady, F. AU - Stone, J. R. AU - List, G. F. AU - Jadoun, F. M. AU - Kim, Y. R. AU - Sajjadi, S. T2 - Transportation Research Record DA - 2011/// PY - 2011/// IS - 2256 SP - 159-168 ER - TY - JOUR TI - Predicting false discovery proportion under dependence AU - Ghosal, S. AU - Roy, A. T2 - Journal of the American Statistical Association DA - 2011/// PY - 2011/// VL - 106 IS - 495 SP - 1208-1218 ER - TY - JOUR TI - Auxiliary signal design for robust active fault detection of linear discrete-time systems AU - Ashari, Alireza Esna AU - Nikoukhah, Ramine AU - Campbell, Stephen L. T2 - AUTOMATICA AB - In this paper, algorithms are proposed to design auxiliary signals for active fault detection based on a multi-model formulation of discrete-time systems. Two different scenarios are considered for this problem; the first one assumes there is no a priori information on initial conditions and no exogenous input signal, while the second allows for having a priori information and the possibility of having a known input in addition to the test signal. Approaches are proposed for solving these two types of problems which are capable of solving the problems efficiently. This is achieved by using a recursive approach based on the use of special Riccati equations. These algorithms can be used for systems of higher dimension and on longer time horizons than the existing methods. DA - 2011/9// PY - 2011/9// DO - 10.1016/j.automatica.2011.06.009 VL - 47 IS - 9 SP - 1887-1895 SN - 1873-2836 KW - Fault detection KW - Test signal reconstruction KW - Model based fault detection KW - Matrix Riccati equations KW - Dynamic optimization ER - TY - JOUR TI - Using time-varying tolls to optimize truck arrivals at ports AU - Chen, Xiaoming AU - Zhou, Xuesong AU - List, George F. T2 - TRANSPORTATION RESEARCH PART E-LOGISTICS AND TRANSPORTATION REVIEW AB - An analytical point-wise stationary approximation model is proposed to analyze time-dependent truck queuing processes with stochastic service time distributions at gates and yards of a port terminal. A convex nonlinear programming model is developed which minimizes the total truck turn time and discomfort due to shifted arrival times. A two-phase optimization approach is used to first compute a system-optimal truck arrival pattern, and then find a desirable pattern of time-varying tolls that leads to the optimal arrival pattern. Numerical experiments are conducted to test the computational efficiency and accuracy of the proposed optimization models. DA - 2011/11// PY - 2011/11// DO - 10.1016/j.tre.2011.04.001 VL - 47 IS - 6 SP - 965-982 SN - 1366-5545 KW - Port management KW - First best toll pricing KW - Time-dependent queuing model KW - Stochastic service time distribution ER - TY - JOUR TI - Studying Gene and Gene-Environment Effects of Uncommon and Common Variants on Continuous Traits: A Marker-Set Approach Using Gene-Trait Similarity Regression AU - Tzeng, Jung-Ying AU - Zhang, Daowen AU - Pongpanich, Monnat AU - Smith, Chris AU - McCarthy, Mark I. AU - Sale, Michele M. AU - Worrall, Bradford B. AU - Hsu, Fang-Chi AU - Thomas, Duncan C. AU - Sullivan, Patrick F. T2 - AMERICAN JOURNAL OF HUMAN GENETICS AB - Genomic association analyses of complex traits demand statistical tools that are capable of detecting small effects of common and rare variants and modeling complex interaction effects and yet are computationally feasible. In this work, we introduce a similarity-based regression method for assessing the main genetic and interaction effects of a group of markers on quantitative traits. The method uses genetic similarity to aggregate information from multiple polymorphic sites and integrates adaptive weights that depend on allele frequencies to accomodate common and uncommon variants. Collapsing information at the similarity level instead of the genotype level avoids canceling signals that have the opposite etiological effects and is applicable to any class of genetic variants without the need for dichotomizing the allele types. To assess gene-trait associations, we regress trait similarities for pairs of unrelated individuals on their genetic similarities and assess association by using a score test whose limiting distribution is derived in this work. The proposed regression framework allows for covariates, has the capacity to model both main and interaction effects, can be applied to a mixture of different polymorphism types, and is computationally efficient. These features make it an ideal tool for evaluating associations between phenotype and marker sets defined by linkage disequilibrium (LD) blocks, genes, or pathways in whole-genome analysis. DA - 2011/8/12/ PY - 2011/8/12/ DO - 10.1016/j.ajhg.2011.07.007 VL - 89 IS - 2 SP - 277-288 SN - 1537-6605 ER - TY - JOUR TI - Statistical Parameter Estimation for Macro Fiber Composite Actuators using the Homogenized Energy Model AU - Hu, Zhengzheng AU - Smith, Ralph C. AU - Stuebner, Michael AU - Hays, Michael AU - Oates, William S. T2 - BEHAVIOR AND MECHANICS OF MULTIFUNCTIONAL MATERIALS AND COMPOSITES 2011 AB - Macro Fiber Composites (MFC) are planar actuators comprised of PZT fibers embedded in an epoxy matrix that is sandwiched between electrodes. Due to their construction, they exhibit significant durability and flexibility in addition to being lightweight and providing broadband inputs. They are presently being considered for a range of applications including positioning and control of membrane mirrors and configurable aerospace structures. However, they also exhibit hysteresis and constitutive nonlinearities that must be incorporated in models to achieve the full potential of the devices. In this paper, we discuss the development of a model that quantifies the hysteresis and constitutive nonlinearities in a manner that promotes subsequent control design. The constitutive model is constructed using the homogenized energy framework for ferroelectric hysteresis and used to develop resulting system models. The performance of the models is validated with experimental data. DA - 2011/// PY - 2011/// DO - 10.1117/12.884622 VL - 7978 SP - SN - 0277-786X KW - Nonlinear piezoelectric model KW - macro fiber composite ER - TY - JOUR TI - Predicting County-Level Southern Pine Beetle Outbreaks From Neighborhood Patterns AU - Duehl, Adrian AU - Bishir, John AU - Hain, Fred P. T2 - ENVIRONMENTAL ENTOMOLOGY AB - The southern pine beetle (Dendroctonus frontalis Zimmermann, Coleoptera: Curculionidae) is the most destructive insect in southern forests. States have kept county-level records on the locations of beetle outbreaks for the past 50 yr. This study determined how accurately patterns of county-level infestations in preceding years could predict infestation occurrence in the current year and if there were emergent patterns that correlated strongly with beetle outbreaks. A variety of methods were tested as infestation predictors, including quantification of either the exact locations of infested grid cells during one or two preceding years, or the neighborhood infestation intensity (number of infested cells in a neighborhood) in these years. The methods had similar predictive abilities, but the simpler methods performed somewhat better than the more complex ones. The factors most correlated with infestations in future years were infestation in the current year and the number of surrounding counties that were infested. Infestation history helped to predict the probability of future infestations in a region, but county-level patterns alone left much of the year-to-year variability unexplained. DA - 2011/4// PY - 2011/4// DO - 10.1603/en08275 VL - 40 IS - 2 SP - 273-280 SN - 0046-225X KW - southern pine beetle KW - cellular automata KW - county pattern KW - forest damage ER - TY - JOUR TI - IMPORTANCE SAMPLING FOR A MONTE CARLO MATRIX MULTIPLICATION ALGORITHM, WITH APPLICATION TO INFORMATION RETRIEVAL AU - Eriksson-Bique, Sylvester AU - Solbrig, Mary AU - Stefanelli, Michael AU - Warkentin, Sarah AU - Abbey, Ralph AU - Ipsen, Ilse C. F. T2 - SIAM JOURNAL ON SCIENTIFIC COMPUTING AB - We perform importance sampling for a randomized matrix multiplication algorithm by Drineas, Kannan, and Mahoney and derive probabilities that minimize the expected value (with regard to the distributions of the matrix elements) of the variance. We compare these optimized probabilities with uniform probabilities and derive conditions under which the actual variance of the optimized probabilities is lower. Numerical experiments with query matching in information retrieval applications illustrate that the optimized probabilities produce more accurate matchings than the uniform probabilities and that they can also be computed efficiently. DA - 2011/// PY - 2011/// DO - 10.1137/10080659x VL - 33 IS - 4 SP - 1689-1706 SN - 1095-7197 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80052734652&partnerID=MN8TOARS KW - randomized algorithm KW - expected value KW - variance KW - term-by-document matrix KW - query matching ER - TY - JOUR TI - Forces, trends, and decisions in pharmaceutical supply chain management AU - Rossetti, C.L. AU - Handfield, Robert AU - Dooley, K.J. T2 - International Journal of Physical Distribution and Logistics Management AB - Purpose The purpose of this paper is to identify and examine the major forces that are changing the way biopharmaceutical medications are purchased, distributed, and sold throughout the supply chain. This will become important as healthcare reform moves forward, and logistics will be transformed in this industry. Design/methodology/approach Multiple interviews with key informants at each level of the value chain were combined with manifest text analysis from practitioner articles to derive key insights into the primary change drivers influencing the future of the biopharmaceutical supply chain. Findings The research discovered radical shifts in the structure of the biopharmaceutical supply chain. Future research into biopharmaceutical supply chain practices will need to explore three primary issues: How will supply chain member compensation influence the power of parties within the network? How will the role of supply chain intermediaries change the landscape of medication delivery to the end customer? What impact will the role of regulatory constraints on product pedigree and proliferation have on this network? The relationship between these forces is mediated by operations strategy concerning inventory policy, supply chain visibility, and desired service levels. Research limitations/implications The research was based on multiple interviews with a convenience sample, as well as text analysis from practitioner articles. These findings are an initial step to guide future more in‐depth research for this dynamic and contextually rich supply chain environment that impacts consumers in every country in the world. Originality/value The paper adds insights into the pharmaceutical supply chain, examining this from multiple perspectives. DA - 2011/// PY - 2011/// DO - 10.1108/09600031111147835 VL - 41 IS - 6 SP - 601-622 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-79960293063&partnerID=MN8TOARS KW - Biopharmaceutical KW - Supply chain KW - Intermediaries KW - Supply chain regulation KW - Distribution strategy KW - Supply chain management ER - TY - JOUR TI - Fast Exact ILP Decompositions for Ring RWA AU - Yetginer, Emre AU - Liu, Zeyu AU - Rouskas, George N. T2 - JOURNAL OF OPTICAL COMMUNICATIONS AND NETWORKING AB - Wavelength division multiplexing rings are now capable of supporting more than 100 wavelengths over a single fiber. Conventional link and path formulations for the routing and wavelength assignment problem are inefficient due to the inherent symmetry in wavelength assignment and the fact that the problem size increases fast with the number of wavelengths. Although a formulation based on maximal independent sets (MIS) does not have these drawbacks, it suffers from exponential growth in the number of variables with increasing network size. We develop a new ILP (integer linear program) formulation based on the key idea of partitioning the path set and representing the MIS in the original network using the independent sets calculated in each of these partitions. This exact decomposition trades off the number of variables with the number of constraints and, as a result, achieves a much better scalability in terms of network dimension. Numerical results on ring networks of various sizes demonstrate that this new ILP decomposition achieves a decrease of several orders of magnitude in running time compared to existing formulations. Our main contribution is a novel and extremely fast technique for obtaining, in a few seconds using commodity CPUs, optimal solutions to instances of maximum size SONET rings with any number of wavelengths; such instances cannot be tackled with classical formulations without vast investments in computational resources and time. DA - 2011/7// PY - 2011/7// DO - 10.1364/jocn.3.000577 VL - 3 IS - 7 SP - 577-586 SN - 1943-0639 KW - Integer linear programming (ILP) KW - Ring networks KW - Routing and wavelength assignment (RWA) ER - TY - JOUR TI - Adaptive Control Design for Hysteretic Smart Systems AU - McMahan, Jerry A. AU - Smith, Ralph C. T2 - BEHAVIOR AND MECHANICS OF MULTIFUNCTIONAL MATERIALS AND COMPOSITES 2011 AB - Ferroelectric and ferromagnetic actuators are being considered for a range of industrial, aerospace, aeronautic and biomedical applications due to their unique transduction capabilities. However, they also exhibit hysteretic and nonlinear behavior that must be accommodated in models and control designs. If uncompensated, these effects can yield reduced system performance and, in the worst case, can produce unpredictable behavior of the control system. In this paper, we address the development of adaptive control designs for hysteretic systems. We review an MRAC-like adaptive control algorithm used to track a reference trajectory while computing online estimates for certain model parameters. This method is incorporated in a composite control algorithm to improve the tracking capabilities of the system. Issues arising in the implementation of these algorithms are addressed, and a numerical example is presented, comparing the results of each method. DA - 2011/// PY - 2011/// DO - 10.1117/12.884621 VL - 7978 SP - SN - 1996-756X KW - smart systems KW - hysteresis KW - adaptive control KW - composite control ER - TY - JOUR TI - Performance of Skart: A Skewness- and Autoregression-Adjusted Batch Means Procedure for Simulation Analysis AU - Tafazzoli, Ali AU - Wilson, James R. AU - Lada, Emily K. AU - Steiger, Natalie M. T2 - INFORMS JOURNAL ON COMPUTING AB - An analysis is given for an extensive experimental performance evaluation of Skart, an automated sequential batch means procedure for constructing an asymptotically valid confidence interval (CI) on the steady-state mean of a simulation output process. Skart is designed to deliver a CI satisfying user-specified requirements on absolute or relative precision as well as coverage probability. Skart exploits separate adjustments to the half-length of the classical batch means CI so as to account for the effects on the distribution of the underlying Student's t-statistic that arise from skewness (nonnormality) and autocorrelation of the batch means. Skart also delivers a point estimator for the steady-state mean that is approximately free of initialization bias. In an experimental performance evaluation involving a wide range of test processes, Skart compared favorably with other steady-state simulation analysis methods—namely, its predecessors ASAP3, WASSP, and SBatch, as well as ABATCH, LBATCH, the Heidelberger–Welch procedure, and the Law–Carson procedure. Specifically, Skart exhibited competitive sampling efficiency and closer conformance to the given CI coverage probabilities than the other procedures, especially in the most difficult test processes. DA - 2011/// PY - 2011/// DO - 10.1287/ijoc.1100.0401 VL - 23 IS - 2 SP - 297-314 SN - 1526-5528 KW - simulation KW - statistical analysis KW - steady-state analysis KW - method of batch means KW - Cornish-Fisher expansion KW - autoregressive representation ER - TY - JOUR TI - Nonholonomic Hamilton-Jacobi theory via Chaplygin Hamiltonization AU - Ohsawa, Tomoki AU - Fernandez, Oscar E. AU - Bloch, Anthony M. AU - Zenkov, Dmitry V. T2 - JOURNAL OF GEOMETRY AND PHYSICS AB - We develop Hamilton–Jacobi theory for Chaplygin systems, a certain class of nonholonomic mechanical systems with symmetries, using a technique called Hamiltonization, which transforms nonholonomic systems into Hamiltonian systems. We give a geometric account of the Hamiltonization, identify necessary and sufficient conditions for Hamiltonization, and apply the conventional Hamilton–Jacobi theory to the Hamiltonized systems. We show, under a certain sufficient condition for Hamiltonization, that the solutions to the Hamilton–Jacobi equation associated with the Hamiltonized system also solve the nonholonomic Hamilton–Jacobi equation associated with the original Chaplygin system. The results are illustrated through several examples. DA - 2011/8// PY - 2011/8// DO - 10.1016/j.geomphys.2011.02.015 VL - 61 IS - 8 SP - 1263-1291 SN - 1879-1662 KW - Nonholonomic mechanics KW - Hamilton-Jacobi theory KW - Reduction KW - Hamiltonization ER - TY - JOUR TI - Intertemporal Discount Factors as a Measure of Trustworthiness in Electronic Commerce AU - Hazard, Christopher J. AU - Singh, Munindar P. T2 - IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING AB - In multiagent interactions, such as e-commerce and file sharing, being able to accurately assess the trustworthiness of others is important for agents to protect themselves from losing utility. Focusing on rational agents in e-commerce, we prove that an agent's discount factor (time preference of utility) is a direct measure of the agent's trustworthiness for a set of reasonably general assumptions and definitions. We propose a general list of desiderata for trust systems and discuss how discount factors as trustworthiness meet these desiderata. We discuss how discount factors are a robust measure when entering commitments that exhibit moral hazards. Using an online market as a motivating example, we derive some analytical methods both for measuring discount factors and for aggregating the measurements. DA - 2011/5// PY - 2011/5// DO - 10.1109/tkde.2010.141 VL - 23 IS - 5 SP - 699-712 SN - 1558-2191 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-79953171081&partnerID=MN8TOARS KW - Trust KW - reputation KW - intertemporal discounting ER - TY - JOUR TI - Bayesian smoothing of photon-limited images with applications in astronomy AU - White, J. T. AU - Ghosal, S. T2 - Journal of the Royal Statistical Society. Series B, Statistical Methodology DA - 2011/// PY - 2011/// VL - 73 SP - 579-599 ER - TY - JOUR TI - Adding Percentiles of Erlangian Distributions AU - Anjum, Bushra AU - Perros, Harry T2 - IEEE COMMUNICATIONS LETTERS AB - In networking, enterprise computing and many other areas the issue of adding percentiles of a performance metric, such as the response time, arises regularly. Percentiles cannot be added using the arithmetic sum, and surprisingly there are no known formulae that permit us to do so correctly. In this paper, we obtain an exact analytical expression for adding percentiles of random variables which can be represented by a series of generalized exponential stages (e.g., Erlang, hypoexponential and two-stage Coxian). We demonstrate the applicability of our results by an example in which we use our expressions in the Dijkstra's algorithm to calculate the shortest 'percentile delay' path. DA - 2011/3// PY - 2011/3// DO - 10.1109/lcomm.2011.011011.102143 VL - 15 IS - 3 SP - 346-348 SN - 1089-7798 KW - Adding percentiles KW - Erlang KW - two-stage Coxian KW - quality of service KW - hypoexponential KW - shortest path calculation ER - TY - JOUR TI - A Dynamic Recursive Unified Internet Design (DRUID) AU - Touch, Joe AU - Baldine, Ilia AU - Dutta, Rudra AU - Finn, Gregory G. AU - Ford, Bryan AU - Jordan, Scott AU - Massey, Dan AU - Matta, Abraham AU - Papadopoulos, Christos AU - Reiher, Peter AU - Rouskas, George T2 - COMPUTER NETWORKS AB - The Dynamic Recursive Unified Internet Design (DRUID) is a future Internet design that unifies overlay networks with conventional layered network architectures. DRUID is based on the fundamental concept of recursion, enabling a simple and direct network architecture that unifies the data, control, management, and security aspects of the current Internet, leading to a more trustworthy network. DRUID’s architecture is based on a single recursive block that can adapt to support a variety of communication functions, including parameterized mechanisms for hard/soft state, flow and congestion control, sequence control, fragmentation and reassembly, compression, encryption, and error recovery. This recursion is guided by the structure of a graph of translation tables that help compartmentalize the scope of various functions and identifier spaces, while relating these spaces for resource discovery, resolution, and routing. The graph also organizes persistent state that coordinates behavior between individual data events (e.g., coordinating packets as a connection), among different associations (e.g., between connections), as well as helping optimize the recursive discovery process through caching, and supporting prefetching and distributed pre-coordination. This paper describes the DRUID architecture composed of these three parts (recursive block, translation tables, persistent state), and highlights its goals and benefits, including unifying the data, control, management, and security planes currently considered orthogonal aspects of network architecture. DA - 2011/3/10/ PY - 2011/3/10/ DO - 10.1016/j.comnet.2010.12.016 VL - 55 IS - 4 SP - 919-935 SN - 1872-7069 KW - Network architecture KW - Future internet KW - Recursive networks KW - Dynamic stacks ER - TY - JOUR TI - Toward robust multi-hop data forwarding in large scale wireless networks AU - Xing, Fei AU - Wang, Wenye T2 - COMPUTER NETWORKS AB - Design of robust network topology is an essential issue in large-scale multi-hop wireless networks since data packets are forwarded through intermediate nodes between source and destination, especially in the presence of non-cooperative nodes. Traditionally, topology design aims at generating network topology with high node degree, maximum throughput, and mitigation of malicious attacks. In this paper, we formulate a novel topology control problem as achieving optimal topology which maximizes network robustness against data forwarding distortion (DFD) in which a relay node may be compliant in route discovery, but drop or delay packets as non-cooperative nodes. Such node misbehavior can degrade network performance dramatically, without being detected by routing protocols and countermeasures. Therefore, we propose to design a network topology and data forwarding algorithms, namely PROACtive, in order to distribute data packets among cooperative nodes only, subject to k-connectivity constraint. Through analysis and simulations, we show that there exists a trade-off between achieving network robustness and k-connected with high probability (w.h.p.). By using distributed measurement schemes, data packets can be forwarded with low message complexity Θ(N), and improves network goodput significantly in different network scenarios. DA - 2011/8/4/ PY - 2011/8/4/ DO - 10.1016/j.comnet.2011.04.014 VL - 55 IS - 11 SP - 2608-2621 SN - 1872-7069 KW - Multi-hop routing KW - Network robustness KW - Wireless networks KW - Performance evaluation ER - TY - JOUR TI - RANK-DEFICIENT NONLINEAR LEAST SQUARES PROBLEMS AND SUBSET SELECTION AU - Ipsen, I. C. F. AU - Kelley, C. T. AU - Pope, S. R. T2 - SIAM JOURNAL ON NUMERICAL ANALYSIS AB - We examine the local convergence of the Levenberg–Marquardt method for the solution of nonlinear least squares problems that are rank-deficient and have nonzero residual. We show that replacing the Jacobian by a truncated singular value decomposition can be numerically unstable. We recommend instead the use of subset selection. We corroborate our recommendations by perturbation analyses and numerical experiments. DA - 2011/// PY - 2011/// DO - 10.1137/090780882 VL - 49 IS - 3 SP - 1244-1266 SN - 0036-1429 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-79960422161&partnerID=MN8TOARS KW - nonlinear least squares KW - Levenberg-Marquardt algorithm KW - subset selection KW - singular value decomposition ER - TY - JOUR TI - Prioritising production and engineering lots in wafer fabrication facilities: a simulation study AU - Crist, Kristy AU - Uzsoy, Reha T2 - INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH AB - Due to the high cost of equipment, most semiconductor wafer fabrication facilities process both regular production lots which are shipped to customers and engineering lots that support product and process development efforts. The different objectives of the engineering and production organisations render the problem of allocating equipment capacity between these different types of lots a difficult and often contentious problem. In this paper we explore the impacts of several different policies for allocating resources to production and engineering work on the shop floor using a scaled-down simulation model of a wafer fabrication facility. Our results indicate that the availability and flexibility of engineering resources can affect the performance of scheduling policies in quite different ways. We conclude that this problem needs to be viewed in a broader context than that of a shop floor scheduling issue, including the level of available engineering resources, their degree of cross-training and the manner in which engineers are allocated to different projects. DA - 2011/// PY - 2011/// DO - 10.1080/00207541003801259 VL - 49 IS - 11 SP - 3105-3125 SN - 1366-588X KW - semiconductor manufacturing KW - water fabrication KW - production scheduling KW - engineering ER - TY - JOUR TI - Anomalous Loss Performance for Mixed Real-Time and TCP Traffic in Routers With Very Small Buffers AU - Vishwanath, Arun AU - Sivaraman, Vijay AU - Rouskas, George N. T2 - IEEE-ACM TRANSACTIONS ON NETWORKING AB - In the past few years there has been vigorous debate regarding the size of buffers required at core Internet routers. Recent arguments supported by theory and experimentation show that under certain conditions, core router buffer sizes of a few tens of packets suffice for realizing acceptable end-to-end TCP throughputs. This is a significant step toward the realization of optical packet switched (OPS) networks, which are inherently limited in their ability to buffer optical signals. However, prior studies have largely ignored the presence of real-time traffic, which is increasing in importance as a source of revenue for Internet service providers. In this paper, we study the interaction that happens between real-time (open-loop) and TCP (closed-loop) traffic when they multiplex at buffers of very small size (few tens of packets) and make a significant discovery - namely that in a specific range of buffer size, real-time traffic losses increase as buffer size becomes larger. Our contributions pertaining to this anomalous behavior are threefold. First, we exhibit this anomalous loss performance for real-time traffic via extensive simulations using synthetic traffic and real video traces. Second, we develop quantitative models that reveal the dynamics of buffer sharing between real-time and TCP traffic that lead to this behavior. Third, we show how various factors such as the nature of real-time traffic, mixture of long-lived and short-lived TCP flows, and packet sizes impact the severity of the anomaly. Our study is the first to consider interactions between real-time and TCP traffic in very small (potentially all-optical) buffers and informs router manufacturers and network operators of the factors to consider when dimensioning such small buffer sizes for desired performance balance between real-time and TCP traffic. DA - 2011/8// PY - 2011/8// DO - 10.1109/tnet.2010.2091721 VL - 19 IS - 4 SP - 933-946 SN - 1558-2566 KW - Anomalous loss performance KW - mixed TCP and real-time traffic KW - optical packet switched (OPS) networks KW - routers with very small buffers ER - TY - JOUR TI - A REGULARIZATION PARAMETER FOR NONSMOOTH TIKHONOV REGULARIZATION AU - Ito, Kazufumi AU - Jin, Bangti AU - Takeuchi, Tomoya T2 - SIAM JOURNAL ON SCIENTIFIC COMPUTING AB - In this paper we develop a novel rule for choosing regularization parameters in nonsmooth Tikhonov functionals. It is solely based on the value function and applicable to a broad range of nonsmooth models, and it extends one known criterion. A posteriori error estimates of the approximations are derived. An efficient numerical algorithm for computing the minimizer is developed, and its convergence properties are discussed. Numerical results for several common nonsmooth models are presented, including deblurring natural images. The numerical results indicate the rule can yield results comparable with those achieved with the discrepancy principle and the optimal choice, and the algorithm merits a fast and steady convergence. DA - 2011/// PY - 2011/// DO - 10.1137/100790756 VL - 33 IS - 3 SP - 1415-1438 SN - 1095-7197 KW - regularization parameter KW - nonsmooth functional KW - value function KW - error estimate ER - TY - JOUR TI - Using a mathematical programming model to examine the marginal price of capacitated resources AU - Kefeli, Ali AU - Uzsoy, Reha AU - Fathi, Yahya AU - Kay, Michael T2 - INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS AB - Accurate information on dual prices of capacitated resources is of interest in a number of applications, such as cost allocation and pricing. To gain insight we focus on the dual prices of capacity and demand in a single-stage single-product production-inventory system, and discuss their interpretation. In particular, we examine the behavior of two different production planning models: a conventional linear programming model and a nonlinear model that captures queuing behavior at resources in an aggregate manner using nonlinear clearing functions. The classical linear programming formulation consistently underestimates the dual price of capacity due to its failure to capture the effects of queuing. The clearing function formulation, in contrast, produces positive dual prices even when utilization is below one and exhibits more realistic behavior, such as holding finished inventory at utilization levels below one. DA - 2011/5// PY - 2011/5// DO - 10.1016/j.ijpe.2010.03.018 VL - 131 IS - 1 SP - 383-391 SN - 1873-7579 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-79952613605&partnerID=MN8TOARS KW - Production planning KW - Linear programming KW - Clearing functions KW - Dual prices KW - Marginal prices ER - TY - JOUR TI - QoS routing across multiple autonomous systems using the path computation element architecture AU - Geleji, Geza AU - Perros, Harry G. T2 - ANNALS OF TELECOMMUNICATIONS DA - 2011/6// PY - 2011/6// DO - 10.1007/s12243-010-0206-y VL - 66 IS - 5-6 SP - 293-306 SN - 1958-9395 KW - BGP KW - QoS KW - PCE KW - AS-path calculation algorithm ER - TY - CONF TI - Methodology for engineering affective social applications AU - Sollenberger, D. J. AU - Singh, M. P. C2 - 2011/// C3 - Agent-oriented software engineering x DA - 2011/// VL - 6038 SP - 97-109 ER - TY - JOUR TI - MINIMAL INVASION: AN OPTIMAL L-infinity STATE CONSTRAINT PROBLEM AU - Clason, Christian AU - Ito, Kazufumi AU - Kunisch, Karl T2 - ESAIM-MATHEMATICAL MODELLING AND NUMERICAL ANALYSIS-MODELISATION MATHEMATIQUE ET ANALYSE NUMERIQUE AB - In this work, the least pointwise upper and/or lower bounds on the state variable on a specified subdomain of a control system under piecewise constant control action are sought. This results in a non-smooth optimization problem in function spaces. Introducing a Moreau-Yosida regularization of the state constraints, the problem can be solved using a superlinearly convergent semi-smooth Newton method. Optimality conditions are derived, convergence of the Moreau-Yosida regularization is proved, and well-posedness and superlinear convergence of the Newton method is shown. Numerical examples illustrate the features of this problem and the proposed approach. DA - 2011/// PY - 2011/// DO - 10.1051/m2an/2010064 VL - 45 IS - 3 SP - 505-522 SN - 0764-583X KW - Optimal control KW - optimal L-infinity state constraint KW - semi-smooth Newton method ER - TY - JOUR TI - FINDING A STABLE SOLUTION OF A SYSTEM OF NONLINEAR EQUATIONS ARISING FROM DYNAMIC SYSTEMS AU - Kelley, Carl T. AU - Qi, Liqun AU - Tong, Xiaojiao AU - Yin, Hongxia T2 - JOURNAL OF INDUSTRIAL AND MANAGEMENT OPTIMIZATION AB - In this paper, we present a new approach for finding a stablesolution of a system of nonlinear equations arising from dynamicalsystems. We introduce the concept ofstability functions and use this idea to constructstability solution models of severaltypical small signal stability problems in dynamical systems.Each model consists of a system of constrainedsemismooth equations. The advantage of the new models is twofold.Firstly, the stability requirement of dynamical systems iscontrolled by nonlinear inequalities. Secondly, the semismoothnessproperty of the stability functions makes the models solvable byefficient numerical methods. We introduce smoothing functions forthe stability functions and present a smoothing Newton methodfor solving the problems. Global and local quadratic convergence ofthe algorithm is established. Numerical examples from dynamicalsystems are also given to illustrate the efficiency of the newapproach. DA - 2011/5// PY - 2011/5// DO - 10.3934/jimo.2011.7.497 VL - 7 IS - 2 SP - 497-521 SN - 1553-166X KW - System of nonlinear equations KW - stable solutions KW - saddle-node bifurcation KW - Hopf bifurcation KW - stability functions KW - smoothing Newton method ER - TY - JOUR TI - The IIM in polar coordinates and its application to electro capacitance tomography problems AU - Ruiz Alvarez, Juan AU - Chen, Jinru AU - Li, Zhilin T2 - NUMERICAL ALGORITHMS DA - 2011/7// PY - 2011/7// DO - 10.1007/s11075-010-9436-3 VL - 57 IS - 3 SP - 405-423 SN - 1572-9265 KW - Immersed interface method KW - Polar coordinates KW - Interface KW - Discontinuous coefficients KW - Finite difference method KW - Electro capacitance tomography KW - Forward problem ER - TY - JOUR TI - Set covering-based surrogate approach for solving sup-T equation constrained optimization problems AU - Hu, Cheng-Feng AU - Fang, Shu-Cherng T2 - FUZZY OPTIMIZATION AND DECISION MAKING DA - 2011/6// PY - 2011/6// DO - 10.1007/s10700-011-9099-0 VL - 10 IS - 2 SP - 125-152 SN - 1573-2908 KW - Fuzzy relational equations KW - Triangular norms KW - Fuzzy optimization KW - Set covering problems ER - TY - JOUR TI - Self-Renewing Applications AU - Singh, Munindar P. T2 - IEEE INTERNET COMPUTING AB - Software practice has suffered from and continues to suffer from many shortcomings as a result. Programs are difficult to design and build; they often fail to satisfy user requirements. If they work adequately at all, it's more often due to users adapting to the program than the program meeting users' requirements. The thesis of this column is that software engineering would be well served if we began to think of application-as-use as primary. In particular, if we could develop user interactions correctly, the application-as-use of a software artifact would help renew that artifact. DA - 2011/// PY - 2011/// DO - 10.1109/mic.2011.95 VL - 15 IS - 4 SP - 3-5 SN - 1941-0131 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-79959988653&partnerID=MN8TOARS ER - TY - JOUR TI - On the unique solvability of fuzzy relational equations AU - Li, Pingke AU - Fang, Shu-Cherng T2 - FUZZY OPTIMIZATION AND DECISION MAKING DA - 2011/6// PY - 2011/6// DO - 10.1007/s10700-011-9100-y VL - 10 IS - 2 SP - 115-124 SN - 1573-2908 KW - Fuzzy relational equations KW - Minimal solutions KW - Unique solvability ER - TY - JOUR TI - Identifiability of the proportion of null hypotheses in skew-mixture models for the p-value distribution AU - Ghosal, S. AU - Roy, A. T2 - Electronic Journal of Statistics DA - 2011/// PY - 2011/// VL - 5 SP - 329-341 ER - TY - JOUR TI - High order compact finite difference schemes for the helmholtz equation with discontinuous coefficients AU - Feng, X. F. AU - Li, Z. L. AU - Qiao, Z. H. T2 - Journal of Computational Mathematics DA - 2011/// PY - 2011/// VL - 29 IS - 3 SP - 324-340 ER - TY - JOUR TI - ERGODICITY COEFFICIENTS DEFINED BY VECTOR NORMS AU - Ipsen, Ilse C. F. AU - Selee, Teresa M. T2 - SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS AB - Ergodicity coefficients for stochastic matrices determine inclusion regions for subdominant eigenvalues; estimate the sensitivity of the stationary distribution to changes in the matrix; and bound the convergence rate of methods for computing the stationary distribution. We survey results for ergodicity coefficients that are defined by p-norms, for stochastic matrices as well as for general real or complex matrices. We express ergodicity coefficients in the one-, two-, and infinity-norms as norms of projected matrices, and we bound coefficients in any p-norm by norms of deflated matrices. We show that two-norm ergodicity coefficients of a matrix A are closely related to the singular values of A. In particular, the singular values determine the extreme values of the coefficients. We show that ergodicity coefficients can determine inclusion regions for subdominant eigenvalues of complex matrices, and that the tightness of these regions depends on the departure of the matrix from normality. In the special case of normal matrices, two-norm ergodicity coefficients turn out to be Lehmann bounds. DA - 2011/// PY - 2011/// DO - 10.1137/090752948 VL - 32 IS - 1 SP - 153-200 SN - 1095-7162 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84875120748&partnerID=MN8TOARS KW - singular values KW - eigenvalues KW - stochastic matrices KW - nonnegative matrices KW - inclusion regions KW - projections ER - TY - JOUR TI - COMPUTING CHARACTERISTIC POLYNOMIALS FROM EIGENVALUES AU - Rehman, Rizwana AU - Ipsen, Ilse C. F. T2 - SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS AB - This paper concerns the computation of the coefficients $c_k$ of the characteristic polynomial of a real or complex matrix A. We analyze the forward error in the coefficients $c_k$ when they are computed from the eigenvalues of A, as is done by MATLAB's poly function. In particular, we derive absolute and relative perturbation bounds for elementary symmetric functions, which we use in turn to derive perturbation bounds for the coefficients $c_k$ with regard to absolute and relative changes in the eigenvalues $\lambda_j$ of A. We present the so-called Summation Algorithm for computing the coefficients $c_k$ from the eigenvalues $\lambda_j$, which is essentially the algorithm used by poly. We derive roundoff error bounds and running error bounds for the Summation Algorithm. The roundoff error bounds imply that the Summation Algorithm is forward stable. The running error bounds can be used to estimate the accuracy of the computed coefficients “on the fly,” and they tend to be less pessimistic than the roundoff error bounds. Numerical experiments illustrate that our bounds give useful estimates for the accuracy of the coefficients $c_k$. In particular, the bounds confirm that poly computes the coefficients $c_k$ to high relative accuracy if the eigenvalues are positive and given to high relative accuracy. DA - 2011/// PY - 2011/// DO - 10.1137/100788392 VL - 32 IS - 1 SP - 90-114 SN - 0895-4798 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-79952367119&partnerID=MN8TOARS KW - elementary symmetric functions KW - perturbation bounds KW - roundoff error bounds KW - determinant ER - TY - JOUR TI - Adaptive mesh refinement for elliptic interface problems using the non-conforming immersed finite element method AU - Wu, C. T. AU - Li, Z. L. AU - Lai, M. C. T2 - International Journal of Numerical Analysis and Modeling DA - 2011/// PY - 2011/// VL - 8 IS - 3 SP - 466-483 ER - TY - JOUR TI - A practical fair queuing scheduler: Simplification through quantization AU - Dwekat, Z. AU - Rouskas, G. N. T2 - COMPUTER NETWORKS AB - The design of fair packet schedulers involves a tradeoff between implementation complexity, on one hand, and delay and fairness guarantees, on the other. In this paper, we present tiered-service fair queuing (TSFQ), a new scheduler that exploits certain properties of Internet traffic to speed up the bottleneck operations related to virtual time computation and packet sorting. Specifically, TSFQ makes innovative use of quantization (along the two dimensions of flow weights and packet lengths) her with specialized yet simple queuing structures. TSFQ combines all three properties that are important to a fair queuing algorithm, namely, a tight delay bound, worst-case fairness, and low complexity and amenability to hardware implementation. Hence, we believe that, for network operators, deploying TSFQ scheduling has the potential to enhance their ability to offer and guarantee a wide range of services. DA - 2011/7/14/ PY - 2011/7/14/ DO - 10.1016/j.comnet.2011.04.004 VL - 55 IS - 10 SP - 2392-2406 SN - 1872-7069 KW - Packet scheduling KW - Fair queuing KW - Tiered service ER - TY - JOUR TI - Online algorithms for advance resource reservations AU - Castillo, C. AU - Rouskas, G. N. AU - Harfoush, K. T2 - JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING AB - We consider the problem of providing QoS guarantees to Grid users through advance reservation of resources. Advance reservation mechanisms provide the ability to allocate resources to users based on agreed-upon QoS requirements and increase the predictability of a Grid system, yet incorporating such mechanisms into current Grid environments has proven to be a challenging task due to the resulting resource fragmentation. We use concepts from computational geometry to present a framework for tackling the resource fragmentation, and for formulating a suite of scheduling strategies. We also develop efficient implementations of the scheduling algorithms that scale to large Grids. We conduct a comprehensive performance evaluation study using simulation, and we present numerical results to demonstrate that our strategies perform well across several metrics that reflect both user- and system-specific goals. Our main contribution is a timely, practical, and efficient solution to the problem of scheduling resources in emerging on-demand computing environments. DA - 2011/7// PY - 2011/7// DO - 10.1016/j.jpdc.2011.01.003 VL - 71 IS - 7 SP - 963-973 SN - 1096-0848 KW - Grid computing KW - Advance reservations KW - Scheduling KW - Resource allocation KW - Resource management ER - TY - JOUR TI - Note on 'Influences of Resource Limitations and Transmission Costs on Epidemic Simulations and Critical Thresholds in Scale-Free Networks' AU - Wilson, James R. T2 - SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL AB - In a recent paper entitled ‘Influences of Resource Limitations and Transmission Costs on Epidemic Simulations and Critical Thresholds in Scale-Free Networks’ by Huang et al., the authors attempted to establish a key characteristic of epidemic dynamics in a scale-free network when properly accounting for the cost of transmitting the infection at each node and the resources available for transmission to that node. The main input parameter is the effective rate of spreading the infection, i.e. the instantaneous rate at which the infection is spread to an uninfected node via a single link to an infected node. The primary result is the existence of a positive critical threshold for the infection-spreading rate at or below which the epidemic dies out and above which the epidemic is spread through the network and ultimately reaches a steady-state non-vanishing condition. Some flaws in the authors’ proof of this result are discussed, and an alternative derivation is provided that sheds additional light on the transient and steady-state behavior of the system. The alternative derivation may be adapted to the analysis of other scale-free networks with different features. DA - 2011/3// PY - 2011/3// DO - 10.1177/0037549710366018 VL - 87 IS - 3 SP - 262-266 SN - 0037-5497 KW - scale-free networks KW - epidemic simulation ER - TY - JOUR TI - Efficient Parallel Computation of Molecular Potential Energy Surfaces for the Study of Light-Induced Transition Dynamics in Multiple Coordinates AU - Mokrauer, David AU - Kelley, C. T. AU - Bykhovski, Alexei T2 - IEEE TRANSACTIONS ON NANOTECHNOLOGY AB - The conformational dynamics of molecules that arise due to light-induced transitions are critically important in many biochemical reactions, and therefore dictate the functionality of many types of biological sensors. Therefore, researchers of biological science and biological-inspired technology often need to prescribe the molecular geometry of the stable states and the associated transition trajectories that occur as a result of external excitation, e.g., light-induced transitions from the ground state to the excited states. The traditional approach to study this type of phenomenology is to limit the number of varying molecular coordinates to one or a few due to the considerable computational expense of the required physically modeling required for generating an accurate physical model for analysis. While the conformational dynamics for some types of simple molecules (e.g., retinal) are known to be adequately described by one or few numbers of molecular coordinates, light-induced transitions in arbitrarily complex molecules can be expected to involve the influence of multiple coordinates, and their influence can be expected to vary as a function of time. The research reported here will address the development of parallel computational algorithms that allow for the highly efficient study of molecular conformational dynamics over multiple numbers of multidimensional energy surfaces. Here, the goal is the development of a simulation tool that is capable of: constructing physically accurate multidimensional potential energy surfaces (i.e., from first-principle physical modeling codes); deriving the natural trajectories to local minima within individual surfaces; and that allows for dynamics human interfacing for specifying the transition between energy surfaces and the number of coordinates to be used for the optimization within a particular energy surface. As will be illustrated, this type of physics-based simulation tool will allow researchers to efficiently explore the light-induced conformation dynamics associated with complex biomolecules, and therefore, be a useful tool for the design of biological-sensing processes in the future. DA - 2011/1// PY - 2011/1// DO - 10.1109/tnano.2010.2058862 VL - 10 IS - 1 SP - 70-74 SN - 1941-0085 KW - Algorithm design and analysis KW - chemical sensors KW - 1H NMR KW - nanoelectonics KW - stibenes KW - UV-vis spectroscopy ER - TY - JOUR TI - An active index algorithm for the nearest point problem in a polyhedral cone AU - Liu, Zhe AU - Fathi, Yahya T2 - COMPUTATIONAL OPTIMIZATION AND APPLICATIONS DA - 2011/7// PY - 2011/7// DO - 10.1007/s10589-009-9303-0 VL - 49 IS - 3 SP - 435-456 SN - 0926-6003 KW - Quadratic programming KW - Pos cone KW - Projection face KW - Active constraint ER - TY - JOUR TI - Adaptive control design for uncertain polynomial nonlinear systems with parametric uncertainties AU - Zheng, Qian AU - Wu, Fen T2 - INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING AB - In this paper, we will develop an adaptive ℋ︁∞ control approach for a class of polynomial nonlinear systems with parametric uncertainties. Motivated by the dissipation theory and the vector projection technique, we propose a nonlinear adaptive ℋ︁∞ controller and its associated parameter adaptation law. The proposed adaptive control strategy is capable of identifying unknown parameter values quickly and minimizing the effect of estimation error. To further improve adaptive controlled performance, the Lyapunov function will be relaxed from quadratic to higher-order forms and the controller gains are generalized from constant to parameter-dependent. All of the synthesis conditions are formulated in the framework of polynomial/constant linear matrix inequalities and solvable using available software packages. Copyright © 2010 John Wiley & Sons, Ltd. DA - 2011/6// PY - 2011/6// DO - 10.1002/acs.1215 VL - 25 IS - 6 SP - 502-518 SN - 0890-6327 KW - uncertain nonlinear system KW - adaptive control KW - H-infinity performance KW - higher-order Lyapunov function KW - SOS programming ER - TY - JOUR TI - The Limit of Information Propagation Speed in Large-Scale Multihop Wireless Networks AU - Xu, Yi AU - Wang, Wenye T2 - IEEE-ACM TRANSACTIONS ON NETWORKING AB - This paper investigates the speed limit of information propagation in large-scale multihop wireless networks, which provides fundamental understanding of the fastest information transportation and delivery that a wireless network is able to accommodate. We show that there exists a unified speed upper bound for broadcast and unicast communications in large-scale wireless networks. When network connectivity is considered, this speed bound is a function of node density. If the network noise is constant, the bound is a constant when node density exceeds a threshold; if the network noise is an increasing function of node density, the bound decreases to zero when node density approaches infinity. As achieving the speed bound places strict requirements on node locations, we also quantify the gap between the actual achieved speed and the desired bound in random networks in which the relay nodes are not located as desired. We find that the gap converges to zero exponentially as node density increases to infinity. DA - 2011/2// PY - 2011/2// DO - 10.1109/tnet.2010.2057444 VL - 19 IS - 1 SP - 209-222 SN - 1558-2566 KW - Information propagation KW - multihop communication KW - network connectivity KW - packet delay KW - wireless network ER - TY - JOUR TI - High-Confidence Discovery of Genetic Network Regulators in Expression Quantitative Trait Loci Data AU - Duarte, Christine W. AU - Zeng, Zhao-Bang T2 - GENETICS AB - Abstract Expression QTL (eQTL) studies involve the collection of microarray gene expression data and genetic marker data from segregating individuals in a population to search for genetic determinants of differential gene expression. Previous studies have found large numbers of trans-regulated genes (regulated by unlinked genetic loci) that link to a single locus or eQTL “hotspot,” and it would be desirable to find the mechanism of coregulation for these gene groups. However, many difficulties exist with current network reconstruction algorithms such as low power and high computational cost. A common observation for biological networks is that they have a scale-free or power-law architecture. In such an architecture, highly influential nodes exist that have many connections to other nodes. If we assume that this type of architecture applies to genetic networks, then we can simplify the problem of genetic network reconstruction by focusing on discovery of the key regulatory genes at the top of the network. We introduce the concept of “shielding” in which a specific gene expression variable (the shielder) renders a set of other gene expression variables (the shielded genes) independent of the eQTL. We iteratively build networks from the eQTL to the shielder down using tests of conditional independence. We have proposed a novel test for controlling the shielder false-positive rate at a predetermined level by requiring a threshold number of shielded genes per shielder. Using simulation, we have demonstrated that we can control the shielder false-positive rate as well as obtain high shielder and edge specificity. In addition, we have shown our method to be robust to violation of the latent variable assumption, an important feature in the practical application of our method. We have applied our method to a yeast expression QTL data set in which microarray and marker data were collected from the progeny of a backcross of two species of Saccharomyces cerevisiae (Bremet al. 2002). Seven genetic networks have been discovered, and bioinformatic analysis of the discovered regulators and corresponding regulated genes has generated plausible hypotheses for mechanisms of regulation that can be tested in future experiments. DA - 2011/3// PY - 2011/3// DO - 10.1534/genetics.110.124685 VL - 187 IS - 3 SP - 955-964 SN - 0016-6731 ER - TY - JOUR TI - Adapting lean manufacturing principles to the textile industry AU - Hodge, G.L. AU - Ross, K.G. AU - Joines, J.A. AU - Thoney, K.A. T2 - Production Planning & Control Special Issue on Challenges in Apparel Production, Planning and Control AB - A research project was conducted to determine which lean principles are appropriate for implementation in the textile industry. Lean manufacturing involves a variety of principles and techniques, all of which have the same ultimate goal: to eliminate waste and non-value-added activities at every production or service process in order to give the most satisfaction to the customer. To stay competitive, many US textile manufacturers have sought to improve their manufacturing processes so that they can more readily compete with overseas manufacturers. This study identifies the different tools and principles of lean. The use of lean manufacturing in the textile industry was examined in this research through interviews, plant tours and case studies. A model for implementing lean tools and principles in a textile environment was developed. DA - 2011/// PY - 2011/// DO - 10.1080/09537287.2010.498577 VL - 22 IS - 3 SP - 237–247 SN - 0953-7287 KW - lean manufacturing KW - textiles KW - value stream mapping ER - TY - JOUR TI - The effect of shop floor continuous improvement programs on the lot size-cycle time relationship in a multi-product single-machine environment AU - Godinho Filho, Moacir AU - Uzsoy, Reha T2 - INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY DA - 2011/2// PY - 2011/2// DO - 10.1007/s00170-010-2770-8 VL - 52 IS - 5-8 SP - 669-681 SN - 1433-3015 KW - Lot size KW - Cycle time KW - Continuous improvement KW - System dynamics KW - Factory physics KW - Multi-product single-machine environment ER - TY - JOUR TI - N-Skart: A Nonsequential Skewness- and Autoregression-Adjusted Batch-Means Procedure for Simulation Analysis AU - Tafazzoli, Ali AU - Steiger, Natalie M. AU - Wilson, James R. T2 - IEEE TRANSACTIONS ON AUTOMATIC CONTROL AB - We discuss N-Skart, a nonsequential procedure designed to deliver a confidence interval (CI) for the steady-state mean of a simulation output process when the user supplies a single simulation-generated time series of arbitrary size and specifies the required coverage probability for a CI based on that data set. N-Skart is a variant of the method of batch means that exploits separate adjustments to the half-length of the CI so as to account for the effects on the distribution of the underlying Student's t -statistic that arise from skewness (nonnormality) and autocorrelation of the batch means. If the sample size is sufficiently large, then N-Skart delivers not only a CI but also a point estimator for the steady-state mean that is approximately free of initialization bias. In an experimental performance evaluation involving a wide range of test processes and sample sizes, N-Skart exhibited close conformance to the user-specified CI coverage probabilities. DA - 2011/2// PY - 2011/2// DO - 10.1109/tac.2010.2052137 VL - 56 IS - 2 SP - 254-264 SN - 1558-2523 KW - Autoregressive representation KW - confidence interval (CI) KW - Cornish-Fisher expansion KW - method of batch means KW - simulation KW - statistical analysis KW - steady-state analysis ER - TY - JOUR TI - A finite element method for elasticity interface problems with locally modified triangulations AU - Xie, H. AU - Li, Z. L. AU - Qiao, Z. H. T2 - International Journal of Numerical Analysis and Modeling DA - 2011/// PY - 2011/// VL - 8 IS - 2 SP - 189-200 ER - TY - JOUR TI - A Probabilistic Approach for Maintaining Trust Based on Evidence AU - Wang, Yonghong AU - Hang, Chung-Wei AU - Singh, Munindar P. T2 - JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH AB - Leading agent-based trust models address two important needs. First, they show how an agent may estimate the trustworthiness of another agent based on prior interactions. Second, they show how agents may share their knowledge in order to cooperatively assess the trustworthiness of others. However, in real-life settings, information relevant to trust is usually obtained piecemeal, not all at once. Unfortunately, the problem of maintaining trust has drawn little attention. Existing approaches handle trust updates in a heuristic, not a principled, manner. This paper builds on a formal model that considers probability and certainty as two dimensions of trust. It proposes a mechanism using which an agent can update the amount of trust it places in other agents on an ongoing basis. This paper shows via simulation that the proposed approach (a) provides accurate estimates of the trustworthiness of agents that change behavior frequently; and (b) captures the dynamic behavior of the agents. This paper includes an evaluation based on a real dataset drawn from Amazon Marketplace, a leading e-commerce site. DA - 2011/// PY - 2011/// DO - 10.1613/jair.3108 VL - 40 SP - 221-267 SN - 1943-5037 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-79956343086&partnerID=MN8TOARS ER - TY - JOUR TI - Trustworthy Service Selection and Composition AU - Hang, Chung-Wei AU - Singh, Munindar P. T2 - ACM Transactions on Autonomous and Adaptive Systems AB - We consider Service-Oriented Computing (SOC) environments. Such environments are populated with services that stand proxy for a variety of information resources. A fundamental challenge in SOC is to select and compose services, to support specified user needs directly or by providing additional services. Existing approaches for service selection either fail to capture the dynamic relationships between services or assume that the environment is fully observable. In practical situations, however, consumers are often not aware of how the services are implemented. We propose two distributed trust-aware service selection approaches: one based on Bayesian networks and the other on a beta-mixture model. We experimentally validate our approach through a simulation study. Our results show that both approaches accurately punish and reward services in terms of the qualities they offer, and further that the approaches are effective despite incomplete observations regarding the services under consideration. DA - 2011/2/1/ PY - 2011/2/1/ DO - 10.1145/1921641.1921646 VL - 6 IS - 1 SP - 1-17 J2 - ACM Trans. Auton. Adapt. Syst. LA - en OP - SN - 1556-4665 UR - http://dx.doi.org/10.1145/1921641.1921646 DB - Crossref KW - Algorithms KW - Experimentation KW - Trust KW - probabilistic modeling KW - service-oriented computing ER - TY - JOUR TI - Skart: A skewness- and autoregression-adjusted batch-means procedure for simulation analysis AU - Tafazzoli, Ali AU - Wilson, James R. T2 - IIE TRANSACTIONS AB - Skart is an automated sequential batch-means procedure for constructing a skewness- and autoregression-adjusted confidence interval (CI) for the steady-state mean of a simulation output process either in discrete time (i.e., using observation-based statistics), or in continuous time (i.e., using time-persistent statistics). Skart delivers a CI designed to satisfy user-specified requirements concerning both the CI's coverage probability and its absolute or relative precision. Skart exploits separate adjustments to the classical batch-means CI to account for the effects on the distribution of the underlying Student's t-statistic arising from skewness and autocorrelation of the batch means. The skewness adjustment is based on a Cornish–Fisher expansion for the classical batch-means t-statistic, and the autocorrelation adjustment is based on a first-order autoregressive approximation to the batch-means autocorrelation function. Skart also delivers a point estimator for the steady-state mean that is approximately free of initialization bias. The associated warm-up period is based on iteratively applying Von Neumann's randomness test to spaced batch means with increasing sizes for each batch and its preceding spacer. In extensive experimentation, Skart compared favorably with its competitors. [Supplementary material is available for this article. Go to the publisher's online edition of IIE Transactions for additional discussion, detailed proofs, etc.] DA - 2011/// PY - 2011/// DO - 10.1080/0740817x.2010.504688 VL - 43 IS - 2 SP - 110-128 SN - 0740-817X KW - Simulation KW - statistical analysis KW - steady-state analysis KW - method of batch means KW - Cornish-Fisher expansion KW - autoregressive representation ER - TY - JOUR TI - Glycine and a Glycine Dehydrogenase (GLDC) SNP as Citalopram/Escitalopram Response Biomarkers in Depression: Pharmacometabolomics-Informed Pharmacogenomics AU - Ji, Y. AU - Hebbring, S. AU - Zhu, H. AU - Jenkins, G. D. AU - Biernacka, J. AU - Snyder, K. AU - Drews, M. AU - Fiehn, O. AU - Zeng, Z. AU - Schaid, D. AU - Mrazek, D. A. AU - Kaddurah-Daouk, R. AU - Weinshilboum, R. M. T2 - CLINICAL PHARMACOLOGY & THERAPEUTICS AB - Major depressive disorder (MDD) is a common psychiatric disease. Selective serotonin reuptake inhibitors (SSRIs) are an important class of drugs used in the treatment of MDD. However, many patients do not respond adequately to SSRI therapy. We used a pharmacometabolomics-informed pharmacogenomic research strategy to identify citalopram/escitalopram treatment outcome biomarkers. Metabolomic assay of plasma samples from 20 escitalopram remitters and 20 nonremitters showed that glycine was negatively associated with treatment outcome (P = 0.0054). This observation was pursued by genotyping tag single-nucleotide polymorphisms (SNPs) for genes encoding glycine synthesis and degradation enzymes, using 529 DNA samples from SSRI-treated MDD patients. The rs10975641 SNP in the glycine dehydrogenase (GLDC) gene was associated with treatment outcome phenotypes. Genotyping for rs10975641 was carried out in 1,245 MDD patients in the Sequenced Treatment Alternatives to Relieve Depression (STAR*D) study, and its presence was significant (P = 0.02) in DNA taken from these patients. These results highlight a possible role for glycine in SSRI response and illustrate the use of pharmacometabolomics to “inform” pharmacogenomics. Clinical Pharmacology & Therapeutics (2011) 89 1, 97–104. doi: 10.1038/clpt.2010.250 DA - 2011/1// PY - 2011/1// DO - 10.1038/clpt.2010.250 VL - 89 IS - 1 SP - 97-104 SN - 1532-6535 ER - TY - JOUR TI - Multiobjective fault detection and isolation for flexible air-breathing hypersonic vehicle AU - Cai, Xuejing AU - Wu, Fen T2 - JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS AB - An application of the multiobjective fault detection and isolation (FDI) approach to an air-breathing hypersonic vehicle (HSV) longitudinal dynamics subject to disturbances is presented. Maintaining sustainable and safe flight of HSV is a challenging task due to its strong coupling effects, variable operating condi- tions and possible failures of system components. A common type of system faults for aircraft including HSV is the loss of effective- ness of its actuators and sensors. To detect and isolate multiple actuator/sensor failures, a faulty linear parameter-varying (LPV) model of HSV is derived by converting actuator/system compo- nent faults into equivalent sensor faults. Then a bank of LPV FDI observers is designed to track individual fault with minimum error and suppress the effects of disturbances and other fault signals. The simulation results based on the nonlinear flexible HSV model and a nominal LPV controller demonstrate the effectiveness of the fault estimation technique for HSV. DA - 2011/2// PY - 2011/2// DO - 10.3969/j.issn.1004-4132.2011.01.006 VL - 22 IS - 1 SP - 52-62 SN - 1004-4132 KW - fault detection and isolation (FDI) KW - hypersonic vehicle (HSV) KW - actuator and sensor faults KW - multiobjective optimization ER - TY - JOUR TI - Modeling the Effects of Sodium Chloride, Acetic Acid, and Intracellular pH on Survival of Escherichia coli O157:H7 AU - Hosein, Althea M. AU - Breidt, Frederick, Jr. AU - Smith, Charles E. T2 - APPLIED AND ENVIRONMENTAL MICROBIOLOGY AB - ABSTRACT Microbiological safety has been a critical issue for acid and acidified foods since it became clear that acid-tolerant pathogens such as Escherichia coli O157:H7 can survive (even though they are unable to grow) in a pH range of 3 to 4, which is typical for these classes of food products. The primary antimicrobial compounds in these products are acetic acid and NaCl, which can alter the intracellular physiology of E. coli O157:H7, leading to cell death. For combinations of acetic acid and NaCl at pH 3.2 (a pH value typical for non-heat-processed acidified vegetables), survival curves were described by using a Weibull model. The data revealed a protective effect of NaCl concentration on cell survival for selected acetic acid concentrations. The intracellular pH of an E. coli O157:H7 strain exposed to acetic acid concentrations of up to 40 mM and NaCl concentrations between 2 and 4% was determined. A reduction in the intracellular pH was observed for increasing acetic acid concentrations with an external pH of 3.2. Comparing intracellular pH with Weibull model predictions showed that decreases in intracellular pH were significantly correlated with the corresponding times required to achieve a 5-log reduction in the number of bacteria. DA - 2011/2// PY - 2011/2// DO - 10.1128/aem.02136-10 VL - 77 IS - 3 SP - 889-895 SN - 1098-5336 ER - TY - JOUR TI - A selfish routing based network improvement problem AU - Zhang, Binwu AU - Fang, Shu-Cherng T2 - Journal of Systems Science and Complexity DA - 2011/2// PY - 2011/2// DO - 10.1007/s11424-011-8156-7 VL - 24 IS - 1 SP - 68-78 J2 - J Syst Sci Complex LA - en OP - SN - 1009-6124 1559-7067 UR - http://dx.doi.org/10.1007/s11424-011-8156-7 DB - Crossref KW - Nash equilibrium KW - NP-hard KW - selfish routing KW - price of anarchy ER -