bluuebunny/crossref_metadata_2025 huggingface dataset:
Formal Analysis of Deep Binarized Neural Networks
Authors: Narodytska Nina
Published: July 2018

Understanding properties of deep neural networks is an important challenge in deep learning. Deep learning networks are among the most successful artificial intelligence technologies that is making impact in a variety of practical applications. However, many concerns were raised about `magical' power of these networks. It is disturbing that we are really lacking of understanding of the decision making process behind this technology. Therefore, a natural question is whether we can trust decisions that neural networks make. One way to address this issue is to define properties that we want a neural network to satisfy. Verifying whether a neural network fulfills these properties sheds light on the properties of the function that it represents. In this work, we take the verification approach. Our goal is to design a framework for analysis of properties of neural networks. We start by defining a set of interesting properties to analyze. Then we focus on Binarized Neural Networks that can be represented and analyzed using well-developed means of Boolean Satisfiability and Integer Linear Programming. One of our main results is an exact representation of a binarized neural network as a Boolean formula. We also discuss how we can take advantage of the structure of neural networks in the search procedure.
Interactive Learning and Decision Making: Foundations, Insights & Challenges
Authors: Oliehoek Frans A.
Published: July 2018

Designing "teams of intelligent agents that successfully coordinate and learn about their complex environments inhabited by other agents (such as humans)" is one of the major goals of AI, and it is the challenge that I aim to address in my research. In this paper I give an overview of some of the foundations, insights and challenges in this field of Interactive Learning and Decision Making.
Partakable Technology
Authors: Osman Nardine
Published: July 2018

This paper proposes a shift in how technology is currently being developed by giving people, the users, control over their technology. We argue that users should have a say in the behaviour of the technologies that mediate their online interactions and control their private data. We propose 'partakable technologies', technologies where users can come together to discuss and agree on its features and functionalities. To achieve this, we base our proposal on a number of existing technologies in the fields of agreement technologies, natural language processing, normative systems, and formal verification. As an IJCAI early career spotlight paper, the paper provides an overview of the author's expertise in these different areas.
Engineering Graph Features via Network Functional Blocks
Authors: Zheng Vincent W.
Published: July 2018

Graph is a prevalent data structure that enables many predictive tasks. How to engineer graph features is a fundamental question. Our concept is to go beyond nodes and edges, and explore richer structures (e.g., paths, subgraphs) for graph feature engineering. We call such richer structures as network functional blocks, because each structure serves as a network building block but with some different functionality. We use semantic proximity search as an example application to share our recent work on exploiting different granularities of network functional blocks. We show that network functional blocks are effective, and they can be useful for a wide range of applications.
Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back)
Authors: Leofante Francesco
Published: July 2018

Integrated task planning and execution is a challenging problem with several applications in AI and robotics. In this work we consider the problem of generating and executing optimal plans for multi-robot systems under temporal and ordering constraints. More specifically, we propose an approach that unites the power of Optimization Modulo Theories with the flexibility of an on-line executive, providing optimal solutions for task planning, and runtime feedback on their execution.
Connecting Low-Level Image Processing and High-Level Vision via Deep Learning
Authors: Liu Ding
Published: July 2018

The latest development of computer vision has made exciting progress and tremendous impact in our daily lives. In this exciting era of technological advances, deep learning has gained huge popularity as a powerful tool for solving a lot of computer vision problems, and has added a great boost to this

already rapidly developing field. Conventionally, the connection between different vision tasks is fragile. For example, low-level image processing and high-level vision tasks are usually coped with separately. However, the inherent relation of feature representations among various tasks should be effectively utilized rather than omitted. My research focuses on connecting low-level image processing and high-level vision via deep learning. Specifically, my goal is to design deep learning mechanisms that can efficiently and effectively learn features from low-level image processing and use them to improve the performance of high-level vision tasks.
Multi-Agent Election-Based Hyper-Heuristics
Authors: Renan de Carvalho Vinicius , Simão Sichman Jaime
Published: July 2018

Hyper-heuristics are high-level methodologies responsible for automatically discover how to combine elements from a low-level heuristic set in order to solve optimization problems. Agents, in turn, are autonomous component responsible for watching an environment and perform some actions according to their perceptions. Thus, agent-based techniques seem suitable for the design of hyper-heuristics. This work presents an agent-based hyper-heuristic framework for choosing the best low-level heuristic. The proposed framework performs a cooperative voting procedure, considering a set of quality indicator voters, to define which multi-objective evolutionary algorithm (MOEA) should generate more new solutions along the execution.
Learning and Communicating the Latent States of Human-Machine Collaboration
Authors: Unhelkar Vaibhav V. , Shah Julie A.
Published: July 2018

Artificial agents (both embodied robots and software agents) that interact with humans are increasing at an exceptional rate. Yet, achieving seamless collaboration between artificial agents and humans in the real world remains an active problem. A key challenge is that the agents need to make decisions without complete information about their shared environment and collaborators. For instance, a human-robot team performing a rescue operation after a disaster may not have an accurate map of their surroundings. Even in structured domains, such as manufacturing, a robot might not know the goals or preferences of its human collaborators.

Algorithmically, this challenge manifests itself as a problem of decision-making under uncertainty in which the agent has to reason about the latent states of its environment and human collaborator. However, in practice, quantifying this uncertainty (i.e., the state transition function) and even specifying the features (i.e., the relevant states) of human-machine collaboration is difficult. Thus, the objective of this thesis research is to develop novel algorithms that enable artificial agents to learn and reason about the latent states of human-machine collaboration and achieve fluent interaction.
Algorithmic Social Intervention
Authors: Wilder Bryan
Published: July 2018

Social and behavioral interventions are a critical tool for governments and communities to tackle deep-rooted societal challenges such as homelessness, disease, and poverty. However, real-world interventions are almost always plagued by limited resources and limited data, which creates a computational challenge: how can we use algorithmic techniques to enhance the targeting and delivery of social and behavioral interventions? The goal of my thesis is to provide a unified study of such questions, collectively considered under the name "algorithmic social intervention". This proposal introduces algorithmic social intervention as a distinct area with characteristic technical challenges, presents my published research in the context of these challenges, and outlines open problems for future work. A common technical theme is decision making under uncertainty: how can we find actions which will impact a social system in desirable ways under limitations of knowledge and resources? The primary application area for my work thus far is public health, e.g. HIV or tuberculosis prevention. For instance, I have developed a series of algorithms which optimize social network interventions for HIV prevention. Two of these algorithms have been pilot-tested in collaboration with LA-area service providers for homeless youth, with preliminary results showing substantial improvement over status-quo approaches. My work also spans other topics in infectious disease prevention and underlying algorithmic questions in robust and risk-aware submodular optimization.
Hatebusters: A Web Application for Actively Reporting YouTube Hate Speech
Authors: Anagnostou Antonios , Mollas Ioannis , Tsoumakas Grigorios
Published: July 2018

Hatebusters is a web application for actively reporting YouTube hate speech, aiming to establish an online community of volunteer citizens. Hatebusters searches YouTube for videos with potentially hateful comments, scores their comments with a classifier trained on human-annotated data and presents users those comments with the highest probability of being hate speech. It also employs gamification elements, such as achievements and leaderboards, to drive user engagement.
Using Contextual Bandits with Behavioral Constraints for Constrained Online Movie Recommendation
Authors: Balakrishnan Avinash , Bouneffouf Djallel , Mattei Nicholas , Rossi Francesca
Published: July 2018

AI systems that learn through reward feedback about the actions they take are increasingly deployed in domains that have significant impact on our daily life. In many cases the rewards should not be the only guiding criteria, as there are additional constraints and/or priorities imposed by regulations, values, preferences, or ethical principles. We detail a novel online system, based on an extension of the contextual bandits framework, that learns a set of behavioral constraints by observation and uses these constraints as a guide when making decisions in an online setting while still being reactive to reward feedback. In addition, our system can highlight features of the context which are more predicted to be more rewarding and/or are in line with the behavioral constraints.Â  We demonstrate the system by building an interactive interface for an online movie recommendation agent and show that our system is able to act within a set of behavior constraints without significantly degrading overall performance.
Intelligent Assistant for Elderly
Authors: Bizjak Jani , Gradišek Anton , Gams Matjaž
Published: July 2018

A rapidly ageing population in the developed world brings a necessity and opportunity for the AI-based ICT solutions. We present a system, developed within the scope of an EU H2020 project IN LIFE, which aims to prolong the age at which individual can still live at home independently while at the same time increasing comfort and safety. In this demo we present the final result of the project, a virtual AI carer monitoring user 24/7 in a form of a smartwatch. The system provides a range of useful services among which fall detection and activity monitoring are highlighted here. The device and accompanying services were tested during the project on 150 elderly users for several months, their feedback was taken into account for potential future improvements.
Visualizations for an Explainable Planning Agent
Authors: Chakraborti Tathagata , Fadnis Kshitij P. , Talamadupula Kartik , Dholakia Mishal , Srivastava Biplav , Kephart Jeffrey O. , Bellamy Rachel K. E.
Published: July 2018

In this demonstration, we report on the visualization capabilities of an Explainable AI Planning (XAIP) agent that can support human-in-the-loop decision-making. Imposing transparency and explainability requirements on such agents is crucial for establishing human trust and common ground with an end-to-end automated planning system. Visualizing the agent's internal decision making processes is a crucial step towards achieving this. This may include externalizing the "brain" of the agent: starting from its sensory inputs, to progressively higher order decisions made by it in order to drive its planning components. We demonstrate these functionalities in the context of a smart assistant in the Cognitive Environments Laboratory at IBM's T.J. Watson Research Center.
Solving Sudoku with Consistency: A Visual and Interactive Approach
Authors: Howell Ian , Woodward Robert , Choueiry Berthe Y. , Bessiere Christian
Published: July 2018

We describe an online, interactive system with a

graphical interface to illustrate the power and operation

of consistency algorithms in a friendly and

popular context, namely, solving Sudoku puzzles.

Our tool implements algorithms for enforcing five

(domain-based) consistency properties on binary

and non-binary constraint models. Our tool is useful

for research, education, and outreach. From

a scientific standpoint, we propose a new consistency

property that can solve the hardest known

9×9 Sudoku instances without search, but leave

open the question of the lowest level of consistency

needed to solve every 9×9 Sudoku puzzle. We

have used the current tool and its predecessor in the

classroom to introduce students to modeling problems

with constraints, explain consistency properties,

and illustrate the operations of constraint propagation

and lookahead. Finally, we have also used

this tool during outreach activities to demystify AI

to children and the general public and show them

how computers think.
Digitalized Cognitive Assessment mediated by a Virtual Caregiver
Authors: Luperto Matteo , Romeo Marta , Lunardini Francesca , Basilico Nicola , Jones Ray , Cangelosi Angelo , Ferrante Simona , Borghese N. Alberto
Published: July 2018

The ageing of the population deeply impacts on the social costs relative to health care. The use of modern technologies is one of the most promising approaches, under current study, to reduce such impact. In this demonstration, we propose a framework that can be employed for at-home assessment of Mild Cognitive Impairment (MCI). It is composed by a set of digitalized cognitive tests, developed from their paper-and-pencil counterparts, and by a Virtual Caregiver, which oversees the test execution and provides instructions.
Data-Driven Inventory Management and Dynamic Pricing Competition on Online Marketplaces
Authors: Schlosser Rainer , Walther Carsten , Boissier Martin , Uflacker Matthias
Published: July 2018

Online markets are characterized by competition and limited demand information. In E-commerce, firms compete against each other using data-driven dynamic pricing and ordering strategies. To successfully manage both inventory levels as well as offer prices is a highly challenging task as (i) demand is uncertain, (ii) competitors strategically interact, and (iii) optimized pricing and ordering decisions are mutually dependent. Currently, retailers lack the possibility to test and evaluate their algorithms appropriately before releasing them into the real world. To study joint dynamic ordering and pricing competition on online marketplaces, we built an interactive simulation platform. To be both flexible and scalable, the platform has a microservice-based architecture and allows handling dozens of competing merchants and streams of consumers with configurable characteristics. Further, we deployed and compared different pricing and ordering strategies, from simple rule-based ones to highly sophisticated data-driven strategies which are based on state-of-the-art demand learning techniques and efficient dynamic optimization models.
Hintikka's World: Agents with Higher-order Knowledge
Authors: Schwarzentruber François
Published: July 2018

In this demonstration paper, we present a pedagogical tool called Hintikka's world for showing how artificial agents can reason about higher-order knowledge (an agent knows that another agent knows that...). The system provides famous AI examples such as Muddy children and Russian cards. The system also allows to implement user's own examples via the description of a Kripke model or via its generation by the generic tableau method prover MetTeL2.
Automated Reasoning for City Infrastructure Maintenance Decision Support
Authors: Wei Lijun , Magee Derek R. , Dimitrova Vania , Clarke Barry , Du Heshan , Mahesar Quratul-ain , Al Ammari Kareem , Cohn Anthony G.
Published: July 2018

We present an interactive decision support system for assisting city infrastructure inter-asset management. It combines real-time site specific data retrieval, a knowledge base co-created with domain experts and an inference engine capable of predicting potential consequences and risks resulting from the available data and knowledge. The system can give explanations of each consequence, cope with incomplete and uncertain data by making assumptions about what might be the worst case scenario, and making suggestions for further investigation. This demo presents multiple real-world scenarios, and demonstrates how modifying assumptions (parameter values) can lead to different consequences.
Using a Deep Learning Dialogue Research Toolkit in a Multilingual Multidomain Practical Application
Authors: Wilcock Graham
Published: July 2018

The demo shows a practical application of an open-source research toolkit developed by University of Cambridge. The toolkit (PyDial) supports research on deep reinforcement learning for multi-domain dialogues. The application (CityTalk) is a spoken dialogue system for robots that give information to tourists about local hotels and restaurants. We had a very positive experience using the toolkit, but in a few areas we decided to do things our own way.
Multi-scale and Discriminative Part Detectors Based Features for Multi-label Image Classification
Authors: Cheng Gong , Gao Decheng , Liu Yang , Han Junwei
Published: July 2018

Convolutional neural networks (CNNs) have shown their promise for image classification task. However, global CNN features still lack geometric invariance for addressing the problem of intra-class variations and so are not optimal for multi-label image classification. This paper proposes a new and effective framework built upon CNNs to learn Multi-scale and Discriminative Part Detectors (MsDPD)-based feature representations for multi-label image classification. Specifically, at each scale level, we (i) first present an entropy-rank based scheme to generate and select a set of discriminative part detectors (DPD), and then (ii) obtain a number of DPD-based convolutional feature maps with each feature map representing the occurrence probability of a particular part detector and learn DPD-based features by using a task-driven pooling scheme. The two steps are formulated into a unified framework by developing a new objective function, which jointly trains part detectors incrementally and integrates the learning of feature representations into the classification task. Finally, the multi-scale features are fused to produce the predictions. Experimental results on PASCAL VOC 2007 and VOC 2012 datasets demonstrate that the proposed method achieves better accuracy when compared with the existing state-of-the-art multi-label classification methods.
Siamese CNN-BiLSTM Architecture for 3D Shape Representation Learning
Authors: Dai Guoxian , Xie Jin , Fang Yi
Published: July 2018

Learning a 3D shape representation from a collection of its rendered 2D images has been extensively studied. However, existing view-based techniques have not yet fully exploited the information among all the views of projections. In this paper, by employing recurrent neural network to efficiently capture features across different views, we propose a siamese CNN-BiLSTM network for 3D shape representation learning. The proposed method minimizes a discriminative loss function to learn a deep nonlinear transformation, mapping 3D shapes from the original space into a nonlinear feature space. In the transformed space, the distance of 3D shapes with the same label is minimized, otherwise the distance is maximized to a large margin. Specifically, the 3D shapes are first projected into a group of 2D images from different views. Then convolutional neural network (CNN) is adopted to extract features from different view images, followed by a bidirectional long short-term memory (LSTM) to aggregate information across different views. Finally, we construct the whole CNN-BiLSTM network into a siamese structure with contrastive loss function. Our proposed method is evaluated on two benchmarks, ModelNet40 and SHREC 2014, demonstrating superiority over the state-of-the-art methods.
Unsupervised Cross-Modality Domain Adaptation of ConvNets for Biomedical Image Segmentations with Adversarial Loss
Authors: Dou Qi , Ouyang Cheng , Chen Cheng , Chen Hao , Heng Pheng-Ann
Published: July 2018

Convolutional networks (ConvNets) have achieved great successes in various challenging vision tasks. However, the performance of ConvNets would degrade when encountering the domain shift. The domain adaptation is more significant while challenging in the field of biomedical image analysis, where cross-modality data have largely different distributions. Given that annotating the medical data is especially expensive, the supervised transfer learning approaches are not quite optimal. In this paper, we propose an unsupervised domain adaptation framework with adversarial learning for cross-modality biomedical image segmentations. Specifically, our model is based on a dilated fully convolutional network for pixel-wise prediction. Moreover, we build a plug-and-play domain adaptation module (DAM) to map the target input to features which are aligned with source domain feature space. A domain critic module (DCM) is set up for discriminating the feature space of both domains. We optimize the DAM and DCM via an adversarial loss without using any target domain label.

Our proposed method is validated by adapting a ConvNet trained with MRI images to unpaired CT data for cardiac structures segmentations, and achieved very promising results.
Sintesis dan Karakterisasi Busa Poliuretan dari Minyak Goreng Bekas dan Toluen Diisosianat dengan Penambahan PEG-400
Authors: Nofiyanti Estin , Mariam Nida
Published: July 2018

Penelitian yang telah dilakukan bertujuan untuk mensintesis busa poliuretan dari minyak goreng bekas dan Toluen Diisosianat (TDI) dengan penambahan PEG-400 serta karakterisasi busa poliuretan yang terbentuk. Minyak goreng bekas dikonversi terlebih dahulu menjadi poliol sebelum direaksikan dengan TDI. Polimerisasi dilakukan pada temperatur kamar dengan variasi komposisi poliol minyak goreng bekas–TDI - PEG 400 yaitu (2:1,5:0); (2:1,5:1); (2:1,5:2);  dan (2:1,5:3). Karakterisasi poliuretan hasil meliputi penentuan gugus fungsi menggunakan FTIR, jumlah ikatan silang menggunakan derajat penggembungan, dan sifat termal poliuretan menggunakan DTA. Poliuretan berhasil disintesis dari polyol minyak goreng bekas-PEG-400-TDI ditunjukkan adanya serapan  karakteristik poliuretan dari spektra FTIR. Penambahan PEG-400 dapat menyempurnakan polimerisasi dan meningkatkan derajat penggembungan (ikatan silang semakin sedikit). Pengujian sifat termal poliuretan optimum dengan komposisi  polyol minyak goreng bekas–TDI - PEG 400  (2 : 1,5 : 1) menunjukkan bahwa temperatur transisi gelas sebesar 256 oC dan temperatur degradasinya sebesar 275 oC.
关于工程造价成本控制在建筑设计阶段中的应用与研究
Authors: 刘 天宇 , 姚 思齐
Published: July 2018

在建筑工程项目建设过程中，合理的成本控制对保障工程效益至关重要，而建筑设计阶段是进行工程造价成本控制的最佳时机。在这一阶段内设计单位与施工方应当加强合作，尽可能提升企业效益。本文通过对在建筑设计阶段开展工程造价成本控制的意义和重要性的阐述，明确了在建筑设计阶段控制工程造价的基本思路和有效开展工程造价控制的实现路径，旨在通过正确认识工程造价成本控制的必要性，找出正确开展建筑设计成本控制的对策，提升建筑管理水平。
基于灰度化处理的纸张计数算法
Authors: 渠 琪 , 徐 晓冬 , 王 鹏菲 , 史 彩娟
Published: July 2018

在造纸厂和印刷行业生产中， 须对大量纸张进行清点， 为解决人为清点纸张效率低下及准确率低的问题， 本文提出基于灰度化处理的纸张计数方法。首先， 利用加权平均法对纸张边缘图像进行灰度化处理， 接着随机抽取 10 条纸张边缘截面信号， 分别利用差分方法进行锐化处理， 随后对处理后的信号利用移动平均滤波器进行平滑处理， 基于此， 利用波形演化规律对信号进行区域划分， 并获取等效纸张厚度序列， 最后提出一种基于均值贴近度的纸张厚度计算方法， 并通过迭代剔除异常数据， 直至所得纸张厚度序列收敛， 统计纸张数量。计算结果表明该方法效率较高， 且计算结果与实际值吻合， 能够实现对纸张数量的高效精确统计， 为提高印刷厂纸张清点效率提供依据。
浅谈装配式建筑的发展前景
Authors: 黄 佩光
Published: July 2018

当前中国建筑施工主要采用现场浇筑的方式， 需要大量的钢筋、模板、支架， 大量人员在现场操作， 湿作业工序多,时间长， 资源能源利用效率较低， 建筑垃圾排放量大， 扬尘和噪声环境污染较重。 而装配式建筑具有标准化设计、工厂化生产、装配化施工、一体化装修、 信息化管理等特征， 整个过程贯彻了绿色发展理念。本文介绍了装配式建筑的概念与分类， 指出装配式施工相对于传统建筑施工的优势， 分析发展装配式建筑的意义、现状和前景。希望本文的研究能够引起人们对装配式建筑的关注， 推动装配式建筑的发展。
控制爆破技术在公路石质路基施工中应用
Authors: 韦 麟 , 傅 建红
Published: July 2018

由于经济发展的需求， 公路施工的范围也向着越来越大的范围发展， 在地形特殊、 地质较差的地区开展公路施工工作往往会面对更大的施工难度与施工工作量。 尤其在施工工作量巨大与施工工期太短矛盾愈加严重的实际情况下， 需要更好提高公路施工效率， 保障短工期内准时完成工程有着十分重要的意义。施控制爆破技术就是能够满足施工质量要求与施工工期限制双重要求的关键技术， 对该项技术进行研究是公路修建水平进一步提升的关键。
高速公路沥青路面常见病害处治措施探讨
Authors: 吴 兵兵
Published: July 2018

中国高速公路在使用过程中出现了不同程度的毁坏， 因此需要及时对其进行修补， 在沥青路面铺设的过程中需要明确车辆行车规律，掌握车流量。 对沥青路面出现的基层松散、 沉陷、 网裂等问题作出深入分析， 掌握沥青路面常见病害的发生原因。 本文以高速公路建设为此次探讨的主要对象， 重点是对高速公路沥青路面常见病害处治措施进行有效分析。
Decreased abdominal fat and improved bone metabolism after taekwondo training in obese adolescents
Authors: Jung Hyun Chul , Song Jong Kook
Published: July 2018

Accumulation of abdominal fat during adolescence is associated with early metabolic dysfunctions and interrupting bone metabolism. This study aimed at investigating the effects of taekwondo training on abdominal fat and bone metabolism in obese adolescents. Twenty male obese adolescents, with a body mass index above 95th percentile (BMI: 29.4±1.90 kg/m2), aged 12-15 years, were assigned to the taekwondo training group (TKD, n=11) and control group (CON, n=9). Supervised taekwondo training was performed for 60 minutes/day, three times/week at 60-80% of participants’ heart rate reserve for 16 weeks. Body composition and bone mineral density (BMD) were estimated by dual X-ray absorptiometry. A computerized tomography scan was applied to estimate total abdominal fat (TAF), abdominal visceral fat (AVF), abdominal subcutaneous fat (ASF), and AVF to ASF ratio (VSR). Blood samples were analyzed for adipocytokines (leptin and adiponectin) and bone turnover markers (osteocalcin- OC and C-terminal telopeptide-CTx). There were significant interaction effects between abdominal fat variables and training where TAF (p<.01) and AVF (p<.05) decreased in TKD group. Bone metabolism including bone formation (OC, p<.05) and resorption markers (CTx, p<.05) were significantly increased only in the TKD group. The present study suggests that taekwondo training can be an effective afterschool activity program for providing health benefits including improving abdominal fat and bone metabolism in obese adolescents.
Load monitoring system in top-level basketball team
Authors: Svilar Luka , Jukić Igor
Published: July 2018

The study aimed to describe and compare the external training load, monitored using microtechnology, with the internal training load, expressed as the session rating of perceived exertion (sRPE), in elite male basketball training sessions. Thirteen professional basketball players participated in this study (age=25.7±3.3 years; body height=199.2±10.7 cm; body mass=96.6±9.4 kg). All players belonged to the same team, competing in two leagues, ACB and the Euroleague, in the 2016/2017 season. The variables assessed within the external motion analysis included: Player Load (PL), acceleration and deceleration (ACC/DEC), jumps (JUMP), and changes of direction (CoD). The internal demands were registered using the sRPE method. Pearson product-moment correlations were used to determine relationships between the variables. A significant correlation was observed between the external load variables and sRPE (range r=0.71–0.93). Additionally, the sRPE variable showed a high correlation with the total PL, ACC, DEC, and CoD. The contrary was observed with respect to the relationship between sRPE and JUMP variables: the correlation was higher for the high band and lower for the total number of jumps. With respect to the external load variables, a stronger correlation was found between PL and the total number of ACC, DEC and COD than the same variables within the high band. The only contrary finding was the correlation between PL and JUMP variables, which showed a stronger correlation for hJUMP. Tri-axial accelerometry technology and the sRPE method serve as valuable tools for monitoring the training load in basketball. Even though the two methods exhibit a strong correlation, some variation exists, likely due to frequent static movements (i.e., isometric muscle contractions) that accelerometers are not able to detect. Finally, it is suggested that both methods are to be used complementary, when possible, in order to design and control the training process as effectively as possible.
Parity, Relevance, and Gentle Explosiveness in the Context of Sylvan's Mate Function
Authors: Ferguson Thomas Macaulay
Published: July 2018

The Routley star, an involutive function between possible worlds or set-ups against which negation is evaluated, is a hallmark feature of Richard Sylvan and Val Plumwood's set-up semantics for the logic of first-degree entailment. Less frequently acknowledged is the weaker mate function described by Sylvan and his collaborators, which results from stripping the requirement of involutivity from the Routley star. Between the mate function and the Routley star, however, lies an broad field of intermediate semantical conditions characterizing an infinite number of consequence relations closely related to first-degree entailment. In this paper, we consider the semantics and proof theory for deductive systems corresponding to set-up models in which the mate function is cyclical. We describe modifications to Anderson and Belnap's consecution calculus LE_fde2 that correspond to these constraints, for which we prove soundness and completeness with respect to the set-up semantics. Finally, we show that a number of familiar metalogical properties are coordinated with the parity of a mate function's period, including refined versions of the variable-sharing property and the property of gentle explosiveness.
Paraconsistency and its Philosophical Interpretations
Authors: Barrio Eduardo , Da Re Bruno
Published: July 2018

Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples of non-paraconsistent logics that can be interpreted in a dialetheic way.
Relevant Logics Obeying Component Homogeneity
Authors: Ciuni Roberto , Szmuc Damian , Ferguson Thomas Macaulay
Published: July 2018

This paper discusses three relevant logics (S*fde , dS*fde , crossS*fde) that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde , dS*fde , crossS*fde. Second, the paper establishes complete sequent calculi for S*fde , dS*fde , crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define (a given family of) containment logics, we explore the single-premise/single-conclusion fragment of S*fde , dS*fde , crossS*fde and the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde  as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues.
“It’s a War I Still Would Go To”: The American War in Vietnam and Nostalgic Re-Imaginings of World War II
Authors: Musiał Aleksandra
Published: July 2018

In this article, I trace the process through which World War II (WWII) has become the „good war” in American culture. Drawing on a range of books and articles published on the subject —and often written by the war’s veterans—I summarize their findings considering the essentially mythical nature of the conflict’ common memory. The well-known aspects of this myth include the view that WWII was a straightforward struggle between good and evil, that the U.S. soldiers who fought it belonged to “the greatest generation,” and that it was ultimately an expression and activization of American honor, heroism, and gallantry. Further on, I argue that beginning in the 1980s, a resurgence of cultural interest in WWII becomes evident, but now tinged not only with the emerging image of “the good war,” but also with nostalgia—and that the “nostalgization” of the conflict was caused directly by, and indeed possible only because of, the U.S. experience in Vietnam. I trace the multifaceted and multiple references to WWII in Vietnam War narratives—but also to Vietnam in some nostalgic representations of WWII.
Memory and Conflict: Interviews with Youth of the Bosnian War
Authors: Shaughnessy Elizabeth
Published: July 2018

This paper was part of a multi-media project presented at the University of Gdańsk in September 2015. It examines the preliminary findings of interviews conducted in Bosnia and Herzegovina (BiH) and over Skype in July and August of 2015. Eight participants—ranging in age, gender, religion, ethnicity, place of origin, and other profiling components—answered questions regarding past memories of childhood interrupted by the 1992-1995 war, how those memories affect personal identity and current views on the social, political, and economic conditions of BiH, and future outlook with particular attention focused on reconciliation. All names have been changed. For reference purposes, the list of abbreviations and bibliography is included at the end.
The Regime of Memory in “The Museum of Innocence”: The Past as an Age of Innocence
Authors: Özgül Gönül Eda
Published: July 2018

In this paper, the regime of memory produced in The Museum of Innocence, a museum created and curated by the author Orhan Pamuk is discussed. The museum was opened in 2012 in Istanbul and it was based on Pamuk’s novel of the same title published in 2008. The intertextual novel-museum and the museum-novel blur the distinctions between fiction and reality, as well as the distinctions between individual and social memories and focus on everyday life and personal objects rather than the “monumental” national history. The regime of memory produced in this museum is discussed in this paper in relation with the process of modernization in Turkey. The understanding of time, space, reality and individual prevailing in the museum are evaluated in order to understand whether the museum produces a creative remembering that problematized the process of remembering or a regime of remembering that is based on absolutizing the past.
Two concurrent outbreaks of hepatitis A highlight the risk of infection for non-immune travellers to Morocco, January to June 2018
Authors: Gassowski Martyna , Michaelis Kai , Wenzel Jürgen J. , Faber Mirko , Figoni Julie , Mouna Lina , Friesema Ingrid HM , Vennema Harry , Avellon Ana , Varela Carmen , Sundqvist Lena , Lundberg Ederth Josefine , Plunkett James , Balogun Koye , Ngui Siew Lin , Midgley Sofie Elisabeth , Gillesberg Lassen Sofie , Müller Luise
Published: July 2018

From January to June 2018, two ongoing hepatitis A outbreaks affected travellers returning from Morocco and cases in Europe without travel history, resulting in 163 patients in eight European countries. Most interviewed travel-related cases were unaware of the hepatitis A risk in Morocco. Molecular analysis revealed two distinct hepatitis A virus (HAV) strains (subgenotype IA DK2018_231; subgenotype IB V18–16428). Vaccination recommendations should be emphasised to increase awareness among non-immune travellers to Morocco and HAV-endemic countries.
Areas of saline groundwater
Authors: Carvalho-Resende Tales
Published: July 2018

This map presents areas identified as having saline groundwater (i.e. salinity regionally exceeding 5 g/l), and where groundwater is generally not suitable for human consumption.

For more information, visit: www.whymap.org

Groundwater
Pollution
Quality
Flooding in Pakistan (August, 2010)
Authors: Carvalho-Resende Tales
Published: July 2018

This layer shows NASA's Earth Observing-1 (EO-1) satellite images of Pakistan on August 11, 2010, after two weeks of flooding had devastated the country.

By early August 2010, two weeks of devastating monsoon rains had transformed the landscape of Pakistan, pushing rivers over their banks, inundating villages, washing away bridges and roads, destroying crops, and killing livestock. By August 12, 2010, more than 1,600 people had perished, according to news reports, and the United Nations Office for the Coordination of Humanitarian Affairs (OCHA) estimated that more than 14 million people had been affected in some way.

For more information, visit NASA's Earth Observatory page: http://earthobservatory.nasa.gov/IOTD/view.php?id=45200

Disaster
Flood
Percentage of safely treated wastewater used in Arab States in 2013
Authors: Meyer Chloé
Published: July 2018

This layer shows the percentage of safely treated wastewater that is being used in the Arab region, mostly for irrigation and groundwater recharge. At the Arab regional level, 23% of the safely treated wastewater is being used.

For more information, access the 2017 UN World Water Development Report: http://www.unesco.org/new/en/natural-sciences/environment/water/wwap/wwdr/2017-wastewater-the-untapped-resource/

Quality
Use/Reuse
Waste
Volume of collected wastewater in the Arab States in 2013 (in millions m3)
Authors: Meyer Chloé
Published: July 2018

This layer shows the volume of collected wastewater in the Arab States, expressed in millions of cubic meters. Access to improved sanitation is largely prevalent in the Arab region, but connections to sewerage networks and wastewater treatment facilities remain more limited. Network coverage is generally provided in larger urban centers, while septic tanks and cesspits remain common in rural areas and in the region's least developed countries. Off-network sanitation systems, however, complicate te collection and treatment of wastewater and reduce the ability to sustainably manage wastewater as a resource in most areas.

For more information, acces the 2017 UN World Water Development Report: http://www.unesco.org/new/en/natural-sciences/environment/water/wwap/wwdr/2017-wastewater-the-untapped-resource/

Quality
Sanitation
Waste
Presence of water in 980 water points in Guatemala (2013-2016)
Authors: Meyer Chloé
Published: July 2018

This layer identifies if any water was available at the water point on the day of the visit (recognizing that it may be a limited flow) in Guatemala. Data was gathered from the Water Point Data Exchange (WPDx) platform, a tool established for sharing water point data throughout the global water sector. The goal of the Water Point Data Exchange is to simplify the way water point data is shared so all stakeholders can work more efficiently.

For more information, visit the WPDx website at https://www.waterpointdata.org/

Accessibility
Drinking water
Supply
Water Poverty Index (2002)
Authors: Meyer Chloé
Published: July 2018

This layer presents the Water Poverty Index (WPI) in 141 countries around the world. The WPI is a water management tool that expresses an interdisciplinary measure which links household welfare with water availability and indicates the degree to which water scarcity impacts on human populations. It is calculated using 5 components: resources, access, capacity, use, environment. The WPI combines measures of water availability and access with the people’s capacity to access water. People can be considered as « water poor » if the water is not enough available for their basic needs (they may have to walk a long way to get it or supplies may be limited) or if people can’t access to water even if it is available (for example if they can’t afford to pay for it).

For more information, see the paper: http://econwpa.repec.org/eps/dev/papers/0211/0211003.pdf

Accessibility
Scarcity
Supply
Vulnerability
Presence of water in 244 water points in El Salvador (2013-2016)
Authors: Meyer Chloé
Published: July 2018

This layer identifies if any water was available at the water point on the day of the visit (recognizing that it may be a limited flow) in El Salvador. Data was gathered from the Water Point Data Exchange (WPDx) platform, a tool established for sharing water point data throughout the global water sector.

The goal of the Water Point Data Exchange is to simplify the way water point data is shared so all stakeholders can work more efficiently.

For more information, visit the WPDx website at https://www.waterpointdata.org/

Accessibility
Drinking water
Supply
Presence of water in 457 water points in Honduras (2013-2016)
Authors: Meyer Chloé
Published: July 2018

This layer identifies if any water was available at the water point on the day of the visit (recognizing that it may be a limited flow) in Honduras. Data was gathered from the Water Point Data Exchange (WPDx) platform, a tool established for sharing water point data throughout the global water sector.

The goal of the Water Point Data Exchange is to simplify the way water point data is shared so all stakeholders can work more efficiently.

For more information, visit the WPDx website at https://www.waterpointdata.org/

Accessibility
Drinking water
Supply
Groundwater productivity in Africa
Authors: Archambault Gabin
Published: July 2018

This 5 km resolution grid indicates what borehole yields (in l/s) can reasonably be expected in different hydrogeological units. The ranges indicate the approximate interquartile range of the yield of boreholes that have been sited and drilled using appropriate techniques. Groundwater productivity is given in liters per second.

Detailed description of the methodology, and a full list of data sources used to develop the layer can be found in the peer-reviewed paper available here: http://iopscience.iop.org/article/10.1088/1748-9326/7/2/024009/pdf

The raster and a high resolution PDF file are available for download on the website of British Geological Survey (BGS): http://www.bgs.ac.uk/research/groundwater/international/africanGroundwater/mapsDownload.html

Groundwater
Supply
Groundwater storage in Africa
Authors: Archambault Gabin
Published: July 2018

This 5 km resolution grid presents groundwater storage in Africa (in mm). This parameter was estimated by combining the saturated aquifer thickness and effective porosity of aquifers across Africa. For each aquifer flow/storage type an effective porosity range was assigned based on a series of studies across Africa and surrogates in other parts of the world. Groundwater storage is given in millimeters.

Detailed description of the methodology, and a full list of data sources used to develop the layer can be found in the peer-reviewed paper available here: http://iopscience.iop.org/article/10.1088/1748-9326/7/2/024009/pdf

The raster and a high resolution PDF file are available for download on the website of British Geological Survey (BGS): http://www.bgs.ac.uk/research/groundwater/international/africanGroundwater/mapsDownload.html

Groundwater
Storage
Actual evapotranspiration in 2006
Authors: Guefradj Najet
Published: July 2018

This layer represents the actual evapotranspiration in 2006, in million cubic meters. Volumes evapostranspirated are volumes of water that enters the atmosphere through evaporation from land and water surfaces as well as transpiration from plants.Data for other years are also available in the table.

Those estimates are provided by the Environment Statistics Section of the United Nation Statistics Division (UNSD).

For more information, visit the Environment Statistics Section website: https://unstats.un.org/unsd/environment/default.htm. Information on the methodology can be found in the report on International Recommendations for Water Statistics: https://unstats.un.org/unsd/publication/seriesM/seriesm_91e.pdf

Ecohydrology
Disability-Adjusted Life Year attributable to the lack of access to handwashing facility in 2015 for 5-14 year-old males
Authors: Guefradj Najet
Published: July 2018

This layer represents the percentage of total Disability-Adjusted Life Years (DALYs) attributable to the lack of access to handwashing facility in 2015, for 5 to 14 year-old males.

One DALY can be thought of as one lost year of "healthy" life. The sum of DALYs across a population help to quantify the burden of disease, and to evaluate the gap between current health status and an ideal health situation.

Estimates and additional related resources can be found in the Global Burden of Study here: http://ghdx.healthdata.org/gbd-2015 For more information, visit the Institute for Health Metrics and Evaluation website: http://www.healthdata.org/gbd

Gender
Health
Youth
Urban Source Watersheds
Authors: Barranco-Fabre Adrian
Published: July 2018

This map shows the source watersheds of 534 cities.

"Although the 100 largest cities in the world occupy less than 1 percent of our planet’s land area, their source watersheds — the rivers, forests and other ecosystems from which they get their water— cover over 12 percent. [...] The availability and quality of that water supply, and hence the costs to move and treat it, depend heavily on how land in those source watersheds is used." (Nature Conservancy, 2015).

For more information, access the Urban Water Blueprint report here: http://www.iwa-network.org/wp-content/uploads/2016/06/Urban-Water-Blueprint-Report.pdf

You can also visit the Urban Water Blueprint website here: http://water.nature.org/waterblueprint/#/intro=true

Basin
Drinking water
Human settlements
Surface water
A MIXED PROBLEM FOR THE FOUR-ORDER ONE-DIMENSIONAL HYPERBOLIC EQUATION WITH PERIODIC CONDITIONS
Authors: Korzyuk V. I. , Van Vinh Nguyen
Published: July 2018

This article considers a classical solution of the boundary problem for the four-order strictly hyperbolic equation with four different characteristics. Note that the well-posed statement of mixed problems for hyperbolic equations not only depends on the number of characteristics, but also on their location. The operator appearing in the equation involves a composition of first-order differential operators. The equation is defined in the half-strip of two independent variables. There are Cauchy’s conditions at the domain bottom and periodic conditions at other boundaries. Using the method of characteristics, the analytic solution of the considered problem is obtained. The uniqueness of the solution is proved. We have also noted that the solution in the whole given domain is a composition of the solutions obtained in some subdomains. Thus, for the obtained classical solution to possess required smoothness, the values of these piecewise solutions, as well as their derivatives up to the fourth order must coincide at the boundary of these subdomains. A classical solution is understood as a function that is defined everywhere at all closure points of a given domain and has all classical derivatives entering the equation and the conditions of the problem.