Query: Tolerating hardware device failures in software

Relevant passages:
The design and implementation of microdrivers <=SEP=> Device drivers commonly execute in the kernel to achieve high performance and easy access to kernel services. However, this comes at the price of decreased reliability and increased programming difficulty. Driver programmers are unable to use user-mode development tools and must instead use cumbersome kernel tools. Faults in kernel drivers can cause the entire operating system to crash. User-mode drivers have long been seen as a solution to this problem, but suffer from either poor performance or new interfaces that require a rewrite of existing drivers.
 This paper introduces the Microdrivers architecture that achieves high performance and compatibility by leaving critical path code in the kernel and moving the rest of the driver code to a user-mode process. This allows data-handling operations critical to I/O performance to run at full speed, while management operations such as initialization and configuration run at reduced speed in user-level. To achieve compatibility, we present DriverSlicer, a tool that splits existing kernel drivers into a kernel-level component and a user-level component using a small number of programmer annotations. Experiments show that as much as 65% of driver code can be removed from the kernel without affecting common-case performance, and that only 1-6 percent of the code requires annotations.

XFI: Software Guards for System Address Spaces <=SEP=> XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodity systems. For this purpose, XFI combines static analysis with inline software guards and a two-stack execution model. We have implemented XFI for Windows on the x86 architecture using binary rewriting and a simple, stand-alone verifier; the implementation's correctness depends on the verifier, but not on the rewriter. We have applied XFI to software such as device drivers and multimedia codecs. The resulting modules function safely within both kernel and user-mode address spaces, with only modest enforcement overheads.

CuriOS: Improving Reliability through Operating System Structure <=SEP=> An error that occurs in a microkernel operating system service can potentially result in state corruption and service failure. A simple restart of the failed service is not always the best solution for reliability. Blindly restarting a service which maintains client-related state such as session information results in the loss of this state and affects all clients that were using the service. CuriOS represents a novel OS design that uses lightweight distribution, isolation and persistence of OS service state to mitigate the problem of state loss during a restart. The design also significantly reduces error propagation within client-related state maintained by an OS service. This is achieved by encapsulating services in separate protection domains and granting access to client-related state only when required for request processing. Fault injection experiments show that it is possible to recover from between 87% and 100% of manifested errors in OS services such as the file system, network, timer and scheduler while maintaining low performance overheads.

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs <=SEP=> This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs. Compared to C, CIL has fewer constructs. It breaks down certain complicated constructs of C into simpler ones, and thus it works at a lower level than abstract-syntax trees. But CIL is also more high-level than typical intermediate languages (e.g., three-address code) designed for compilation. As a result, what we have is a representation that makes it easy to analyze and manipulate C programs, and emit them in a form that resembles the original source. Moreover, it comes with a front-end that translates to CIL not only ANSI C programs but also those using Microsoft C or GNU C extensions. We describe the structure of CIL with a focus on how it disambiguates those features of C that we found to be most confusing for program analysis and transformation. We also describe a whole-program merger based on structural type equality, allowing a complete project to be viewed as a single compilation unit. As a representative application of CIL, we show a transformation aimed at making code immune to stack-smashing attacks. We are currently using CIL as part of a system that analyzes and instruments C programs with run-time checks to ensure type safety. CIL has served us very well in this project, and we believe it can usefully be applied in other situations as well.

Thorough static analysis of device drivers <=SEP=> Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows driver API itself: programmers must master a complex set of rules about how to use the driver API in order to create drivers that are good clients of the kernel. We have built a static analysis engine that finds API usage errors in C programs. The Static Driver Verifier tool (SDV) uses this engine to find kernel API usage errors in a driver. SDV includes models of the OS and the environment of the device driver, and over sixty API usage rules. SDV is intended to be used by driver developers "out of the box." Thus, it has stringent requirements: (1) complete automation with no input from the user; (2) a low rate of false errors. We discuss the techniques used in SDV to meet these requirements, and empirical results from running SDV on over one hundred Windows device drivers.

Why We Need New Evaluation Metrics for NLG <=SEP=> The majority of NLG evaluation relies on automatic metrics, such as BLEU. In this paper, we motivate the need for novel, systemand data-independent automatic evaluation methods: We investigate a wide range of metrics, including state-of-the-art word-based and novel grammar-based ones, and demonstrate that they only weakly reflect human judgements of system outputs as generated by data-driven, end-to-end NLG. We also show that metric performance is dataand system-specific. Nevertheless, our results also suggest that automatic metrics perform reliably at system-level and can support system development by finding cases where a system performs poorly.

Living in two homes-a Swedish national survey of wellbeing in 12 and 15 year olds with joint physical custody <=SEP=> BACKGROUND
The practice of joint physical custody, where children spend equal time in each parent's home after they separate, is increasing in many countries. It is particularly common in Sweden, where this custody arrangement applies to 30 per cent of children with separated parents. The aim of this study was to examine children's health-related quality of life after parental separation, by comparing children living with both parents in nuclear families to those living in joint physical custody and other forms of domestic arrangements.


METHODS
Data from a national Swedish classroom study of 164,580 children aged 12 and 15-years-old were analysed by two-level linear regression modelling. Z-scores were used to equalise scales for ten dimensions of wellbeing from the KIDSCREEN-52 and the KIDSCREEN-10 Index and analysed for children in joint physical custody in comparison with children living in nuclear families and mostly or only with one parent.


RESULTS
Living in a nuclear family was positively associated with almost all aspects of wellbeing in comparison to children with separated parents. Children in joint physical custody experienced more positive outcomes, in terms of subjective wellbeing, family life and peer relations, than children living mostly or only with one parent. For the 12-year-olds, beta coefficients for moods and emotions ranged from -0.20 to -0.33 and peer relations from -0.11 to -0.20 for children in joint physical custody and living mostly or only with one parent. The corresponding estimates for the 15-year-olds varied from -0.08 to -0.28 and from -0.03 to -0.13 on these subscales. The 15-year-olds in joint physical custody were more likely than the 12-year-olds to report similar wellbeing levels on most outcomes to the children in nuclear families.


CONCLUSIONS
Children who spent equal time living with both parents after a separation reported better wellbeing than children in predominantly single parent care. This was particularly true for the 15-year-olds, while the reported wellbeing of 12-years-olds was less satisfactory. There is a need for further studies that can account for the pre and post separation context of individual families and the wellbeing of younger age groups in joint physical custody.

Reaching Agreement in the Presence of Faults <=SEP=> The problem addressed here concerns a set of isolated processors, some unknown subset of which may be faulty, that communicate only by means of two-party messages. Each nonfaulty processor has a private value of information that must be communicated to each other nonfaulty processor. Nonfaulty processors always communicate honestly, whereas faulty processors may lie. The problem is to devise an algorithm in which processors communicate their own values and relay values received from others that allows each nonfaulty processor to infer a value for each other processor. The value inferred for a nonfaulty processor must be that processor's private value, and the value inferred for a faulty one must be consistent with the corresponding value inferred by each other nonfaulty processor.
It is shown that the problem is solvable for, and only for, n ≥ 3m + 1, where m is the number of faulty processors and n is the total number. It is also shown that if faulty processors can refuse to pass on information but cannot falsely relay information, the problem is solvable for arbitrary n ≥ m ≥ 0. This weaker assumption can be approximated in practice using cryptographic methods.

User privacy risk calculator <=SEP=> User privacy is becoming an issue on the Internet due to common data breaches and various security threats. Services tend to require private user data in order to provide more personalized content and users are typically unaware of potential risks to their privacy. This paper proposes a risk calculator based on a feedforward neural network that will provide users with an ability to calculate risks to their privacy. The proposed calculator is evaluated on a set of real world example scenarios. Furthermore, to give more insight into privacy issues, each estimated risk is explained by several real life scenarios that might happen if the observed parameters are obtained by an attacker. In turn, this should raise user awareness and knowledge about privacy issues on the Internet.

VALUE , RARENESS , COMPETITIVE ADVANTAGE , AND PERFORMANCE : A CONCEPTUAL-LEVEL EMPIRICAL INVESTIGATION OF THE RESOURCE-BASED VIEW OF THE FIRM <=SEP=> The resource-based view of the firm (RBV) hypothesizes that the exploitation of valuable, rare resources and capabilities contributes to a firm’s competitive advantage, which in turn contributes to its performance. Despite this notion, few empirical studies test these hypotheses at the conceptual level. In response to this gap, this study empirically examines the relationships between value, rareness, competitive advantage, and performance. The results suggest that value and rareness are related to competitive advantage, that competitive advantage is related to performance, and that competitive advantage mediates the rareness-performance relationship. These findings have important academic and practitioner implications which are then discussed. Copyright  2008 John Wiley & Sons, Ltd.

A Configurable 12–237 kS/s 12.8 mW Sparse-Approximation Engine for Mobile Data Aggregation of Compressively Sampled Physiological Signals <=SEP=> Compressive sensing (CS) is a promising technology for realizing low-power and cost-effective wireless sensor nodes (WSNs) in pervasive health systems for 24/7 health monitoring. Due to the high computational complexity (CC) of the reconstruction algorithms, software solutions cannot fulfill the energy efficiency needs for real-time processing. In this paper, we present a 12-237 kS/s 12.8 mW sparse-approximation (SA) engine chip that enables the energy-efficient data aggregation of compressively sampled physiological signals on mobile platforms. The SA engine chip integrated in 40 nm CMOS can support the simultaneous reconstruction of over 200 channels of physiological signals while consuming (1% of a smartphone's power budget. Such energyefficient reconstruction enables two-to-three times energy saving at the sensor nodes in a CS-based health monitoring system as compared to traditional Nyquist-based systems, while providing timely feedback and bringing signal intelligence closer to the user.

Dragonfly wing nodus: A one-way hinge contributing to the asymmetric wing deformation. <=SEP=> Dragonfly wings are highly specialized locomotor systems, which are formed by a combination of several structural components. The wing components, also known as structural elements, are responsible for the various aspects of the wing functionality. Considering the complex interactions between the wing components, modelling of the wings as a whole is only possible with inevitable huge oversimplifications. In order to overcome this difficulty, we have recently proposed a new approach to model individual components of complex wings comparatively. Here, we use this approach to study nodus, a structural element of dragonfly wings which has been less studied to date. Using a combination of several imaging techniques including scanning electron microscopy (SEM), wide-field fluorescence microscopy (WFM), confocal laser scanning microscopy (CLSM) and micro-computed tomography (micro-CT) scanning, we aim to characterize the spatial morphology and material composition of fore- and hindwing nodi of the dragonfly Brachythemis contaminata. The microscopy results show the presence of resilin in the nodi, which is expected to help the deformability of the wings. The computational results based on three-dimensional (3D) structural data suggest that the specific geometry of the nodus restrains its displacements when subjected to pressure on the ventral side. This effect, resulting from an interlocking mechanism, is expected to contribute to the dorso-ventral asymmetry of wing deformation and to provide a higher resistance to aerodynamic forces during the downstroke. Our results provide an important step towards better understanding of the structure-property-function relationship in dragonfly wings.


STATEMENT OF SIGNIFICANCE
In this study, we investigate the wing nodus, a specialized wing component in dragonflies. Using a combination of modern imaging techniques, we demonstrate the presence of resilin in the nodus, which is expected to facilitate the wing deformability in flight. The specific geometry of the nodus, however, seems to restrain its displacements when subjected to pressure on the ventral side. This effect, resulting from an interlocking mechanism, is suggested to contribute to dorso-ventral asymmetry of wing deformations and to provide a higher resistance to aerodynamic forces during the downstroke. Our results provide an important step towards better understanding of the structure-property-function relationship in dragonfly wings and might help to design more efficient wings for biomimetic micro-air vehicles.

Single-stage 6.78 MHz power-amplifier design using high-voltage GaN power ICs for wireless charging applications <=SEP=> Traditional power amplifiers for wireless power transfer require a low voltage dc power supply generated by a power adapter. This multi-stage power conversion solution reduces the overall efficiency. A single-stage “AC-RF” power amplifier architecture using a phase-modulated full-bridge topology and high voltage GaN Power ICs is proposed to directly generate 6.78 MHz wireless power from a rectified ac source. A 50W power amplifier is built and achieves 90% ac-to-coil efficiency, which reduces overall power loss by half, comparing to existing multi-stage solutions. The operating principle of a phase-shifted full bridge power amplifier is discussed, and analytical equations are provided for the passive filter network design. A coupled ZVS-tank scheme is also proposed to improve efficiency.

Batch Mode Active Learning for Regression With Expected Model Change <=SEP=> While active learning (AL) has been widely studied for classification problems, limited efforts have been done on AL for regression. In this paper, we introduce a new AL framework for regression, expected model change maximization (EMCM), which aims at choosing the unlabeled data instances that result in the maximum change of the current model once labeled. The model change is quantified as the difference between the current model parameters and the updated parameters after the inclusion of the newly selected examples. In light of the stochastic gradient descent learning rule, we approximate the change as the gradient of the loss function with respect to each single candidate instance. Under the EMCM framework, we propose novel AL algorithms for the linear and nonlinear regression models. In addition, by simulating the behavior of the sequential AL policy when applied for <inline-formula> <tex-math notation="LaTeX">$k$ </tex-math></inline-formula> iterations, we further extend the algorithms to batch mode AL to simultaneously choose a set of <inline-formula> <tex-math notation="LaTeX">$k$ </tex-math></inline-formula> most informative instances at each query time. Extensive experimental results on both UCI and StatLib benchmark data sets have demonstrated that the proposed algorithms are highly effective and efficient.

End-to-End Sound Source Separation Conditioned On Instrument Labels <=SEP=> Can we perform an end-to-end sound source separation (SSS) with a variable number of sources using a deep learning model? This paper presents an extension of the WaveU-Net [1] model which allows end-to-end monaural source separation with a non-fixed number of sources. Furthermore, we propose multiplicative conditioning with instrument labels at the bottleneck of the Wave-U-Net and show its effect on the separation results. This approach can be further extended to other types of conditioning such as audio-visual SSS and score-informed SSS.

Applying Genre-Based Ontologies to Enterprise Architecture <=SEP=> This paper elaborates the approach of using ontologies as a conceptual base for enterprise architecture (EA) descriptions. The method focuses on recognising and modelling business critical information concepts, their content, and semantics used to operate the business. Communication genres and open and semi-structured information need interviews are used as a domain analysis method. Ontologies aim to explicate the results of domain analysis and to provide a common reference model for Business Information Architecture (BIA) descriptions. The results are generalised to model further aspects of EA.

Evaluation of LoRa receiver performance under co-technology interference <=SEP=> LoRa networks achieve a remarkably wide coverage as compared to that of the conventional wireless systems by employing the chirp spread spectrum (CSS). However, single-hop LoRa networks have limited penetration in indoor environments and cannot efficiently utilize the multiple-access dimensions arising from different spreading factors (SF) because the star topology is typically used for LoRa. On the other hand, a multi-hop LoRa network has the potential to realize extensive network coverage by utilizing packet relaying and improving the network capacity by utilizing different SFs. We evaluated the LoRa receiver performance under co-technology interference via simulation and experiments to realize these potentials. The results show that LoRa can survive interference from time-synchronized packets transmitted by multiple transmitters with an identical SF. Furthermore, we examined the orthogonality between different SFs by evaluating the required signal-to-interference ratio (SIR). Finally, we demonstrated the possibility of employing different SFs to construct the pipeline in a multi-hop relay network to increase network efficiency.

A decision model for evaluating third-party logistics providers using fuzzy analytic hierarchy process <=SEP=> As a consequence of an increasing trend toward the outsourcing of logistics activities, shippers have been faced with the inevitability of selecting an appropriate third-party logistics (3PL) provider. The selection process for the identification of a 3PL provider that best fits user requirements involves multiple criteria and alternatives and may be one of the most complex decisions facing logistics users. In this regard, this study proposes an evaluation framework and methodology for selecting a suitable 3PL provider and illustrates the process of evaluation and selection through a case study. It is expected that the results of this study will provide a practical reference for logistics managers who want to engage the best 3PL provider. Future research using different datasets is warranted to verify the generalizability of the findings.

A Short-Term Rainfall Prediction Model Using Multi-task Convolutional Neural Networks <=SEP=> Precipitation prediction, such as short-term rainfall prediction, is a very important problem in the field of meteorological service. In practice, most of recent studies focus on leveraging radar data or satellite images to make predictions. However, there is another scenario where a set of weather features are collected by various sensors at multiple observation sites. The observations of a site are sometimes incomplete but provide important clues for weather prediction at nearby sites, which are not fully exploited in existing work yet. To solve this problem, we propose a multi-task convolutional neural network model to automatically extract features from the time series measured at observation sites and leverage the correlation between the multiple sites for weather prediction via multi-tasking. To the best of our knowledge, this is the first attempt to use multi-task learning and deep learning techniques to predict short-term rainfall amount based on multi-site features. Specifically, we formulate the learning task as an end-to-end multi-site neural network model which allows to leverage the learned knowledge from one site to other correlated sites, and model the correlations between different sites. Extensive experiments show that the learned site correlations are insightful and the proposed model significantly outperforms a broad set of baseline models including the European Centre for Medium-range Weather Forecasts system (ECMWF).

Consumer Brand Engagement in Social Media : Conceptualization , Scale Development & Validation <=SEP=> Consumer Brand Engagement in Social Media: Conceptualization, Scale Development & Validation Abstract In the last three decades an influential research stream has emerged, which highlights the dynamics of focal consumer/brand relationships. Specifically, more recently the ‘consumer brand engagement’ (CBE) concept has been postulated to more comprehensively reflect the nature of consumers’ particular interactive brand relationships, relative to traditional concepts, including ‘involvement.’ However, despite the growing scholarly interest regarding the undertaking of marketing research addressing ‘engagement,’ studies have been predominantly exploratory in nature; thus generating a lack of empirical research in this area to date. By developing and validating a CBE scale in specific social media settings, we address this identified literature gap. Specifically, we conceptualize CBE as a consumer’s positively valenced brand-related cognitive, emotional and behavioral activity during or related to focal consumer/brand interactions. We derive three CBE dimensions, including cognitive processing, affection, and activation. Within three different social media contexts, we employ exploratory and confirmatory factor analyses to develop a reliable, 10-item CBE scale, which we proceed to validate within a nomological net of conceptual relationships and a rival model. The findings suggest that while consumer brand ‘involvement’ acts as a CBE antecedent, consumer ‘self-brand connection’ and ‘brand usage intent’ represent key CBE consequences; thus providing a platform for further research in this emerging area. We conclude with an overview of key managerial and scholarly implications arising from this research.

The efficiency frontier approach to economic evaluation of health-care interventions. <=SEP=> BACKGROUND
IQWiG commissioned an international panel of experts to develop methods for the assessment of the relation of benefits to costs in the German statutory health-care system.


PROPOSED METHODS
The panel recommended that IQWiG inform German decision makers of the net costs and value of additional benefits of an intervention in the context of relevant other interventions in that indication. To facilitate guidance regarding maximum reimbursement, this information is presented in an efficiency plot with costs on the horizontal axis and value of benefits on the vertical. The efficiency frontier links the interventions that are not dominated and provides guidance. A technology that places on the frontier or to the left is reasonably efficient, while one falling to the right requires further justification for reimbursement at that price. This information does not automatically give the maximum reimbursement, as other considerations may be relevant. Given that the estimates are for a specific indication, they do not address priority setting across the health-care system.


CONCLUSION
This approach informs decision makers about efficiency of interventions, conforms to the mandate and is consistent with basic economic principles. Empirical testing of its feasibility and usefulness is required.

Lane detection and tracking system based on the MSER algorithm, hough transform and kalman filter <=SEP=> We present a novel lane detection and tracking system using a fusion of Maximally Stable Extremal Regions (MSER) and Progressive Probabilistic Hough Transform (PPHT). First, MSER is applied to obtain a set of blobs including noisy pixels (e.g., trees, cars and traffic signs) and the candidate lane markings. A scanning refinement algorithm is then introduced to enhance the results of MSER and filter out noisy data. After that, to achieve the requirements of real-time systems, the PPHT is applied. Compared to Hough transform which returns the parameters ρ and Θ, PPHT returns two end-points of the detected line markings. To track lane markings, two kalman trackers are used to track both end-points. Several experiments are conducted in Ottawa roads to test the performance of our framework. The detection rate of the proposed system averages 92.7% and exceeds 84.9% in poor conditions.

IT capability and organizational performance: the roles of business process agility and environmental factors <=SEP=> School of Business Administration, Southwestern University of Finance and Economics, Sichuan, P. R. of China; Business School, Shantou University, Guangdong, P. R. of China; Information Technology Management, School of Business, University at Albany, Albany, NY, U.S.A; Department of Management, Hong Kong University of Science and Technology, Hong Kong, P.R. China; Department of Finance and Decision Sciences, School of Business, Hong Kong Baptist University, Hong Kong, P.R. China

Maximum Performance Computing with Dataflow Engines <=SEP=> Multidisciplinary dataflow computing is a powerful approach to scientific computing that has led to orders-of-magnitude performance improvements for a wide range of applications.

Crowdfunding : tapping the right crowd <=SEP=> The basic idea of crowdfunding is to raise external finance from a large audience (the “crowd”), where each individual provides a very small amount, instead of soliciting a small group of sophisticated investors. The paper develops a model that associates crowdfunding with pre-ordering and price discrimination, and studies the conditions under which crowdfunding is preferred to traditional forms of external funding. Compared to traditional funding, crowdfunding has the advantage of offering an enhanced experience to some consumers and, thereby, of allowing the entrepreneur to practice menu pricing and extract a larger share of the consumer surplus; the disadvantage is that the entrepreneur is constrained in his/her choice of prices by the amount of capital that he/she needs to raise: the larger this amount, the more prices have to be twisted so as to attract a large number of “crowdfunders” who pre-order, and the less profitable the menu pricing scheme.

Opportunistic Flooding in Low-Duty-Cycle Wireless Sensor Networks with Unreliable Links <=SEP=> Intended for network-wide dissemination of commands, configurations and code binaries, flooding has been investigated extensively in wireless networks. However, little work has yet been done on low-duty-cycle wireless sensor networks in which nodes stay asleep most of time and wake up asynchronously. In this type of network, a broadcasting packet is rarely received by multiple nodes simultaneously, a unique constraining feature that makes existing solutions unsuitable. Combined with unreliable links, flooding in low-duty-cycle networks is a new challenging issue.
 In this paper, we introduce Opportunistic Flooding, a novel design tailored for low-duty-cycle networks with unreliable wireless links and predetermined working schedules. The key idea is to make probabilistic forwarding decisions at a sender based on the delay distribution of next-hop nodes. Only opportunistically early packets are forwarded using links outside the energy optimal tree to reduce the flooding delay and redundancy in transmission. To improve performance further, we propose a forwarder selection method to alleviate the hidden terminal problem and a link-quality-based backoff method to resolve simultaneous forwarding operations. We evaluate Opportunistic Flooding with extensive simulation and a test-bed implementation consisting of 30 MicaZ nodes. Evaluation shows our design is close to the optimal performance achievable by oracle flooding designs. Compared with improved traditional flooding, our design achieves significantly shorter flooding delay while consuming only 20% ~ 60% of the transmission energy in various low-duty-cycle network settings.

How can machine learning help stock investment ? <=SEP=> The million-dollar question for stock investors is if the price of a stock will rise or not. The fluctuation of stock market is violent and there are many complicated financial indicators. Only people with extensive experience and knowledge can understand the meaning of the indicators, use them to make good prediction to get fortune. Most of other people can only rely on lucky to earn money from stock trading. Machine learning is an opportunity for ordinary people to gain steady fortune from stock market and also can help experts to dig out the most informative indicators and make better prediction.

Activities on Facebook Reveal the Depressive State of Users <=SEP=> BACKGROUND
As online social media have become prominent, much effort has been spent on identifying users with depressive symptoms in order to aim at early diagnosis, treatment, and even prevention by using various online social media. In this paper, we focused on Facebook to discern any correlations between the platform's features and users' depressive symptoms. This work may be helpful in trying to reach and detect large numbers of depressed individuals more easily.


OBJECTIVE
Our goal was to develop a Web application and identify depressive symptom-related features from users of Facebook, a popular social networking platform.


METHODS
55 Facebook users (male=40, female=15, mean age 24.43, SD 3.90) were recruited through advertisement fliers distributed to students in a large university in Korea. Using EmotionDiary, the Facebook application we developed, we evaluated depressive symptoms using the Center for Epidemiological Studies-Depression (CES-D) scale. We also provided tips and facts about depression to participants and measured their responses using EmotionDiary. To identify the Facebook features related to depression, correlation analyses were performed between CES-D and participants' responses to tips and facts or Facebook social features. Last, we interviewed depressed participants (CES-D≥25) to assess their depressive symptoms by a psychiatrist.


RESULTS
Facebook activities had predictive power in distinguishing depressed and nondepressed individuals. Participants' response to tips and facts, which can be explained by the number of app tips viewed and app points, had a positive correlation (P=.04 for both cases), whereas the number of friends and location tags had a negative correlation with the CES-D scale (P=.08 and P=.045 respectively). Furthermore, in finding group differences in Facebook social activities, app tips viewed and app points resulted in significant differences (P=.01 and P=.03 respectively) between probably depressed and nondepressed individuals.


CONCLUSIONS
Our results using EmotionDiary demonstrated that the more depressed one is, the more one will read tips and facts about depression. We also confirmed depressed individuals had significantly fewer interactions with others (eg, decreased number of friends and location tagging). Our app, EmotionDiary, can successfully evaluate depressive symptoms as well as provide useful tips and facts to users. These results open the door for examining Facebook activities to identify depressed individuals. We aim to conduct the experiment in multiple cultures as well.

KidCAD: digitally remixing toys through tangible tools <=SEP=> Children have great facility in the physical world, and can skillfully model in clay and draw expressive illustrations. Traditional digital modeling tools have focused on mouse, keyboard and stylus input. These tools may be complicated and difficult for young users to easily and quickly create exciting designs. We seek to bring physical interaction to digital modeling, to allow users to use existing physical objects as tangible building blocks for new designs. We introduce KidCAD a digital clay interface for children to remix toys. KidCAD allows children to imprint 2.5D shapes from physical objects into their digital models by deforming a malleable gel input device, deForm. Users can mashup existing objects, edit and sculpt or draw new designs on a 2.5D canvas using physical objects, hands and tools as well as 2D touch gestures. We report on a preliminary user study with 13 children, ages 7 to 10, which provides feedback for our design and helps guide future work in tangible modeling for children.

3D Human Body Reconstruction from a Single Image via Volumetric Regression <=SEP=> This paper proposes the use of an end-to-end Convolutional Neural Network for direct reconstruction of the 3D geometry of humans via volumetric regression. The proposed method does not require the fitting of a shape model and can be trained to work from a variety of input types, whether it be landmarks, images or segmentation masks. Additionally, non-visible parts, either self-occluded or otherwise, are still reconstructed, which is not the case with depth map regression. We present results that show that our method can handle both pose variation and detailed reconstruction given appropriate datasets for training.