ppxscal/embedding_network huggingface dataset:
The PDES Workbench
Authors: Roman van der Krogt, James Little
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

Central to the operation of a manufacturing plant is the planning and scheduling of the activities that take place. The quality of the plans and schedules produced has significant impact on the effectiveness and efficiency of a company. These schedules are restricted by the constraints imposed upon them by the design of the plant. However, while expert designers are able to roughly predict the outcome of a design in terms of its overall throughput, quantitative figures on future schedules are not usually produced. By implication, design constraints may be found to be expensive in scheduling terms during the operation of the plant and at a stage when improvements are hard or expensive to make. This paper presents the PDES Workbench, a graphical system that is able to generate plans and schedules based on real-life manufacturing plant designs. This allows a manager or planner to assess the schedulability of a particular design at an early stage. When a schedule is found to be flawed in any aspect, it may not be apparent what to change in the design without degrading other aspects of the schedule. Therefore, the system is equipped with a case-based reasoning system that is able to proactively suggest ways of improving the design for improved scheduling results.
Microsoft Office Word 12
Authors: R. Pasewark
Venue:  (2007)

Microsoft Word 2007 Introductory is designed for beginning users of Microsoft Office 2007. This self-paces, step-by-step book with corresponding screenshots makes learning easy and enjoyable. Students will learn the new features of the software through a variety of activities, simulations, and case studies. End-of-lesson exercises reinforce the skills covered in each lesson. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Optimal transportation policies for production/inventory systems with an unreliable and a reliable carrier
Authors: Sean X. Zhou, Xiuli Chao, Chung-Yee Lee
Venue: Journal of Global Optimization (2009)

In this paper, we consider a periodic-review make-to-order production/inventory system with two outbound transportation carriers: One carrier is reliable, the other carrier is less reliable but more economical. The objective is to find the optimal shipping policy that minimizes the total discounted transportation, inventory, and customer waiting costs. Under several scenarios, we characterize the optimal policy and present the structural properties for the optimal control parameters and the key performance measures. Our results provide managerial insights on how a manufacturer can effectively manage its transportation carriers and product shipment. We also discuss several possible extensions of the model.
A Correlation-Driven Reactive Layer for Situation-Aware BDI Agent Architecture
Authors: Gabriel Jakobson, John Buford, Lundy Lewis
Venue: Proceeding of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering (2006)

This paper proposes a new model of situation management in distributed dynamic systems, such as telecommunication networks, modern battlespaces, and disaster relief operations. The proposed model is based a multi-agent systems approach, where the Belief-Desire-Intension agent architecture has been expanded by an advanced interpretation cycle. The critical feature of the advancement is the replacement of the traditional event-plan paradigm with a new event-situation-plan paradigm, which allows recognition of more complex operational situations.
Land use qualities identified in remotely-sensed images
Authors: A. Wastfelt
Venue: International Journal of Remote Sensing (2009)

Land use can be defined as the intentional use of a specific piece of land resulting in patterns of ecological responses that are visible in land cover and landscape. The responses to land use often result in a heterogeneous combination of classes of land cover. Existing methods used in the classification of satellite imagery are limited in their capacity to handle categories consisting of heterogeneous or multiple land cover classes. Accordingly, a spatial relational post-classification (SRPC) method has been developed which uses a spatial relational post-classification of land cover classes based on the incorporation of information about identified land use qualities. This paper explains how this method works, and presents the results from a case study of the surroundings of Sotåsa village located in southern Sweden. Different land cover classes were aggregated semantically into two land use quality classes. In conclusion, it is argued that it is possible to make the semantic shift from reflectance to land use qualities using the developed method on satellite data, and that this provides considerable scope for the future analysis of land use.
Handprint Recognition: A Novel Biometric Technology
Authors: Guiyu Feng, Qi Zhao, Miyi Duan, Dewen Hu, Yabin Hu
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III (2009)

In this paper, we present a novel biometric technology--handprint recognition. Handprint is obtained from the inner surface of a hand between the wrist and the top of the fingers, which contains the principal lines, wrinkles and ridges on the palm, finger and fingerprint. This paper discusses the advantages of this novel biometric: simple preprocessing and more distinctive features deployed. Furthermore, we make some elementary experiments on some essential aspects of this technology including preprocessing, feature representation and classifier design. The preliminary experimental results on the dataset sized of 50 persons are very encouraging, which suggests that more research work should be carried on this novel biometric.
Analytical treatment of high transcendental functions involved in perturbation theory for inner shell electrons interaction with gamma-ray
Authors: Adrian Costescu, Sever Spanulescu, Cristian Stoica
Venue: Proceedings of the 13th WSEAS international conference on Applied mathematics (2008)

This paper presents new analytical and numerical methods for handling the Appell and Gauss Hypergeometric functions involved in the relativistic elastic two photon scattering by inner shell electrons and in photoeffect and pair production processes. We find a possibility to reduce the number of needed Appell functions using their specific structure via recursion relationships. The oscillating nature of the integrand of the Appell functions in the high energy regime specific to γ -ray scattering is investigated and the solution for their accurate calculation on standard computer facilities is shown. The numerical results obtained using the presented methods were compared with other's authors results, displaying a very good agreement.
Gap sets
Authors: Manuel Branco, Carlos Ramos
Venue: Proceedings of the international conference on Computational and information science 2009 (2009)

Given a numerical semigroup S, the set N0-S is finite and is usually called the gap set of S. In our work we give a combinatorial characterization of the finite subsets of N which are gap sets. In this perspective we study some properties of gap sets.
A new boundary element approach for the 3D compressible fluid flow around obstacles
Authors: Luminita Grecu
Venue: WSEAS Transactions on Mathematics (2009)

The paper presents a boundary element approach for the problem of the finite span airfoil in a subsonic compressible fluid flow. The singular boundary integral equation equivalent with the mathematical model characterized by partial differential equation is solved in this paper by the use of constant and linear isoparametric boundary elements of Lagrangean type. A special attention is given to the treatment of the singular integrals because their evaluation major influences the numerical solutions accuracy. Some aspects about how to treat the integrals of singular kernels in case of solving 3D problems are presented. An efficient method that is applied consists in using suitable geometrical transformations of coordinates to eliminate the singularities. A computer code based on this method is made and numerical results are obtained. The computer code is tested by making an analytical checking and the results show the efficiency of the method.
Integration strategies for Computational Science & Engineering software
Authors: Roscoe A. Bartlett
Venue: Proceedings of the 2009 ICSE Workshop on Software Engineering for Computational Science and Engineering (2009)

In order to make significant progress in solving challenging problems in Computational Science & Engineering (CS&E), we need to integrate a large amount of software written by different groups of experts. Modern Lean/Agile methodologies would seem to provide a good foundation for research-driven development of complex CS&E software. Here, we describe issues related to the integration of CS&E software and propose different integration processes tailored to the special challenges in CS&E. We also describe practical experience with some of these tailored integration strategies related to Trilinos and some of its important application customers at Sandia National Labs.
HashCache: cache storage for the next billion
Authors: Anirudh Badam, KyoungSoo Park, Vivek S. Pai, Larry L. Peterson
Venue: Proceedings of the 6th USENIX symposium on Networked systems design and implementation (2009)

We present HashCache, a configurable cache storage engine designed to meet the needs of cache storage in the developing world. With the advent of cheap commodity laptops geared for mass deployments, developing regions are poised to become major users of the Internet, and given the high cost of bandwidth in these parts of the world, they stand to gain significantly from network caching. However, current Web proxies are incapable of providing large storage capacities while using small resource footprints, a requirement for the integrated multi-purpose servers needed to effectively support developing-world deployments. Hash-Cache presents a radical departure from the conventional wisdom in network cache design, and uses 6 to 20 times less memory than current techniques while still providing comparable or better performance. As such, Hash-Cache can be deployed in configurations not attainable with current approaches, such as having multiple terabytes of external storage cache attached to low-powered machines. HashCache has been successfully deployed in two locations in Africa, and further deployments are in progress.
Scaling the MOSFET gate dielectric: From high-k to higher-k? (Invited Paper)
Authors: Martin M. Frank, SangBum Kim, Stephen L. Brown, John Bruley, Matthew Copel, Marco Hopstaken, Michael Chudzik, Vijay Narayanan
Venue: Microelectronic Engineering (2009)

We discuss options for metal-oxide-semiconductor field-effect transistor (MOSFET) gate stack scaling with thin titanium nitride metal gate electrodes and high-permittivity ('high-k') gate dielectrics, aimed at gate-first integration schemes. Both options are based on further increasing permittivity of the dielectric stack. First, we show that hafnium-based stacks such as TiN/HfO"2 can be scaled to capacitance equivalent thickness in inversion (T"i"n"v) of 10A and equivalent oxide thickness (EOT) of 6A by using silicon nitride instead of silicon oxide as a high-k/channel interfacial layer. This is based on the higher dielectric constant of Si"3N"4 and on its resistance to oxidation. Although the nitrogen introduces positive fixed charges, carrier mobility is not degraded. Secondly, we investigate whether Ti-based 'higher-k' dielectrics have the potential to ultimately replace Hf. We discuss oxygen loss from TiO"2 as a main challenge, and identify two migration pathways for such oxygen atoms: In addition to well-known down-diffusion and channel Si oxidation, we have newly observed oxygen up-diffusion through the TiN metal gate, forming SiO"2 at the poly-Si contact. We further address the performance of Si"3N"4 and HfO"2 as oxygen barrier layers.
Exponential-time approximation of weighted set cover
Authors: Marek Cygan, Łukasz Kowalik, Mateusz Wykurz
Venue: Information Processing Letters (2009)

The Set Cover problem belongs to a group of hard problems which are neither approximable in polynomial time (at least with a constant factor) nor fixed parameter tractable, under widely believed complexity assumptions. In recent years, many researchers design exact exponential-time algorithms for problems of that kind. The goal is getting the time complexity still of order O(c^n), but with the constant c as small as possible. In this work we extend this line of research and we investigate whether the constant c can be made even smaller when one allows constant factor approximation. In fact, we describe a kind of approximation schemes-trade-offs between approximation factor and the time complexity. We use general transformations from exponential-time exact algorithms to approximations that are faster but still exponential-time. For example, we show that for any reduction rate r, one can transform any O^*(c^n)-time^1 algorithm for Set Cover into a (1+lnr)-approximation algorithm running in time O^*(c^n^/^r). We believe that results of that kind extend the applicability of exact algorithms for NP-hard problems.
Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction
Authors: Ken Satoh, Satoshi Tojo
Venue: Proceeding of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference (2006)

We consider a problem of causality in legal reasoning. Conditio sine qua non (c.s.q.n) is a frequently used heuristics which determines a causality in legal reasoning. We argue that a paradox of c.s.q.n. is derived from a confusion between disjunction of causes and disjunctive cause and give a logical solution to the paradox using minimal abduction.
Proceedings of the 4th International Conference on Future Internet Technologies
Venue: Conference on the Future of the Internet (2009)

International Conference on Future Internet Technology 2009 (CFI 2009) is the fourth event of this series dedicated to the future internet technologies. It aims to provide a meeting venue where future internet researchers in Asia, Europe, and North America gather together to share their visions and long-term research activities. On behalf of all people worked for the preparation of CFI 2009, we would like to take this opportunity to welcome all participants and together with you we hope to explore research directions that can contribute in fundamentally improving the cyber infrastructure in the coming years.
The Voronoi Diagram of Three Lines
Authors: Hazel Everett, Daniel Lazard, Sylvain Lazard, Mohab Safey&#x00a0;El&#x00a0;Din
Venue: Discrete Computational Geometry (2009)

We give a complete description of the Voronoi diagram, in &#x211d;3, of three lines in general position, that is, that are pairwise skew and not all parallel to a common plane. In particular, we show that the topology of the Voronoi diagram is invariant for three such lines. The trisector consists of four unbounded branches of either a nonsingular quartic or of a nonsingular cubic and a line that do not intersect in real space. Each cell of dimension two consists of two connected components on a hyperbolic paraboloid that are bounded, respectively, by three and one of the branches of the trisector. We introduce a proof technique which relies heavily upon modern tools of computer algebra and is of interest in its own right. This characterization yields some fundamental properties of the Voronoi diagram of three lines. In particular, we present linear semi-algebraic tests for separating the two connected components of each two-dimensional Voronoi cell and for separating the four connected components of the trisector. This enables us to answer queries of the form, given a point, determine in which connected component of which cell it lies. We also show that the arcs of the trisector are monotonic in some direction. These properties imply that points on the trisector of three lines can be sorted along each branch using only linear semi-algebraic tests.
Minimizing makespan in a multiclass fluid network with parameter uncertainty
Authors: Burak Büke, John j. Hasenbein, David p. Morton
Venue: Probability in the Engineering and Informational Sciences (2009)

We introduce and investigate a new type of decision problem related to multiclass fluid networks. Optimization problems arising from fluid networks with known parameters have been studied extensively in the queueing, scheduling, and optimization literature. In this article, we explore the makespan problem in fluid networks, with the assumption that the parameters are known only through a probability distribution. Thus, the decision maker does not have complete knowledge of the parameters in advance. This problem can be formulated as a stochastic nonlinear program. We provide necessary and sufficient feasibility conditions for this class of problems. We also derive a number of other structural results that can be used in developing effective computational procedures for solving stochastic fluid makespan problems.
Snake like unit using flexible spines and redundant actuation
Authors: Sorin Dumitru, Cristian Copilusi, Ionut Geonea
Venue: Proceedings of the 4th WSEAS/IASME international conference on Dynamical systems and control (2008)

In this paper we present a robotic structure with flexible elements which can be utilized for the minimal invasive surgery or for research of the exploitation in the underwater Domain. This utilization in different domains can be guaranteed by the modular construction with redundant activity and by utilizing multiple vertebrate. The modular construction of the system can allow two acting modes, respective acting by wires with a flexible vertebrate column and the acting with flexible vertebrate column by pushing, respective drawing. We propose a comparison between the two acting modes by the point of view of the charging of radial dimensions and of the functional capacities in principal for the utilization in medicine. To point out the structural and the acting advantages of the robotic system we will use analyze with the finite elements in static and dynamic conditions.
Cyclic Division Algebras: A Tool for Space-Time Coding
Authors: Frdrique Oggier, Jean-Claude Belfiore, Emanuele Viterbo
Venue: Foundations And Trends(R) In Communications And Information Theory (2007)

Cyclic Division Algebras: A Tool for Space-Time Coding provides a tutorial introduction to the algebraic tools involved in the design of codes based on division algebras. The different design criteria involved are illustrated, including the constellation shaping, the information lossless property, the non-vanishing determinant property and the diversity multiplexing tradeoff. Finally complete mathematical background underlying the construction of the Golden code and the other Perfect Space-Time block codes is given.
Lanthanum implantation for threshold voltage control in metal/high-k devices
Authors: A. Fet, V. Häublein, A. J. Bauer, H. Ryssel, L. Frey
Venue: Microelectronic Engineering (2009)

In this paper the tuning of the n-metal effective work function by implantation of lanthanum is demonstrated. The effect of implantation and thermal annealing on the device flat-band voltage is presented. It is shown that lanthanum doping of the gate stack produces a negative shift of the flat-band voltage of -0.53 V for a lanthanum does of 5x10^1^4 cm^-^2, after the device undergoes S/D anneal conditions. The results are discussed within the framework of a phenomenological dipole model and compared with other results
Self-Organization of Tactile Receptive Fields: Exploring Their Textural Origin and Their Representational Properties
Authors: Choonseog Park, Heeyoul Choi, Yoonsuck Choe
Venue: Proceedings of the 7th International Workshop on Advances in Self-Organizing Maps (2009)

In our earlier work, we found that feature space induced by tactile receptive fields (TRFs) are better than that by visual receptive fields (VRFs) in texture boundary detection tasks. This suggests that TRFs could be intimately associated with texture-like input. In this paper, we investigate how TRFs can develop in a cortical learning context. Our main hypothesis is that TRFs can be self-organized using the same cortical development mechanism found in the visual cortex, simply by exposing it to texture-like inputs (as opposed to natural-scene-like inputs). To test our hypothesis, we used the LISSOM model of visual cortical development. Our main results show that texture-like inputs lead to the self-organization of TRFs while natural-scene-like inputs lead to VRFs. These results suggest that TRFs can better represent texture than VRFs. We further analyzed the effectiveness of TRFs in representing texture, using kernel Fisher discriminant (KFD) and the results, along with texture classification performance, confirm that this is indeed the case. We expect these results to help us better understand the nature of texture, as a fundamentally tactile property.
Fast transmission mechanism of emergency data in AFDX network systems
Authors: Hangyun Jung, Pusik Park, Daekyo Shin, Kitaeg Lim, Jongchan Choi
Venue: Proceedings of the 2nd conference on European computing conference (2008)

Avionics Full Duplex Switched Ethernet(AFDX) network system deployed in modern aircraft offers higher bandwidth and capability for aircraft data network. AFDX network system adopted IEEE 802.3 Ethernet technology and added some special features to compose deterministic and fault tolerant network. In AFDX network system, every application data is transferred periodically based on many features that include traffic shaping, policing and so on. Emergency data related to safety also is delivered based on traffic shaping and policing, so emergent situation cannot be reported immediately. We propose a fast transmission mechanism of emergency data in AFDX network systems for improving the rapid data delivery. In proposed scheme, emergency data needs not wait until BAG timer expires. In other words, emergency data can be transferred immediately by MAC layer of End System irrespective of allowed bandwidth and traffic policing function of intermediate switches.
Hierarchical QAM BICM MIMO systems with iterative decoding and applications to media broadcast
Authors: Sean A. Ramprashad, Carl-Erik W. Sundberg
Venue: Proceedings of the 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (2008)

The paper presents an approach to the design of layered BICM MIMO systems using multi-stage iterative decoding and Soft Output M-Algorithm (SOMA) based component decoders. The systems consider transmission based on multilevel coding linked to hierarchical QAM constellations. The receivers are iterative designs with a view to supporting high-rates. These receiver designs can also be used to obtain reduced complexity. The performance of the SOMA schemes are compared to achievable rate bounds for multi-level D-BLAST based schemes. The D-BLAST receivers illustrate general limitations of non-iterative approaches. The multi-layer transmission approach provides a natural support for unequal error protection (UEP), and can be used to balance tradeoffs between robust coverage vs quality in media broadcast applications. Rough predictions on such tradeoffs are given using layered MPEG2 video as a media example.