TY - JOUR TI - The SILO architecture for services integration, control, and optimization for the future Internet AU - Dutta, Rudra AU - Rouskas, George N. AU - Baldine, Ilia AU - Bragg, Arnold AU - Stevenson, Dan AU - IEEE T2 - 2007 Ieee International Conference on Communications, Vols 1-14 AB - We propose a new internetworking architecture that represents a departure from current philosophy and practice, as a contribution to the ongoing debate regarding the future Internet. Building upon our experience with the design and prototyping of the just-in-time protocol suite, we outline a framework consisting of (1) building blocks of fine-grain functionality, (2) explicit support for combining elemental blocks to accomplish highly configurable complex communication tasks, and (3) control elements to facilitate (what is currently referred to as) cross-layer interactions. In this position paper, we take a holistic view of network design, allowing applications to work synergistically with the network architecture and physical layers to select the most appropriate functional blocks and tune their behavior so as to meet the application's needs within resource availability constraints. The proposed architecture is flexible and extensible so as to foster innovation and accommodate change, it supports a unified Internet, it allows for the integration of security and management features at any point in (what is now referred to as) the networking stack, and it is positioned to take advantage of hardware-based performance-enhancing techniques. DA - 2007/// PY - 2007/// DO - 10.1109/ICC.2007.316 SP - 1899-1904 ER - TY - JOUR TI - TDM emulation in packet-switched networks AU - Rouskas, George N. AU - BaradwaJ, Nikhil AU - IEEE T2 - 2007 Ieee International Conference on Communications, Vols 1-14 AB - Many network operators offer some type of tiered service, in which users may select only from a small set of service levels (tiers). In this work, we study the problem of designing a tiered-service network that allocates bandwidth in multiples of a basic bandwidth unit. Such a packet-switched network can enjoy many of the benefits, in terms of control and management, of a TDM network, but without the associated data plane rigidities. DA - 2007/// PY - 2007/// DO - 10.1109/ICC.2007.318 SP - 1911-1916 ER - TY - JOUR TI - On the suitability of composable services for the assurable future Internet AU - Stevenson, Daniel AU - Dutta, Rudra AU - Rouskas, George AU - Reeves, Douglas AU - Baldine, Ilia AU - IEEE T2 - 2007 Ieee Military Communications Conference, Vols 1-8 DA - 2007/// PY - 2007/// SP - 3695-3701 ER - TY - JOUR TI - Hierarchical Grooming in Multigranular Networks AU - Iyer, Mohan AU - Rouskas, George N. AU - Dutta, Rudra AU - IEEE T2 - 2007 First International Symposium on Advanced Networks and Telecommunication Systems DA - 2007/// PY - 2007/// SP - 35-36 ER - TY - JOUR TI - Framework for tiered service in MPLS networks AU - Rouskas, George N. AU - Baradwaj, Nikhil AU - IEEE T2 - Infocom 2007, Vols 1-5 AB - Many network operators offer some type of tiered service, in which users may select only from a small set of service levels (tiers). Such a service has the potential to simplify a wide range of core network functions, allowing the providers to scale their operations efficiently. In this work, we provide a theoretical framework for reasoning about and tackling algorithmically the general problem of service tier selection. Drawing upon results from discrete location theory, we formulate the problem as a p -median problem under a new directional distance measure, and we develop efficient algorithms for a number of important variants. Our main finding is that, by appropriately selecting the set of service levels, network providers may realize the benefits of tiered service with only a small sacrifice in network resources. DA - 2007/// PY - 2007/// DO - 10.1109/INFCOM.2007.185 SP - 1577-1585 ER - TY - CHAP TI - Clustering for hierarchical traffic grooming in large scale mesh WDM networks AU - Chen, Bensong AU - Dutta, Rudra AU - Rouskas, George N. AU - Tomkos, I AU - Neri, F AU - Pareta, JS AU - Bruin, XM AU - Lopez, SS T2 - Optical Network Design and Modeling, Proceedings PY - 2007/// VL - 4534 SP - 249-258 PB - SE - ER - TY - CHAP TI - A unified software architecture to enable cross-layer design in the future Internet AU - Baldine, Ilia AU - Vellala, Manoj AU - Wang, Anjing AU - Rouskas, George AU - Dutta, Rudra AU - Stevenson, Daniel AU - IEEE T2 - Proceedings - 16th International Conference on Computer Communications and Networks, Vols 1-3 PY - 2007/// SP - 26-32 PB - SE - ER - TY - JOUR TI - A practical and efficient implementation of WF(2)Q+ AU - Rouskas, George N. AU - Dwekat, Zyad AU - IEEE T2 - 2007 Ieee International Conference on Communications, Vols 1-14 AB - The WF 2 Q+ scheduler combines all three properties that are important to a fair queueing algorithm: a tight delay bound, a small worst-case fair index value, and a relatively low worst-case complexity of O ( log n ) for a link with n flows. We present a new implementation of WF 2 Q+ in which both the number of packet sorting operations and the computation of the virtual time function are independent of the number n of flows. Our implementation exploits two widely observed characteristics of the Internet, namely that service providers offer some type of tiered service with a small number of service levels, and that a small number of packet sizes dominate. Our scheduler combines provably good performance with amenability to hardware implementation in high-speed routers. DA - 2007/// PY - 2007/// DO - 10.1109/ICC.2007.36 SP - 172-176 ER - TY - CONF TI - Multiproduct Network Design Model with Lead Time and Safety Stock Considerations AU - Sourirajan, K. AU - Ozsen, L. AU - Uzsoy, R. T2 - INFORMS International Meeting C2 - 2007/7// CY - Rio Mar, Puerto Rico DA - 2007/7// PY - 2007/7// ER - TY - CONF TI - Lead Time Based Heuristics for Integrated Production and Safety Stock Planning AU - Orcun, S. AU - Uzsoy, R. AU - Kempf, K.G. T2 - INFORMS International Meeting C2 - 2007/7// CY - Rio Mar, Puerto Rico DA - 2007/7// PY - 2007/7// ER - TY - ER - TY - CHAP TI - Performance Analysis of Traffic-Groomed Optical Networks Employing Alternate Routing Techniques AU - Washington, Nicki AU - Perros, Harry T2 - Managing Traffic Performance in Converged Networks. ITC 2007 A2 - Mason, L. A2 - Drwiega, T. A2 - Yan, J. T3 - Lecture Notes in Computer Science PY - 2007/9/1/ DO - 10.1007/978-3-540-72990-7_90 SP - 1048–1059 PB - Springer SN - 9783540729891 SV - 4516 UR - http://dx.doi.org/10.1007/978-3-540-72990-7_90 ER - TY - CHAP TI - Analysis and Provisioning of a Circuit-Switched Link with Variable-Demand Customers AU - Tian, Wenhong AU - Perros, Harry T2 - Managing Traffic Performance in Converged Networks. ITC 2007 A2 - Mason, L. A2 - Drwirga, T. A2 - Yan, J. T3 - Lecture Notes in Computer Science AB - We consider a single circuit-switched communication link, depicted by a Erlang multi-class loss queue, where a customer may vary its required bandwidth during its service. We obtain approximately the steady-state blocking probability of each class of customer. Comparisons with simulation results show that the approximation solution has a good accuracy. For the proposed model, we also provide an efficient capacity provisioning algorithm. PY - 2007/9/1/ DO - 10.1007/978-3-540-72990-7_77 SP - 890–900 PB - Springer SN - 9783540729891 SV - 4516 UR - http://dx.doi.org/10.1007/978-3-540-72990-7_77 ER - TY - CHAP TI - Measuring Bandwidth Signatures of Network Paths AU - Neginhal, Mradula AU - Harfoush, Khaled AU - Perros, Harry T2 - NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet A2 - Akyildiz, I.F. A2 - Sivakumar, R. A2 - Ekici, E. A2 - Oliveira, J.C. A2 - McNair, J. T3 - Lecture Notes in Computer Science AB - In this paper, we propose a practical and efficient technique, Forecaster, to estimate (1) the end-to-end available bandwidth, and (2) the speed of the most congested (tight) link along an Internet path. Forecaster is practical since it does not assume any a priori knowledge about the measured path, does not make any simplifying assumptions about the nature of cross-traffic, does not assume the ability to capture accurate packet dispersions or packet queueing delays, and does not try to preserve inter-packet spacing along path segments. It merely relies on a simple binary test to estimate whether each probe packet has queued in the network or not. Forecaster is efficient as it only requires two streams of probe packets that are sent end-to-end at rates that are much lower than the available bandwidth of the investigated path, thus avoiding path saturation. Theoretical analysis and experimental results validate the efficacy of the proposed technique. PY - 2007/// DO - 10.1007/978-3-540-72606-7_92 SP - 1072–1083 PB - Springer SN - 9783540726050 9783540726067 SV - 4479 UR - http://dx.doi.org/10.1007/978-3-540-72606-7_92 ER - TY - JOUR TI - Exact expected values of variance estimators for simulation AU - Aktaran-Kalaycı, Tûba AU - Alexopoulos, Christos AU - Argon, Nilay Tanık AU - Goldsman, David AU - Wilson, James R. T2 - Naval Research Logistics AB - Abstract We formulate exact expressions for the expected values of selected estimators of the variance parameter (that is, the sum of covariances at all lags) of a steady‐state simulation output process. Given in terms of the autocovariance function of the process, these expressions are derived for variance estimators based on the simulation analysis methods of nonoverlapping batch means, overlapping batch means, and standardized time series. Comparing estimator performance in a first‐order autoregressive process and the M / M /1 queue‐waiting‐time process, we find that certain standardized time series estimators outperform their competitors as the sample size becomes large. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007 DA - 2007/// PY - 2007/// DO - 10.1002/nav.20215 VL - 54 IS - 4 SP - 397-410 J2 - Naval Research Logistics LA - en OP - SN - 0894-069X 1520-6750 UR - http://dx.doi.org/10.1002/nav.20215 DB - Crossref KW - simulation KW - stationary process KW - variance estimation KW - nonoverlapping batch means KW - overlapping batch means KW - standardized time series ER - TY - JOUR TI - Analysis of Network Revenue Management under Uncertainty AU - Xu, Y. AU - Fang, S. AU - Feng, Y. T2 - Nonlinear Dynamics and Systems Theory DA - 2007/// PY - 2007/// VL - 7 IS - 1 SP - 85–96 ER - TY - CONF TI - Considering Demand Variability and Measurement Uncertainties in Adaptive Source Characterization in Water Distribution Networks AU - Liu, Li AU - Brill, Jr., E. Downey AU - Mahinthakumar, G. AU - Uber, James AU - Zechman, Emily M. AU - Ranjithan, S. T2 - World Environmental and Water Resources Congress 2007 AB - Characterizing the sources of contamination in water distribution networks continues to be a challenging problem. Several methods have been reported to address this problem. The authors previously presented and continue to investigate an adaptive search procedure that attempts to solve this problem under dynamic conditions. Since demand variability and measurement errors contribute significantly to the quality of the solutions obtained as well as the time to solve the problem, we investigate these effects on the adaptive dynamic optimization procedure. First, the effects of these variabilities and uncertainties on the solutions obtained under deterministic conditions are evaluated. Second, we incorporate them such that the search for the source characterization is conducted under noisy conditions. This paper reports the results from these investigations based on an investigation conducted for an illustrative water distribution network. C2 - 2007/5/11/ C3 - World Environmental and Water Resources Congress 2007 DA - 2007/5/11/ DO - 10.1061/40927(243)502 PB - American Society of Civil Engineers SN - 9780784409275 UR - http://dx.doi.org/10.1061/40927(243)502 DB - Crossref ER - TY - JOUR TI - Robust receding horizon control for constrained linear fractional transformation parameter-dependent systems AU - Wu, F. AU - Chen, Y. T2 - IET Control Theory & Applications AB - A robust receding horizon control (RHC) scheme is proposed for parameter-dependent linear systems with linear fractional parameter dependency and input–output constraints. The cost function is defined over a moving finite horizon as the quadratic performance for future parameter trajectories. The robust stability of the proposed RHC scheme is guaranteed using a parameter-dependent control Lyapunov function as the terminal penalty term, which is available through off-line synthesis procedure. Moreover, it is shown that the domain of attraction will be enlarged and the controlled performance of the RHC scheme will be gradually improved as the upper bound of performance is monotonically decreasing on-line. Both off-line robust control synthesis and on-line RHC computation are formulated and solved using linear matrix inequality optimisation techniques. DA - 2007/9/1/ PY - 2007/9/1/ DO - 10.1049/iet-cta:20060305 VL - 1 IS - 5 SP - 1423-1430 LA - en OP - SN - 1751-8644 1751-8652 UR - http://dx.doi.org/10.1049/iet-cta:20060305 DB - Crossref ER - TY - JOUR TI - An augmented immersed interface-level set method for Stokes equations with discontinuous viscosity AU - Li, Zhilin AU - Lubkin, S. AU - Wan, X. T2 - Electronic Journal of Differential Equations, Conference DA - 2007/// PY - 2007/// VL - 15 SP - 193–210 SN - 1072-6691 ER - TY - BOOK TI - Applied Numerical Mathematics for the International Conference on Scientific Computing A3 - Li, Zhilin DA - 2007/// PY - 2007/// VL - 57 M3 - Special Issues PB - American Mathematical Society ER - TY - MGZN TI - First SIAG linear algebra school slated for July 2008 AU - Ipsen, I.C.F. T2 - SIAM News DA - 2007/11/3/ PY - 2007/11/3/ VL - 40 M1 - 9 ER - TY - JOUR TI - Incorporating manufacturing lead times in joint production-marketing models: A review and some future directions AU - Upasani, Abhijit AU - Uzsoy, Reha T2 - Annals of Operations Research DA - 2007/12/6/ PY - 2007/12/6/ DO - 10.1007/s10479-007-0294-x VL - 161 IS - 1 SP - 171-188 J2 - Ann Oper Res LA - en OP - SN - 0254-5330 1572-9338 UR - http://dx.doi.org/10.1007/s10479-007-0294-x DB - Crossref KW - production/marketing interface KW - dynamic price and lead time quotation KW - load dependent lead time ER - TY - BOOK TI - Special Issue for the International Conference on Scientific Computing DA - 2007/5// PY - 2007/5// UR - https://www.sciencedirect.com/journal/applied-numerical-mathematics/vol/57/issue/5 ER - TY - BOOK TI - Moving Interface Problems and Applications in Fluid Dynamics DA - 2007/// PY - 2007/// UR - https://books.google.com/books/about/Moving_Interface_Problems_and_Applicatio.html?id=fMYbCAAAQBAJ ER - TY - JOUR TI - Multiscale Considerations in Modeling of Nonlinear Elastomers AU - Banks, H. T. AU - Medhin, Negash G. AU - Pinter, Gabriella A. T2 - International Journal for Computational Methods in Engineering Science and Mechanics AB - We present a survey of results from an extended project focused on the understanding of the dynamic behavior of elastomers or filled rubbers. This entailed experimental, modeling, computational and theoretical efforts. Of particular emphasis are the nonlinear and hysteretic aspects of dynamic deformations. DA - 2007/2/13/ PY - 2007/2/13/ DO - 10.1080/15502280601149346 VL - 8 IS - 2 SP - 53-62 J2 - International Journal for Computational Methods in Engineering Science and Mechanics LA - en OP - SN - 1550-2287 1550-2295 UR - http://dx.doi.org/10.1080/15502280601149346 DB - Crossref KW - Nonlinear Partial Differential Equations KW - Computational Methods KW - Viscoelasticity KW - Hysteresis KW - Molecular Dynamics KW - Multiscale Modeling ER - TY - JOUR TI - Matching and stabilization of discrete mechanical systems AU - Bloch, Anthony M. AU - Leok, Melvin AU - Marsden, Jerrold E. AU - Zenkov, Dmitry V. T2 - PAMM AB - Abstract Controlled Lagrangian and matching techniques are developed for the stabilization of equilibria of discrete mechanical systems with symmetry as well as broken symmetry. Interesting new phenomena arise in the controlled Lagrangian approach in the discrete context that are not present in the continuous theory. Specifically, a nonconservative force that is necessary for matching in the discrete setting is introduced. The paper also discusses digital and model predictive controllers. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) DA - 2007/12// PY - 2007/12// DO - 10.1002/pamm.200700390 VL - 7 IS - 1 SP - 1030603-1030604 J2 - Proc. Appl. Math. Mech. LA - en OP - SN - 1617-7061 1617-7061 UR - http://dx.doi.org/10.1002/pamm.200700390 DB - Crossref ER - TY - CHAP TI - Clustering for Hierarchical Traffic Grooming in Large Scale Mesh WDM Networks AU - Chen, Bensong AU - Dutta, Rudra AU - Rouskas, George N. T2 - Optical Network Design and Modeling AB - We present a clustering algorithm for hierarchical traffic grooming in large WDM networks. In hierarchical grooming, the network is decomposed into clusters, and one hub node in each cluster is responsible for grooming traffic from and to the cluster. Hierarchical grooming scales to large network sizes and facilitates the control and management of traffic and network resources. Yet determining the size and composition of clusters so as to yield good grooming solutions is a challenging task. We identify the grooming-specific factors affecting the selection of clusters, and we develop a parameterized clustering algorithm that can achieve a desired tradeoff among various goals. PY - 2007/7/20/ DO - 10.1007/978-3-540-72731-6_28 SP - 249-258 OP - PB - Springer Berlin Heidelberg SN - 9783540727293 UR - http://dx.doi.org/10.1007/978-3-540-72731-6_28 DB - Crossref ER - TY - CONF TI - Public logistics network protocol design and implementation AU - Ling, X. AU - Kay, M.G. AU - Telford, J. C2 - 2007/// C3 - IIE Annual Conference and Expo 2007 - Industrial Engineering's Critical Role in a Flat World - Conference Proceedings DA - 2007/// SP - 1593-1598 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-44949150426&partnerID=MN8TOARS ER - TY - CONF TI - A comparison of meta-heuristics for large scale facility location problems with economies of scale AU - Bucci, M.J. AU - Kay, M.G. AU - Warsing, D.P. C2 - 2007/// C3 - IIE Annual Conference and Expo 2007 - Industrial Engineering's Critical Role in a Flat World - Conference Proceedings DA - 2007/// SP - 1410-1415 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-44949149427&partnerID=MN8TOARS ER - TY - CONF TI - High-contrast algorithm behavior AU - Stallmann, Matthias F. AU - Brglez, Franc T2 - the 2007 workshop AB - After extensive experiments with two algorithms, CPLEX and our implementation of all-integer dual simplex, we observed extreme differences between the two on a set of design automation benchmarks. In many cases one of the two would find an optimal solution within seconds while the other timed out at one hour. C2 - 2007/// C3 - Proceedings of the 2007 workshop on Experimental computer science - ExpCS '07 DA - 2007/// DO - 10.1145/1281700.1281712 PB - ACM Press SN - 9781595937513 UR - http://dx.doi.org/10.1145/1281700.1281712 DB - Crossref ER - TY - JOUR TI - Environmental management systems and green supply chain management: complements for sustainability? AU - Darnall, Nicole AU - Jolley, G. Jason AU - Handfield, Robert T2 - Business Strategy and the Environment AB - Abstract Some researchers question the legitimacy of EMSs since organizations can claim to have one when in fact they make no attempt to reduce their environmental harm. In instances where EMSs enhance an organization's environmental performance, critics argue that improvements are likely to occur within the organization's operational boundaries rather than being extended throughout the supply chain. However, previous research suggests that the organizational capabilities required to adopt an EMS may facilitate GSCM implementation and the institutional pressures to adopt both management practices are similar. Consequently, EMS adopters may have a greater propensity to expand their focus beyond their organizational boundaries and utilize GSCM practices to minimize system‐wide environmental impacts. This research illuminates the debate by empirically evaluating the relationship between EMS and GSCM practices. Copyright © 2006 John Wiley & Sons, Ltd and ERP Environment. DA - 2007/// PY - 2007/// DO - 10.1002/bse.557 VL - 17 IS - 1 SP - 30-45 J2 - Bus. Strat. Env. LA - en OP - SN - 0964-4733 1099-0836 UR - http://dx.doi.org/10.1002/bse.557 DB - Crossref ER - TY - CHAP TI - On the Resilient Overlay Topology Formation in Multi-hop Wireless Networks AU - Xing, Fei AU - Wang, Wenye T2 - NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet AB - In this paper, we study the problem of how to design overlay topologies in multi-hop wireless networks such that the overlays achieve perfect resilience, in terms of all cooperative nodes included but misbehaving nodes excluded, and preserve the k-connectivity with high probability. To address this problem, we propose a new distributed topology control protocol called PROACtive. By using PROACtive, every node pro-actively selects its cooperative adjacent nodes as neighbors by mutually exchanging neighbor request and reply messages. As a result, the union of all neighbor sets forms a resilient overlay for a given network. Our analysis finds that the PROACtive protocol is light-weighted with the message complexity of only O(m), where m is the number of links in the original network. Our simulation results validate the effectiveness of PROACtive and show that the overlays generated by our protocol preserve the k-connectivity with high probability (> 90%) and low false positive ratio (< 5%). PY - 2007/// DO - 10.1007/978-3-540-72606-7_1 SP - 1-12 OP - PB - Springer Berlin Heidelberg SN - 9783540726050 9783540726067 UR - http://dx.doi.org/10.1007/978-3-540-72606-7_1 DB - Crossref ER - TY - JOUR TI - Supply chain optimisation and protocol environment (SCOPE) for rapid prototyping and analysis of complex supply chains AU - Orcun, S. AU - Asmundsson, J. M. AU - Uzsoy, R. AU - Clement, J. P. AU - Pekny, J. F. AU - Rardin, R. L. T2 - Production Planning & Control AB - There is a strong need for modelling tools that allow decision makers to rapidly develop aggregate models of supply chains, including both material and information flow, that they can use to gain insights and assess alternative configurations. We present a prototype implementation of such a system and apply it to a simple supply chain for validation purposes, and to a real world case study from the consumer packaged goods industry. DA - 2007/6/25/ PY - 2007/6/25/ DO - 10.1080/09537280701417116 VL - 18 IS - 5 SP - 388-406 J2 - Production Planning & Control LA - en OP - SN - 0953-7287 1366-5871 UR - http://dx.doi.org/10.1080/09537280701417116 DB - Crossref KW - supply chain modelling KW - non-linear dynamics KW - agents KW - collaboration KW - capacitated systems KW - aggregate production planning ER - TY - JOUR TI - A single-product network design model with lead time and safety stock considerations AU - Sourirajan, Karthik AU - Ozsen, Leyla AU - Uzsoy, Reha T2 - IIE Transactions AB - Most existing network design and facility location models have focused on the trade-off between the fixed costs of locating facilities and variable transportation costs between facilities and customers. However, operational performance measures such as service levels and lead times are what motivates customers to bring business to a company and should be considered in the design of a distribution network. While some previous work has considered lead times and safety stocks separately, they are closely related in practice, since safety stocks are often set relative to the distribution of demand over the lead time. In this paper we consider a two-stage supply chain with a production facility that replenishes a single product at retailers. The objective is to locate Distribution Centers (DCs) in the network such that the sum of the location and inventory (pipeline and safety stock) costs is minimized. The replenishment lead time at the DCs depends on the volume of flow through the DC. We require the DCs to carry enough safety stock to maintain the prescribed service levels at the retailers they serve. The explicit modeling of the relationship between the flows in the network, lead times and safety stocks allows us to capture the trade-off between them. We develop a Lagrangian heuristic to obtain near-optimal solutions with reasonable computational requirements for large problem instances. DA - 2007/2/26/ PY - 2007/2/26/ DO - 10.1080/07408170600941631 VL - 39 IS - 5 SP - 411-424 J2 - IIE Transactions LA - en OP - SN - 0740-817X 1545-8830 UR - http://dx.doi.org/10.1080/07408170600941631 DB - Crossref KW - location-inventory model KW - congestion KW - service level KW - Lagrangian relaxation ER - TY - JOUR TI - A genetic algorithm for minimizing maximum lateness on parallel identical batch processing machines with dynamic job arrivals and incompatible job families AU - Malve, Sujay AU - Uzsoy, Reha T2 - Computers & Operations Research AB - We consider the problem of minimizing maximum lateness on parallel identical batch processing machines with dynamic job arrivals. We propose a family of iterative improvement heuristics based on previous work by Potts [Analysis of a heuristic for one machine sequencing with release dates and delivery times. Operations Research 1980;28:1436–41] and Uzsoy [Scheduling batch processing machines with incompatible job families. International Journal for Production Research 1995;33(10):2685–708] and combine them with a genetic algorithm (GA) based on the random keys encoding of Bean [Genetic algorithms and random keys for sequencing and optimization. ORSA Journal on Computing 1994;6(2):154–60]. Extensive computational experiments show that one of the proposed GAs runs significantly faster than the other, providing a good tradeoff between solution time and quality. The combination of iterative heuristics with GAs consistently outperforms the iterative heuristics on their own. DA - 2007/10// PY - 2007/10// DO - 10.1016/j.cor.2005.11.011 VL - 34 IS - 10 SP - 3016-3028 J2 - Computers & Operations Research LA - en OP - SN - 0305-0548 UR - http://dx.doi.org/10.1016/j.cor.2005.11.011 DB - Crossref KW - batch processing machines KW - scheduling KW - genetic algorithms KW - heuristics ER - TY - JOUR TI - Hybrid decomposition heuristics for solving large-scale scheduling problems in semiconductor wafer fabrication AU - Sourirajan, Karthik AU - Uzsoy, Reha T2 - Journal of Scheduling DA - 2007/2// PY - 2007/2// DO - 10.1007/s10951-006-0325-5 VL - 10 IS - 1 SP - 41-65 J2 - J Sched LA - en OP - SN - 1094-6136 1099-1425 UR - http://dx.doi.org/10.1007/s10951-006-0325-5 DB - Crossref KW - job shop scheduling KW - maximum lateness KW - shifting bottleneck KW - vomputational evaluation ER - TY - JOUR TI - Lagrangian heuristics for scheduling new product development projects in the pharmaceutical industry AU - Varma, Vishal A. AU - Uzsoy, Reha AU - Pekny, Joseph AU - Blau, Gary T2 - Journal of Heuristics DA - 2007/4/27/ PY - 2007/4/27/ DO - 10.1007/s10732-007-9016-4 VL - 13 IS - 5 SP - 403-433 J2 - J Heuristics LA - en OP - SN - 1381-1231 1572-9397 UR - http://dx.doi.org/10.1007/s10732-007-9016-4 DB - Crossref KW - resource constrained multi-project scheduling KW - dual block angular matrix KW - lagrangian dual KW - decomposition KW - integer programming ER - TY - JOUR TI - Outbound supply chain network design with mode selection and lead time considerations AU - Eskigun, Erdem AU - Uzsoy, Reha AU - Preckel, Paul V. AU - Beaujon, George AU - Krishnan, Subramanian AU - Tew, Jeffrey D. T2 - Naval Research Logistics AB - Abstract We present a large‐scale network design model for the outbound supply chain of an automotive company that considers transportation mode selection (road vs. rail) and explicitly models the relationship between lead times and the volume of flow through the nodes of the network. We formulate the problem as a nonlinear zero‐one integer program, reformulate it to obtain a linear integer model, and develop a Lagrangian heuristic for its solution that gives near‐optimal results in reasonable time. We also present scenario analyses that examine the behavior of the supply chain under different parameter settings and the performance of the solution procedures under different experimental conditions. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007 DA - 2007/// PY - 2007/// DO - 10.1002/nav.20205 VL - 54 IS - 3 SP - 282-300 J2 - Naval Research Logistics LA - en OP - SN - 0894-069X 1520-6750 UR - http://dx.doi.org/10.1002/nav.20205 DB - Crossref KW - supply chain KW - network design KW - Lagrangian heuristic ER - TY - CONF TI - Evaluation of Non-Uniqueness in Contaminant Source Characterization Based on Sensors with Event Detection Methods AU - Kumar, Jitendra AU - Zechman, E. M. AU - Brill, E. D. AU - Mahinthakumar, G. AU - Ranjithan, S. AU - Uber, J. T2 - World Environmental and Water Resources Congress 2007 AB - Due to the present state of sensor technology, during a water distribution contamination event, sensors may be able to detect only the presence of a contaminant and not necessarily the complete concentration profile. Some sensors trigger a detection based on a specified threshold concentration of observation, yielding a binary detection/no-detection signal. Event detection can also be based on observed concentrations of water quality parameters, such as pH and chlorine, which are routinely measured. These concentration observations are then processed through event detection algorithms to yield a detection/no-detection signal. These event detection techniques filter the measured concentrations at sensors to produce a discrete signal. When using this filtered information to characterize the contamination source, the certainty of identifying a unique solution is likely reduced, i.e., a set of widely different source characteristics may provide a match for the sensor observations. The authors previously presented an evolutionary algorithm-based procedure for source characterization and for assessing non-uniqueness by generating a set of maximally different alternatives. The procedure is extended here to characterize a contaminant source and any non-uniqueness arising by using sensor information processed through different event detection methods. C2 - 2007/5/11/ C3 - World Environmental and Water Resources Congress 2007 DA - 2007/5/11/ DO - 10.1061/40927(243)513 PB - American Society of Civil Engineers SN - 9780784409275 UR - http://dx.doi.org/10.1061/40927(243)513 DB - Crossref ER - TY - CHAP TI - Cyberinfrastructure for Contamination Source Characterization in Water Distribution Systems AU - Sreepathi, Sarat AU - Mahinthakumar, Kumar AU - Zechman, Emily AU - Ranjithan, Ranji AU - Brill, Downey AU - Ma, Xiaosong AU - von Laszewski, Gregor T2 - Computational Science – ICCS 2007 AB - This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consists of the application, middleware and hardware resources. The application core consists of various optimization modules and a simulation module. This paper focuses on the development of specific middleware components of the cyberinfrastructure that enables efficient seamless execution of the application core in a grid environment. The components developed in this research include: (i) a coarse-grained parallel wrapper for the simulation module that includes additional features for persistent execution, (ii) a seamless job submission interface, and (iii) a graphical real time application monitoring tool. The performance of the cyberinfrastructure is evaluated on a local cluster and the TeraGrid. PY - 2007/// DO - 10.1007/978-3-540-72584-8_139 SP - 1058-1065 OP - PB - Springer Berlin Heidelberg SN - 9783540725831 9783540725848 UR - http://dx.doi.org/10.1007/978-3-540-72584-8_139 DB - Crossref ER - TY - JOUR TI - Shape derivatives without taking the shape derivative AU - Ito, K. AU - Kunisch, K. AU - Peichl, G. T2 - PAMM AB - Abstract A general framework for calculating shape derivatives for optimization problems with partial differential equations as constraints is presented. Exploiting the structure of the cost functional the proposed technique allows to obtain the shape derivative of the cost without the necessity to involve the shape derivative of the state variable. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) DA - 2007/12// PY - 2007/12// DO - 10.1002/pamm.200700780 VL - 7 IS - 1 SP - 1061005-1061006 J2 - Proc. Appl. Math. Mech. LA - en OP - SN - 1617-7061 1617-7061 UR - http://dx.doi.org/10.1002/pamm.200700780 DB - Crossref ER - TY - JOUR TI - An immersed interface method for the Navier-Stokes equations on irregular domains AU - Li, Zhilin AU - Lai, Ming-Chih AU - Ito, Kazufumi T2 - PAMM AB - Abstract An augmented method based on a Cartesian grid is proposed for the incompressible Navier Stokes equations on an irregular domain. The irregular domain is embedded into a rectangular one so that a fast Poisson solver can be used in the projection method. Unlike several methods suggested in the literature that set the force strengths as unknowns, which often results an ill‐conditioned linear system, we set the jump in the normal derivative of the velocity as the augmented variable. The new approach improve the condition number of the system for the augmented variable significantly. Using the immersed interface method, we achieve second order accuracy for the velocity. Numerical results and comparisons are given to validate the new method. Some interesting new numerical experiments results are also presented. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) DA - 2007/12// PY - 2007/12// DO - 10.1002/pamm.200700758 VL - 7 IS - 1 SP - 1025401-1025402 J2 - Proc. Appl. Math. Mech. LA - en OP - SN - 1617-7061 1617-7061 UR - http://dx.doi.org/10.1002/pamm.200700758 DB - Crossref ER - TY - JOUR TI - Simulation of Fusion Plasmas: Current Status and Future Direction AU - Batchelor, D A AU - Beck, M AU - Becoulet, A AU - Budny, R V AU - Chang, C S AU - Diamond, P H AU - Dong, J Q AU - Fu, G Y AU - Fukuyama, A AU - Hahm, T S AU - Keyes, D E AU - Kishimoto, Y AU - Klasky, S AU - Lao, L L AU - Li, K AU - Lin, Z AU - Ludaescher, B AU - Manickam, J AU - Nakajima, N AU - Ozeki, T AU - Podhorszki, N AU - Tang, W M AU - Vouk, M A AU - Waltz, R E AU - Wang, S J AU - Wilson, H R AU - Xu, X Q AU - Yagi, M AU - Zonca, F T2 - Plasma Science and Technology AB - I. Introduction (Z. Lin, G. Y. Fu, J. Q. Dong) II. Role of theory and simulation in fusion sciences 1. The Impact of theory and simulation on tokomak experiments (H. R. Wilson, T.S. Hahm and F. Zonca) 2. Tokomak Transport Physics for the Era of ITER: Issues for Simulations (P.H. Diamond and T.S. Hahm) III. Status of fusion simulation and modeling 1. Nonlinear Governing Equations for Plasma Simulations (T. S. Hahm) 2. Equilibrium and stability (L.L. Lao, J. Manickam) 3. Transport modeling (R.E. Waltz) 4. Nonlinear MHD (G.Y. Fu) 5. Turbulence (Z. Lin and R.E. Waltz) 6. RF heating and current drive (D.A. Batchelor) 7. Edge physics Simulations (X.Q. Xu and C.S. Chang) 8. Energetic particle physics (F. Zonca, G.Y. Fu and S.J. Wang) 9. Time-dependent Integrated Modeling (R.V. Budny) 10. Validation and verification (J. Manickam) IV. Major initiatives on fusion simulation 1. US Scientific Discovery through Advanced Computing (SciDAC) Program & Fusion Energy Science (W. Tang) 2. EU Integrated Tokamak Modelling (ITM) Task Force (A. Becoulet) 3. Fusion Simulations Activities in Japan (A. Fukuyama, N. Nakajima, Y. Kishimoto, T. Ozeki, and M. Yagi) V. Cross-disciplinary research in fusion simulation 1. Applied mathematics: Models, Discretizations, and Solvers (D.E. Keyes) 2. Computational Science (K. Li) 3. Scientific Data and Workflow Management (S. Klasky, M. Beck, B. Ludaescher, N. Podhorszki, M.A. Vouk) 4. Collaborative tools (J. Manickam) DA - 2007/6// PY - 2007/6// DO - 10.1088/1009-0630/9/3/13 VL - 9 IS - 3 SP - 312-387 J2 - Plasma Sci. Technol. OP - SN - 1009-0630 UR - http://dx.doi.org/10.1088/1009-0630/9/3/13 DB - Crossref ER - TY - CHAP TI - Automation of Network-Based Scientific Workflows AU - Vouk, M. A. AU - Altintas, I. AU - Barreto, R. AU - Blondin, J. AU - Cheng, Z. AU - Critchlow, T. AU - Khan, A. AU - Klasky, S. AU - Ligon, J. AU - Ludaescher, B. AU - Mouallem, P. A. AU - Parker, S. AU - Podhorszki, N. AU - Shoshani, A. AU - Silva, C. T2 - IFIP The International Federation for Information Processing AB - Comprehensive, end-to-end, data and workflow management solutions are needed to handle the increasing complexity of processes and data volumes associated with modern distributed scientific problem solving, such as ultrascale simulations and high-throughput experiments. The key to the solution is an integrated network-based framework that is functional, dependable, faulttolerant, and supports data and process provenance. Such a framework needs to make development and use of application workflows dramatically easier so that scientists’ efforts can shift away from data management and utility software development to scientific research and discovery. An integrated view of these activities is provided by the notion of scientific workflows - a series of structured activities and computations that arise in scientific problem-solving. An information technology framework that supports scientific workflows is the Ptolemy II based environment called Kepler. This paper discusses the issues associated with practical automation of scientific processes and workflows and illustrates this with workflows developed using the Kepler framework and tools. PY - 2007/11/16/ DO - 10.1007/978-0-387-73659-4_3 SP - 35-61 OP - PB - Springer US SN - 9780387736587 UR - http://dx.doi.org/10.1007/978-0-387-73659-4_3 DB - Crossref ER - TY - JOUR TI - Some software aspects of DAE simulation & optimization software AU - Campbell, S. L. AU - Betts, J. T. AU - Engelsone, A. AU - Nikoukhah, R. AU - Najafi, M. T2 - PAMM AB - Abstract Considerable numerical software has been written for simulation and optimization of dynamical systems. From the beginning of their development, differential algebraic equations (DAEs) have often been proposed as a way to make modeling easier. The modeler need only write down equations relating the variables in the model. However, much DAE software requires at least as much user numerical and mathematical expertise as explicit methods. An important aspect of our research has been working toward helping the idea of DAEs achieve its promise in modeling and simulation by both pushing the software to handle more general problems and to also allow for less user expertise. Some recent examples are presented where this research impacts on software and their underlying algorithms. Space necessitates we assume the reader has a rough idea of what a DAE is. The examples are implicit Scicos, and optimization of DAE models. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) DA - 2007/12// PY - 2007/12// DO - 10.1002/pamm.200700495 VL - 7 IS - 1 SP - 1023103-1023104 SN - 1617-7061 1617-7061 UR - http://dx.doi.org/10.1002/pamm.200700495 ER - TY - JOUR TI - Problems and techniques: Introduction AU - Ipsen, I. T2 - SIAM Review DA - 2007/// PY - 2007/// VL - 49 IS - 4 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-37249005235&partnerID=MN8TOARS ER - TY - JOUR TI - Problems and techniques AU - Ipsen, I. T2 - SIAM Review DA - 2007/// PY - 2007/// VL - 49 IS - 2 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-34249999151&partnerID=MN8TOARS ER - TY - JOUR TI - Problems and Techniques AU - Ipsen, Ilse T2 - SIAM Review AB - The three papers in this issue deal with how to describe spikes and plateaus; how to bound the probability that a random variable belongs to a particular set; and how to analyze thermodynamic properties of DNA and RNA. 1. If you had only a (mathematical) sound bite to explain the difference between the broad plateau of the Black Mesa in Arizona and the steep spike of the Matterhorn in Switzerland, what could you do? Thomas Hillen, in his paper “A Classification of Spikes and Plateaus,” proposes that you inspect fourth derivatives. In Flatland (a one‐dimensional domain, that is), the Black Mesa has a negative fourth derivative at its highest point, while the Matterhorn has a positive fourth derivative. For n‐dimensional domains it’s a little bit more complicated because one has to check whether the Hessian of the Laplacian is positive definite or negative definite. The author illustrates how the classification of plateaus and spikes benefits the qualitative analysis of several partial differential equations from mathematical physics and biology. 2. Given a random vector $X\in\real^n$ whose first two moments (the expected mean vector $\mathbf{E}X$ and the covariance matrix $\mathbf{E}XX^T$) are known, the problem considered in the second paper is to bound the probability that X lies in a particular subset C of $\real^n$. Here the set C is defined by m strict quadratic inequalities, $$C=\left\{x\in\real^n:\ x_i^TA_ix+2b_i^Tx+c_i<0, \quad 1\leq i\leq m\right\},$$ which involve symmetric matrices $A_i$, vectors $b_i$, and scalars $c_i$. The best possible (“sharp”) lower bound on the probability that X lies in C is an example of a generalized Chebyshev inequality. In general, generalized Chebyshev inequalities are sharp upper or lower bounds on the probability that a random vector with given moments lies in a particular set. The first such inequality was formulated in the nineteenth century by Chebyshev and proved by his student Markov. Almost a hundred years later duality theory and optimization emerged as powerful tools for deriving Chebyshev inequalities. Since then Chebyshev inequalities have appeared in decision analysis, statistics, finance, and machine learning. In their well‐written paper “Generalized Chebyshev Bounds via Semidefinite Programming,” Lieven Vandenberghe, Stephen Boyd, and Katherine Comanor construct two equivalent (dual) semidefinite programs for solving the above Chebyshev inequality. That is, the optimal value of these programs equals the best possible lower bound on the probability that a random vector X with given mean and covariance lies in the set C. If you have time, savor the well‐organized and constructive proofs, and check out the two simple examples to watch the semidefinite programs in action. 3. Nucleic acid technology is based on the design of molecular systems that self‐assemble out of strands of DNA or RNA, so as to implement functions relevant to robotics, biosensing, medicine, and many other applications. Fundamental to the success of this technology is a rigorous analysis of the thermodynamic properties of nucleic acid strands. In their paper “Thermodynamic Analysis of Interacting Nucleic Acid Strands,” Robert Dirks, Justin Bois, Joseph Schaeffer, Erik Winfree, and Niles Pierce make a significant advance by devising models and algorithms, not just for a single strand, but for an entire test tube of interacting strands of nucleic acids. They do this by combining an unusual variety of different mathematical techniques. A nucleic acid strand can be represented as a sequence of bases from a four‐letter alphabet (for DNA the bases are A, C, G, and T). Complementary bases can interact to form base pairs (for DNA these base pairs are C‐G and A‐T). The set of base pairs in a molecular conformation of interacting nucleic acid strands is called the secondary structure. In the simplest case, two fully‐complementary strands can base‐pair to each other completely, bringing to mind a ladder in which the rungs represent base pairs and the two sides of the ladder represent the backbones of the two strands. In practice, however, things are usually more complicated. Not every base is paired, and the strands might interact to form branched structures with various types of bulges and loops between the base pairs. For reasons of practicality, the authors disallow certain complicated secondary structures (pseudoknots). An important thermodynamic property, useful for the design of nucleic acids, is the equilibrium probability of a secondary structure. It can be calculated in a straightforward way from the partition function. Calculating the partition function for a single strand requires summing the partition functions of all smaller subsequences. This can be done by a dynamic program that computes the sums recursively. By contrast, calculating the partition function for a complex of several interacting strands is much more difficult, due to the physical and mathematical issues that arise when bases from different strands pair up. The authors present models and algorithms for computing the partition function for a complex of an arbitrary number of interacting strands. In particular, they use graph theory to map each allowed secondary structure to a unique ordering of strands (representation theorem). And they use group theory to eliminate symmetries and redundancies that would lead to overestimates of the partition function (distinguishability correction). Together, these results ensure that a dynamic program can again be used to recursively calculate the partition function. Now the authors are ready to extend their analysis to realistic experimental conditions where an arbitrary number of strand species interact (in a dilute solution) to form a variety of complexes. The authors use combinatorial arguments to determine how many times the dynamic program must be invoked to compute the partition function for such a system. They express the computation of the equilibrium concentration of each species of complex as a convex programming problem and use the concave dual problem as the basis for an efficient numerical implementation. DA - 2007/1// PY - 2007/1// DO - 10.1137/siread000049000001000033000001 VL - 49 IS - 1 SP - 33-34 ER - TY - JOUR TI - Problems and Techniques AU - Ipsen, Ilse T2 - SIAM Review AB - The Super Bowl is the annual championship game of professional American football, the National Football League (NFL). A coin toss determines which team kicks off and which one receives. This coin toss is big business in Las Vegas, spawning bets worth millions of dollars. In the past 12 years, 9 tosses came up tails and only 3 came up heads. Why so many tails and so few heads? Persi Diaconis, Susan Holmes, and Richard Montgomery may have found an explanation in their paper Dynamical Bias in the Coin Toss, based on a fascinating mixture of mechanics, probability distributions, and high speed cameras. If you want to be a millionaire, SIAM Review is here to help! In the second paper, A Hybrid Approach for Efficient Robust Design of Dynamic Systems, Martin Mönnigmann and his five coauthors are concerned with optimizing models for chemical processes such as fermentation (think of yeast producing alcohol in the brewing of beer). If such a process operates on a continuous basis, one needs to find optimal equilibrium solutions for the underlying model. Say, for example, that one would like to determine the yeast concentration that maximizes the amount of alcohol in the beer. If bacteria can affect the yeast concentration, one also needs to be assured that the fermentation process remains stable, even when yeast concentrations fluctuate slightly. With the help of bifurcation theory, interval arithmetic, and nonlinear solvers, the authors derive a strategy for computing such solutions. Prost! (That’s German for “cheers.”) A Potpourri of Conjectures and Open Questions in Nonlinear Analysis and Optimization by Jean‐Baptiste Hiriart‐Urruty is one of the more unusual papers in the Problems and Techniques section. The fourteen very different problems include a question posed by Newton in 1686 (what is the shape of a body that offers minimal resistance in a fluid?); issues in matrix theory (which real symmetric matrices can be simultaneously diagonalized with a single congruence transformation?); and solutions to eikonal equations (which smooth functions f over which domains satisfy $\|\nabla f(x)\| = 1$?). Each problem comes with a precise description, a short history, and a digestible set of references. DA - 2007/1// PY - 2007/1// DO - 10.1137/siread000049000002000209000001 VL - 49 IS - 2 SP - 209-209 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-34548494833&partnerID=MN8TOARS ER - TY - CONF TI - Computer optimization of electron gun designs AU - Ives, R.L. AU - Bui, Thuc AU - David, J. AU - Tran, Hien AU - Read, M. T2 - 2007 Joint 32nd International Conference on Infrared and Millimeter Waves and the 15th International Conference on Terahertz Electronics (IRMMW-THz) AB - Computer optimization is applied to three dimensional design of electron guns. The resulting designs exhibit improved performance with significantly reduced design cost compared to manual design. Design tables update geometric parameters in a solid modeling program, including dimensions for points defining spline surfaces. Algorithms then modified the geometry and other parameters based on goal functions defining the desired performance. Optimal designs were achieved by automatic execution of the optimization loop. Results for confined flow Pierce guns, sheet beam guns, and multiple beam guns will be described. C2 - 2007/9// C3 - 2007 Joint 32nd International Conference on Infrared and Millimeter Waves and the 15th International Conference on Terahertz Electronics DA - 2007/9// DO - 10.1109/icimw.2007.4516435 PB - IEEE SN - 9781424414383 UR - http://dx.doi.org/10.1109/icimw.2007.4516435 DB - Crossref ER - TY - JOUR TI - Subset selection for parameter estimation in an HIV model AU - Fink, Martin AU - Attarian, Adam AU - Tran, Hien T2 - PAMM AB - Abstract This paper discusses methodologies for subset selection for nonlinear least squares parameter estimation. In particular, we will present approaches for partitioning the parameter space into well‐conditioned and ill‐conditioned subsets. The algorithms are applied to a simplified mathematical model of the physiologic response of the human immunodeficiency virus (HIV) in humans. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) DA - 2007/12// PY - 2007/12// DO - 10.1002/pamm.200700319 VL - 7 IS - 1 SP - 1121501-1121502 J2 - Proc. Appl. Math. Mech. LA - en OP - SN - 1617-7061 1617-7061 UR - http://dx.doi.org/10.1002/pamm.200700319 DB - Crossref ER - TY - ER - TY - CONF TI - Representing and reasoning about commitments in business processes AU - Desai, N. AU - Chopra, A.K. AU - Singh, M.P. C2 - 2007/// C3 - Proceedings of the National Conference on Artificial Intelligence DA - 2007/// VL - 2 SP - 1328-1333 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-36349027545&partnerID=MN8TOARS ER - TY - CONF TI - Toward verification of commitment protocols and their compositions AU - Desai, N. AU - Cheng, Z. AU - Chopra, A.K. AU - Singh, M.P. AB - Commitment protocols have been proposed as a basis for modeling and enacting interactions among agents, such as those needed to carry out business processes. A central idea is that protocols would be developed and shared via libraries, and refined and composed to produce protocols that serve specific needs. Success in this program, therefore, presupposes that individual protocols and their compositions can be formally verified with respect to the properties of interest. This paper outlines an approach for verifying the correctness of commitment protocols and their compositions that exploits the well-known software engineering technique of model checking. C2 - 2007/// C3 - Proceedings of the International Conference on Autonomous Agents DA - 2007/// DO - 10.1145/1329125.1329165 SP - 144-146 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-60349102464&partnerID=MN8TOARS ER - TY - JOUR TI - Governance of cross-organizational service agreements: A policy-based approach T2 - IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS DA - 2007/// PY - 2007/// UR - https://publons.com/publon/21294458/ ER - TY - JOUR TI - Formalizing Communication Protocols for Multiagent Systems T2 - 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE DA - 2007/// PY - 2007/// UR - https://publons.com/publon/21294460/ ER - TY - JOUR TI - Formal Trust Model for Multiagent Systems T2 - 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE DA - 2007/// PY - 2007/// UR - https://publons.com/publon/21294461/ ER - TY - CONF TI - Governance of cross-organizational service agreements: A policy-based approach AU - Udupi, Y.B. AU - Singh, M.P. AB - Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our attention to organizations that monitor their environment, collate events, determine compliance of their behaviors with their policies, and potentially act in anticipation of events to ensure the satisfaction of their policies. This paper models cross-organizational service agreements as resulting in the formation of organizations. This paper emphasizes the importance of proactive policy-based governance in organizations (modeled as multiagent systems) and provides a novel architecture supporting policy monitoring, governance, and enactment. This paper provides an initial formalization and discusses the compliance and completeness of behaviors produced from specified policies. To demonstrate the practical utility of this approach, it is implemented using an existing policy engine and messaging middleware. C2 - 2007/// C3 - Proceedings - 2007 IEEE International Conference on Services Computing, SCC 2007 DA - 2007/// DO - 10.1109/SCC.2007.63 SP - 36-43 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-35248815169&partnerID=MN8TOARS ER - TY - CONF TI - Engineering foreign exchange processes via commitment protocols AU - Desai, N. AU - Chopra, A.K. AU - Arrott, M. AU - Spechte, B. AU - Singh, M.P. AB - Foreign exchange (FX) markets see a transaction volume of over $2 trillion per day. A number of standard ways of conducting business have been developed in the FX industry. However, current FX specifications are informal and their business semantics unclear. The resulting implementations tend to be complex and compliance with the standards unverifiable. This results in potential loss of value due to incompatible business processes and possible trades not consummated. This paper validates a formal, protocol-based approach by specifying foreign exchange processes as standardized by the TWIST consortium. The proposed approach formalizes a small, core set of foreign exchange interaction protocols on which the desired processes can be based. The core protocols can be composed to yield a large variety of possible processes. Each protocol is rigorously defined in terms of the commitments undertaken and manipulated by the parties involved. By contrast, traditional approaches as used in the current TWIST specification lead to redundancy in specification and difficulty in understanding the import of the interactions involved. In addition, our approach discovered interesting business scenarios that traditional approaches would have missed. C2 - 2007/// C3 - Proceedings - 2007 IEEE International Conference on Services Computing, SCC 2007 DA - 2007/// DO - 10.1109/SCC.2007.58 SP - 514-521 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-35248848926&partnerID=MN8TOARS ER - TY - JOUR TI - Logic-Based Agent Verification AU - Fisher, M. AU - Singh, M. AU - Spears, D. AU - Wooldridge, M. T2 - Journal of Applied Logic DA - 2007/// PY - 2007/// DO - 10.1016/j.jal.2005.12.012 VL - 5 IS - 2 SP - 193-195 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-34247135747&partnerID=MN8TOARS ER - TY - CONF TI - InterPol: A policy framework for managing trust and privacy in referral networks AU - Udupi, Y.B. AU - Singh, M.P. AB - Referral networks are a kind of P2P system consisting of autonomous agents who seek, provide services, or refer other service providers. Key applications include service discovery and selection, and knowledge sharing. This use of referrals is inspired by human interactions, where referrals are a key basis for judging the trustworthiness of a given service. C2 - 2007/// C3 - Proceedings of the International Conference on Autonomous Agents DA - 2007/// DO - 10.1145/1329125.1329332 SP - 1095-1097 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-60349089685&partnerID=MN8TOARS ER - TY - CONF TI - An event-driven approach for agent-based business process enactment AU - Chakravarty, P. AU - Singh, M.P. AB - Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This paper proposes an event-driven architecture that enriches such models with events resulting in a more robust and proactive system. Specifically, we place this architecture in a business process framework based on protocols and policies, where agents' behaviors are specified via rules. The contributions of this paper include (1) an event-driven architecture, (2) a specification language that combines event logic with rules and (3) a methodology to incorporate events into a process (such as for fine-grained monitoring), (4) a way to manage subscriptions to simple events efficiently. This approach is applied on a well-known business scenario. C2 - 2007/// C3 - Proceedings of the International Conference on Autonomous Agents DA - 2007/// DO - 10.1145/1329125.1329383 SP - 1269-1271 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-60349117905&partnerID=MN8TOARS ER - TY - CONF TI - A modular action description language for protocol composition AU - Desai, N. AU - Singh, M.P. C2 - 2007/// C3 - Proceedings of the National Conference on Artificial Intelligence DA - 2007/// VL - 2 SP - 962-967 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-36349036553&partnerID=MN8TOARS ER - TY - CONF TI - Enacting protocols by commitment concession AU - Yolum, P. AU - Singh, M.P. AB - Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents' local policies unspecified. This paper studies the problem of agents enacting commitment protocols, which inherently requires that their policies cohere with the given protocols. Specifically, in many important settings, if agents incautiously create and discharge commitments, they can expose themselves to certain risk; conversely, if the agents are (excessively) cautious, a protocol enactment may deadlock. This paper adopts the well-known idea of monotonic concession, but specializes and enhances it with the particular features of commitments. Specifically, this paper formulates inference rules for commitment concession that respect the nature of commitments. Next, it shows how commitments can be systematically revised as the agents incrementally engage each other in enacting their protocol. This paper demonstrates how such rules can be applied in practice, and identifies conditions under which progress and termination of protocol enactment can be guaranteed. C2 - 2007/// C3 - Proceedings of the International Conference on Autonomous Agents DA - 2007/// DO - 10.1145/1329125.1329158 SP - 116-123 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-45449096030&partnerID=MN8TOARS ER - TY - CONF TI - Dynamics of contracts-based organizations: A formal approach based on institutions AU - Udupi, Y.B. AU - Singh, M.P. AB - An organization comprises a group of collaborating agents (individual agents or nested organizations) that exhibit complex behaviors. Of particular interest are dynamic organizations that form and dissolve as their members' needs change. Such organizations are important in many applications, including scientific and business computing. Contracts among autonomous agents have long been used to facilitate their collaboration. This paper provides a contracts-based approach for managing organizations. The proposed approach places organizations within institutions, themselves modeled as specialized organizations. Commitments form the basis of contracts and this paper establishes some important dynamic aspects by providing a commitment life cycle analysis. This approach has been applied in a prototype tool to manage organizations. C2 - 2007/// C3 - Proceedings of the International Conference on Autonomous Agents DA - 2007/// DO - 10.1145/1329125.1329149 SP - 82-84 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-60349099664&partnerID=MN8TOARS ER - TY - CONF TI - Choice and interoperation in protocol enactment AU - Chopra, A.K. AU - Singh, M.P. AB - Protocols describe interactions among agents and thus underlie the engineering of multiagent systems. However, protocols are enacted by agents in physical systems. In particular, considerations of communication models and how distributed agents are able to make compatible choices would greatly affect whether a protocol may in fact be enacted successfully. The objective of this paper is to study the conceptual underpinnings of protocol enactment in multiagent systems. It seeks to characterize the operationalization of agents so as to determine whether and when agents may be interoperable. C2 - 2007/// C3 - Proceedings of the International Conference on Autonomous Agents DA - 2007/// DO - 10.1145/1329125.1329161 SP - 132-134 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-60349125584&partnerID=MN8TOARS ER - TY - RPRT TI - View and index selection for query-performance improvement: Algorithms, heuristics and complexity AU - Kormilitsin, Maxim AU - Chirkova, Rada Y AU - Fathi, Yahya AU - Stallmann, Matthias F A3 - North Carolina State University. Dept. of Computer Science DA - 2007/// PY - 2007/// PB - North Carolina State University. Dept. of Computer Science ER - TY - CONF TI - Proofchecker: an accessible environment for automata theory correctness proofs AU - Stallmann, Matthias F AU - Balik, Suzanne P AU - Rodman, Robert D AU - Bahram, Sina AU - Grace, Michael C AU - High, Susan D T2 - ACM C2 - 2007/// C3 - ACM SIGCSE Bulletin DA - 2007/// VL - 39 SP - 48-52 M1 - 3 ER - TY - CONF TI - High-contrast algorithm behavior: observation, hypothesis, and experimental design AU - Stallmann, Matthias F AU - Brglez, Franc T2 - ACM C2 - 2007/// C3 - Proceedings of the 2007 workshop on Experimental computer science DA - 2007/// SP - 12 ER - TY - JOUR TI - A case for smaller class size with integrated lab for introductory computer science AU - Boyer, Kristy Elizabeth AU - Dwight, Rachael S AU - Miller, Carolyn S AU - Raubenheimer, C Dianne AU - Stallmann, Matthias F AU - Vouk, Mladen A T2 - ACM SIGCSE Bulletin DA - 2007/// PY - 2007/// VL - 39 IS - 1 SP - 341-345 ER - TY - JOUR TI - Convergence Analysis of the {DIRECT} Algorithm AU - Finkel, D E AU - Kelley, C T DA - 2007/// PY - 2007/// ER - TY - JOUR TI - A Case Study in Using Local {I/O} and {GPFS} to Improve Simulation Scalability T2 - 8th LCI International Conference on High-Performance Clustered Computing DA - 2007/// PY - 2007/// ER - TY - JOUR TI - Analysis of A Scalable Preconditioner for the Wigner-Poisson Equation AU - Lasater, M.S. AU - Kelley, C.T. AU - Salinger, A. AU - Woolard, D.L. AU - Recine, G. AU - Zhao, P. T2 - International Journal of Pure and Applied Mathematics DA - 2007/// PY - 2007/// VL - 37 SP - 247–270 ER - TY - JOUR TI - Problems and Techniques AU - Ipsen, Ilse T2 - SIAM Review AB - This issues features papers about mathematical genetics, data compression, and data assimilation in oceanography. 1. Computer algebra can help to predict the genetic makeup of a population. This is what we can conclude from the first paper, “Buchberger's Algorithm and the Two-Locus, Two-Allele Model.” With reproduction rates and probability of chromosome recombination as parameters, and one variable for each chromosome type, one can set up a system of polynomial equations. The solution value for a variable indicates how often this chromosome type occurs in the population. The question is now, over all parameter choices, how many different equilibrium solutions can there be? In other words, in the long term, can a chromosome type occur with any possible frequency? Arthur Copeland's answer is no: the number of solutions is almost always finite (and conjectured to be 15) in the special case when a population contains at most four different chromosome types. He arrives at his answer by means of affine varieties, ideals, and Gröbner bases. He also shows that the equilibrium solutions vary smoothly with the parameters. 2. The second paper, “A Direct Formulation for Sparse PCA Using Semidefinite Programming,” by Alexandre d'Aspremont, Laurent El Ghaoui, Michael I. Jordan, and Gert R. G. Lanckriet, is concerned with principal component analysis (PCA), a technique for compressing data so that as little information as possible is lost. PCA accomplishes this by finding directions of maximum variance in the data. In data analysis of gene expressions, for instance, different elements of a direction vector correspond to different genes. However, interpreting the meaning of a direction is much easier if only a few genes contribute to the direction. Such a direction vector has many zero elements and is called sparse. The authors propose a semidefinite programming method that maximizes variance as well as sparsity. The method is computationally efficient and robust. 3. The topic of the third paper, “A Reduced-Order Kalman Filter for Data Assimilation in Physical Oceanography,” by D. Rozier, F. Birol, E. Cosme, P. Brasseur, J. M. Brankart, and J. Verron, is a technique used by oceanographers to increase the accuracy of numerical models for predicting ocean circulation. Data assimilation combines the output of a simulation step with observed data and error statistics and then returns this “corrected” output to the simulation as the basis for the next step. Data assimilation based on Kalman filters assumes that measurement and model errors are unbiased and Gaussian. This is expensive, however, because an error covariance matrix must be constructed at every step. A reduced-order Kalman filter (called SEEK) is a cheaper version that reduces (or compresses) the size of the covariance matrix—the same key idea as in the paper described above. The authors give a very readable account of the issues associated with so-called ocean global circulation models: choice of vertical coordinate system (depending on the ocean region: shallow coastal shelf, steeply sloping ocean floors, stratified regions); limitations of models for ocean circulation simulations; sequential data assimilation techniques; adaptation of Kalman filters to geophysical applications; and modes of data acquisition (via satellites, ships, floats, mooring networks). The effectiveness of the SEEK filter is illustrated with numerical simulations of the Gulf Stream and the Bay of Biscay. DA - 2007/1// PY - 2007/1// DO - 10.1137/siread000049000003000419000001 VL - 49 IS - 3 SP - 419-420 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-33847672254&partnerID=MN8TOARS ER - TY - JOUR TI - Problems and techniques: Introduction AU - Ipsen, I. T2 - SIAM Review DA - 2007/// PY - 2007/// VL - 49 IS - 4 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-37249005235&partnerID=MN8TOARS ER - TY - JOUR TI - Problems and Techniques AU - Ipsen, Ilse T2 - SIAM Review AB - In this issue, the Problems and Techniques section features papers concerned with parallel matrix vector multiplication, polynomial interpolation, and propagation of electromagnetic waves. The first paper, “Revisiting Hypergraph Models for Sparse Matrix Partitioning” by Bora Uçar and Cevdet Aykanat, is concerned with parallelizing matrix vector multiplication $y=Ax$, where the matrix A is sparse and rectangular. The authors propose a hypergraph model to describe dependences among the data and model communication among processors. In the hypergraph model, the elements of x and y and the rows of A are represented by vertices of a graph. If element $a_{i,j}$ of A is nonzero, then the multiplication $a_{ij}x_j$ contributes a nonzero summand and requires $x_j$ to be present in the processor holding row i. This dependence is accounted for with an undirected edge connecting $x_j$ with row i of A. A so-called net collects all dependences for a vertex: For instance, the net $n_x(j)$ contains vertex $x_j$ as well as all rows of A that have an edge with $x_j$. The problem of minimizing communication among processors can now be formulated as allocating the vertices to processors, so that each net has its vertices spread over as few processors as possible. The authors illustrate the effectiveness of hypergraph models when constraints are put on the allocation of the data to processors. When the German mathematician, physicist, and spectroscopist Carl David Tolmé Runge (1856–1927) interpolated the function $f(x)=1/(1+25x^2)$ at $n+1$ equally spaced points in the interval $[-1,1]$ by a polynomial of degree n, he made a startling observation: With increasing degree n, the polynomials approximate f less accurately—instead of, as one would have hoped, more accurately. Although the polynomials agree with f at the interpolation points, they oscillate between the interpolation points, and the oscillations worsen as the polynomial degree grows. Thence polynomial interpolation at equally spaced points fell into disrepute. It turns out, however, that interpolation at equally spaced points cannot be avoided altogether. It is necessary, for instance, in computational fluid dynamics, when one has to solve hyperbolic partial differential equations. Moreover, the interpolant may also have to retain the positivity, monotonicity, and boundedness of the underlying function. How to meet these demands in the face of Runge's phenomenon? This is the subject of Martin Berzins's paper “Adaptive Polynomial Interpolation on Evenly Spaced Meshes.” The third paper, “Uniform Asymptotics Applied to Ultrawideband Pulse Propagation” by Natalie Cartwright and Kurt Oughstun, deals with a problem that was first studied by the German theoretical physicist Arnold Sommerfeld (1868–1951) and his student, the French physicist Léon Brillouin (1889–1969): the propagation of electromagnetic waves in dispersive materials. The problem at hand is complicated by the fact that the pulse is an ultrawide band consisting of a wide range of frequencies. The propagation of the pulse is represented as a complex integral, and the authors derive a continuous asymptotic expansion of this integral by applying a combination of saddle point methods. DA - 2007/1// PY - 2007/1// DO - 10.1137/siread000049000004000593000001 VL - 49 IS - 4 SP - 593-593 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-34548494833&partnerID=MN8TOARS ER - TY - JOUR TI - Model-Based Failure Detection on Nonlinear Systems: Theory and Transition AU - Drake, Kimberly J. AU - Campbell, Stephen L. AU - Andjelkovic, Ivan AU - Sweetingham, Kelly T2 - Naval Engineers Journal AB - Failure detection is an active area of Navy research due to its many important applications. Recently, an approach for multi-model identification and fault detection in the presence of bounded energy noise over finite time intervals has been introduced. This family of algorithms was originally designed to work on linear systems that can be modeled analytically. In this paper, efforts made toward extending this algorithm for fault detection to nonlinear systems along with efforts in testing this family of algorithms on real systems are discussed. DA - 2007/10// PY - 2007/10// DO - 10.1111/j.0028-1425.2007.00022.x VL - 119 IS - 2 SP - 93-107 LA - en OP - SN - 0028-1425 1559-3584 UR - http://dx.doi.org/10.1111/j.0028-1425.2007.00022.x DB - Crossref ER - TY - JOUR TI - The Hill–Robertson effect is a consequence of interplay between linkage, selection and drift: a commentary on ‘The effect of linkage on limits to artificial selection’ by W. G. Hill and A. Robertson AU - Zeng, Zhao Bang T2 - Genetics Research AB - The Hill–Robertson effect is a consequence of interplay between linkage, selection and drift: a commentary on ‘The effect of linkage on limits to artificial selection’ by W. G. Hill and A. Robertson - Volume 89 Issue 5-6 DA - 2007/12// PY - 2007/12// DO - 10.1017/s0016672308009506 VL - 89 IS - 5-6 SP - 309-310 J2 - Genet. Res. LA - en OP - SN - 0016-6723 1469-5073 UR - http://dx.doi.org/10.1017/s0016672308009506 DB - Crossref ER - TY - JOUR TI - Immersed-interface finite-element methods for elliptic interface problems with nonhomogeneous jump conditions AU - Gong, Y. AU - Li, B. AU - Li, Zhilin T2 - SIAM Journal on Numerical Analysis AB - In this work, a class of new finite-element methods, called immersed-interface finite-element methods, is developed to solve elliptic interface problems with nonhomogeneous jump conditions. Simple non–body-fitted meshes are used. A single function that satisfies the same nonhomogeneous jump conditions is constructed using a level-set representation of the interface. With such a function, the discontinuities across the interface in the solution and flux are removed, and an equivalent elliptic interface problem with homogeneous jump conditions is formulated. Special finite-element basis functions are constructed for nodal points near the interface to satisfy the homogeneous jump conditions. Error analysis and numerical tests are presented to demonstrate that such methods have an optimal convergence rate. These methods are designed as an efficient component of the finite-element level-set methodology for fast simulation of interface dynamics that does not require remeshing. DA - 2007/// PY - 2007/// DO - 10.1137/060666482 VL - 46 IS - 1 SP - 472–495 KW - elliptic interface problems KW - nonhomogeneous jump conditions KW - immersed-interface finite-element method KW - level-set functions KW - error estimates ER - TY - JOUR TI - Strategic analysis of speed and flexibility in sourcing textile products AU - Hartman, Lisa M DA - 2007/// PY - 2007/// ER - TY - CONF TI - AC 2007-3009: COMPUTER-BASED MODELING FOR ENGINEERS USING EXCEL AND VBA AU - Roberts, Stephen C2 - 2007/// C3 - 2007 ASEE DA - 2007/// VL - 12 SP - 1 ER - TY - CONF TI - Computer-Based Modeling for Engineers using Excel and VBA AU - Joines, J.A. AU - Roberts, S. AU - Raubenheimer, D. C2 - 2007/// C3 - Proceedings of the ASEE International Conference DA - 2007/// UR - http://www.asee.org/acPapers/code/getPaper.cfm?paperID=13338 ER - TY - CONF TI - A Comparison Meta-Heuristics for Large Scale Facility Location Problems with Economies of Scale AU - Bucci, M.G. AU - Kay, M.G. AU - Warsing, D.P. AU - Joines, J.A. C2 - 2007/// C3 - Proceedings of the Industrial Engineering Research Conference DA - 2007/// ER - TY - JOUR TI - AN EXPERIMENTAL STUDY ON SECURITY PROTOCOLS IN WLANS AU - Agarwal, Avesh Kumar AU - Wang, Wenye T2 - WIRELESS NETWORK SECURITY DA - 2007/// PY - 2007/// DO - 10.1007/978-0-387-33112-6_12 SP - 295-322 SN - 1860-4862 ER - TY - CONF TI - Formalizing communication protocols for multiagent systems AU - Singh, M.P. C2 - 2007/// C3 - IJCAI International Joint Conference on Artificial Intelligence DA - 2007/// SP - 1519-1524 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-75649138061&partnerID=MN8TOARS ER - TY - CONF TI - Formal trust model for multiagent systems AU - Wang, Y. AU - Singh, M.P. C2 - 2007/// C3 - IJCAI International Joint Conference on Artificial Intelligence DA - 2007/// SP - 1551-1556 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84880909594&partnerID=MN8TOARS ER - TY - JOUR TI - Fuzzy optimization and decision making (vol 4, pg 331, 2005) AU - Wang, S. AU - Fang, S. C. AU - Nuttle, H. L. W. T2 - Fuzzy Optimization and Decision Making DA - 2007/// PY - 2007/// VL - 6 IS - 3 SP - 297-297 ER - TY - JOUR TI - Fuzzy optimization and decision making (vol 2, pg 41, 2003) AU - Wang, S. AU - Fang, S. C. AU - Nuttle, H. L. W. T2 - Fuzzy Optimization and Decision Making DA - 2007/// PY - 2007/// VL - 6 IS - 3 SP - 297-297 ER - TY - CONF TI - Pricing and optimal resource allocation in next generation network services AU - Kallitsis, M. G. AU - Michailidis, G. AU - Devetsikiotis, M. C2 - 2007/// C3 - 2007 IEEE Sarnoff Symposium DA - 2007/// SP - 457-461 ER - TY - CONF TI - Pricing and measurement-based optimal resource allocation in next generation network services AU - Kallitsis, M. G. AU - Michailidis, G. AU - Devetsikiotis, M. C2 - 2007/// C3 - 2007 IEEE Globecom Workshops, Proceedings DA - 2007/// SP - 189-194 ER - TY - JOUR TI - Overlapping variance estimators for simulation AU - Alexopoulos, Christos AU - Argon, Nilay Tank AU - Goldsman, David AU - Tokol, Gamze AU - Wilson, James R. T2 - OPERATIONS RESEARCH AB - To estimate the variance parameter (i.e., the sum of covariances at all lags) for a steady-state simulation output process, we formulate certain statistics that are computed from overlapping batches separately and then averaged over all such batches. We form overlapping versions of the area and Cramér–von Mises estimators using the method of standardized time series. For these estimators, we establish (i) their limiting distributions as the sample size increases while the ratio of the sample size to the batch size remains fixed; and (ii) their mean-square convergence to the variance parameter as both the batch size and the ratio of the sample size to the batch size increase. Compared with their counterparts computed from nonoverlapping batches, the estimators computed from overlapping batches asymptotically achieve reduced variance while maintaining the same bias as the sample size increases; moreover, the new variance estimators usually achieve similar improvements compared with the conventional variance estimators based on nonoverlapping or overlapping batch means. In follow-up work, we present several analytical and Monte Carlo examples, and we formulate efficient procedures for computing the overlapping estimators with only order-of-sample-size effort. DA - 2007/// PY - 2007/// DO - 10.1287/opre.1070.0475 VL - 55 IS - 6 SP - 1090-1103 SN - 0030-364X ER - TY - JOUR TI - Adaptive monitoring and accommodation of nonlinear actuator faults in positive real infinite dimensional systems AU - Demetriou, Michael A. AU - Ito, Kazufumi AU - Smith, Ralph C. T2 - IEEE TRANSACTIONS ON AUTOMATIC CONTROL AB - We consider a class of positive real infinite dimensional systems which are subjected to incipient actuator faults. The actuator fault is modeled as a time varying transition from an initial (linear or even nonlinear) map into another unknown nonlinear map at the onset of the fault occurrence. An infinite dimensional adaptive detection observer is utilized to generate a residual signal in order to detect the fault occurrence and to assist in the fault accommodation. This is done via an automated control reconfiguration which utilizes information on the new actuator map and adjusts the controller via a right inverse of the new actuator map. A robust modification is utilized in order to avoid false alarms caused by unmodeled dynamics. An example is included to illustrate the applicability of the proposed detection scheme. DA - 2007/12// PY - 2007/12// DO - 10.1109/TAC.2007.910694 VL - 52 IS - 12 SP - 2332-2338 SN - 1558-2523 KW - actuator faults KW - distributed parameter systems KW - fault accommodation KW - nonlinear actuator dynamics ER - TY - JOUR TI - A novel optimization approach for minimum cost design of trusses AU - Kripakaran, Prakash AU - Gupta, Abhinav AU - Baugh, John W., Jr. T2 - COMPUTERS & STRUCTURES AB - This paper describes new optimization strategies that offer significant improvements in performance over existing methods for bridge-truss design. In this study, a real-world cost function that consists of costs on the weight of the truss and the number of products in the design is considered. We propose a new sizing approach that involves two algorithms applied in sequence – (1) a novel approach to generate a “good” initial solution and (2) a local search that attempts to generate the optimal solution by starting with the final solution from the previous algorithm. A clustering technique, which identifies members that are likely to have the same product type, is used with cost functions that consider a cost on the number of products. The proposed approach gives solutions that are much lower in cost compared to those generated in a comprehensive study of the same problem using genetic algorithms (GA). Also, the number of evaluations needed to arrive at the optimal solution is an order of magnitude lower than that needed in GAs. Since existing optimization techniques use cost functions like those of minimum-weight truss problems to illustrate their performance, the proposed approach is also applied to the same examples in order to compare its relative performance. The proposed approach is shown to generate solutions of not only better quality but also much more efficiently. To highlight the use of this sizing approach in a broader optimization framework, a simple geometry optimization algorithm that uses the sizing approach is presented. This algorithm is also shown to provide solutions better than the existing results in literature. DA - 2007/12// PY - 2007/12// DO - 10.1016/j.compstruc.2007.04.006 VL - 85 IS - 23-24 SP - 1782-1794 SN - 1879-2243 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-36049020582&partnerID=MN8TOARS KW - truss design KW - structural optimization KW - hybrid search KW - genetic algorithms KW - member grouping KW - discrete sizing optimization KW - cost minimization ER - TY - JOUR TI - Wavelet-based neighborhood control for self-sizing networks AU - Nalatwad, Srikant AU - Devetslkiotis, Michael T2 - SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL AB - The exponential growth of the Internet has turned it into a multiservice complex network of heterogeneous elements with dynamically changing traffic conditions. To regulate such a large scale network it is necessary to place intelligence in the nodes and find simple distributed rules and strategies that can produce meaningful and consistent behavior. These control mechanisms must be adaptive to effectively respond to continually changing network conditions. A “self-sizing” network can allocate link/switch capacity automatically and adaptively using online traffic data. Such adaptive, distributed, localized mechanisms are crucial to provide a scalable solution for controlling large, complex networks. In this paper, we propose a new, distributed self-sizing framework for locally controlled networks, which can support the stringent requirements of real-time applications in the Internet. Our unified and critical study of online resource allocation algorithms of two different classical approaches, led us to the use of adaptive multi-resolution decomposition (“wavelet”) algorithms. Our results show that by performing online resource allocation at each node based on their local knowledge, we can achieve considerable bandwidth savings and also satisfy QoS at the packet level. In our novel “neighborhood control” technique, we establish that by increasing the knowledge of some nodes so that higher self-sizing gains can be attained. DA - 2007/3// PY - 2007/3// DO - 10.1177/0037549707081187 VL - 83 IS - 3 SP - 229-244 SN - 1741-3133 KW - self-sizing KW - resource allocation KW - wavelets KW - neighborhood control ER - TY - JOUR TI - The joint distribution of descent and major index over restricted sets of permutations AU - Corteel, Sylvie AU - Gessel, Ira M. AU - Savage, Carla D. AU - Wiif, Herbert S. T2 - ANNALS OF COMBINATORICS DA - 2007/// PY - 2007/// DO - 10.1007/s00026-007-0325-y VL - 11 IS - 3-4 SP - 375-386 SN - 0219-3094 KW - permutation enumeration KW - q-Eulerian polynomials KW - P-partitions ER - TY - JOUR TI - The Lumber Procurement and Kiln Scheduling Problem: A Hybrid-GA Approach AU - Joines, J.A. AU - Culbreth, C.T. AU - Schultz, S. T2 - Wood and Fiber Science DA - 2007/// PY - 2007/// VL - 39 IS - 4 SP - 628-638 ER - TY - JOUR TI - Pagerank computation, with special attention to dangling nodes AU - Ipsen, Ilse C. F. AU - Selee, Teresa M. T2 - SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS AB - We present a simple algorithm for computing the PageRank (stationary distribution) of the stochastic Google matrix G. The algorithm lumps all dangling nodes into a single node. We express lumping as a similarity transformation of G and show that the PageRank of the nondangling nodes can be computed separately from that of the dangling nodes. The algorithm applies the power method only to the smaller lumped matrix, but the convergence rate is the same as that of the power method applied to the full matrix G. The efficiency of the algorithm increases as the number of dangling nodes increases. We also extend the expression for PageRank and the algorithm to more general Google matrices that have several different dangling node vectors, when it is required to distinguish among different classes of dangling nodes. We also analyze the effect of the dangling node vector on the PageRank and show that the PageRank of the dangling nodes depends strongly on that of the nondangling nodes but not vice versa. Last we present a Jordan decomposition of the Google matrix for the (theoretical) extreme case when all Web pages are dangling nodes. DA - 2007/// PY - 2007/// DO - 10.1137/060664331 VL - 29 IS - 4 SP - 1281-1296 SN - 1095-7162 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-38049017083&partnerID=MN8TOARS KW - stochastic matrix KW - stationary distribution KW - lumping KW - rank-one matrix KW - power method KW - Jordan decomposition KW - similarity transformation KW - Google ER - TY - JOUR TI - Optimal wavelength sharing policies in OBS networks subject to QoS constraints AU - Yang, Li AU - Rouskas, George N. T2 - IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS AB - We consider the general problem of optimizing the performance of OBS networks with multiple traffic classes subject to strict (absolute) QoS constraints in terms of the end-to-end burst loss rate of each guaranteed class of traffic. We employ Markov decision process (MDP) theory to obtain optimal wavelength sharing policies for two performance objectives, namely, maximization of weighted network throughput and minimization of the loss rate of best-effort traffic, while meeting the QoS guarantees. The randomized threshold policies we obtain are simple to implement and operate, and make effective use of statistical multiplexing. In particular, the threshold randomization feature enables the policies to allocate bandwidth at arbitrarily fine sub-wavelength granularity, hence making effective use of the available network capacity. DA - 2007/12// PY - 2007/12// DO - 10.1109/JSAC-OCN.2007.029707 VL - 25 IS - 9 SP - 40-49 SN - 1558-0008 KW - optical burst switching (OBS) networks KW - wavelength reservations KW - quality of service KW - Markov decision process KW - randomized threshold policies ER - TY - JOUR TI - Closure to "optimal design of redundant water distribution networks using a cluster of workstations" by Sujay V. Kumar, Troy A. Doby, John W. Baugh Jr., E. Downey Brill, and S. Ranji Ranjithan AU - Kumar, S. V. AU - Doby, T. A. AU - Baugh, J. W. AU - Brill, E. D. AU - Ranjithan, S. R. T2 - Journal of Water Resources Planning and Management DA - 2007/// PY - 2007/// DO - 10.1061/(asce)0733-9496(2007)133:6(580) VL - 133 IS - 6 SP - 580-581 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-36349011269&partnerID=MN8TOARS ER - TY - JOUR TI - Robust receding horizon control for constrained linear fractional transformation parameter-dependent systems AU - Wu, F. AU - Chen, Y. T2 - IET Control Theory and Applications DA - 2007/// PY - 2007/// DO - 10.1049/ict-cta:20060305 VL - 1 IS - 5 SP - 1423-1430 ER - TY - JOUR TI - Integrating suppliers into new product development AU - Handfield, Robert B. AU - Lawson, Benn T2 - RESEARCH-TECHNOLOGY MANAGEMENT AB - OVERVIEW:New product development is becoming increasingly risky, expensive and reliant on disparate knowledge bases spread across multiple firms. Many organizations are devolving design responsibility to their suppliers in order to meet these challenges, yet may lack appropriate knowledge of “best practice” in managing supplier integration. For example, how to adjust their management practices to the timing of supplier integration and the degree of design responsibility award to suppliers. A survey of 134 global industrial organizations, and their efforts to integrate suppliers into their new product development processes, shows that early assessment of supplier capabilities and setting joint technology goals can improve the effectiveness of NPD project teams, and lead to improved product design and financial outcomes for the firm. DA - 2007/// PY - 2007/// DO - 10.1080/08956308.2007.11657461 VL - 50 IS - 5 SP - 44-51 SN - 0895-6308 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-35348833556&partnerID=MN8TOARS KW - new product development KW - supplier integration KW - supply management ER - TY - JOUR TI - Efficient computation of overlapping variance estimators for simulation AU - Alexopoulos, Christos AU - Argon, Nilay Tanik AU - Goldsman, David AU - Steiger, Natalie M. AU - Tokol, Gamze AU - Wilson, James R. T2 - INFORMS JOURNAL ON COMPUTING AB - For a steady-state simulation output process, we formulate efficient algorithms to compute certain estimators of the process variance parameter (i.e., the sum of covariances at all lags), where the estimators are derived in principle from overlapping batches separately and then averaged over all such batches. The algorithms require order-of-sample-size work to evaluate overlapping versions of the area and Cramér–von Mises estimators arising in the method of standardized time series. Recently, Alexopoulos et al. showed that, compared with estimators based on nonoverlapping batches, the estimators based on overlapping batches achieve reduced variance while maintaining similar bias asymptotically as the batch size increases. We provide illustrative analytical and Monte Carlo results for M/M/1 queue waiting times and for a first-order autoregressive process. We also present evidence that the asymptotic distribution of each overlapping variance estimator can be closely approximated using an appropriately rescaled chi-squared random variable with matching mean and variance. DA - 2007/// PY - 2007/// DO - 10.1287/ijoc.1060.0198 VL - 19 IS - 3 SP - 314-327 SN - 1526-5528 KW - steady-state simulation KW - simulation output analysis methods KW - method of batch means KW - method of standardized time series KW - area variance estimator KW - Cramer-von Mises variance estimator KW - nonoverlapping variance estimator KW - overlapping variance estimator ER - TY - JOUR TI - An evolution of virtual reality training designs for children with autism and fetal alcohol spectrum disorders AU - Strickland, Dorothy C. AU - McAllister, David AU - Coles, Claire D. AU - Osborne, Susan T2 - TOPICS IN LANGUAGE DISORDERS AB - This article describes an evolution of training programs to use first-person interaction in virtual reality (VR) situations to teach safety skills to children with autism spectrum disorder (ASD) and fetal alcohol spectrum disorder (FASD). Multiple VR programs for children aged 2 to 9 were built and tested between 1992 and 2007. Based on these results, a learning design evolved that uses practice in virtual space with guidance and correction by an animated character, strategic limitations on allowed actions to force correct patterning, and customization of worlds and responses to simplify user controls. This article describes program evolution by comparing design details and results as variations in behavioral responses between disorders, differences in skill set complexity between different safety skills being taught, and improved technology required changes in the virtual training methodology. A series of research projects are summarized in which the VR programs proved effective for teaching children with ASD and FASD new skills in the virtual space and, where measured, most children generalized the actions to the real world. DA - 2007/// PY - 2007/// DO - 10.1097/01.TLD.0000285357.95426.72 VL - 27 IS - 3 SP - 226-241 SN - 1550-3259 ER - TY - JOUR TI - A very large scale neighborhood search algorithm for the q-mode problem AU - Kulkarni, Girish AU - Fathi, Yahya T2 - IIE TRANSACTIONS AB - The q-mode problem is a combinatorial optimization problem that arises in the context of partitioning a given collection of data vectors with categorical attributes. A neighborhood search algorithm is proposed for solving the q-mode problem. This algorithm is based on a very large scale neighborhood that is implicitly searched using network flow techniques. The algorithm is evaluated through a computational experiment using randomly generated instances. The results show that in general this algorithm obtains very-good-quality local optima, and that in instances with strong natural clusters the algorithm consistently finds optimal or near-optimal solutions. DA - 2007/10// PY - 2007/10// DO - 10.1080/07408170701416657 VL - 39 IS - 10 SP - 971-984 SN - 0740-817X KW - cluster analysis KW - data mining KW - local search/local improvement ER - TY - JOUR TI - A dynamic TCP-Aware call admission control scheme. for generic next generation packet-switched wireless networks AU - Wang, Xinbing AU - Eun, Do Young AU - Wang, Wenye T2 - IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS AB - Traditional call admission control (CAC) schemes only consider call-level performance and are mainly designed for circuit-switched wireless network. Since future wireless communications will become packet-switched systems, the packet-level features could be explored to improve the system performance. This is especially true when the TCP-type of elastic applications are running over such packet-switched wireless networks, as the elasticity of TCP applications has more tolerance toward the throughput/delay variation than non-elastic traffic does. In order to efficiently utilize the system resource from an admission control perspective, we propose a TCP-aware CAC scheme to regulate the packet-level dynamics of TCP flows. We analyze the system performance under realistic scenarios in which (i) the call holding time for non-elastic traffic like voice is independent of system states and (ii) the call holding time for TCP type of traffic depends on the system state, i.e., on the TCP flow's transmission rate. Extensive simulations are presented under different scenarios to show that the proposed scheme can effectively improve the system performance in terms of call blocking probability, call-level throughput (call/min) and link utilization, in accordance with our theoretical results. DA - 2007/9// PY - 2007/9// DO - 10.1109/TWC.2007.06064 VL - 6 IS - 9 SP - 3344-3352 SN - 1558-2248 KW - admission control KW - wireless networks KW - TCP ER - TY - JOUR TI - The role of epistasis in the manifestation of heterosis: A systems-oriented approach AU - Melchinger, A. E. AU - Utz, H. F. AU - Piepho, H. -P. AU - Zeng, Z. -B. AU - Schoen, C. C. T2 - GENETICS AB - Abstract Heterosis is widely used in breeding, but the genetic basis of this biological phenomenon has not been elucidated. We postulate that additive and dominance genetic effects as well as two-locus interactions estimated in classical QTL analyses are not sufficient for quantifying the contributions of QTL to heterosis. A general theoretical framework for determining the contributions of different types of genetic effects to heterosis was developed. Additive × additive epistatic interactions of individual loci with the entire genetic background were identified as a major component of midparent heterosis. On the basis of these findings we defined a new type of heterotic effect denoted as augmented dominance effect di* that comprises the dominance effect at each QTL minus half the sum of additive × additive interactions with all other QTL. We demonstrate that genotypic expectations of QTL effects obtained from analyses with the design III using testcrosses of recombinant inbred lines and composite-interval mapping precisely equal genotypic expectations of midparent heterosis, thus identifying genomic regions relevant for expression of heterosis. The theory for QTL mapping of multiple traits is extended to the simultaneous mapping of newly defined genetic effects to improve the power of QTL detection and distinguish between dominance and overdominance. DA - 2007/11// PY - 2007/11// DO - 10.1534/genetics.107.077537 VL - 177 IS - 3 SP - 1815-1825 SN - 0016-6731 ER - TY - JOUR TI - A semiparametric approach for composite functional mapping of dynamic quantitative traits AU - Yang, Runqing AU - Gao, Huijiang AU - Wang, Xin AU - Zhang, Ji AU - Zeng, Zhao-Bang AU - Wu, Rongling T2 - GENETICS AB - Abstract Functional mapping has emerged as a powerful tool for mapping quantitative trait loci (QTL) that control developmental patterns of complex dynamic traits. Original functional mapping has been constructed within the context of simple interval mapping, without consideration of separate multiple linked QTL for a dynamic trait. In this article, we present a statistical framework for mapping QTL that affect dynamic traits by capitalizing on the strengths of functional mapping and composite interval mapping. Within this so-called composite functional-mapping framework, functional mapping models the time-dependent genetic effects of a QTL tested within a marker interval using a biologically meaningful parametric function, whereas composite interval mapping models the time-dependent genetic effects of the markers outside the test interval to control the genome background using a flexible nonparametric approach based on Legendre polynomials. Such a semiparametric framework was formulated by a maximum-likelihood model and implemented with the EM algorithm, allowing for the estimation and the test of the mathematical parameters that define the QTL effects and the regression coefficients of the Legendre polynomials that describe the marker effects. Simulation studies were performed to investigate the statistical behavior of composite functional mapping and compare its advantage in separating multiple linked QTL as compared to functional mapping. We used the new mapping approach to analyze a genetic mapping example in rice, leading to the identification of multiple QTL, some of which are linked on the same chromosome, that control the developmental trajectory of leaf age. DA - 2007/11// PY - 2007/11// DO - 10.1534/genetics.107.077321 VL - 177 IS - 3 SP - 1859-1870 SN - 1943-2631 ER - TY - JOUR TI - Speed-mapping quantitative trait loci using microarrays AU - Lai, Chao-Qiang AU - Leips, Jeff AU - Zou, Wei AU - Roberts, Jessica F. AU - Wollenberg, Kurt R. AU - Parnell, Laurence D. AU - Zeng, Zhao-Bang AU - Ordovas, Jose M. AU - Mackay, Trudy F. C. T2 - NATURE METHODS DA - 2007/10// PY - 2007/10// DO - 10.1038/NMETH1084 VL - 4 IS - 10 SP - 839-841 SN - 1548-7105 ER - TY - JOUR TI - Nonparametric Bayesian estimation of positive false discovery rates AU - Tang, Yongqiang AU - Ghosal, Subhashis AU - Roy, Anindya T2 - BIOMETRICS AB - Summary We propose a Dirichlet process mixture model (DPMM) for the P ‐value distribution in a multiple testing problem. The DPMM allows us to obtain posterior estimates of quantities such as the proportion of true null hypothesis and the probability of rejection of a single hypothesis. We describe a Markov chain Monte Carlo algorithm for computing the posterior and the posterior estimates. We propose an estimator of the positive false discovery rate based on these posterior estimates and investigate the performance of the proposed estimator via simulation. We also apply our methodology to analyze a leukemia data set. DA - 2007/12// PY - 2007/12// DO - 10.1111/j.1541-0420.2007.00819.x VL - 63 IS - 4 SP - 1126-1134 SN - 0006-341X KW - Dirichlet mixture KW - Dirichlet process KW - Markov chain Monte Carlo KW - multiple testing KW - positive false discovery rate KW - posterior estimates ER - TY - JOUR TI - Complexity of path traffic grooming AU - Iyer, Prashant AU - Dutta, Rudra AU - Savage, Carla D. T2 - JOURNAL OF OPTICAL NETWORKING AB - Feature Issue on Transmission in Optically Transparent Core NetworksThe problem of efficiently designing lightpaths and routing traffic on them in hybrid electro-optic data communication networks so that optical pass-through is maximized and the electronic switching cost is minimized is known as traffic grooming and has been studied extensively. Traffic grooming is known to be an inherently difficult problem. It has been shown to be NP-complete even for path networks, a simple topology in which lightpath wavelength assignment is tractable. In this paper, we explore the borderline between tractability and intractability by considering grooming in unidirectional path networks in which all traffic requests are destined for a single egress node. Whether the complete grooming problem is NP-hard with this restriction is an open question. We show that at least the problem of routing traffic on a given virtual topology to minimize electronic switching (NP-hard for path networks with arbitrary traffic matrices) becomes polynomial on the egress model. We also show that in the egress model, if the capacity constraint is relaxed, the entire problem becomes polynomial. If, in addition, traffic requests are uniform, we provide an explicit combinatorial formula for the optimum solution as well as an algorithm that constructs a routing that achieves this optimum. For the case of finite capacity and unit traffic requests, we show how to polynomially find a feasible solution that is optimal under reasonable assumptions. DA - 2007/11/1/ PY - 2007/11/1/ DO - 10.1364/JON.6.001270 VL - 6 IS - 11 SP - 1270-1281 SN - 1536-5379 ER - TY - JOUR TI - Performance of a wavelet-based spectral procedure for steady-state simulation analysis AU - Lada, E. K. AU - Wilson, J. R. AU - Steiger, N. M. AU - Joines, J. A. T2 - INFORMS Journal on Computing AB - A summary and an analysis are given for an experimental performance evaluation of WASSP, an automated wavelet-based spectral method for constructing an approximate confidence interval on the steady-state mean of a simulation output process such that the delivered confidence interval satisfies user-specified requirements on absolute or relative precision as well as coverage probability. The experimentation involved three difficult test problems, each with an output process exhibiting some combination of the following characteristics: a long warm-up period, a persistent autocorrelation structure, or a highly nonnormal marginal distribution. These problems were used to compare the performance of WASSP with that of the Heidelberger-Welch algorithm and ASAP3, two sequential procedures based respectively on the methods of spectral analysis and nonoverlapping batch means. Concerning efficiency (required sample sizes) and robustness against the statistical anomalies commonly encountered in simulation studies, WASSP outperformed the Heidelberger-Welch procedure and compared favorably with ASAP3. DA - 2007/// PY - 2007/// DO - 10.1287/ijoc.1050.0161 VL - 19 IS - 2 SP - 150–160 KW - simulation KW - statistical analysis KW - spectral analysis KW - steady-state analysis KW - wavelet analysis ER - TY - JOUR TI - Nonlinear feedback controllers and compensators: a state-dependent Riccati equation approach AU - Banks, H. T. AU - Lewis, B. M. AU - Tran, H. T. T2 - COMPUTATIONAL OPTIMIZATION AND APPLICATIONS AB - State-dependent Riccati equation (SDRE) techniques are rapidly emerging as general design and synthesis methods of nonlinear feedback controllers and estimators for a broad class of nonlinear regulator problems. In essence, the SDRE approach involves mimicking standard linear quadratic regulator (LQR) formulation for linear systems. In particular, the technique consists of using direct parameterization to bring the nonlinear system to a linear structure having state-dependent coefficient matrices. Theoretical advances have been made regarding the nonlinear regulator problem and the asymptotic stability properties of the system with full state feedback. However, there have not been any attempts at the theory regarding the asymptotic convergence of the estimator and the compensated system. This paper addresses these two issues as well as discussing numerical methods for approximating the solution to the SDRE. The Taylor series numerical methods works only for a certain class of systems, namely with constant control coefficient matrices, and only in small regions. The interpolation numerical method can be applied globally to a much larger class of systems. Examples will be provided to illustrate the effectiveness and potential of the SDRE technique for the design of nonlinear compensator-based feedback controllers. DA - 2007/6// PY - 2007/6// DO - 10.1007/s10589-007-9015-2 VL - 37 IS - 2 SP - 177-218 SN - 1573-2894 KW - nonlinear feedback control KW - nonlinear compensator KW - state-dependent Riccati equations ER - TY - JOUR TI - Efficiently querying large XML data repositories: A survey AU - Gou, Gang AU - Chirkova, Rada T2 - IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING AB - Extensible markup language (XML) is emerging as a de facto standard for information exchange among various applications on the World Wide Web. There has been a growing need for developing high-performance techniques to query large XML data repositories efficiently. One important problem in XML query processing is twig pattern matching, that is, finding in an XML data tree D all matches that satisfy a specified twig (or path) query pattern Q. In this survey, we review, classify, and compare major techniques for twig pattern matching. Specifically, we consider two classes of major XML query processing techniques: the relational approach and the native approach. The relational approach directly utilizes existing relational database systems to store and query XML data, which enables the use of all important techniques that have been developed for relational databases, whereas in the native approach, specialized storage and query processing systems tailored for XML data are developed from scratch to further improve XML query performance. As implied by existing work, XML data querying and management are developing in the direction of integrating the relational approach with the native approach, which could result in higher query processing performance and also significantly reduce system reengineering costs. DA - 2007/10// PY - 2007/10// DO - 10.1109/tkde.2007.1060 VL - 19 IS - 10 SP - 1381-1403 SN - 1041-4347 KW - XML query processing KW - twig pattern matching ER - TY - JOUR TI - Application of complex demodulation on bZIP and bHLH-PAS protein domains AU - Wang, Z. AU - Smith, C. E. AU - Atchley, W. R. T2 - Mathematical Biosciences AB - Proteins are built with molecular modular building blocks such as an alpha-helix, beta-sheet, loop region and other structures. This is an economical way of constructing complex molecules. Periodicity analysis of protein sequences has allowed us to obtain meaningful information concerning their structure, function and evolution. In this work, complex demodulation (CDM) is introduced to detect functional regions in protein sequences data. More specifically, we analyzed bZIP and bHLH-PAS protein domains. Complex demodulation provided insightful information about changing amplitudes of periodic components in protein sequences. Furthermore, it was found that the local amplitude minimum or local amplitude maximum of the 3.6-aa periodic component is associated with protein structural or functional information due to the observation that the extrema are mainly located in the boundary area of two structural or functional regions. DA - 2007/// PY - 2007/// DO - 10.1016/j.mbs.2007.01.004 VL - 207 IS - 2 SP - 204-218 ER - TY - JOUR TI - A roadmap for COMPREHENSIVE online privacy policy management AU - Anton, Annie I. AU - Bertino, Elisa AU - Li, Ninghui AU - Yu, Ting T2 - COMMUNICATIONS OF THE ACM AB - A framework supporting the privacy policy life cycle helps guide the kind of research to consider before sound privacy answers may be realized. DA - 2007/7// PY - 2007/7// DO - 10.1145/1272516.1272522 VL - 50 IS - 7 SP - 109-116 SN - 1557-7317 ER - TY - JOUR TI - A periodic inventory model for stocking modular components AU - Thomas, D.J. AU - Warsing, Donald T2 - Production and Operations Management AB - We study the benefit obtained by exploiting modular product design in fulfilling exogenous demand for both a complete assembly and its components in a service parts inventory system. Our goal is to reduce overall service system costs by allowing assembly and/or disassembly (A/D) to occur at some unit cost per A/D action. In an extensive set of computational experiments, we compare a naïve stocking and operating policy that treats all items independently and ignores the modular product structure and related A/D capability to the optimal base stock policy, and to a policy that allows A/D from the naïve stocking levels. While extensive computational analysis shows that the optimal base stock policy improves the system cost between 3 to 26% over the naïve approach, simply allowing A/D from the naïve stocking levels captures a significant portion (an average of 67%) of the naïve–optimal gap. Our computational results demonstrate that the optimization shifts the component‐assembly mix from the naïve levels and that limiting A/D capacity affects this mix. Limiting A/D capacity can actually increase the expected number of A/D actions (versus the uncapacitated case), since the optimization shifts stocking levels to reduce the probability that “too many” actions will be required. DA - 2007/// PY - 2007/// DO - 10.1111/j.1937-5956.2007.tb00263.x VL - 16 IS - 3 SP - 343-359 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-34547327241&partnerID=MN8TOARS ER - TY - JOUR TI - View selection for real conjunctive queries AU - Afrati, Foto AU - Chirkova, Rada AU - Gergatsoulis, Manolis AU - Pavlaki, Vassia T2 - ACTA INFORMATICA DA - 2007/9// PY - 2007/9// DO - 10.1007/s00236-007-0046-z VL - 44 IS - 5 SP - 289-321 SN - 1432-0525 ER - TY - JOUR TI - The relationships between supplier development, commitment, social capital accumulation and performance improvement AU - Krause, Daniel R. AU - Handfield, Robert B. AU - Tyler, Beverly B. T2 - JOURNAL OF OPERATIONS MANAGEMENT AB - Abstract This study investigates the relationships between U.S. buying firms’ supplier development efforts, commitment, social capital accumulation with key suppliers, and buying firm performance. We identify linkages between supply chain management research on supplier development and organization theory research on social capital to consider how buying firm commitment to a long‐term relationship, cognitive capital (goals and values), structural capital (information sharing, supplier evaluation, supplier development), and relational capital (length of relationship, buyer dependency, supplier dependency) are related to buying firm performance improvements (cost improvements, and quality, delivery, flexibility improvements). Analysis of buying firms from the U.S. automotive and electronics industries provides support for the theory that buyer commitment and social capital accumulation with key suppliers can improve buying company performance. Moreover, the findings suggest that the relationships of structural and relational capital vary depending on the type of performance improvement considered. DA - 2007/3// PY - 2007/3// DO - 10.1016/j.jom.2006.05.007 VL - 25 IS - 2 SP - 528-545 SN - 1873-1317 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-33847682667&partnerID=MN8TOARS KW - supply management KW - purchasing KW - supplier development KW - social capital KW - buyer-supplier relationship ER - TY - JOUR TI - Real-time implementation of a frequency shaping controller on a cantilever beam AU - Lewis, B. M. AU - Tran, H. T. T2 - APPLIED NUMERICAL MATHEMATICS AB - In this paper, we present the real time implementation of a control methodology for the attenuation of beam vibrations in a smart structure paradigm caused by a narrow-band exogenous force. By narrow-band exogenous force we mean a periodic force over a narrow frequency band or a particular harmonic. The particular control method is based on the minimization of a frequency dependent quadratic cost functional. This control method has been used successfully in various applications; however, this investigation differs from other works in that it emphasizes the real-time implementation of this model-based control methodology using real-time partial state measurements. DA - 2007/// PY - 2007/// DO - 10.1016/j.apnum.2006.07.017 VL - 57 IS - 5-7 SP - 778-790 SN - 0168-9274 ER - TY - JOUR TI - Preface of the special issue of APNUM - International Conference on Scientific Computing in Nanjing, China AU - Li, Zhilin AU - Song, Yongzhong AU - Tang, Tao T2 - APPLIED NUMERICAL MATHEMATICS DA - 2007/// PY - 2007/// DO - 10.1016/j.apnum.2006.07.023 VL - 57 IS - 5-7 SP - 473-474 SN - 0168-9274 ER - TY - JOUR TI - Posterior convergence rates of dirichlet mixtures at smooth densities AU - Ghosal, Subhashis AU - Vaart, Aad T2 - ANNALS OF STATISTICS AB - We study the rates of convergence of the posterior distribution for Bayesian density estimation with Dirichlet mixtures of normal distributions as the prior. The true density is assumed to be twice continuously differentiable. The bandwidth is given a sequence of priors which is obtained by scaling a single prior by an appropriate order. In order to handle this problem, we derive a new general rate theorem by considering a countable covering of the parameter space whose prior probabilities satisfy a summability condition together with certain individual bounds on the Hellinger metric entropy. We apply this new general theorem on posterior convergence rates by computing bounds for Hellinger (bracketing) entropy numbers for the involved class of densities, the error in the approximation of a smooth density by normal mixtures and the concentration rate of the prior. The best obtainable rate of convergence of the posterior turns out to be equivalent to the well-known frequentist rate for integrated mean squared error n−2/5 up to a logarithmic factor. DA - 2007/4// PY - 2007/4// DO - 10.1214/009053606000001271 VL - 35 IS - 2 SP - 697-723 SN - 0090-5364 KW - bracketing KW - dirichlet mixture KW - entropy KW - maximum likelihood KW - mixture of normals KW - posterior distribution KW - rate of convergence KW - sieve ER - TY - JOUR TI - Optimal control of obstacle problems by H-1-obstacles AU - Ito, Kazufumi AU - Kunisch, Karl T2 - APPLIED MATHEMATICS AND OPTIMIZATION DA - 2007/// PY - 2007/// DO - 10.1007/s00245-007-0877-6 VL - 56 IS - 1 SP - 1-17 SN - 1432-0606 KW - control of variational inequalities KW - optimality system KW - Moreau-Yosida approximation ER - TY - JOUR TI - Enhanced features for design of traveling wave tubes using CHRISTINE-1D AU - David, John A. AU - Kory, Carol L. AU - Tran, Hien T. AU - Ives, R. Lawrence AU - Chernin, David T2 - IEEE TRANSACTIONS ON PLASMA SCIENCE AB - Traveling wave tubes (TWTs) are vacuum devices invented in the early 1940s for amplification of radio frequency power. These devices are critical for radar, communications, and electronic warfare missions in the military, as well as in commercial applications. The physics-based design and simulation code CHRISTINE-1D was used in the past to explore different TWT circuit designs and to automate the process of parameter estimation. However, the current capability of CHRISTINE-1D allows optimization of only helix TWT designs and includes a limited number of optimization goal functions. In addition, the current optimizer in CHRISTINE-1D employs a modified steepest descent method to carry out the optimization process. The objectives of this paper are threefold: (1) to investigate optimization techniques that may be better suited for this problem (for example, simplex type methods such as Nelder-Mead and Dividing Rectangles); (2) to allow optimization of nonhelix TWTs; and (3) to implement new optimization goal functions. Finally, to show the feasibility of our approach, we apply our optimization algorithms to the problem of designing a folded waveguide slow-wave circuit. DA - 2007/8// PY - 2007/8// DO - 10.1109/TPS.2007.902128 VL - 35 IS - 4 SP - 1056-1064 SN - 0093-3813 KW - DIviding RECTangles (DIRECT) KW - folded waveguide slow-wave circuit KW - goal functions KW - Nelder-Mead KW - optimization KW - traveling wave tubes (TWTs) ER - TY - JOUR TI - Direct transcription solution of optimal control problems with higher order state constraints: theory vs practice AU - Betts, J. T. AU - Campbell, S. L. AU - Engelsone, A. T2 - OPTIMIZATION AND ENGINEERING DA - 2007/3// PY - 2007/3// DO - 10.1007/s11081-007-9000-8 VL - 8 IS - 1 SP - 1-19 SN - 1573-2924 KW - optimal control KW - numerical methods KW - direct transcription KW - constraints ER - TY - JOUR TI - Convergence rates of posterior distributions for noniid observations AU - Ghosal, Subhashis AU - Van Der Vaart, Aad T2 - ANNALS OF STATISTICS AB - We consider the asymptotic behavior of posterior distributions and Bayes estimators based on observations which are required to be neither independent nor identically distributed. We give general results on the rate of convergence of the posterior measure relative to distances derived from a testing criterion. We then specialize our results to independent, nonidentically distributed observations, Markov processes, stationary Gaussian time series and the white noise model. We apply our general results to several examples of infinite-dimensional statistical models including nonparametric regression with normal errors, binary regression, Poisson regression, an interval censoring model, Whittle estimation of the spectral density of a time series and a nonlinear autoregressive model. DA - 2007/2// PY - 2007/2// DO - 10.1214/009053606000001172 VL - 35 IS - 1 SP - 192-223 SN - 0090-5364 KW - covering numbers KW - Hellinger distance KW - independent nonidentically distributed observations KW - infinite dimensional model KW - Markov chains KW - posterior distribution KW - rate of convergence KW - tests ER - TY - JOUR TI - A two-scale model for an array of AFM's cantilever in the static case AU - Lenczner, M. AU - Smith, R. C. T2 - MATHEMATICAL AND COMPUTER MODELLING AB - The primary objective of this paper is to present a simplified model for an array of Atomic Force Microscopes (AFMs) operating in static mode. Its derivation is based on the asymptotic theory of thin plates initiated by P. Ciarlet and P. Destuynder and on the two-scale convergence introduced by M. Lenczner which generalizes the theory of G. Nguetseng and G. Allaire. As an example, we investigate in full detail a particular configuration, which leads to a very simple model for the array. Aspects of the theory for this configuration are illustrated through simulation results. Finally the formulation of our theory of two-scale convergence is fully revisited. All the proofs are reformulated in a significantly simpler manner. DA - 2007/9// PY - 2007/9// DO - 10.1016/j.mcm.2006.12.028 VL - 46 IS - 5-6 SP - 776-805 SN - 1872-9479 KW - atomic force microscopy KW - microsystems arrays KW - multiscale modeling KW - homogenization ER - TY - JOUR TI - A study of numerical methods for the level set approach AU - Gremaud, Pierre A. AU - Kuster, Christopher M. AU - Li, Zhilin T2 - APPLIED NUMERICAL MATHEMATICS AB - The computation of moving curves by the level set method typically requires reinitializations of the underlying level set function. Two types of reinitialization methods are studied: a high order “PDE” approach and a second order Fast Marching method. Issues related to the efficiency and implementation of both types of methods are discussed, with emphasis on the tube/narrow band implementation and accuracy considerations. The methods are also tested and compared. Fast Marching reinitialization schemes are faster but limited to second order, PDE based reinitialization schemes can easily be made more accurate but are slower, even with a tube/narrow band implementation. DA - 2007/// PY - 2007/// DO - 10.1016/j.apnum.2006.07.022 VL - 57 IS - 5-7 SP - 837-846 SN - 0168-9274 ER - TY - JOUR TI - A reduced Hsieh-Clough-Tocher element with splitting based on an arbitrary interior point AU - Peker, A. S. AU - Lavery, J. E. AU - Fang, S.-C. T2 - JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS AB - We present formulas for a reduced Hsieh–Clough–Tocher (rHCT) element with splitting based on an arbitrary interior point. These formulas use local barycentric coordinates in each of the subtriangles and are not significantly more complicated than formulas for an rHCT element with splitting based on the centroid. DA - 2007/9/1/ PY - 2007/9/1/ DO - 10.1016/j.jmaa.2006.12.030 VL - 333 IS - 1 SP - 500-504 SN - 0022-247X KW - Bernstein-Bezier KW - Clough-Tocher element KW - reduced Hsieh-Clough-Tocher element KW - splitting KW - subtriangle KW - triangle ER - TY - JOUR TI - A fast iterative solver for scattering by elastic objects in layered media AU - Ito, K. AU - Toivanen, J. T2 - APPLIED NUMERICAL MATHEMATICS AB - We developed a fast iterative solver for computing time-harmonic acoustic waves scattered by an elastic object in layered media. The discretization of the problem was performed using a finite element method with linear elements based on a locally body-fitted uniform triangulation. We used a domain decomposition preconditioner in the iterative solution of the resulting system of linear equations. The preconditioner was based on a cyclic reduction type fast direct solver. The solution procedure reduces GMRES iterates onto a sparse subspace which decreases the storage and computational requirements essentially. The numerical results demonstrate the effectiveness of the proposed approach for two-dimensional domains that are hundreds of wavelengths wide and require the solution of linear systems with several millions of unknowns. DA - 2007/// PY - 2007/// DO - 10.1016/j.apnum.2006.07.020 VL - 57 IS - 5-7 SP - 811-820 SN - 1873-5460 ER - TY - JOUR TI - A consistent nonparametric Bayesian procedure for estimating autoregressive conditional densities AU - Tang, Yongqiang AU - Ghosal, Subhashis T2 - COMPUTATIONAL STATISTICS & DATA ANALYSIS AB - This article proposes a Bayesian infinite mixture model for the estimation of the conditional density of an ergodic time series. A nonparametric prior on the conditional density is described through the Dirichlet process. In the mixture model, a kernel is used leading to a dynamic nonlinear autoregressive model. This model can approximate any linear autoregressive model arbitrarily closely while imposing no constraint on parameters to ensure stationarity. We establish sufficient conditions for posterior consistency in two different topologies. The proposed method is compared with the mixture of autoregressive model [Wong and Li, 2000. On a mixture autoregressive model. J. Roy. Statist. Soc. Ser. B 62(1), 91–115] and the double-kernel local linear approach [Fan et al., 1996. Estimation of conditional densities and sensitivity measures in nonlinear dynamical systems. Biometrika 83, 189–206] by simulations and real examples. Our method shows excellent performances in these studies. DA - 2007/5/15/ PY - 2007/5/15/ DO - 10.1016/j.csda.2006.06.020 VL - 51 IS - 9 SP - 4424-4437 SN - 1872-7352 KW - Dirichlet process mixture models KW - posterior consistency KW - no-gaps algorithm ER - TY - JOUR TI - The additional dynamics of least squares completions for linear differential algebraic equations AU - Okay, Irfan AU - Campbell, Stephen L. AU - Kunkel, Peter T2 - LINEAR ALGEBRA AND ITS APPLICATIONS AB - Several approaches have been proposed for numerically solving lower dimensional, nonlinear, higher index differential algebraic equations (DAEs) for which more classical numerical methods such as backward differentiation or implicit Runge–Kutta may not be appropriate. One of these approaches is called explicit integration (EI). This approach is based on solving nonlinear DAE derivative arrays using nonlinear singular least squares methods. This results in a computed ODE, called the least squares completion, whose solutions contain those of the original DAE. This ODE is then integrated by a classical numerical method. The additional dynamics of the least squares completion can affect the numerical solution of the DAE. This paper begins the study of determining these extra dynamics. DA - 2007/9/1/ PY - 2007/9/1/ DO - 10.1016/j.laa.2007.02.005 VL - 425 IS - 2-3 SP - 471-485 SN - 1873-1856 KW - differential algebraic equations KW - DAEs KW - extra dynamics ER - TY - JOUR TI - Performance analysis of an ingress switch in a JumpStart optical burst switching network AU - Xu, Lisong AU - Perros, Harry G. T2 - PERFORMANCE EVALUATION AB - We consider an ingress optical burst switching (OBS) node employing the JumpStart signaling protocol. The switch serves a number of users, each connected to the switch with a fiber link that supports multiple wavelengths. Each wavelength is associated with a 3-state Markovian burst arrival process which permits short and long bursts to be modeled. We model the ingress switch as a closed multi-class non-product-form queueing network, which we analyze approximately by decomposition. Specifically, we develop new techniques to analyze the queueing network, first assuming a single class of customers, and subsequently multiple classes of customers. These analytical techniques have applications to general queueing networks beyond the one studied in this paper. We also develop computationally efficient approximate algorithms to analyze an ingress switch in the limiting case where the number of wavelengths is large. The algorithms have a good accuracy, and they provide insight into the effect of various system parameters on the performance of an ingress OBS switch. DA - 2007/5// PY - 2007/5// DO - 10.1016/j.peva.2006.05.012 VL - 64 IS - 4 SP - 315-346 SN - 1872-745X KW - optical burst switching KW - JumpStart project KW - Marie's algorithm KW - multi-class queueing networks KW - closed non-product-form queueing networks ER - TY - JOUR TI - Generalized wavelength sharing policies for absolute QoS guarantees in OBS networks AU - Yang, Li AU - Rouskas, George N. T2 - IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS AB - We consider the problem of supporting absolute QoS guarantees in terms of the end-to-end burst loss in OBS networks. We present a parameterized model for wavelength sharing which provides for isolation among different traffic classes while also making efficient use of wavelength capacity through statistical multiplexing. We develop a heuristic to optimize the policy parameters for a single link of an OBS network. We also develop a methodology for translating the end-to-end QoS requirements into appropriate per-link parameters so as to provide network-wide guarantees. Our approach is easy to implement, it can support a wide variety of traffic classes, and is effective in meeting the QoS requirements and keeping the loss rate of best-effort and overall traffic low DA - 2007/4// PY - 2007/4// DO - 10.1109/TWC.2007.026706 VL - 25 IS - 4 SP - 93-104 SN - 1558-0008 KW - optical burst switching KW - wavelength division multiplexing KW - resource sharing policies KW - quality of service ER - TY - JOUR TI - An augmented approach for Stokes equations with a discontinuous viscosity and singular forces AU - Li, Zhilin AU - Ito, Kazufumi AU - Lai, Ming-Chih T2 - COMPUTERS & FLUIDS AB - For Stokes equations with a discontinuous viscosity across an arbitrary interface or/and singular forces along the interface, it is known that the pressure is discontinuous and the velocity is non-smooth. It has been shown that these discontinuities are coupled together, which makes it difficult to obtain accurate numerical solutions. In this paper, a new numerical method that decouples the jump conditions of the fluid variables through two augmented variables has been developed. The GMRES iterative method is used to solve the Schur complement system for the augmented variables that are only defined on the interface. The augmented approach also rescales the Stokes equations in such a way that a fast Poisson solver can be used in each iteration. Numerical tests using examples that have analytic solutions show that the new method has average second order accuracy for the velocity in the infinity norm. An example of a moving interface problem is also presented. DA - 2007/3// PY - 2007/3// DO - 10.1016/j.compfluid.2006.03.003 VL - 36 IS - 3 SP - 622-635 SN - 1879-0747 ER - TY - JOUR TI - A stress-dependent hysteresis model for ferroelectric materials AU - Ball, Brian L. AU - Smith, Ralph C. AU - Kim, Sang-Joo AU - Seelecke, Stefan T2 - JOURNAL OF INTELLIGENT MATERIAL SYSTEMS AND STRUCTURES AB - This article addresses the development of a homogenized energy model which characterizes the ferroelastic switching mechanisms inherent to ferroelectric materials in a manner suitable for subsequent transducer and control design. In the first step of the development, we construct Helmholtz and Gibbs energy relations which quantify the potential and electrostatic energy associated with 90 and 180 dipole orientations. Equilibrium relations appropriate for homogeneous materials in the absence or presence of thermal relaxation are respectively determined by minimizing the Gibbs energy or balancing the Gibbs and relative thermal energies using Boltzmann principles. In the final step of the development, stochastic homogenization techniques are employed to construct macroscopic models suitable for nonhomogeneous, polycrystalline compounds. Attributes and limitations of the characterization framework are illustrated through comparison with experimental PLZT data. DA - 2007/1// PY - 2007/1// DO - 10.1177/1045389X07070937 VL - 18 IS - 1 SP - 69-88 SN - 1530-8138 KW - PZT KW - PLZT KW - ferroelastic KW - THUNDER KW - hysteresis KW - ferroelectric KW - Helmholtz ER - TY - JOUR TI - Solving variational inequalities defined on a domain with infinitely many linear constraints AU - Fang, Shu-Cherng AU - Wu, Soonyi AU - Birbil, S. Ilker T2 - COMPUTATIONAL OPTIMIZATION AND APPLICATIONS AB - We study a variational inequality problem whose domain is defined by infinitely many linear inequalities. A discretization method and an analytic center based inexact cutting plane method are proposed. Under proper assumptions, the convergence results for both methods are given. We also provide numerical examples to illustrate the proposed methods. DA - 2007/5// PY - 2007/5// DO - 10.1007/s10589-007-9013-4 VL - 37 IS - 1 SP - 67-81 SN - 1573-2894 KW - variational inequality problem KW - analytic center based cutting plane method KW - discretization method KW - semi-infinite programming ER - TY - JOUR TI - Simulation of fusion plasmas: Current status and future direction AU - Batchelor, D. A. AU - Beck, M. AU - Becoulet, A. AU - Budny, R. V. AU - Chang, C. S. AU - Diamond, P. H. AU - Dong, J. Q. AU - Fu, G. Y. AU - Fukuyama, A. AU - Hahm, T. S. AU - Keyes, D. E. AU - Kishimoto, Y. AU - Klasky, S. AU - Lao, L. L. AU - Li, K. AU - Lin, Z. AU - Ludaescher, B. AU - Manickam, J. AU - Nakajima, N. AU - a, T2 - Plasma Science & Technology DA - 2007/// PY - 2007/// VL - 9 IS - 3 SP - 312-387 ER - TY - JOUR TI - Queuing analysis of power management in the IEEE 802.11 based wireless LANs AU - Lei, H. Y. AU - Nilsson, A. A. T2 - IEEE Transactions on Wireless Communications DA - 2007/// PY - 2007/// DO - 10.1109/TWC.2007.04783 VL - 6 IS - 4 SP - 1286-1294 ER - TY - JOUR TI - Posterior consistency of Dirichlet mixtures for estimating a transition density AU - Tang, Yongqiang AU - Ghosal, Subhashis T2 - JOURNAL OF STATISTICAL PLANNING AND INFERENCE AB - The Dirichlet process mixture of normal densities has been successfully used as a prior for Bayesian density estimation for independent and identically distributed (i.i.d.) observations. A Markov model, which generalizes the i.i.d. set up, may be thought of as a suitable framework for observations arising over time. The predictive density of the future observation is then given by the posterior expectation of the transition density given the observations. We consider a Dirichlet process mixture prior for the transition density and study posterior consistency. Like the i.i.d. case, posterior consistency is obtained if the Kullback–Leibler neighborhoods of the true transition density receive positive prior probabilities and uniformly exponentially consistent tests exist for testing the true density against the complement of its neighborhoods. We show that under reasonable conditions, the Kullback–Leibler property holds for the Dirichlet mixture prior. For certain topologies on the space of transition densities, we show consistency holds under appropriate conditions by constructing the required tests. This approach, however, may not always lead to the best possible results. By modifying a recent approach of Walker [2004. New approaches to Bayesian consistency. Ann. Statist. 32, 2028–2043] for the i.i.d. case, we also show that better conditions for consistency can be given for certain weaker topologies. DA - 2007/6/1/ PY - 2007/6/1/ DO - 10.1016/j.jspi.2006.03.007 VL - 137 IS - 6 SP - 1711-1726 SN - 0378-3758 KW - Dirichlet mixture KW - Markov process KW - posterior consistency KW - transition density KW - uniformly exponentially consistent tests ER - TY - JOUR TI - Optimal bilinear control of an abstract Schrodinger equation AU - Ito, Kazufumi AU - Kunisch, Karl T2 - SIAM JOURNAL ON CONTROL AND OPTIMIZATION AB - Well‐posedness of abstract quantum mechanical systems is considered and the existence of optimal control of such systems is proved. First order optimality systems are derived. Convergence of the monotone scheme for the solution of the optimality system is proved. DA - 2007/// PY - 2007/// DO - 10.1137/05064254X VL - 46 IS - 1 SP - 274-287 SN - 0363-0129 KW - Schrodinger equation KW - C(0)-groups KW - optimal control KW - optimality systems KW - monotone scheme ER - TY - JOUR TI - Linear combinations of overlapping variance estimators for simulation AU - Aktaran-Kalayci, Tuba AU - Goldsman, David AU - Wilson, James R. T2 - OPERATIONS RESEARCH LETTERS AB - We estimate the variance parameter of a stationary simulation-generated process using a linear combination of overlapping standardized time series (STS) area variance estimators based on different batch sizes. We establish the linear-combination estimator's asymptotic distribution, presenting analytical and simulation-based results exemplifying its potential for improvements in accuracy and computational efficiency. DA - 2007/7// PY - 2007/7// DO - 10.1016/j.orl.2006.08.007 VL - 35 IS - 4 SP - 439-447 SN - 1872-7468 KW - simulation KW - stationary process KW - variance estimation KW - standardized time series KW - area estimator KW - overlapping area estimator ER - TY - JOUR TI - Following the thread: Industry cluster theory, the New England cotton textiles industry, and implications for future supply chain research AU - Bozarth, Cecil AU - Blackhurst, Jennifer AU - Handfield, Robert B. T2 - PRODUCTION AND OPERATIONS MANAGEMENT AB - The purpose of this paper is to introduce supply chain management researchers to industry cluster theory within the context of supply chain management decisions. Industry cluster theory emphasizes the explicit and implicit benefits that accrue to various economic players due to geographic proximity. As such, it provides a contrasting view to the current pressure on supply chains to seek out the “best” partners, regardless of location. We review the theory behind industry clusters, and illustrate it using the example of the New England cotton textile industry. Incorporating these concepts into future research has the potential to improve our understanding of how decisions regarding supply chain location and sourcing decisions are currently made, and what role location‐based benefits should play in these decisions. DA - 2007/// PY - 2007/// DO - 10.1111/j.1937-5956.2007.tb00172.x VL - 16 IS - 1 SP - 154-157 SN - 1937-5956 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-34249710741&partnerID=MN8TOARS KW - industry cluster theory KW - supply chain management KW - textile industry ER - TY - JOUR TI - Direct transcription solution of high index optimal control problems and regular Euler-Lagrange equations AU - Campbell, Stephen L. AU - Maerz, Roswitha T2 - JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS AB - Direct transcription methods are used to solve optimal control problems in many industrial settings. Models for physical systems often take the form of differential algebraic equations (DAEs). The index of the DAE traditionally is viewed as an important factor in deciding whether a particular numerical approach should be used. Recently it has been observed that what the user thinks is the index of the DAE may not be the same as the index available to the optimization software. An investigation of this fact is underway in order to develop guidelines to assist users of various numerical optimal control packages. This paper develops some theoretical results that will be needed for this development. DA - 2007/5/15/ PY - 2007/5/15/ DO - 10.1016/j.cam.2006.02.024 VL - 202 IS - 2 SP - 186-202 SN - 1879-1778 KW - direct transcription KW - optimal control KW - control selection KW - numerical algorithms KW - differential algebraic equations ER - TY - JOUR TI - Cost-effective single-hub WDM ring networks: A proposal and analysis AU - Bouabdallah, N. AU - Perros, H. T2 - Computer Networks (Amsterdam, Netherlands : 1999) AB - In this paper, we study a new concept of traffic grooming in wavelength-division multiplexing (WDM) ring networks that aims at eliminating both the bandwidth underutilization and the scalability concerns that are typical of all-optical wavelength routed ring networks. Our objective is to reduce the network cost while preserving the benefits of all-optical WDM ring networks. In order to assess the efficiency of our proposal, all underlying network costs are compared. These costs include that of the transceivers required at node level, as well as the number of wavelengths. Our results show that the proposed aggregation technique can significantly improve the resource utilization while reducing the network cost. DA - 2007/// PY - 2007/// DO - 10.1016/j.comnet.2007.04.014 VL - 51 IS - 13 SP - 3878-3901 ER - TY - JOUR TI - Convergence of the primal-dual active set strategy for diagonally dominant systems AU - Ito, Kazufumi AU - Kunisch, Karl T2 - SIAM JOURNAL ON CONTROL AND OPTIMIZATION AB - Sufficient conditions for global convergence of the primal‐dual active set strategy for finite and infinite dimensional quadratic, as well as nonlinear optimization, problems with affine equality and inequality constraints are presented. These conditions involve diagonal dominance and cone preserving properties of the operator defining the cost functional. Globalization strategies are also provided, and specific sufficient conditions for the primal‐dual active set step to have a descent property are given. DA - 2007/// PY - 2007/// DO - 10.1137/050632713 VL - 46 IS - 1 SP - 14-34 SN - 0363-0129 KW - primal-dual active set strategy KW - diagonally dominant systems KW - bilateral constraints KW - globalization ER - TY - JOUR TI - The severity of supply chain disruptions: Design characteristics and mitigation capabilities AU - Craighead, Christopher W. AU - Blackhurst, Jennifer AU - Rungtusanatham, M. Johnny AU - Handfield, Robert B. T2 - DECISION SCIENCES AB - ABSTRACT Supply chain disruptions and the associated operational and financial risks represent the most pressing concern facing firms that compete in today's global marketplace. Extant research has not only confirmed the costly nature of supply chain disruptions but has also contributed relevant insights on such related issues as supply chain risks, vulnerability, resilience, and continuity. In this conceptual note, we focus on a relatively unexplored issue, asking and answering the question of how and why one supply chain disruption would be more severe than another. In doing so, we argue, de facto, that supply chain disruptions are unavoidable and, as a consequence, that all supply chains are inherently risky. Employing a multiple‐method, multiple‐source empirical research design, we derive novel insights, presented as six propositions that relate the severity of supply chain disruptions (i) to the three supply chain design characteristics of density, complexity, and node criticality and (ii) to the two supply chain mitigation capabilities of recovery and warning. These findings not only augment existing knowledge related to supply chain risk, vulnerability, resilience, and business continuity planning but also call into question the wisdom of pursuing such practices as supply base reduction, global sourcing, and sourcing from supply clusters. DA - 2007/2// PY - 2007/2// DO - 10.1111/j.1540-5915.2007.00151.x VL - 38 IS - 1 SP - 131-156 SN - 1540-5915 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-34047184222&partnerID=MN8TOARS ER - TY - JOUR TI - Output feedback stabilization of linear systems with actuator saturation AU - Wu, Fen AU - Lin, Zongli AU - Zheng, Qian T2 - IEEE TRANSACTIONS ON AUTOMATIC CONTROL AB - The note presents a method for designing an output feedback law that stabilizes a linear system subject to actuator saturation with a large domain of attraction. This method applies to general linear systems including strictly unstable ones. A nonlinear output feedback controller is first expressed in the form of a quasi-LPV system. Conditions under which the closed-loop system is locally asymptotically stable are then established in terms of the coefficient matrices of the controller. The design of the controller (coefficient matrices) that maximizes an estimate of the domain of attraction is then formulated and solved as an optimization problem with LMI constraints DA - 2007/1// PY - 2007/1// DO - 10.1109/TAC.2006.886498 VL - 52 IS - 1 SP - 122-128 SN - 1558-2523 KW - actuator saturation KW - domain of attraction KW - invariant set KW - output feedback KW - stability ER - TY - JOUR TI - On Roth's pseudo equivalence over rings AU - Hartwig, R. E. AU - Patricio, P. T2 - Electronic Journal of Linear Algebra AB - The pseudo-equivalence of a block lower triangular matrix T = [Tij ] over a regular ring and its block diagonal matrix D(T)=[Tii] is characterized in terms of suitable Roth consistency conditions. The latter can in turn be expressed in terms of the solvability of certain matrix equations of the form TiiX − Y Tjj = Uij . DA - 2007/// PY - 2007/// DO - 10.13001/1081-3810.1187 VL - 16 SP - 111-124 ER - TY - JOUR TI - Integer programming models for the q-mode problem AU - Kulkarni, Girish AU - Fathi, Yahya T2 - EUROPEAN JOURNAL OF OPERATIONAL RESEARCH AB - The q-mode problem is a combinatorial optimization problem that requires partitioning of objects into clusters. We discuss theoretical properties of an existing mixed integer programming (MIP) model for this problem and offer alternative models and enhancements. Through a comprehensive experiment we investigate computational properties of these MIP models. This experiment reveals that, in practice, the MIP approach is more effective for instances containing strong natural clusters and it is not as effective for instances containing weak natural clusters. The experiment also reveals that one of the MIP models that we propose is more effective than the other models for solving larger instances of the problem. DA - 2007/10/16/ PY - 2007/10/16/ DO - 10.1016/j.ejor.2006.08.039 VL - 182 IS - 2 SP - 612-625 SN - 1872-6860 KW - integer programming KW - linear programming KW - cluster analysis KW - data mining ER - TY - JOUR TI - Editor's introduction: Special issue honoring Perwez Shahabuddin AU - Wilson, James R. T2 - ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION AB - No abstract available. DA - 2007/4// PY - 2007/4// DO - 10.1145/1225275.1225276 VL - 17 IS - 2 SP - SN - 1049-3301 ER - TY - JOUR TI - A tabu search algorithm for maximum parsimony phylogeny inference AU - Lin, Yu-Min AU - Fang, Shu-Cherng AU - Thorne, Jeffrey L. T2 - EUROPEAN JOURNAL OF OPERATIONAL RESEARCH AB - Phylogeny reconstruction is too complex a combinatorial problem for an exhaustive search, because the number of possible solutions increases exponentially with the number of taxa involved. In this paper, we adopt the parsimony principle and design a tabu search algorithm for finding a most parsimonious phylogeny tree. A special array structure is employed to represent the topology of trees and to generate the neighboring trees. We test the proposed tabu search algorithm on randomly selected data sets obtained from nuclear ribosomal DNA sequence data. The experiments show that our algorithm explores fewer trees to reach the optimal one than the commonly used program “dnapenny” (branch-and-bound based) while it generates much more accurate results than the default options of the program “dnapars” (heuristic search based). The percentage of search space needed to find the best solution for our algorithm decreased rapidly as the number of taxa increased. For a 20-taxon phylogeny problem, it needs on average to examine only 3.92 × 10−15% of the sample space. DA - 2007/2/1/ PY - 2007/2/1/ DO - 10.1016/j.ejor.2005.10.031 VL - 176 IS - 3 SP - 1908-1917 SN - 1872-6860 KW - tabu search KW - OR in biology KW - bioinformatics KW - phylogeny inference KW - maximum parsimony ER - TY - JOUR TI - The directional p-median problem: Definition, complexity, and algorithms AU - Jackson, Laura E. AU - Rouskas, George N. AU - Stallmann, Matthias F. M. T2 - EUROPEAN JOURNAL OF OPERATIONAL RESEARCH AB - An instance of a p-median problem gives n demand points. The objective is to locate p supply points in order to minimize the total distance of the demand points to their nearest supply point. p-Median is polynomially solvable in one dimension but NP-hard in two or more dimensions, when either the Euclidean or the rectilinear distance measure is used. In this paper, we treat the p-median problem under a new distance measure, the directional rectilinear distance, which requires the assigned supply point for a given demand point to lie above and to the right of it. In a previous work, we showed that the directional p-median problem is polynomially solvable in one dimension; we give here an improved solution through reformulating the problem as a special case of the constrained shortest path problem. We have previously proven that the problem is NP-complete in two or more dimensions; we present here an efficient heuristic to solve it. Compared to the robust Teitz and Bart heuristic, our heuristic enjoys substantial speedup while sacrificing little in terms of solution quality, making it an ideal choice for real-world applications with thousands of demand points. DA - 2007/6/16/ PY - 2007/6/16/ DO - 10.1016/j.ejor.2005.06.080 VL - 179 IS - 3 SP - 1097-1108 SN - 0377-2217 KW - directional p-median problem KW - traffic quantization KW - vector quantization ER - TY - JOUR TI - Satisfying due-dates in the presence of sequence dependent family setups with a special comedown structure AU - Taner, Mehmet R. AU - Hodgson, Thom J. AU - King, Russell E. AU - Schultz, Scott R. T2 - COMPUTERS & INDUSTRIAL ENGINEERING AB - This paper addresses a static, n-job, single-machine scheduling problem with sequence dependent family setups. The setup matrix follows a special structure where a constant setup is required only if a job from a smaller indexed family is an immediate successor of one from a larger indexed family. The objective is to minimize the maximum lateness (Lmax). A two-step neighborhood search procedure and an implicit enumeration scheme are proposed. Both procedures exploit the problem structure. The enumeration scheme produces optimum solutions to small and medium sized problems in reasonable computational times, yet it fails to perform efficiently in larger instances. Computational results show that the heuristic procedure is highly effective, and is efficient even for extremely large problems. DA - 2007/2// PY - 2007/2// DO - 10.1016/j.cie.2006.10.008 VL - 52 IS - 1 SP - 57-70 SN - 0360-8352 KW - scheduling KW - maximum lateness KW - sequence dependent family setups KW - comedown KW - heuristics ER - TY - JOUR TI - Robust and gain-scheduling control of LFT systems through duality and conjugate Lyapunov functions AU - Dong, K. AU - Wu, F. T2 - INTERNATIONAL JOURNAL OF CONTROL AB - In this paper, we study stability and performance properties of linear fractional transformation (LFT) parameter-dependent systems using duality theory and tools from convex analysis. A pair of conjugate functions, the convex hull and the maximum of a family of quadratic functions, are used for analysis and synthesis of LFT systems. Sufficient synthesis conditions for both robust state feedback and gain-scheduling output feedback control problems are formulated as a set of linear matrix inequalities (LMIs) with linear search over scalar variables. Finally, a numerical example is used to demonstrate the advantages of the proposed approaches. DA - 2007/4// PY - 2007/4// DO - 10.1080/00207170601080213 VL - 80 IS - 4 SP - 555-568 SN - 1366-5820 ER - TY - JOUR TI - Prediction of surface uniformity in woven fabrics through 2-D anisotropy measures, Part II: Simulation and verification of the prediction model AU - Guenay, M. AU - Suh, M. W. AU - Jasper, W. J. T2 - JOURNAL OF THE TEXTILE INSTITUTE AB - Abstract Yarn diameter profiles were captured from an online measurement system and then translated into a two-dimensional (2-D) fabric matrix by assigning each point of the yarn to a specific location within a virtual fabric. A method to quantify the anisotropy in fabric nonuniformity was developed by combining the gray-scale image of the 2-D fabric matrix with the newly defined between-area variance curves. The 2-D anisotropy measures thus obtained were found to be highly useful for characterizing certain appearance features of woven fabrics such as vertical or horizontal streaks and random cloudiness. Methods for selecting different shapes of the unit area facilitated comparison of the resulting between-area variance curves, and thus a measure of isotropy in the nonuniformity features of the woven fabrics. Keywords: Variance-area curvesanisotropysurface uniformitysimulation DA - 2007/// PY - 2007/// DO - 10.1533/joti.2005.0234 VL - 98 IS - 2 SP - 117-126 SN - 0040-5000 KW - variance-area curves KW - anisotropy KW - surface uniformity KW - simulation ER - TY - JOUR TI - Prediction of surface uniformity in woven fabrics through 2-D anisotropy measures, Part I: Definitions and theoretical model AU - Suh, M. W. AU - Guenay, M. AU - Jasper, W. J. T2 - JOURNAL OF THE TEXTILE INSTITUTE AB - Abstract A method has been developed for analyzing and predicting the surface uniformity of fabrics directly from yarn diameter measurements by using variance-area curves. The variance-length curves were first derived as a function of correlogram obtainable from the neighboring points within a yarn. Then the between-area variance curves were obtained directly from the variance-length curve and a correlation function. The anisotropy of surface irregularity was defined for woven fabrics, and a quantification method was proposed. DA - 2007/// PY - 2007/// DO - 10.1533/joti.2005.0232 VL - 98 IS - 2 SP - 109-116 SN - 0040-5000 KW - variance-area curves KW - anisotropy KW - surface uniformity ER - TY - JOUR TI - Model-based robust control design for magnetostrictive transducers operating in hysteretic and nonlinear regimes AU - Nealis, James M. AU - Smith, Ralph C. T2 - IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY AB - This paper addresses the development of robust control designs for high-performance smart material transducers operating in nonlinear and hysteretic regimes. While developed in the context of a magnetostrictive transducer used for high-speed, high-accuracy milling, the resulting model-based control techniques can be directly extended to systems utilizing piezoceramic or shape memory alloy compounds due to the unified nature of models used to quantify hysteresis and nonlinearities inherent to all of these materials. When developing models and corresponding inverse filters or compensators, significant emphasis is placed on the utilization of the material's physics to provide the accuracy and efficiency required for real-time implementation of resulting model-based control designs. In the material models, this is achieved by combining energy analysis with stochastic homogenization techniques, whereas the efficiency of forward algorithms is combined with monotonicity properties of the material behavior to provide highly efficient inverse algorithms. These inverse filters are then incorporated in H 2 and H infin theory to provide robust control algorithms capable of providing high-accuracy tracking even though the actuators are operating in nonlinear and hysteretic regimes. Through numerical examples, it is illustrated that the robust designs incorporating inverse compensators can achieve the required tracking tolerance of 1-2 mum for the motivating milling application, whereas robust designs which treat the uncompensated hysteresis and nonlinearities as unmodeled disturbances cannot achieve design specifications DA - 2007/1// PY - 2007/1// DO - 10.1109/TCST.2006.883235 VL - 15 IS - 1 SP - 22-39 SN - 1558-0865 KW - constitutive nonlinearities KW - distributed parameter systems KW - hysteresis KW - inverse filter KW - magnetostrictive devices KW - robust control design ER - TY - BOOK TI - Secure data management in decentralized systems AB - Database security is one of the classical topics in the research of information system security. Ever since the early years of database management systems, a great deal of research activity has been c DA - 2007/// PY - 2007/// DO - 10.1007/978-0-387-27696-0 PB - New York: Springer SN - 0387276947 ER - TY - JOUR TI - On the impact of quality of protection in wireless local area networks with IP mobility AU - Agarwal, Avesh K. AU - Wang, Wenye T2 - MOBILE NETWORKS & APPLICATIONS DA - 2007/2// PY - 2007/2// DO - 10.1007/s11036-006-0009-6 VL - 12 IS - 1 SP - 93-110 SN - 1572-8153 KW - wireless local area networks KW - quality of service KW - quality of protection KW - security protocols KW - mobile IP KW - performance analysis ER - TY - JOUR TI - Direct transcription solution of higher-index optimal control problems and the virtual index AU - Engelsone, A. AU - Campbell, S. L. AU - Betts, J. T. T2 - APPLIED NUMERICAL MATHEMATICS AB - Direct transcription methods are a popular approach for solving optimal control problems. They are sometimes able to solve problems that the classical numerical theory would suggest that they cannot solve. The dynamics of an equality constrained optimal control problem form a differential algebraic equation (DAE), and most numerical methods for solving these optimal control problems require solving this DAE for the states and algebraic variables, which would imply that the problem is unsolvable if this DAE is high index. We will demonstrate that direct transcription methods, which use a different approach, can successfully solve some higher index equality constrained optimal control problems and that the role of the index needs reinterpretation when using direct transcription methods. These results and observations have implications for software design and guidance provided to users. DA - 2007/3// PY - 2007/3// DO - 10.1016/j.apnum.2006.03.012 VL - 57 IS - 3 SP - 281-296 SN - 1873-5460 KW - numerical methods KW - optimal control KW - direct transcription ER - TY - JOUR TI - Condition estimates for pseudo-arclength continuation AU - Dickson, K. I. AU - Kelley, C. T. AU - Ipsen, I. C. F. AU - Kevrekidis, I. G. T2 - SIAM JOURNAL ON NUMERICAL ANALYSIS AB - We bound the condition number of the Jacobian in pseudo‐arclength continuation problems, and we quantify the effect of this condition number on the linear system solution in a Newton‐GMRES solve. Pseudo‐arclength continuation solves parameter dependent nonlinear equations $G(u,\lambda) = 0$ by introducing a new parameter s, which approximates arclength, and viewing the vector $x = (u,\lambda)$ as a function of s. In this way simple fold singularities can be computed directly by solving a larger system $F(x,s) = 0$ by simple continuation in the new parameter s. It is known that the Jacobian $F_x$ of F with respect to $x=(u,\lambda)$ is nonsingular if the path contains only regular points and simple fold singularities. We introduce a new characterization of simple folds in terms of the singular value decomposition, and we use it to derive a new bound for the norm of $F_x^{-1}$. We also show that the convergence rate of GMRES in a Newton step for $F(x,s)=0$ is essentially the same as that of the original problem $G(u,\lambda)=0$. In particular, we prove that the bounds on the degrees of the minimal polynomials of the Jacobians $F_x$ and $G_u$ differ by at most 2. We illustrate the effectiveness of our bounds with an example from radiative transfer theory. DA - 2007/// PY - 2007/// DO - 10.1137/060654384 VL - 45 IS - 1 SP - 263-276 SN - 1095-7170 KW - pseudo-arclength continuation KW - singularity KW - GMRES KW - singular vectors KW - eigenvalues KW - rank-one update KW - turning point KW - simple fold KW - fold point KW - limit point ER - TY - JOUR TI - An algebra for commitment protocols AU - Mallya, Ashok U. AU - Singh, Munindar P. T2 - AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS DA - 2007/4// PY - 2007/4// DO - 10.1007/s10458-006-7232-1 VL - 14 IS - 2 SP - 143-163 SN - 1573-7454 UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-33846465461&partnerID=MN8TOARS KW - commitments KW - interaction protocols KW - formal methods KW - multiagent system modelling and design ER - TY - JOUR TI - A model for life cycle evaluation of highway investments AU - List, George T2 - STRUCTURE AND INFRASTRUCTURE ENGINEERING AB - Sustainable development has added a new dimension to the evaluation of highway capacity investments. It places an emphasis on analyzing the entire life of a facility, from an environmental as well as an economic perspective. This paper presents a way to analyze capacity investments that is consistent with the sustainable development perspective. It departs from the typical approach of focusing on a small set of peak use conditions, often in the design year. It couples economic concepts with a representation of the facility's lifetime use to perform a robust analysis. A freeway facility is used to illustrate the ideas. Principles of engineering economics and life cycle costing help determine what incremental capacity investments would be warranted given postulated or observed use patterns. It is then demonstrated that the findings from this analysis and the principles employed can be applied to a wide range of infrastructure investment decision making situations. DA - 2007/6// PY - 2007/6// DO - 10.1080/15732470600590903 VL - 3 IS - 2 SP - 95-101 SN - 1573-2479 KW - life cycle KW - infrastructure KW - economics ER - TY - JOUR TI - A distribution-free tabular CUSUM chart for autocorrelated data AU - Kim, Seong-Hee AU - Alexopoulos, Christos AU - Tsui, Kwok-Leung AU - Wilson, James R. T2 - IIE TRANSACTIONS AB - Abstract A distribution-free tabular CUSUM chart called DFTC is designed to detect shifts in the mean of an autocorrelated process. The chart's Average Run Length (ARL) is approximated by generalizing Siegmund's ARL approximation for the conventional tabular CUSUM chart based on independent and identically distributed normal observations. Control limits for DFTC are computed from the generalized ARL approximation. Also discussed are the choice of reference value and the use of batch means to handle highly correlated processes. The performance of DFTC compared favorably with that of other distribution-free procedures in stationary test processes having various types of autocorrelation functions as well as normal or nonnormal marginals. Keywords: Statistical process controltabular CUSUM chartautocorrelated data average run lengthdistribution-free statistical methods Acknowledgements The authors thank David Goldsman and the anonymous referees for several suggestions which substantially improved this paper. DA - 2007/3// PY - 2007/3// DO - 10.1080/07408170600743946 VL - 39 IS - 3 SP - 317-330 SN - 0740-817X KW - statistical process control KW - tabular CUSUM chart KW - autocorrelated data average run length KW - distribution-free statistical methods ER - TY - JOUR TI - A compressed primal-dual method for generating bivariate. cubic L-1 splines AU - Wang, Yong AU - Fang, Shu-Cherng AU - Lavery, John E. T2 - JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS AB - In this paper, we develop a compressed version of the primal-dual interior point method for generating bivariate cubic L1 splines. Discretization of the underlying optimization model, which is a nonsmooth convex programming problem, leads to an overdetermined linear system that can be handled by interior point methods. Taking advantage of the special matrix structure of the cubic L1 spline problem, we design a compressed primal-dual interior point algorithm. Computational experiments indicate that this compressed primal-dual method is robust and is much faster than the ordinary (uncompressed) primal-dual interior point algorithm. DA - 2007/4/1/ PY - 2007/4/1/ DO - 10.1016/j.cam.2006.02.005 VL - 201 IS - 1 SP - 69-87 SN - 0377-0427 ER - TY - JOUR TI - eQTL Viewer: visualizing how sequence variation affects genome-wide transcription AU - Zou, W. AU - Aylor, D. L. AU - Zeng, Z. B. T2 - BMC Bioinformatics DA - 2007/// PY - 2007/// VL - 8 IS - 7 ER - TY - JOUR TI - A delayed nonlinear PBPK model for genistein dosimetry in rats AU - Zagera, Michael G. AU - Schlosser, Paul M. AU - Tran, Hien T. T2 - BULLETIN OF MATHEMATICAL BIOLOGY AB - Genistein is an endocrine-active compound (EAC) found in soy products. It has been linked to beneficial effects such as mammary tumor growth suppression and adverse endocrine-related effects such as reduced birth weight in rats and humans. In its conjugated form, genistein is excreted in the bile, which is a significant factor in its pharmacokinetics. Experimental data suggest that genistein induces a concentration-dependent suppression of biliary excretion. In this article, we describe a physiologically based pharmacokinetic (PBPK) model that focuses on biliary excretion with the goal of accurately simulating the observed suppression. The mathematical model is a system of nonlinear differential equations with state-dependent delay to describe biliary excretion. The model was analyzed to examine local existence and uniqueness of a solution to the equations. Furthermore, unknown parameters were estimated, and the mathematical model was compared against published experimental data. DA - 2007/1// PY - 2007/1// DO - 10.1007/s11538-006-9068-x VL - 69 IS - 1 SP - 93-117 SN - 1522-9602 KW - genistein KW - biliary excretion KW - pharmacokinetics KW - delay-differential equations ER - TY - JOUR TI - A Finite Difference Method and Analysis for 2D Nonlinear Poisson–Boltzmann Equations AU - Li, Zhilin AU - Pao, C. V. AU - Qiao, Zhonghua T2 - Journal of Scientific Computing DA - 2007/1/31/ PY - 2007/1/31/ DO - 10.1007/s10915-005-9019-y VL - 30 IS - 1 SP - 61–81 SN - 0885-7474 1573-7691 UR - http://dx.doi.org/10.1007/s10915-005-9019-y KW - nonlinear Poisson-Boltzmann equation KW - exterior problem KW - immersed interface method KW - monotone iterative method ER -