On truthfulness and approximation for scheduling selfish tasks

We consider the problem of designing truthful mechanisms for scheduling n tasks on a set of m parallel related machines in order to minimize the makespan. In what follows, we consider that each task is owned by a selfish agent. This is a variant of the KP-model introduced by Koutsoupias and Papadimitriou (Proc. of STACS 1999, pp. 404–413, 1999) (and of the CKN-model of Christodoulou et al. in Proc. of ICALP 2004, pp. 345–357, 2004) in which the agents cannot choose the machine on which their tasks will be executed. This is done by a centralized authority, the scheduler. However, the agents may manipulate the scheduler by providing false information regarding the length of their tasks. We introduce the notion of increasing algorithm and a simple reduction that transforms any increasing algorithm into a truthful one. Furthermore, we show that some of the classical scheduling algorithms are indeed increasing: the LPT algorithm, the PTAS of Graham (SIAM J. Appl. Math. 17(2):416–429, 1969) in the case of two machines, as well as a simple PTAS for the case of m machines, with m a fixed constant. Our results yield a randomized r(1+ε)-approximation algorithm where r is the ratio between the largest and the smallest speed of the related machines. Furthermore, by combining our approach with the classical result of Shmoys et al. (SIAM J. Comput. 24(6):1313–1331, 1995), we obtain a randomized 2r(1+ε)-competitive algorithm. It has to be noticed that these results are obtained without payments, unlike most of the existing works in the field of Mechanism Design. Finally, we show that if payments are allowed then our approach gives a (1+ε)-algorithm for the off-line case with related machines.     

Estimation of stream channel geometry in Idaho using GIS-derived watershed characteristics

This paper describes estimation of stream channel geometry with multiple regression analysis of GIS-derived watershed characteristics including drainage area, catchment-averaged precipitation, mean watershed slope, elevation, forest cover, percent area with slopes greater than 30 percent, and percent area with north-facing slopes greater than 30 percent. Results from this multivariate predictor method were compared to results from the traditional single-variable (drainage area) relationship for a sample of 98 unregulated and undiverted streams in Idaho. Root-mean-squared error (RMSE) was calculated for both multiple- and single-variable predictions for 100 independent, random subsamples of the dataset at each of four different subsample levels. The multiple-variable technique produced significantly lower RMSE for prediction of both stream width and depth when compared to the drainage area-only technique. In the best predictive equation, stream width depended positively on drainage area and mean watershed precipitation, and negatively on fraction of watershed consisting of north-facing slopes greater than 30%. Stream depth depended positively on drainage area and precipitation, and negatively on mean watershed elevation. Our results suggest that within a given physiographic province, multivariate analysis of readily available GIS-derived watershed variables can significantly improve estimates of stream width and depth for use in flow-routing software models.     

Strategic reasoning about business models: a conceptual modeling approach

Strategic reasoning about business models is an integral part of service design. In fast moving markets, businesses must be able to recognize and respond strategically to disruptive change. They have to answer questions such as: what are the threats and opportunities in emerging technologies and innovations? How should they target customer groups? Who are their real competitors? How will competitive battles take shape? In this paper we define a strategic modeling framework to help understand and analyze the goals, intentions, roles, and the rationale behind the strategic actions in a business environment. This understanding is necessary in order to improve existing or design new services. The key component of the framework is a strategic business model ontology for representing and analyzing business models and strategies, using the i* agent and goal oriented methodology as a basis. The ontology introduces a strategy layer which reasons about alternative strategies that are realized in the operational layer. The framework is evaluated using a retroactive example of disruptive technology in the telecommunication services sector from the literature.     

Mediating Power: Distance Learning Interfaces, Classroom Epistemology, and the Gaze

Distance learning's interfaces—from corresponding through the postal service to the televised talking head—have traditionally been designed from the top down, supporting banking models of learning or, in writing instruction, current-traditional rhetoric pedagogies. Due to temporal and spatial constraints, these interface designs often support (or encourage) one-way communication from the instructor to the student. Students mostly interact with the instructor by asking questions or submitting work, and they tend to have little correspondence with other peers. These methods clearly privilege the instructor's knowledge and evaluation. Furthermore, these interface designs empower the instructor to gaze upon the students and assess them—often not as a corporeal body but as a corpus of texts. Thus, each interface adopted for distance learning sets up a power dynamic in which the capability to share the roles of creating knowledge is juxtaposed with the instructor's capability to normalize the students and reify their own authority through their gaze. In this article we examine the traditional classroom interface through the correspondence course interface, the simulated classroom interface, and the synchronous video interface to raise questions about the infrastructures of distance learning and their implications for student learning.     

The effect of floor slope on sub-maximal lifting capacity and technique

Inclined surfaces, where both the lifter and load are on the slope, may be encountered in a jobsite situation. The purpose of this study was to determine if facing up or down a sloped surface (10 degrees and 20 degrees ) would affect maximal acceptable weights of lift (MAWL) using a 10 min psychophysical approach with symmetric freestyle technique at 4 lifts/min. Seventeen healthy men and 18 women determined floor to knuckle height MAWL while facing uphill, downhill, and on a level surface. Motion capture was also performed to examine sagittal plane joint angles and foot placement relative to a milk crate. Slope did not alter MAWL (p>0.05) with the men lifting more than the women in every condition (p<0.001) (25 kg vs. 15 kg, respectively). Foot placement relative to the box was altered by slope such that both horizontal position behind and vertical position below the box increased as slope changed from the downhill to uphill conditions (both p<0.001). Forward torso lean as well as hip, knee, and ankle (plantar) flexion generally decreased as slope changed from the downhill to uphill conditions (all p<0.001). Torso and knee motion appeared to be protected compared to the other joints, changing the least. Though trends were the same in both sexes, interactions did exist in vertical foot position and hip angle (both p0.001). In conclusion, the body is highly adaptive to floor slope, maintaining MAWL at least in the short term. However, while slight technique differences exist between men and women, care should be taken by all when facing uphill due to the tendency to stand further from the load horizontally and when facing downhill due to increased torso lean.     

不同无线技术能否共存?

新建工厂的无线技术应用已逐步获得认可,然而,还有一些过程工业对采用这项新技术或其它新的解决方案存有疑虑,主要担心多种无线技术互相之间可能存在射频干扰而影响主要通讯的可靠性,例如使用IEEE 802.11b/g和IEEE 802.15.4协议的无线电。因为两种无线电通讯采用的也是用于工业、科技和医疗的2.4GHz波段,业内人士曾     

NETMET: A program for generating and interpreting metaphors

Metaphors have computable semantics. A program called NETMET both generates metaphors and produces partial literal interpretations of metaphors. NETMET is based on Kittay's semantic field theory of metaphor and Black's interaction theory of metaphor. Input to NETMET consists of a list of literal propositions. NETMET creates metaphors by finding topic and source semantic fields, producing an analogical map from source to topic, then generating utterances in which terms in the source are identified with or predicated of terms in the topic. Given a metaphor, NETMET utilizes if-then rules to generate the implication complex of that metaphor. The literal leaves of the implication complex comprise a partial literal interpretation.Eric Steinhart has an MA in philosophy (Boston College) and completed his PhD dissertation (Formal Semantics for Metaphors) at SUNY at Stony Brook. He has written on technology, analogy, metaphor and idealism. His publications include Beyond the Proportional Analogy: A Structural Model of AnalogyPragmatics and Cognition, 2, 1 (1994). He is interested in the application of computational methods to philosophical topics and is working on a computational model of idealistic metaphysics.     

Face Editing Using Part-Based Optimization of the Latent Space

We propose an approach for interactive 3D face editing based on deep generative models. Most of the current face modeling methods rely on linear methods and cannot express complex and non-linear deformations. In contrast to 3D morphable face models based on Principal Component Analysis (PCA), we introduce a novel architecture based on variational autoencoders. Our architecture has multiple encoders (one for each part of the face, such as the nose and mouth) which feed a single decoder. As a result, each sub-vector of the latent vector represents one part. We train our model with a novel loss function that further disentangles the space based on different parts of the face. The output of the network is a whole 3D face. Hence, unlike part-based PCA methods, our model learns to merge the parts intrinsically and does not require an additional merging process. To achieve interactive face modeling, we optimize for the latent variables given vertex positional constraints provided by a user. To avoid unwanted global changes elsewhere on the face, we only optimize the subset of the latent vector that corresponds to the part of the face being modified. Our editing optimization converges in less than a second. Our results show that the proposed approach supports a broader range of editing constraints and generates more realistic 3D faces.     

A Soft,Fast and Versatile Electrohydraulic Gripper with Capacitive Object Size Detection

Soft robotic grippers achieve increased versatility and reduced complexity through intelligence embodied in their flexible and conformal structures. The most widely used soft grippers are pneumatically driven; they are simple and effective but require bulky air compressors that limit their application space and external sensors or computationally expensive vision systems for pick verification. In this study, a multi-material architecture for self-sensing electrohydraulic bending actuators is presented that enables a new class of highly versatile and reconfigurable soft grippers that are electrically driven and feature capacitive pick verification and object size detection. These electrohydraulic grippers are fast (step input results in finger closure in 50 ms), draw low power (6.5 mW per finger to hold grasp), and can pick a wide variety of objects with simple binary electrical control. Integrated high-voltage driving electronics are presented that greatly increase the application space of the grippers and make them readily compatible with commercially available robotic arms.     

Interfacial Connections between Organic Perovskite/n+ Silicon/Catalyst that Allow Integration of Solar Cell and Catalyst for Hydrogen Evolution from Water

The rapidly increasing solar conversion efficiency (PCE) of hybrid organic–inorganic perovskite (HOIP) thin-film semiconductors has triggered interest in their use for direct solar-driven water splitting to produce hydrogen. However, application of these low-cost, electronic-structure-tunable HOIP tandem photoabsorbers has been hindered by the instability of the photovoltaic-catalyst-electrolyte (PV+E) interfaces. Here, photolytic water splitting is demonstrated using an integrated configuration consisting of an HOIP/n⁺silicon single junction photoabsorber and a platinum (Pt) thin film catalyst. An extended electrochemical (EC) lifetime in alkaline media is achieved using titanium nitride on both sides of the Si support to eliminate formation of insulating silicon oxide, and as an effective diffusion barrier to allow high-temperature annealing of the catalyst/TiO₂-protected-n⁺silicon interface necessary to retard electrolytic corrosion. Halide composition is examined in the (FA_1-xCs_x)PbI₃ system with a bandgap suitable for tandem operation. A fill factor of 72.5% is achieved using a Spiro-OMeTAD-hole-transport-layer (HTL)-based HOIP/n⁺Si solar cell, and a high photocurrent density of −15.9 mA cm⁻² (at 0 V vs reversible hydrogen electrode) is attained for the HOIP/n⁺Si/Pt photocathode in 1 m NaOH under simulated 1-sun illumination. While this thin-film design creates stable interfaces, the intrinsic photo- and electro-degradation of the HOIP photoabsorber remains the main obstacle for future HOIP/Si tandem PEC devices.