Search

This short paper presents an architectural overview of an agent-based framework called iv4XR for automated testing that is currently under development by an H2020 project with the same name. The framework's intended main use case of is testing the family of Extended Reality (XR) based systems (e.g. 3D games, VR sytems, AR systems), though the approach can indeed be adapted to target other types of interactive systems. The framework is unique in that it is an agent-based system. Agents are inherently reactive, and therefore are arguably a natural match to deal with interactive systems. Moreover, it is also a natural vessel for mounting and combining different AI capabilities, e.g. reasoning, navigation, and learning.

We fabricate paper-supported semiconducting devices by rubbing a layered molybdenum disulfide (MoS2) crystal onto a piece of paper, similarly to the action of drawing/writing with a pencil on paper. We show that the abrasion between the MoS2 crystal and the paper substrate efficiently exfoliates the crystals, breaking the weak van der Waals interlayer bonds and leading to the deposition of a film of interconnected MoS2 platelets. Employing this simple method, that can be easily extended to other 2D materials, we fabricate MoS2-on-paper broadband photodectectors with spectral sensitivity from the ultraviolet (UV) to the near-infrared (NIR). We also used these paper-based photodetectors to acquire pictures of objects by mounting the photodetectors in a homebuilt single-pixel camera setup., Comment: 6 main text figures + 4 Supp Info figures

Personal data related to a user's activities, preferences and services, is considered to be a valuable commodity not only for a wide range of technology-oriented companies like Google, Amazon and Apple but also for more traditional companies like travel/transport, banking, entertainment and marketing industry. This has resulted in more targeted and to a great extend personalised services for individuals -- in most cases at a minimal financial cost to them. The operational reality upon which a user authorises companies to collect his/her personal data to receive, in return, more personalised/targeted/context-aware services and hassle-free activities (for users) is widely deployed. It becomes evident that the security, integrity and accessibility of the collected data are of paramount importance. These characteristics are becoming more entrenched in the era of Internet-of-Things (IoT), autonomous vehicles and seamless travel. In this position paper, we examine the challenges faced by both users and organisations in dealing with the Personal Identifiable Information (PII). Furthermore, we expand on the implications of the General Data Protection Regulation (GDPR) specifically for the management of the PII. Subsequently, we extend the discussion to future technologies, especially the IoT and integrated transport systems for better customer experience -- and their ramification on the data governance and PII management. Finally, we propose a framework that balances user's privacy and data control with an organisation's objective of delivering quality, targeted and efficient services to their customers using the "collected user data". This framework is referred to as "Consumer Oriented Data Control \& Auditability" (CODCA) and defines the technologies that are adapted to privacy concerns and legal/regulation-frameworks., 10 Pages, 2 Figures, Conference

In this paper, we consider precoder designs for multiuser multiple-input-single-output (MISO) broadcasting channels. Instead of using a traditional linear zero-forcing (ZF) precoder, we propose a generalized ZF (GZF) precoder in conjunction with successive dirty-paper coding (DPC) for data-transmissions, namely, the GZF-DP precoder, where the suffix \lq{}DP\rq{} stands for \lq{}dirty-paper\rq{}. The GZF-DP precoder is designed to generate a band-shaped and lower-triangular effective channel $\vec{F}$ such that only the entries along the main diagonal and the $\nu$ first lower-diagonals can take non-zero values. Utilizing the successive DPC, the known non-causal inter-user interferences from the other (up to) $\nu$ users are canceled through successive encoding. We analyze optimal GZF-DP precoder designs both for sum-rate and minimum user-rate maximizations. Utilizing Lagrange multipliers, the optimal precoders for both cases are solved in closed-forms in relation to optimal power allocations. For the sum-rate maximization, the optimal power allocation can be found through water-filling, but with modified water-levels depending on the parameter $\nu$. While for the minimum user-rate maximization that measures the quality of the service (QoS), the optimal power allocation is directly solved in closed-form which also depends on $\nu$. Moreover, we propose two low-complexity user-ordering algorithms for the GZF-DP precoder designs for both maximizations, respectively. We show through numerical results that, the proposed GZF-DP precoder with a small $\nu$ ($\leq\!3$) renders significant rate increments compared to the previous precoder designs such as the linear ZF and user-grouping based DPC (UG-DP) precoders., Comment: 31 pages, 13 figures, submitted to IEEE Transactions on Wireless Communications in Aug. 2016

GitHub has become a popular social application platform, where a large number of users post their open source projects. In particular, an increasing number of researchers release repositories of source code related to their research papers in order to attract more people to follow their work. Motivated by this trend, we describe a novel item-item cross-platform recommender system, $\textit{paper2repo}$, that recommends relevant repositories on GitHub that match a given paper in an academic search system such as Microsoft Academic. The key challenge is to identify the similarity between an input paper and its related repositories across the two platforms, $\textit{without the benefit of human labeling}$. Towards that end, paper2repo integrates text encoding and constrained graph convolutional networks (GCN) to automatically learn and map the embeddings of papers and repositories into the same space, where proximity offers the basis for recommendation. To make our method more practical in real life systems, labels used for model training are computed automatically from features of user actions on GitHub. In machine learning, such automatic labeling is often called {\em distant supervision\/}. To the authors' knowledge, this is the first distant-supervised cross-platform (paper to repository) matching system. We evaluate the performance of paper2repo on real-world data sets collected from GitHub and Microsoft Academic. Results demonstrate that it outperforms other state of the art recommendation methods.

With the widespread installation of location-enabled devices on public transportation, public vehicles are generating massive amounts of trajectory data in real time. However, using these trajectory data for meaningful analysis requires careful considerations in storing, managing, processing, and visualizing the data. Using the location data of the Los Angeles Metro bus system, along with publicly available bus schedule data, we conduct a data processing and analyses study to measure the performance of the public transportation system in Los Angeles utilizing a number of metrics including travel-time reliability, on-time performance, bus bunching, and travel-time estimation. We demonstrate the visualization of the data analysis results through an interactive web-based application. The developed algorithms and system provide powerful tools to detect issues and improve the efficiency of public transportation systems., Comment: SIGSPATIAL'18, demo paper, 4 pages

Sarcasm is often expressed through several verbal and non-verbal cues, e.g., a change of tone, overemphasis in a word, a drawn-out syllable, or a straight looking face. Most of the recent work in sarcasm detection has been carried out on textual data. In this paper, we argue that incorporating multimodal cues can improve the automatic classification of sarcasm. As a first step towards enabling the development of multimodal approaches for sarcasm detection, we propose a new sarcasm dataset, Multimodal Sarcasm Detection Dataset (MUStARD), compiled from popular TV shows. MUStARD consists of audiovisual utterances annotated with sarcasm labels. Each utterance is accompanied by its context of historical utterances in the dialogue, which provides additional information on the scenario where the utterance occurs. Our initial results show that the use of multimodal information can reduce the relative error rate of sarcasm detection by up to 12.9% in F-score when compared to the use of individual modalities. The full dataset is publicly available for use at https://github.com/soujanyaporia/MUStARD, Comment: Accepted at ACL 2019

We present a simple resolution proof system for higher-order constrained Horn clauses (HoCHC)-a system of higher-order logic modulo theories-and prove its soundness and refutational completeness w.r.t. both standard and Henkin semantics. As corollaries, we obtain the compactness theorem and semi-decidability of HoCHC for semi-decidable background theories, and we prove that HoCHC satisfies a canonical model property. Moreover a variant of the well-known translation from higher-order to 1st-order logic is shown to be sound and complete for HoCHC in both semantics. We illustrate how to transfer decidability results for (fragments of) 1st-order logic modulo theories to our higher-order setting, using as example the Bernays-Schonflukel-Ramsey fragment of HoCHC modulo a restricted form of Linear Integer Arithmetic.

Due to the recent boom in artificial intelligence (AI) research, including computer vision (CV), it has become impossible for researchers in these fields to keep up with the exponentially increasing number of manuscripts. In response to this situation, this paper proposes the paper summary generation (PSG) task using a simple but effective method to automatically generate an academic paper summary from raw PDF data. We realized PSG by combination of vision-based supervised components detector and language-based unsupervised important sentence extractor, which is applicable for a trained format of manuscripts. We show the quantitative evaluation of ability of simple vision-based components extraction, and the qualitative evaluation that our system can extract both visual item and sentence that are helpful for understanding. After processing via our PSG, the 979 manuscripts accepted by the Conference on Computer Vision and Pattern Recognition (CVPR) 2018 are available. It is believed that the proposed method will provide a better way for researchers to stay caught with important academic papers., Comment: International Conference on Machine Vision 2018, Munich, Germany

Dirty paper codes are a powerful tool for combating known interference. However, there is a significant difference between knowing the transmitted interference sequence and knowing the received interference sequence, especially when the channel modifying the interference is uncertain. We present an upper bound on the capacity of a compound vector dirty paper channel where although an additive Gaussian sequence is known to the transmitter, the channel matrix between the interferer and receiver is uncertain but known to lie within a bounded set. Our bound is tighter than previous bounds in the low-SIR regime for the scalar version of the compound dirty paper channel and employs a construction that focuses on the relationship between the dimension of the message-bearing signal and the dimension of the additive state sequence. Additionally, a bound on the high-SNR behavior of the system is established., Comment: to be presented at ISIT 2013

We develop a theoretical framework for rigid origami, and show how this framework can be used to connect rigid origami and results from cognate areas, such as the rigidity theory, graph theory, linkage folding and computer science. First, we give definitions on important concepts in rigid origami, then focus on how to describe the configuration space of a creased paper. The shape and 0-connectedness of the configuration space are analyzed using algebraic, geometric and numeric methods, where the key results from each method are gathered and reviewed., Comment: 29 pages, 7 figures, submitted to the Proceedings of the Royal Society A

CONTEXT: There has been a rapid growth in the use of data analytics to underpin evidence-based software engineering. However the combination of complex techniques, diverse reporting standards and poorly understood underlying phenomena are causing some concern as to the reliability of studies. OBJECTIVE: Our goal is to provide guidance for producers and consumers of software analytics studies (computational experiments and correlation studies). METHOD: We propose using "bad smells", i.e., surface indications of deeper problems and popular in the agile software community and consider how they may be manifest in software analytics studies. RESULTS: We list 12 "bad smells" in software analytics papers (and show their impact by examples). CONCLUSIONS: We believe the metaphor of bad smell is a useful device. Therefore we encourage more debate on what contributes to the validty of software analytics studies (so we expect our list will mature over time)., Comment: Accepted April 2019. To appear

The problem of Dirty Paper Coding (DPC) over the Fading Dirty Paper Channel (FDPC) Y = H(X + S)+Z, a more general version of Costa's channel, is studied for the case in which there is partial and perfect knowledge of the fading process H at the transmitter (CSIT) and the receiver (CSIR), respectively. A key step in this problem is to determine the optimal inflation factor (under Costa's choice of auxiliary random variable) when there is only partial CSIT. Towards this end, two iterative numerical algorithms are proposed. Both of these algorithms are seen to yield a good choice for the inflation factor. Finally, the high-SNR (signal-to-noise ratio) behavior of the achievable rate over the FDPC is dealt with. It is proved that FDPC (with t transmit and r receive antennas) achieves the largest possible scaling factor of min(t,r) log SNR even with no CSIT. Furthermore, in the high SNR regime, the optimality of Costa's choice of auxiliary random variable is established even when there is partial (or no) CSIT in the special case of FDPC with t, 5 pages with 2 figures, presented at 42nd Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, USA, Oct. 2008

The "Carbon Copy onto Dirty Paper" (CCDP) channel is the compound "writing on dirty paper" channel in which the channel output is obtained as the sum of the channel input, white Gaussian noise and a Gaussian state sequence randomly selected among a set possible realizations. The transmitter has non-causal knowledge of the set of possible state sequences but does not know which sequence is selected to produce the channel output. We study the capacity of the CCDP channel for two scenarios: (i) the state sequences are independent and identically distributed, and (ii) the state sequences are scaled versions of the same sequence. In the first scenario, we show that a combination of superposition coding, time-sharing and Gel'fand-Pinsker binning is sufficient to approach the capacity to within three bits per channel use for any number of possible state realizations. In the second scenario, we derive capacity to within four bits-per-channel-use for the case of two possible state sequences. This result is extended to the CCDP channel with any number of possible state sequences under certain conditions on the scaling parameters which we denote as "strong fading" regime. We conclude by providing some remarks on the capacity of the CCDP channel in which the state sequences have any jointly Gaussian distribution.

Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applications of ASP are two industrial problems defined by Siemens: the Partner Units Problem (PUP) and the Combined Configuration Problem (CCP). The hardest instances of PUP and CCP are out of reach for state-of-the-art ASP solvers. Experiments show that the performance of ASP solvers could be significantly improved by embedding domain-specific heuristics, but a proper effective integration of such criteria in off-the-shelf ASP implementations is not obvious. In this paper the combination of ASP and domain-specific heuristics is studied with the goal of effectively solving real-world problem instances of PUP and CCP. As a byproduct of this activity, the ASP solver WASP was extended with an interface that eases embedding new external heuristics in the solver. The evaluation shows that our domain-heuristic-driven ASP solver finds solutions for all the real-world instances of PUP and CCP ever provided by Siemens. This paper is under consideration for acceptance in TPLP., Comment: Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX, 3 PDF figures

Empathetic response from the therapist is key to the success of clinical psychotherapy, especially motivational interviewing. Previous work on computational modelling of empathy in motivational interviewing has focused on offline, session-level assessment of therapist empathy, where empathy captures all efforts that the therapist makes to understand the client's perspective and convey that understanding to the client. In this position paper, we propose a novel task of turn-level detection of client need for empathy. Concretely, we propose to leverage pre-trained language models and empathy-related general conversation corpora in a unique labeller-detector framework, where the labeller automatically annotates a motivational interviewing conversation corpus with empathy labels to train the detector that determines the need for therapist empathy. We also lay out our strategies of extending the detector with additional-input and multi-task setups to improve its detection and explainability., Comment: Accepted to ICMI '20 Companion: Companion Publication of the 2020 International Conference on Multimodal Interaction (SAMIH'20 Workshop)

An Omnimagnet is an electromagnetic device that enables remote magnetic manipulation of devices such as medical implants and microrobots. It is comprised of three orthogonal nested solenoids with a ferromagnetic core at the center. Electrical current within the solenoids leads to Joule heating, resulting in undesired temperature increase within the Omnimagnet. If the temperature exceeds the melting point of the wire insulation, device failure will occur. Thus, a study of heat transfer within an Omnimagnet is a necessity, particularly to maximize the performance of the device. For the first time, a transient heat transfer model, that incorporates all three heat transfer modes, is proposed and validated with experimental data for an Omnimagnet with maximum root mean square error equal to 8${\%}$ (4$^{\circ}$C). This transient model is not computationally expensive. It is relatively easy to apply to Omnimagnets with different structures. The accuracy of this model depends on the accuracy of the input data. The code is applied to calculate the maximum safe operational time at a fixed input current or the maximum safe input current for a fixed time interval. The maximum safe operational time and maximum safe input current depend on size and structure of the Omnimagnet and the lowest melting point of all the Omnimagnet materials. A parametric study shows that increasing convective heat transfer during cooling, and during heating with low input currents, is an effective method to increase the maximum operational time of the Omnimagnet.The thermal model is also presented in a state-space equation format that can be used in a real-time Kalman filter current controller to avoid device failure due to excessive heating., Comment: This paper is under review in Asme journal of thermal science and engineering applications

Funder: Cantab Capital Institute for the Mathematics of Information, Funder: Alan Turing Institute; doi: https://doi.org/10.13039/100012338, In recent years the use of convolutional layers to encode an inductive bias (translational equivariance) in neural networks has proven to be a very fruitful idea. The successes of this approach have motivated a line of research into incorporating other symmetries into deep learning methods, in the form of group equivariant convolutional neural networks. Much of this work has been focused on roto-translational symmetry of R d , but other examples are the scaling symmetry of R d and rotational symmetry of the sphere. In this work, we demonstrate that group equivariant convolutional operations can naturally be incorporated into learned reconstruction methods for inverse problems that are motivated by the variational regularisation approach. Indeed, if the regularisation functional is invariant under a group symmetry, the corresponding proximal operator will satisfy an equivariance property with respect to the same group symmetry. As a result of this observation, we design learned iterative methods in which the proximal operators are modelled as group equivariant convolutional neural networks. We use roto-translationally equivariant operations in the proposed methodology and apply it to the problems of low-dose computerised tomography reconstruction and subsampled magnetic resonance imaging reconstruction. The proposed methodology is demonstrated to improve the reconstruction quality of a learned reconstruction method with a little extra computational cost at training time but without any extra cost at test time.

Merging photonic structures and optoelectronic sensors into a single chip may yield a sensor‐on‐chip spectroscopic device that can measure the spectrum of matter. In this work, an on‐chip concurrent multiwavelength infrared (IR) sensor, which consists of a set of narrowband wavelength‐selective plasmonic perfect absorbers combined with pyroelectric sensors, where the response of each pyroelectric sensor is boosted only at the resonance of the nanostructured absorber, is proposed and realized. The proposed absorber, which is based on Wood's anomaly absorption from a 2D plasmonic square lattice, shows a narrowband polarization‐independent resonance (quality factor – Q of 73) with a nearly perfect absorptivity as high as 0.99 at normal incidence. The fabricated quad‐wavelength IR sensors exhibit four different narrowband spectral responses at normal incidence following the predesigned resonances in the mid‐wavelength infrared region that corresponds to the atmospheric window. The device can be applied for practical spectroscopic applications such as nondispersive IR sensors, IR chemical imaging devices, pyrometers, and spectroscopic thermography imaging., An approach to realize on‐chip multiwavelength infrared (IR) sensors is reported. As a proof of concept, the fabricated quad‐wavelength IR sensors exhibit four different narrowband spectral responses at normal incidence. The multiwavelength IR sensors can be applied for portable spectroscopic devices such as nondispersive IR sensors, IR chemical imaging, pyrometers, and thermography cameras.

2D materials with nontrivial energy bands are highly desirable for exploring various topological phases of matter, as low dimensionality opens unprecedented opportunities for manipulating the quantum states. Here, it is reported that monolayer (ML) dialkali-metal monoxides, in the well-known 2H-MoS$_2$ type lattice, host multiple symmetry-protected topological phases with emergent fermions, which can be effectively tuned by strain engineering. Based on first-principles calculations, it is found that in the equilibrium state, ML Na$_2$O is a 2D double Weyl semimetal, while ML K$_2$O is a 2D pseudospin-1 metal. These exotic topological states exhibit a range of fascinating effects, including universal optical absorbance, super Klein tunneling, and super collimation effect. By introducing biaxial or uniaxial strain, a series of quantum phase transitions between 2D double Weyl semimetal, 2D Dirac semimetal, 2D pseudospin-1 metal, and semiconductor phases can be realized. The results suggest monolayer dialkali-metal monoxides as a promising platform to explore fascinating physical phenomena associated with novel 2D emergent fermions., Comment: 7 pages, 4 figures

The aim of this study is to evaluate the integration of microbial electrochemical technologies (MET) with anaerobic digestion (AD) to overcome AD limitations caused by propionate accumulation. The study focuses on understanding to what extent the inoculum impacts on the behaviour of the integrated systems (AD-MET) from the perspective of propionate degradation, methane production and microbial population dynamics. Three different inocula were used: two from environmental sources (anaerobic sludge and river sediment) and another one from a pre-enriched electroactive consortium adapted to propionate degradation. Contrary to expectations, the reactor inoculated with the pre-enriched consortium was not able to maintain its initial good performance in the long run, and the bioelectrochemical activity collapsed after three months of operation. On the other hand, the reactor inoculated with anaerobic sludge, although it required a relatively longer time to produce any observable current, was able to maintain an electrogenic activity operation (0.8 A m−2), whilst showcasing the positive contribution of AD-MET integration into tackling propionate accumulation and enhancing methane yield (338 mL gCOD−1). However, it must also be highlighted that from a purely energetic point of view the AD-MET was not favourable.

UID/AMB/04085/2019 UID/FIS/00068/2019 PTDC/FIS-NAN/0909/2014 SFRH/BD/114674/2016 CTQ2017-90659-REDT (MCIUN, Spain). FEDER Andalucia 2014–2020” – UMA18-FEDERJA-279. Degradation technologies applied to emerging organic contaminants from human activities are one of the major water challenges in the contamination legacy. Triclosan is an emerging contaminant, commonly used as antibacterial agent in personal care products. Triclosan is stable, lipophilic and it is proved to have ecotoxicology effects in organics. This induces great concern since its elimination in wastewater treatment plants is not efficient and its by-products (e.g. methyl-triclosan, 2,4-dichlorophenol or 2,4,6-trichlorophenol) are even more hazardous to several environmental compartments. This work provides understanding of two different electrochemical reactors for the degradation of triclosan and its derivative by-products in effluent. A batch reactor and a flow reactor (mimicking a secondary settling tank in a wastewater treatment plant) were tested with two different working anodes: Ti/MMO and Nb/BDD. The degradation efficiency and kinetics were evaluated to find the best combination of current density, electrodes and set-up design. For both reactors the best electrode combination was achieved with Ti/MMO as anode. The batch reactor at 7 mA/cm2 during 4 h attained degradation rates below the detection limit for triclosan and 2,4,6-trichlorophenol and, 94% and 43% for 2,4-dichlorophenol and methyl triclosan, respectively. The flow reactor obtained, in approximately 1 h, degradation efficiencies between 41% and 87% for the four contaminants. This study suggests an alternative technology for emerging organic contaminants degradation, since the combination of a low current density with the flow and matrix induced disturbance increases and speeds up the compounds’ elimination in a real environmental matrix. proof published

Background COVID-19 is a rapidly emerging respiratory disease caused by SARS-CoV-2. Due to the rapid human-to-human transmission of SARS-CoV-2, many health care systems are at risk of exceeding their health care capacities, in particular in terms of SARS-CoV-2 tests, hospital and intensive care unit (ICU) beds, and mechanical ventilators. Predictive algorithms could potentially ease the strain on health care systems by identifying those who are most likely to receive a positive SARS-CoV-2 test, be hospitalized, or admitted to the ICU. Objective The aim of this study is to develop, study, and evaluate clinical predictive models that estimate, using machine learning and based on routinely collected clinical data, which patients are likely to receive a positive SARS-CoV-2 test or require hospitalization or intensive care. Methods Using a systematic approach to model development and optimization, we trained and compared various types of machine learning models, including logistic regression, neural networks, support vector machines, random forests, and gradient boosting. To evaluate the developed models, we performed a retrospective evaluation on demographic, clinical, and blood analysis data from a cohort of 5644 patients. In addition, we determined which clinical features were predictive to what degree for each of the aforementioned clinical tasks using causal explanations. Results Our experimental results indicate that our predictive models identified patients that test positive for SARS-CoV-2 a priori at a sensitivity of 75% (95% CI 67%-81%) and a specificity of 49% (95% CI 46%-51%), patients who are SARS-CoV-2 positive that require hospitalization with 0.92 area under the receiver operator characteristic curve (AUC; 95% CI 0.81-0.98), and patients who are SARS-CoV-2 positive that require critical care with 0.98 AUC (95% CI 0.95-1.00). Conclusions Our results indicate that predictive models trained on routinely collected clinical data could be used to predict clinical pathways for COVID-19 and, therefore, help inform care and prioritize resources.

Background Social distancing is an important component of the response to the COVID-19 pandemic. Minimizing social interactions and travel reduces the rate at which the infection spreads and “flattens the curve” so that the medical system is better equipped to treat infected individuals. However, it remains unclear how the public will respond to these policies as the pandemic continues. Objective The aim of this study is to present the Twitter Social Mobility Index, a measure of social distancing and travel derived from Twitter data. We used public geolocated Twitter data to measure how much users travel in a given week. Methods We collected 469,669,925 tweets geotagged in the United States from January 1, 2019, to April 27, 2020. We analyzed the aggregated mobility variance of a total of 3,768,959 Twitter users at the city and state level from the start of the COVID-19 pandemic. Results We found a large reduction (61.83%) in travel in the United States after the implementation of social distancing policies. However, the variance by state was high, ranging from 38.54% to 76.80%. The eight states that had not issued statewide social distancing orders as of the start of April ranked poorly in terms of travel reduction: Arkansas (45), Iowa (37), Nebraska (35), North Dakota (22), South Carolina (38), South Dakota (46), Oklahoma (50), Utah (14), and Wyoming (53). We are presenting our findings on the internet and will continue to update our analysis during the pandemic. Conclusions We observed larger travel reductions in states that were early adopters of social distancing policies and smaller changes in states without such policies. The results were also consistent with those based on other mobility data to a certain extent. Therefore, geolocated tweets are an effective way to track social distancing practices using a public resource, and this tracking may be useful as part of ongoing pandemic response planning.

With the maturity of unmanned aerial vehicle (UAV) technology, this work investigates the integration of UAV into wireless communication systems. Since the UAV is powered by a capacity-limited battery, this work proposes to use the radio energy harvesting technology at the UAV in order to extend the lifetime of UAV empowered base station. To extract the most weighted throughput of UAV empowered wireless systems, the dirty paper coding scheme and information-theoretic uplink-downlink channel duality are exploited to propose an extracting the most weighted throughput algorithm. Numerical results are used to verify the proposed algorithm., Comment: This work was accepted by BSC 2018, Toronto, Canada

A large scientific community depends on the precise modelling of complex processes in particle cascades in various types of matter. These models are used most prevalently in cosmic-ray physics, astrophysical-neutrino physics, and gamma-ray astronomy. In this white paper, we summarize the necessary steps to ensure the evolution and future availability of optimal simulation tools. The purpose of this document is not to act as a strict blueprint for next-generation software, but to provide guidance for the vital aspects of its design. The topics considered here are driven by physics and scientific applications. Furthermore, the main consequences of implementation decisions on performance are outlined. We highlight the computational performance as an important aspect guiding the design since future scientific applications will heavily depend on an efficient use of computational resources., Comment: 17 pages, 2 figures, content matches published version

In this note, we consider the antibandwidth problem, also known as dual bandwidth problem, separation problem and maximum differential coloring problem. Given a labeled graph (i.e., a numbering of the vertices of a graph), the antibandwidth of a node is defined as the minimum absolute difference of its labeling to the labeling of all its adjacent vertices. The goal in the antibandwidth problem is to find a labeling maximizing the antibandwidth. The problem is NP-hard in general graphs and has applications in diverse areas like scheduling, radio frequency assignment, obnoxious facility location and map-coloring. There has been much work on deriving theoretical bounds for the problem and also in the design of metaheuristics in recent years. However, the optimality gaps between the best known solution values and reported upper bounds for the HarwellBoeing Matrix-instances, which are the commonly used benchmark instances for this problem, are often very large (e.g., up to 577%). Moreover, only for three of these 24 instances, the optimal solution is known, leading the authors of a state-of-the-art heuristic to conclude “HarwellBoeing instances are actually a challenge for modern heuristic methods”. The upper bounds reported in literature are based on the theoretical bounds involving simple graph characteristics, i.e., size, order and degree, and a mixed-integer programming (MIP) model. We present new MIP models for the problem, together with valid inequalities, and design a branch-and-cut algorithm and an iterative solution algorithm based on them. These algorithms also include two starting heuristics and a primal heuristic. We also present a constraint programming approach, and calculate upper bounds based on the stability number and chromatic number. Our computational study shows that the developed approaches allow to find the proven optimal solution for eight instances from literature, where the optimal solution was unknown and also provide reduced gaps for eleven additional instances, including improved solution values for seven instances, the largest optimality gap is now 46%.

Background Mental illness affects a significant portion of the worldwide population. Online mental health forums can provide a supportive environment for those afflicted and also generate a large amount of data that can be mined to predict mental health states using machine learning methods. Objective This study aimed to benchmark multiple methods of text feature representation for social media posts and compare their downstream use with automated machine learning (AutoML) tools. We tested on datasets that contain posts labeled for perceived suicide risk or moderator attention in the context of self-harm. Specifically, we assessed the ability of the methods to prioritize posts that a moderator would identify for immediate response. Methods We used 1588 labeled posts from the Computational Linguistics and Clinical Psychology (CLPsych) 2017 shared task collected from the Reachout.com forum. Posts were represented using lexicon-based tools, including Valence Aware Dictionary and sEntiment Reasoner, Empath, and Linguistic Inquiry and Word Count, and also using pretrained artificial neural network models, including DeepMoji, Universal Sentence Encoder, and Generative Pretrained Transformer-1 (GPT-1). We used Tree-based Optimization Tool and Auto-Sklearn as AutoML tools to generate classifiers to triage the posts. Results The top-performing system used features derived from the GPT-1 model, which was fine-tuned on over 150,000 unlabeled posts from Reachout.com. Our top system had a macroaveraged F1 score of 0.572, providing a new state-of-the-art result on the CLPsych 2017 task. This was achieved without additional information from metadata or preceding posts. Error analyses revealed that this top system often misses expressions of hopelessness. In addition, we have presented visualizations that aid in the understanding of the learned classifiers. Conclusions In this study, we found that transfer learning is an effective strategy for predicting risk with relatively little labeled data and noted that fine-tuning of pretrained language models provides further gains when large amounts of unlabeled text are available.

The fluorescence spectra of bacterial samples stained with SYTO 9 and propidium iodide (PI) were used to monitor bacterial viability. Stained mixtures of live and dead Escherichia coli with proportions of live:dead cells varying from 0 to 100% were measured using the optrode, a cost effective and convenient fibre-based spectroscopic device. We demonstrated several approaches to obtaining the proportions of live:dead E. coli in a mixture of both live and dead, from analyses of the fluorescence spectra collected by the optrode. To find a suitable technique for predicting the percentage of live bacteria in a sample, four analysis methods were assessed and compared: SYTO 9:PI fluorescence intensity ratio, an adjusted fluorescence intensity ratio, single-spectrum support vector regression (SVR) and multi-spectra SVR. Of the four analysis methods, multi-spectra SVR obtained the most reliable results and was able to predict the percentage of live bacteria in 10^8 bacteria/mL samples between c. 7% and 100% live, and in 10^7 bacteria/mL samples between c. 7% and 73% live. By demonstrating the use of multi-spectra SVR and the optrode to monitor E. coli viability, we raise points of consideration for spectroscopic analysis of SYTO 9 and PI and aim to lay the foundation for future work that use similar methods for different bacterial species., Comment: 13 pages, 4 figures

Background: Adverse Childhood Experiences (ACEs), a set of negative events and processes that a person might encounter during childhood and adolescence, have been proven to be linked to increased risks of a multitude of negative health outcomes and conditions when children reach adulthood and beyond. Objective: To better understand the relationship between ACEs and their relevant risk factors with associated health outcomes and to eventually design and implement preventive interventions, access to an integrated coherent dataset is needed. Therefore, we implemented a formal ontology as a resource to allow the mental health community to facilitate data integration and knowledge modeling and to improve ACEs surveillance and research. Methods: We use advanced knowledge representation and Semantic Web tools and techniques to implement the ontology. The current implementation of the ontology is expressed in the description logic ALCRIQ(D), a sublogic of Web Ontology Language (OWL 2). Results: The ACEs Ontology has been implemented and made available to the mental health community and the public via the BioPortal repository. Moreover, multiple use-case scenarios have been introduced to showcase and evaluate the usability of the ontology in action. The ontology was created to be used by major actors in the ACEs community with different applications, from the diagnosis of individuals and predicting potential negative outcomes that they might encounter to the prevention of ACEs in a population and designing interventions and policies. Conclusions: The ACEs Ontology provides a uniform and reusable semantic network and an integrated knowledge structure for mental health practitioners and researchers to improve ACEs surveillance and evaluation., Comment: 11 Pages, 10 figures

A DigitalMicrograph script named InsteaDMatic has been developed for automated continuous rotation electron diffraction (cRED) data acquisition. InsteaDMatic coordinates functions of the transmission electron microscope goniometer and camera in order to tune up diffraction-frame recording simultaneously with crystal rotation. Exploiting fast and automated data collection, the influence of the electron dose rate on the quality of cRED data was studied, and structural models obtained for two different parallel-beam illumination modes (aperture selection and nanoprobe) were compared., A DigitalMicrograph script, InsteaDMatic, has been developed to facilitate rapid automated 3D electron diffraction/microcrystal electron diffraction data acquisition by continuous rotation of a crystal with a constant speed, denoted as continuous rotation electron diffraction. The script coordinates microscope functions, such as stage rotation, and camera functions relevant for data collection, and stores the experiment metadata. The script is compatible with any microscope that can be controlled by DigitalMicrograph and has been tested on both JEOL and Thermo Fisher Scientific microscopes. A proof of concept has been performed through employing InsteaDMatic for data collection and structure determination of a ZSM-5 zeolite. The influence of illumination settings and electron dose rate on the quality of diffraction data, unit-cell determination and structure solution has been investigated in order to optimize the data acquisition procedure.

Motivation: Many researchers with domain expertise are unable to easily apply machine learning to their bioinformatics data due to a lack of machine learning and/or coding expertise. Methods that have been proposed thus far to automate machine learning mostly require programming experience as well as expert knowledge to tune and apply the algorithms correctly. Here, we study a method of automating biomedical data science using a web-based platform that uses AI to recommend model choices and conduct experiments. We have two goals in mind: first, to make it easy to construct sophisticated models of biomedical processes; and second, to provide a fully automated AI agent that can choose and conduct promising experiments for the user, based on the user's experiments as well as prior knowledge. To validate this framework, we experiment with hundreds of classification problems, comparing to state-of-the-art, automated approaches. Finally, we use this tool to develop predictive models of septic shock in critical care patients. Results: We find that matrix factorization-based recommendation systems outperform meta-learning methods for automating machine learning. This result mirrors the results of earlier recommender systems research in other domains. The proposed AI is competitive with state-of-the-art automated machine learning methods in terms of choosing optimal algorithm configurations for datasets. In our application to prediction of septic shock, the AI-driven analysis produces a competent machine learning model (AUROC 0.85 +/- 0.02) that performs on par with state-of-the-art deep learning results for this task, with much less computational effort., Comment: 17 pages, 8 figures. this version fixes link to pennai in abstract

This article describes the scattering behavior of electron vortices inside amorphous samples. It focuses on the vortex purity, net angular momentum transfer, and statistical variations due to random beam and atom positions., This work studies the elastic scattering behavior of electron vortices when propagating through amorphous samples. A formulation of the multislice approach in cylindrical coordinates is used to theoretically investigate the redistribution of intensity between different angular momentum components due to scattering. To corroborate and elaborate on our theoretical results, extensive numerical simulations are performed on three model systems (Si3N4, Fe0.8B0.2, Pt) for a wide variety of experimental parameters to quantify the purity of the vortices, the net angular momentum transfer, and the variability of the results with respect to the random relative position between the electron beam and the scattering atoms. These results will help scientists to further improve the creation of electron vortices and enhance applications involving them.

Graph embedding learning that aims to automatically learn low-dimensional node representations, has drawn increasing attention in recent years. To date, most recent graph embedding methods are evaluated on social and information networks and are not comprehensively studied on biomedical networks under systematic experiments and analyses. On the other hand, for a variety of biomedical network analysis tasks, traditional techniques such as matrix factorization (which can be seen as a type of graph embedding methods) have shown promising results, and hence there is a need to systematically evaluate the more recent graph embedding methods (e.g. random walk-based and neural network-based) in terms of their usability and potential to further the state-of-the-art. We select 11 representative graph embedding methods and conduct a systematic comparison on 3 important biomedical link prediction tasks: drug-disease association (DDA) prediction, drug-drug interaction (DDI) prediction, protein-protein interaction (PPI) prediction; and 2 node classification tasks: medical term semantic type classification, protein function prediction. Our experimental results demonstrate that the recent graph embedding methods achieve promising results and deserve more attention in the future biomedical graph analysis. Compared with three state-of-the-art methods for DDAs, DDIs and protein function predictions, the recent graph embedding methods achieve competitive performance without using any biological features and the learned embeddings can be treated as complementary representations for the biological features. By summarizing the experimental results, we provide general guidelines for properly selecting graph embedding methods and setting their hyper-parameters for different biomedical tasks., Comment: Published in Bioinformatics

With the unique possibilities for controlling light in nanoscale devices, graphene plasmonics has opened new perspectives to the nanophotonics community with potential applications in metamaterials, modulators, photodetectors, and sensors. This paper briefly reviews the recent exciting progress in graphene plasmonics. We begin with a general description for optical properties of graphene, particularly focusing on the dispersion of graphene-plasmon polaritons. The dispersion relation of graphene-plasmon polaritons of spatially extended graphene is expressed in terms of the local response limit with intraband contribution. With this theoretical foundation of graphene-plasmon polaritons, we then discuss recent exciting progress, paying specific attention to the following topics: excitation of graphene plasmon polaritons, electron-phonon interactions in graphene on polar substrates, and tunable graphene plasmonics with applications in modulators and sensors. Finally, we seek to address some of the apparent challenges and promising perspectives of graphene plasmonics., Comment: Invited minireview paper on graphene plasmon polaritons, 11 pages, 4 figures

We study the classical \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}}$$\end{document}NP-hard problems of finding maximum-size subsets from given sets of k terminal pairs that can be routed via edge-disjoint paths (MaxEDP) or node-disjoint paths (MaxNDP) in a given graph. The approximability of MaxEDP/MaxNDP is currently not well understood; the best known lower bound is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^{\varOmega (\sqrt{\log n})}}$$\end{document}2Ω(logn), assuming \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}\not \subseteq \mathsf {DTIME}(n^{\mathcal {O}(\log n)})}$$\end{document}NP⊈DTIME(nO(logn)). This constitutes a significant gap to the best known approximation upper bound of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{n})}$$\end{document}O(n) due to Chekuri et al. (Theory Comput 2:137–146, 2006), and closing this gap is currently one of the big open problems in approximation algorithms. In their seminal paper, Raghavan and Thompson (Combinatorica 7(4):365–374, 1987) introduce the technique of randomized rounding for LPs; their technique gives an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(1)}$$\end{document}O(1)-approximation when edges (or nodes) may be used by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}\left( \log n/\log \log n\right) }$$\end{document}Ologn/loglogn paths. In this paper, we strengthen the fundamental results above. We provide new bounds formulated in terms of the feedback vertex set number r of a graph, which measures its vertex deletion distance to a forest. In particular, we obtain the following results:For MaxEDP, we give an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{r} \log ({k}r))}$$\end{document}O(rlog(kr))-approximation algorithm. Up to a logarithmic factor, our result strengthens the best known ratio \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{n})}$$\end{document}O(n) due to Chekuri et al., as \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${r\le n}$$\end{document}r≤n.Further, we show how to route \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varOmega ({\text {OPT}}^{*})}$$\end{document}Ω(OPT∗) pairs with congestion bounded by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\log (kr)/\log \log (kr))}$$\end{document}O(log(kr)/loglog(kr)), strengthening the bound obtained by the classic approach of Raghavan and Thompson.For MaxNDP, we give an algorithm that gives the optimal answer in time \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(k+r)^{\mathcal {O}(r)}\cdot n}$$\end{document}(k+r)O(r)·n. This is a substantial improvement on the run time of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^kr^{\mathcal {O}(r)}\cdot n}$$\end{document}2krO(r)·n, which can be obtained via an algorithm by Scheffler. We complement these positive results by proving that MaxEDP is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}}$$\end{document}NP-hard even for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${r=1}$$\end{document}r=1, and MaxNDP is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {W}[1]}$$\end{document}W[1]-hard when r is the parameter. This shows that neither problem is fixed-parameter tractable in r unless \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {FPT}= \mathsf {W}[1]}$$\end{document}FPT=W[1] and that our approximability results are relevant even for very small constant values of r.

In the gastrointestinal (GI) tract endoscopy field, ingestible wireless capsule endoscopy is considered as a minimally invasive novel diagnostic technology to inspect the entire GI tract and to diagnose various diseases and pathologies. Since the development of this technology, medical device companies and many groups have made significant progress to turn such passive capsule endoscopes into robotic active capsule endoscopes to achieve almost all functions of current active flexible endoscopes. However, the use of robotic capsule endoscopy still has some challenges. One such challenge is the precise localization of such active devices in 3D world, which is essential for a precise three-dimensional (3D) mapping of the inner organ. A reliable 3D map of the explored inner organ could assist the doctors to make more intuitive and correct diagnosis. In this paper, we propose to our knowledge for the first time in literature a visual simultaneous localization and mapping (SLAM) method specifically developed for endoscopic capsule robots. The proposed RGB-Depth SLAM method is capable of capturing comprehensive dense globally consistent surfel-based maps of the inner organs explored by an endoscopic capsule robot in real time. This is achieved by using dense frame-to-model camera tracking and windowed surfelbased fusion coupled with frequent model refinement through non-rigid surface deformations.

Pelletization of the loose rice straw is an attractive option to produce renewable fuels. In this paper, we focus on the problem of how to improve this pelletization process, especially to reduce energy consumption and improve product quality. In detail, we first pretreat rice straw, and then investigate the densification characteristics of the pretreated materials. Pretreatment methods of the materials include hydrothermal treatment and adding a certain proportion of economic additives, such as rapeseed meal and waste engine oil respectively. In addition, the pretreated rice straw was pelletized by using a biomass densification platform, meanwhile energy consumption and pellet quality were tested. Experimental results indicate that the hydrothermal pretreatment played an important role in reducing energy consumption and improving the product quality, and waste engine oil has a better effect than the rapeseed meal. We also observe that the obtained pellet quality reaches the standard of middle-grade coal, and the proposed pretreatment method realizes the comprehensive utilization of waste agricultural resources.

Graphene layers grown by chemical vapour deposition (CVD) method and transferred from Cu-foils to the oxidized Si-substrates were investigated by spectroscopic ellipsometry (SE), Raman and X-Ray Photoelectron Spectroscopy (XPS) methods. The optical properties of transferred CVD graphene layers do not always correspond to the ones of the exfoliated graphene due to the contamination from the chemicals used in the transfer process. However, the real thickness and the mean properties of the transferred CVD graphene layers can be found using ellipsometry if a real thickness of the SiO2 layer is taken into account. The pulsed layer deposition (PLD) and atomic layer deposition (ALD) methods were used to grow dielectric layers on the transferred graphene and the obtained structures were characterized using optical methods. The approach demonstrated in this work could be useful for the characterization of various materials grown on graphene., Comment: 8 pages, 8 figures, 2 tables, presented on "Solid State Surfaces and Interfaces", November 2016 Piestany, Slovakia

The variation graph toolkit (VG) represents genetic variation as a graph. Each path in the graph is a potential haplotype, though most paths are unlikely recombinations of true haplotypes. We augment the VG model with haplotype information to identify which paths are more likely to be correct. For this purpose, we develop a scalable implementation of the graph extension of the positional Burrows--Wheeler transform. We demonstrate the scalability of the new implementation by indexing the 1000 Genomes Project haplotypes. We also develop an algorithm for simplifying variation graphs for k-mer indexing without losing any k-mers in the haplotypes., Comment: Accepted to WABI 2018

The cocrystallization landscape of benzamide and urea interacting with aliphatic and aromatic carboxylic acids was studied both experimentally and theoretically. Ten new cocrystals of benzamide were synthesized using an oriented samples approach via a fast dropped evaporation technique. Information about types of known bi-component cocrystals augmented with knowledge of simple binary eutectic mixtures was used for the analysis of virtual screening efficiency among 514 potential pairs involving aromatic carboxylic acids interacting with urea or benzamide. Quantification of intermolecular interaction was achieved by estimating the excess thermodynamic functions of binary liquid mixtures under supercooled conditions within a COSMO-RS framework. The smoothed histograms suggest that slightly more potential pairs of benzamide are characterized in the attractive region compared to urea. Finally, it is emphasized that prediction of cocrystals of urea is fairly direct, while it remains ambiguous for benzamide paired with carboxylic acids. The two known simple eutectics of urea are found within the first two quartiles defined by excess thermodynamic functions, and all known cocrystals are outside of this range belonging to the third or fourth quartile. On the contrary, such a simple separation of positive and negative cases of benzamide miscibility in the solid state is not observed. The difference in properties between urea and benzamide R2,2(8) heterosynthons is also documented by alterations of substituent effects. Intermolecular interactions of urea with para substituted benzoic acid analogues are stronger compared to those of benzamide. Also, the amount of charge transfer from amide to aromatic carboxylic acid and vice versa is more pronounced for urea. However, in both cases, the greater the electron withdrawing character of the substituent, the higher the binding energy, and the stronger the supermolecule polarization via the charge transfer mechanism. Electronic supplementary material The online version of this article (doi:10.1007/s00894-016-2964-6) contains supplementary material, which is available to authorized users.

Labeling training data is increasingly the largest bottleneck in deploying machine learning systems. We present Snorkel, a first-of-its-kind system that enables users to train state-of-the-art models without hand labeling any training data. Instead, users write labeling functions that express arbitrary heuristics, which can have unknown accuracies and correlations. Snorkel denoises their outputs without access to ground truth by incorporating the first end-to-end implementation of our recently proposed machine learning paradigm, data programming. We present a flexible interface layer for writing labeling functions based on our experience over the past year collaborating with companies, agencies, and research laboratories. In a user study, subject matter experts build models \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2.8\times $$\end{document}2.8× faster and increase predictive performance an average \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$45.5\%$$\end{document}45.5% versus seven hours of hand labeling. We study the modeling trade-offs in this new setting and propose an optimizer for automating trade-off decisions that gives up to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$1.8\times $$\end{document}1.8× speedup per pipeline execution. In two collaborations, with the US Department of Veterans Affairs and the US Food and Drug Administration, and on four open-source text and image data sets representative of other deployments, Snorkel provides \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$132\%$$\end{document}132% average improvements to predictive performance over prior heuristic approaches and comes within an average \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$3.60\%$$\end{document}3.60% of the predictive performance of large hand-curated training sets.

Solid mixed conductors with significant ionic as well as electronic conduction play a pivotal role for mass transfer and storage as required in battery electrodes. Single-phase materials with simultaneously high electronic and ionic conductivity at room temperature are hard to come by and therefore multi-phase systems with separate ion and electron channels have been put forward instead. Here, we explore bilayer graphene as a true single phase mixed conductor and demonstrate ultrafast lithium diffusion exceeding diffusion in bulk graphite by an order of magnitude and even surpassing diffusion of sodium chloride in liquid water. To this end, an innovative electrochemical cell architecture has been developed where the redox-reaction forcing lithium intercalation is localized at a protrusion of the device only. Its remainder consists of pristine bilayer graphene unperturbed by an electrolyte. The geometry lends itself to the use of magnetotransport machinery known from mesoscopic low-dimensional physics. Time dependent Hall measurements across spatially displaced Hall probes deliver a direct view on the in-plane diffusion kinetics. The device layout with a perimeterial electrochemical cell is transferable to other 2D materials as well as thin films and may promote a paradigm shift on the use of electrolytes in on-chip experiments., Comment: main text 18 pages including 5 figures; supplementary information 7 pages including 4 figures

Multilayered graphitic materials are not suitable as load-bearers due to their inherent weak interlayer bonding (for example, graphite is a solid lubricant in certain applications). This situation is largely improved when two-dimensional (2-D) materials such as a monolayer (SLG) graphene are employed. The downside in these cases is the presence of thermally or mechanically induced wrinkles which are ubiquitous in 2-D materials. Here we set out to examine the effect of extensive large wavelength/ amplitude wrinkling on the stress transfer capabilities of exfoliated simply-supported graphene flakes. Contrary to common belief we present clear evidence that this type of "corrugation" enhances the load bearing capacity of few-layer graphene as compared to 'flat' specimens. This effect is the result of the significant increase of the graphene/polymer interfacial shear stress per increment of applied strain due to wrinkling and paves the way for designing affordable graphene composites with highly improved stress-transfer efficiency., Comment: 20 pages, 6 figures

In convex integer programming, various procedures have been developed to strengthen convex relaxations of sets of integer points. On the one hand, there exist several general-purpose methods that strengthen relaxations without specific knowledge of the set S of feasible integer points, such as popular linear programming or semi-definite programming hierarchies. On the other hand, various methods have been designed for obtaining strengthened relaxations for very specific sets S that arise in combinatorial optimization. We propose a new efficient method that interpolates between these two approaches. Our procedure strengthens any convex set containing a set S⊆ { 0 ,1 } n by exploiting certain additional information about S. Namely, the required extra information will be in the form of a Boolean formula ϕ defining the target set S. The new relaxation is obtained by “feeding” the convex set into the formula ϕ. We analyze various aspects regarding the strength of our procedure. As one application, interpreting an iterated application of our procedure as a hierarchy, our findings simplify, improve, and extend previous results by Bienstock and Zuckerberg on covering problems., SCOPUS: ar.j, info:eu-repo/semantics/published

Dispersing graphite in water to obtain true (single layer) graphene (SLG) in bulk quantity in a liquid has been an unreachable goal for materials scientists in the last decade. Likewise, a diagnostic tool for identifying solubilized SLG in situ has been long awaited. Homogeneous stable dispersions of SLG in water are obtained by mixing graphenide (negatively charged graphene) solutions in tetrahydrofuran (THF) with degassed water and evaporating the organic solvent. In situ Raman spectroscopy of these aqueous dispersions shows all the expected characteristics of single layer graphene, including an intense 2D band of Lorentzian shape and linewidth of 28 cm-1. Transmission electron and atomic force microscopies on deposits confirm SLG character. The resulting additive-free stable water dispersions contain 0.16 mg/mL of SLG., Comment: 31 pages, main article has 17 pages, 4 figures, 2 Tables. Presented at Graphene Week (Manchester 2015); NN15, Thessaloniki, July 2015; TNT2015, Toulouse, Sept 2015; GraphITA, Bologna, Italy, Sept 2015; Intl Symp. on Synthetic Carbon Allotropes, Erlangen, Oct. 2015, GDR GNT, Aussois, Dec 2015, GraphIN, Zaragoza, Dec 3, 2015, IWEPNM (Kirchberg, Feb 2016), NanoSpain, Logro\~no (Spain) - March 2016

We investigate the techniques and ideas used in the convergence analysis of two proximal ADMM algorithms for solving convex optimization problems involving compositions with linear operators. Besides this, we formulate a variant of the ADMM algorithm that is able to handle convex optimization problems involving an additional smooth function in its objective, and which is evaluated through its gradient. Moreover, in each iteration we allow the use of variable metrics, while the investigations are carried out in the setting of infinite dimensional Hilbert spaces. This algorithmic scheme is investigated from the point of view of its convergence properties., Comment: Updates in Section 2 concerning the derivation of the convergence rates + a unifying convergence theorem for the sequence of iterates

Motivation: Optimizing seed selection is an important problem in read mapping. The number of non-overlapping seeds a mapper selects determines the sensitivity of the mapper while the total frequency of all selected seeds determines the speed of the mapper. Modern seed-and-extend mappers usually select seeds with either an equal and fixed-length scheme or with an inflexible placement scheme, both of which limit the potential of the mapper to select less frequent seeds to speed up the mapping process. Therefore, it is crucial to develop a new algorithm that can adjust both the individual seed length and the seed placement, as well as derive less frequent seeds. Results: We present the Optimal Seed Solver (OSS), a dynamic programming algorithm that discovers the least frequently-occurring set of x seeds in an L-bp read in $O(x \times L)$ operations on average and in $O(x \times L^{2})$ operations in the worst case. We compared OSS against four state-of-the-art seed selection schemes and observed that OSS provides a 3-fold reduction of average seed frequency over the best previous seed selection optimizations., Comment: 10 pages of main text. 6 pages of supplementary materials. Under review by Oxford Bioinformatics

The ability to manufacture tailored graphene nanostructures is a key factor to fully exploit its enormous technological potential. We have investigated nanostructures created in graphene by swift heavy ion induced folding. For our experiments, single layers of graphene exfoliated on various substrates and freestanding graphene have been irradiated and analyzed by atomic force and high resolution transmission electron microscopy as well as Raman spectroscopy. We show that the dense electronic excitation in the wake of the traversing ion yields characteristic nanostructures each of which may be fabricated by choosing the proper irradiation conditions. These nanostructures include unique morphologies such as closed bilayer edges with a given chirality or nanopores within supported as well as freestanding graphene. The length and orientation of the nanopore, and thus of the associated closed bilayer edge, may be simply controlled by the direction of the incoming ion beam. In freestanding graphene, swift heavy ion irradiation induces extremely small openings, offering the possibility to perforate graphene membranes in a controlled way., Comment: 16 pages, 5 figures, submitted to Nanotechnology

Motivation: Network alignment (NA) aims to find regions of similarities between species’ molecular networks. There exist two NA categories: local (LNA) and global (GNA). LNA finds small highly conserved network regions and produces a many-to-many node mapping. GNA finds large conserved regions and produces a one-to-one node mapping. Given the different outputs of LNA and GNA, when a new NA method is proposed, it is compared against existing methods from the same category. However, both NA categories have the same goal: to allow for transferring functional knowledge from well- to poorly-studied species between conserved network regions. So, which one to choose, LNA or GNA? To answer this, we introduce the first systematic evaluation of the two NA categories. Results: We introduce new measures of alignment quality that allow for fair comparison of the different LNA and GNA outputs, as such measures do not exist. We provide user-friendly software for efficient alignment evaluation that implements the new and existing measures. We evaluate prominent LNA and GNA methods on synthetic and real-world biological networks. We study the effect on alignment quality of using different interaction types and confidence levels. We find that the superiority of one NA category over the other is context-dependent. Further, when we contrast LNA and GNA in the application of learning novel protein functional knowledge, the two produce very different predictions, indicating their complementarity. Our results and software provide guidelines for future NA method development and evaluation. Availability and implementation: Software: http://www.nd.edu/~cone/LNA_GNA Contact: tmilenko@nd.edu Supplementary information: Supplementary data are available at Bioinformatics online.