Miracle-dz/UniFAR-FTUs huggingface dataset:
Using Cognitive Tunnels in a New Approach to Building Social Elevators in the Information Society

We are on the verge of developing artificial intelligences that may dwarf the capabilities of human intelligence. How we will interact and thrive alongside such intelligence will be a pressing societal problem. This paper addresses the question of the intelligence of "artificial persons" (organisations of people) that already exist in our modern world. A particular issue – social exclusion from the artificial persons of top professions – is explored. The paper shows how cognitonics, using telepresence, cognitive tunnelling and an advanced dialogic framework, based on the viva voce form of the Turing test, can support society in opening up pathways to its advanced professions for all of its youngsters; and at the same time train its artificial persons to work harmoniously with the other members of society. Learning how to have meaningful social dialogue with artificial persons, may be of societal value as we prepare to live among artificial persons that employ their own artificial intelligence.
AIR – SEA INTERACTIONS FROM WESTERLY WIND BURSTS DURING THE NOVEMBER 2011 MJO IN THE INDIAN OCEAN

AFFILIATIONS: moum, de szoeke, smyth, aNd mouliN—College of Earth, Ocean and Atmospheric Sciences, Oregon State University, Corvallis, Oregon; edsoN—Department of Marine Sciences, University of Connecticut, Groton, Connecticut; deWitt—NOAA/Pacific Marine Environmental Laboratory, Seattle, Washington; thomPsoN, rutledge, aNd JohNsoN— Department of Atmospheric Sciences, Colorado State University, Fort Collins, Colorado; zaPPa—Ocean and Climate Physics Division, Lamont-Doherty Earth Observatory, Columbia University, Palisades, New York; Fairall—NOAA/Earth System Research Laboratory, Boulder, Colorado CORRESPONDING AUTHOR: James N. Moum, College of Earth, Ocean and Atmospheric Sciences, Oregon State University, Corvallis, OR 97331-5503 E-mail: moum@coas.oregonstate. edu
Comparative frequency response analysis system for electrochemical impedance spectroscopy measurements

Electrochemical impedance spectroscopy (EIS) is a widely used technique in biomedical and chemical analysis. A prototype of comparative frequency response analysis (FRA) system for measuring EIS is proposed in this work. Compared to traditional FRA-based systems, neither quadrature sinusoidal signals nor two identical sensing paths are needed. The experimental results based on molecularly imprinted polymers (MIPs) for detection of melatonin solutions are shown to validate the proposed EIS measurement system.
Efficient collision-free path planning for Autonomous 7 Underwater Vehicles in dynamic environments with a hybrid 8 optimization algorithm

1 record) is published by Ocean Engineering, Volume 127, Pages 190-199, ISSN 0029-8018, 2 http://dx.doi. org/10.1016/j.oceaneng. 2016.09. 040. 3 (http://www.sciencedirect.com/science/article/pii/S0029801816304188). This work is made available 4 online in accordance with the publisher's policies. Please refer to any applicable terms of use of the 5 publisher. " 6 Efficient collision-free path planning for Autonomous 7 Underwater Vehicles in dynamic environments with a hybrid 8 optimization algorithm 9
Flexible Runtime Veriﬁcation Based On Logical Clock Constraints

We present in this paper a method and tool for the veriﬁcation of causal and temporal properties of embedded systems, by analyzing the trace streams resulting from virtual prototypes that combines simulated hardware and embedded software. The proposed method makes it possible to analyze different kinds of properties without rebuilding the simulation models. Logical clocks are used to identify relevant points to put observation probes and thus also reducing the trace streams size. We propose a property speciﬁcation language, called PSML, and based on behavioral patterns that does not require knowledge of temporal logics. From a given PSML speciﬁcation, simulation is instrumented to generate a trace and the code is dynamically loaded by the simulator. The resulting trace stream is analyzed by parallel automata generated from the speciﬁcation. The experiments, developed over the SimSoC virtual prototyping framework, show ﬂexibility, possibility of using multi-core platforms to parallelize simulation and veriﬁcation, providing fast results.
Non-probabilistic Causation without Necessitation ∗

This article introduces the notion of the directedness of a process, which underlies event causation as well as the persistence of things. Using this notion it investigates what happens in typical cases of active event causation. 5 Causes never necessitate their eﬀects because even non-probabilistic causes can be counteracted.
Grid Coverage for Surveillance and Target Location in Distributed Sensor Networks

We present novel grid coverage strategies for effective surveillance and target location in distributed sensor networks. We represent the sensor field as a grid (two or three-dimensional) of points (coordinates) and use the term target location to refer to the problem of locating a target at a grid point at any instant in time. We first present an integer linear programming (ILP) solution for minimizing the cost of sensors for complete coverage of the sensor field. We solve the ILP model using a representative public-domain solver and present a divide-and-conquer approach for solving large problem instances. We then use the framework of identifying codes to determine sensor placement for unique target location, We provide coding-theoretic bounds on the number of sensors and present methods for determining their placement in the sensor field. We also show that grid-based sensor placement for single targets provides asymptotically complete (unambiguous) location of multiple targets in the grid.
Excluded minors, network decomposition, and multicommodity flow

In this paper we show that, given a graph and parameters 6 and r, we can find either a K,,. minor or an edge-cut of size O(mT/6) whose removal yields components of weak diameter O(T-26); i.e., every pair of nodes in such a component are at distance 0(r26) in the original graph. Using this lemma, we improve the best known bounds for the rein-cut max-flow ratio for mukicommodity flows in graphs with forbidden small minors. In general graphs, it was known that the ratio is O(log k) for the uniform-demand case (the case where there is a unit-demand commodity between every pair of nodes), and that the ratio is 0(log2 k) for arbitrary demands, where k is the number of commodities. In this paper we show that for graphs excluding any fixed graph as a minor (e.g. planar graphs or boundedgenus graphs), the ratio is O(1) for the uniform-demand case and O(log k) for the arbitrary demand case. For such graphs, our method yields rein-ratio cut approximation algorithms with performance bounds that match the above ratios. Computation of such cuts is a basic step for a variety of approximation algorithms for NP-complete problems.
AMnet: efficient and flexible provision of heterogeneous multicast services

AMnet is a framework for flexible and rapid service creation and provides primarily heterogeneous user-tailored group communication services, AMnet is based on Active and Programmable Networking technologies and uses active nodes (AMnodes) located within the network to execute so-called service modules for the provision of individual group communication services. It is, however not limited to group communication since it provides a rather generic framework. The AMnode design is shaped for the efficient execution of flexible loadable service modules, including dedicated hardware support.
Database of Gene Co-Regulation (dGCR): A Web Tool for Analysing Patterns of Gene Co-regulation across Publicly Available Expression Data

The database of Gene Co-Regulation (dGCR) is a web tool for the analysis of gene relationships based on correlated patterns of gene expression over publicly available transcriptional data. The motivation behind dGCR is that genes whose expression patterns correlate across many experiments tend to be co-regulated and hence share biological function. In addition to revealing functional connections between individual gene pairs, extended sets of co-regulated genes can also be assessed for enrichment of gene ontology classes and interaction pathways. This functionality provides an insight into the biological function of the query gene itself. The dGCR web tool extends the range of expression data curated by existing co-regulation databases and provides additional insights into gene function through the analysis of pathways, gene ontology classes and co-regulation modules.
Particle swarm optimization combining diversification and intensification through complex networks for nonlinear programming problems

This paper presents a new particle swarm optimization method through the concept of complex networks for nonlinear programming problems. The purpose of this paper is to clarify the impact of the network structure between individuals on the solution performance. Realizing diversification and intensification of search processes, a new solution method using the ideas of complex networks is introduced. Illustrative numerical examples are provided to demonstrate the feasibility and efficiency of the proposed method.
Effects of Energy Poverty

This study examined the relationship between energy poverty and environmental quality using panel data of 9 ECOWAS nations for the period of 2000 to 2020. The study adopted cross-sectional Augmented Im, Pesaran, and Shinpanel unit root test and the panel non-linear Autoregressive Distributed Lag techniques as analytical tools with Foreign Direct Investment (FDI) and Gross Domestic Product (GDP) per capita as control variables. Results indicate the presence of significant symmetric and asymmetric relationship between energy poverty index and ecological footprint (EF) in the long run and further confirms the existence of the Environmental Kuznet Curve (EKC) Hypothesis only in the long run. The study also reveal that FDI has no significant influence on EF, while GDP leads to a significant increase in pollution via the ecological footprint. The study recommended some macro energy policies for the ECOWAS nations to improve their performance in tackling energy poverty and increasing environmental quality.
Spatial and temporal variability in sedimentation rates associated with cutoff channel infill deposits: Ain River, France

Floodplain development is associated with lateral accretion along stable channel geometry. Along shifting rivers, the floodplain sedimentation is more complex because of changes in channel position but also cutoff channel presence, which exhibit specific overflow patterns. In this contribution, the spatial and temporal variability of sedimentation rates in cutoff channel infill deposits is related to channel changes of a shifting gravel bed river (Ain River, France). The sedimentation rates estimated from dendrogeomorphic analysis are compared between and within 14 cutoff channel infills. Detailed analyses along a single channel infill are performed to assess changes in the sedimentation rates through time by analyzing activity profiles of the fallout radionuclides 137Cs and unsupported 210Pb. Sedimentation rates are also compared within the channel infills with rates in other plots located in the adjacent floodplain. Sedimentation rates range between 0.65 and 2.4 cm a−1 over a period of 10 to 40 years. The data provide additional information on the role of distance from the bank, overbank flow frequency, and channel geometry in controlling the sedimentation rate. Channel infills, lower than adjacent floodplains, exhibit higher sedimentation rates and convey overbank sediment farther away within the floodplain. Additionally, channel degradation, aggradation, and bank erosion, which reduce or increase the distance between the main channel and the cutoff channel aquatic zone, affect local overbank flow magnitude and frequency and therefore sedimentation rates, thereby creating a complex mosaic of sedimentation zones within the floodplain and along the cutoff channel infills. Last, the dendrogeomorphic and 137Cs approaches are cross validated for estimating the sedimentation rate within a channel infill.
Sensitivity Evolution of WFC3/IR Using Spatial Scanning Photometry and Grism Spectrophotometry

Spatial scanning and slitless spectroscopic observations with the Wide Field Camera 3 (WFC3) IR channel are used to quantify its photometric stability and provide independent estimates of the rate of sensitivity evolution. Spatial scans of stars in the open cluster M35 observed with the F140W filter reveal a sensitivity loss at the rate of 0.065 ± 0.006 % per year and also result in the first measurement of a sensitivity loss of 0.157 ± 0.021 % per year in the F098M filter. Observations of spectrophotometric standard stars with the WFC IR grisms, G102 and G141, demonstrate photometric sensitivity losses at the annual rates of 0.115 ± 0.008 % yr − 1 and 0.061 ± 0.007 % yr − 1 , respectively. The imaging and the grism modes of WFC3/IR show similar sensitivity evolution over comparable wavelength ranges.
A Diﬀerent View of Sigma-Delta Modulators Under the Lens of Pulse Frequency Modulation

—The fact that VCO-ADCs produce noise-shaped quantization noise suggests that a link between frequency modulation and Sigma-Delta modulation should exist. The connection between a VCO-ADC and a first-order Sigma-Delta modulator has been already explained using Pulse Frequency Modulation. In this paper, we attempt to extend this explanation to a generic Sigma-Delta modulator. We show that the link between Sigma-Delta modulation and Pulse Frequency Modulation relies in a sampling invariance property that defines the equivalence between both entities. This equivalence property, allows to go beyond the white quantization noise model of a Sigma-Delta modulator, revealing the origin of some nonlinear phenomena. We first predict spurious tones which cannot be explained by circuit non linearity. Multi-bit and single-bit modulators are shown to belong to a same generic class of systems. Finally, quantizer overload is analyzed using our model. The results are applied to Continuous-Time Sigma-Delta modulators of orders one, two and three and then extended to a generic case.
Rank Awareness in Joint Sparse Recovery

This paper revisits the sparse multiple measurement vector (MMV) problem, where the aim is to recover a set of jointly sparse multichannel vectors from incomplete measurements. This problem is an extension of single channel sparse recovery, which lies at the heart of compressed sensing. Inspired by the links to array signal processing, a new family of MMV algorithms is considered that highlight the role of rank in determining the difficulty of the MMV recovery problem. The simplest such method is a discrete version of MUSIC which is guaranteed to recover the sparse vectors in the full rank MMV setting, under mild conditions. This idea is extended to a rank aware pursuit algorithm that naturally reduces to Order Recursive Matching Pursuit (ORMP) in the single measurement case while also providing guaranteed recovery in the full rank setting. In contrast, popular MMV methods such as Simultaneous Orthogonal Matching Pursuit (SOMP) and mixed norm minimization techniques are shown to be rank blind in terms of worst case analysis. Numerical simulations demonstrate that the rank aware techniques are significantly better than existing methods in dealing with multiple measurements.
Spectral–Spatial Hyperspectral Image Classification With Edge-Preserving Filtering

The integration of spatial context in the classification of hyperspectral images is known to be an effective way in improving classification accuracy. In this paper, a novel spectral-spatial classification framework based on edge-preserving filtering is proposed. The proposed framework consists of the following three steps. First, the hyperspectral image is classified using a pixelwise classifier, e.g., the support vector machine classifier. Then, the resulting classification map is represented as multiple probability maps, and edge-preserving filtering is conducted on each probability map, with the first principal component or the first three principal components of the hyperspectral image serving as the gray or color guidance image. Finally, according to the filtered probability maps, the class of each pixel is selected based on the maximum probability. Experimental results demonstrate that the proposed edge-preserving filtering based classification method can improve the classification accuracy significantly in a very short time. Thus, it can be easily applied in real applications.
Clinical Effect of Acupuncture on Endemic Skeletal Fluorosis: A Randomized Controlled Trial

Objective. To evaluate the effect of acupuncture on endemic skeletal fluorosis (ESF) through the randomized controlled trial. Methods. Ninety-nine cases were divided into the treatment group (68 cases) and the control group (31 cases) randomly. Normal acupuncture combined with electroacupuncture was used in treatment group, while Caltrate with vitamin D tablets were applied in control group. After 2 courses, the VAS, urinary fluoride, serum calcium, and serum phosphate were evaluated before and after treatment. Results. Both of these two methods could relieve pain effectively and the effect of acupuncture was better (P < 0.05). In treatment group, the content of urinary fluoride after treatment was higher than before (P < 0.05), while the content of serum calcium and phosphate was lower (P < 0.05). Conclusion. The effect of acupuncture on relieving pain and promoting discharge of urinary fluoride is better than that of western medicine. Acupuncture can reduce the content of serum calcium and phosphate.
INSECTICIDE RESISTANCE AND RESISTANCE MANAGEMENT Modeling Evolution of Diabrotica virgifera virgifera ( Coleoptera : Chrysomelidae ) to Transgenic Corn With Two Insecticidal Traits

A simulation model of the population dynamics and genetics of western corn rootworm, Diabrotica virgifera virgifera LeConte (Coleoptera: Chrysomelidae), was created to evaluate the use of refuges in the management of resistance to transgenic insecticidal corn,ZeamaysL. , expressing one or two toxin traits. Hypothetical scenarios and a case study of a corn hybrid pyramided with existing toxins are simulated. In the hypothetical situations, results demonstrated that evolution is generally delayed by pyramids compared with deployment of a single-toxin corn hybrid. However, soil insecticide use in the refuge reduced this delay and quickened the evolution of resistance. Results were sensitive to the degree of male beetle dispersal before mating and to the effectiveness of both toxins in thepyramid.Resistanceevolved faster as fecundity increased for survivorsof insecticidal corn.Thus, effects on fecundity must be measured to predict which resistance management plans will work well. Evolution of resistance also occurred faster if the survival rate due to exposure to the two toxins was not calculated by multiplication of two independent survival rates (one for each insect gene) but was equivalent to the minimum of the two. Furthermore, when single-trait and pyramided corn hybrids were planted within rootworm-dispersal distance of each other, the toxin traits lost efÞcacy more quickly than they did in scenarios without single-trait corn. For the case study involving transgenic corn expressing Cry34/35Ab1 and Cry3Bb1, the pyramid delayed evolution longer than a single trait corn hybrid and longer than a sequence of toxins based on at least one resistance-allele frequency remaining below 50%. Results are discussed within the context of a changing transgenic corn marketplace and the landscape dynamics of resistance management.
Global Stabilization of the Generalized Korteweg--de Vries Equation Posed on a Finite Domain

This paper is concerned with the internal stabilization of the generalized Korteweg--de Vries equation on a bounded domain. The global well-posedness and the exponential stability are investigated when the exponent in the nonlinear term ranges over the interval [1,4). The global exponential stability is obtained whatever the location where the damping is active, confirming positively a conjecture of Perla Menzala, Vasconcellos, and Zuazua [Quart. Appl. Math., 60 (2002), pp. 111-129].
Grid-Layout and Theta-Modulation of Layer 2 Pyramidal Neurons in Medial Entorhinal Cortex

Entorhinal Cell Clusters There is considerable interest in understanding the function of neurons in layer 2 of the medial entorhinal cortex and how they generate their unique firing patterns, which are important in the recall of facts and past events (see the Perspective by Blair). Ray et al. (p. 891, published online 23 January) investigated principal cells in layer 2 by immunoreactivity, projection patterns, microcircuit analysis, and assessment of temporal discharge properties in awake, freely moving animals. In tangential sections, pyramidal neurons were clustered into patches arranged in a hexagonal grid—very similar to the patterns observed in grid cell spatial firing. These patches received selective cholinergic innervation, which is critical for sustaining grid cell activity. Kitamura et al. (p. 896, published online 23 January) found that these cells drive a hippocampal circuit by projecting directly to the hippocampal CA1 area and synapsing with a distinct class of inhibitory neurons. This circuit provides feed-forward inhibition in combination with excitatory inputs from layer 3 cells of the medial entorhinal cortex, projecting to CA1 pyramidal cells to determine the strength and time window of temporal associative inputs. Looking at the entorhinal cortex in tangential sections reveals calbindin-immunopositive neurons arranged in a hexagonal grid. [Also see Perspective by Blair] Little is known about how microcircuits are organized in layer 2 of the medial entorhinal cortex. We visualized principal cell microcircuits and determined cellular theta-rhythmicity in freely moving rats. Non–dentate-projecting, calbindin-positive pyramidal cells bundled dendrites together and formed patches arranged in a hexagonal grid aligned to layer 1 axons, parasubiculum, and cholinergic inputs. Calbindin-negative, dentate-gyrus–projecting stellate cells were distributed across layer 2 but avoided centers of calbindin-positive patches. Cholinergic drive sustained theta-rhythmicity, which was twofold stronger in pyramidal than in stellate neurons. Theta-rhythmicity was cell-type–specific but not distributed as expected from cell-intrinsic properties. Layer 2 divides into a weakly theta-locked stellate cell lattice and spatiotemporally highly organized pyramidal grid. It needs to be assessed how these two distinct principal cell networks contribute to grid cell activity.