An Algorithmic Framework for Computing Validation Performance Bounds by Using Suboptimal Models

Practical model building processes are often time-consuming because many different models must be trained and validated. In this paper, we introduce a novel algorithm that can be used for computing the lower and the upper bounds of model validation errors without actually training the model itself. A key idea behind our algorithm is using a side information available from a suboptimal model. If a reasonably good suboptimal model is available, our algorithm can compute lower and upper bounds of many useful quantities for making inferences on the unknown target model. We demonstrate the advantage of our algorithm in the context of model selection for regularized learning problems

Concurrent Bursty Behavior of Social Sensors in Sporting Events

The advent of social media expands our ability to transmit information and connect with others instantly, which enables us to behave as "social sensors." Here, we studied concurrent bursty behavior of Twitter users during major sporting events to determine their function as social sensors. We show that the degree of concurrent bursts in tweets (posts) and retweets (re-posts) works as a strong indicator of winning or losing a game. More specifically, our simple tweet analysis of Japanese professional baseball games in 2013 revealed that social sensors can immediately react to positive and negative events through bursts of tweets, but that positive events are more likely to induce a subsequent burst of retweets. We also show that these findings hold true across cultures by analyzing tweets related to Major League Baseball games in 2015. Furthermore, we demonstrate active interactions among social sensors by constructing retweet networks during a baseball game. The resulting networks commonly exhibited user clusters depending on the baseball team, with a scale-free connectedness that is indicative of a substantial difference in user popularity as an information source. While previous studies have mainly focused on bursts of tweets as a simple indicator of a real-world event, the temporal correlation between tweets and retweets implies unique aspects of social sensors, offering new insights into human behavior in a highly connected world.Comment: 17 pages, 8 figure

Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

We discuss relationships among the existence property, the disjunction property, and their weak variants in the setting of intermediate predicate logics. We deal with the weak and sentential existence properties, and the Z-normality, which is a weak variant of the disjunction property. These weak variants were presented in the author’s previous paper [16]. In the present paper, the Kripke sheaf semantics is used.Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma „ Bulletin of the Section of Logic” finansowane w ramach umowy 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą naukę

Boiling heat transfer enhancement by nano-particles-assembled bi-porous layers

Nanoparticles-assembled bi-porous structure is newly proposed as boiling heat transfer enhancement technique. In order to assemble nanoparticles onto a heat transfer surface as a thin layer, a boiling adhesion method (BAM) is originally introduced in which, water or water/ethanol solution with mono-dispersed nanoparticles is dropped or sprayed onto a high temperature surface, and then the nanoparticles deposit onto the heat transfer surface during the boiling. In addition to that, it is expected that boiling bubbles can produce micro or milli scale of larger pores at the same time, which enables to fabricate bi-porous structure. Please download the full abstract below