Miracle-dz/UniFAR-FTUs huggingface dataset:
ON THE ASYMPTOTIC STABILTY OF STATIONARY SOLUTIONS OF THE INVISCID INCOMPRESSIBLE POROUS MEDIUM EQUATION

We study the stability of stationary solutions of the 2D inviscid incompressible porous medium equation (IPM). We show that solutions which are near certain stable stationary solutions must converge as t → ∞ to a stationary solution of the IPM equation. It turns out that linearizing the IPM equation about certain stable stationary solutions gives a non-local partial damping mechanism. On the torus, the linearized problem has a very large set of stationary (undamped) modes. This makes the problem of long-time behavior more difficult since there is the possibility of a cascading non-linear growth along the stationary modes of the linearized problem. We solve this by, more or less, doing a second linearization around the undamped modes, exploiting a special non-linear structure, and showing that the stationary modes can be controlled.
A hybrid approach to intelligent autonomous mobile robots

In this work we present a hybrid approach based on the integration of Q-Learning and the inter-process communication techniques. First, we designed and implemented a simulation program based on these techniques. We then used the approach to drive and control three robots from the Robix Company. At the motion control level, the Q-Learning technique is trained to perform motor control that moves one of the robots from the start point to the destination point (target object) and back. The communication between the robots is carried out by using the inter-process communication technique (IPC). This allows the robots to identify the location of each other and to measure the time left for the mobile robot to reach either the target object or the start point. It also allows a smooth and reliable coordination between the robots to carry out the required task.
The Strength of Performative Ties

Knowledge has grown to occupy a major role in the discussion on firm performance. Yet most studies have examined knowledge transfer only locally, within a acquainted dyad or an group, or organizationally, between units and firms. Drawing on extensive fieldwork in multiple offices of a large, multinational professional service firm, we identify the pervasive presence of spontaneous knowledge transactions between unacquainted individuals, despite geographical distance, absence of exchange history, or expectations of future interaction. We present the minutiae of such transactions and hypothesize on two boundary conditions for their success: affiliation and status similarity. Highlighting the difference between the observed phenomenon, indirect ties, and complete lack of acquaintanceship, we propose a definition of Performative Ties. We argue that such ties are theoretically significant, have several advantages for knowledge dissemination, and have been observed elsewhere although never explicitly identified.
Roles and Rights

Security for e-commerce is a vital topic due to the rel ntless drive to more business and commerce to the internet. Consumers are being strongly encouraged by the profit-oriented, cost-minimisation nature of commercial enterprises to shop on-line. Consumers t h mselves, though, have limited confidence about the security of their personal information which is transmitted in each and every on-line transaction. They are demanding much more in this regard from everyone concerned in the on-line transaction, from the database vendor to the internet applications developer, including both client and server systems. One solution is to embed much of this required security transparently into the application performing the on-line e-commerce transacti on. We believe this can be done through the use of a simple "roles and rights markup language" based on roles and rights, implemented using XML, which can call upon the cryptographic and other security e nforcing technologies required to give consumers a high degree of confidence that their on-line e-commerce transaction is secure.
Distribution and Molecular Characterization ofPorphyromonas gingivalis Carrying a New Type offimA Gene

ABSTRACT Fimbriae of Porphyromonas gingivalis are filamentous appendages on the cell surface and are thought to be one of the virulence factors. The fimA gene encoding the subunit protein of fimbriae, fimbrillin (FimA), was classified into four typeable variants (types I to IV). We previously examined the distribution of P. gingivalis in terms of fimAgenotypes in periodontitis patients using a fimAtype-specific PCR assay. However, some patients harbored P. gingivalis with untypeable fimA. In this study, we have cloned a new type (type V) of fimA from dental plaque samples. P. gingivalis with type V fimA was isolated from dental plaque of a periodontitis patient, and the isolate was named HNA-99. The deduced amino acid sequences were compared with those of type I P. gingivalis ATCC 33277, type II strain HW24D1, type III strain 6/26, and type IV strain HG564, and the homologies were found to be 45, 44, 43, and 55%, respectively. Southern blot analysis showed that the clinical isolate HNA-99 possessed P. gingivalis-specific genes sod andkgp. However, in terms of serological specificities, type V FimA showed a difference from other types of FimA. In addition, type VP. gingivalis bacteria were detected in 16.4% (12 of 73) of the P. gingivalis-positive patients with periodontitis by PCR assay using specific primers. Thus, a new type offimA gene is now established, and the fimAgenotyping could be useful in determining the disease-associated genotypes of P. gingivalis involved in the development of adult periodontitis.
Predictors of adherence among community users of a cognitive behavior therapy website

Objective To investigate the predictors of early and late dropout among community users of the MoodGYM website, a five module online intervention for reducing the symptoms of depression. Method Approximately 82,000 users accessed the site in 2006, of which 27% completed one module and 10% completed two or more modules. Adherence was modeled as a trichotomous variable representing non-starters (0 modules), early dropouts (1 module) and late dropouts (2–5 modules). Predictor variables included age, gender, education, location, referral source, depression severity, anxiety severity, dysfunctional thinking, and change in symptom count. Results Better adherence was predicted by higher depression severity, higher anxiety severity, a greater level of dysfunctional thinking, younger age, higher education, being female, and being referred to the site by a mental health professional. In addition, users whose depression severity had improved or remained stable after the first intervention module had higher odds of completing subsequent modules. Conclusions While the effect of age and the null effect of location were in accordance with prior adherence research, the significant effects of gender, education and depression severity were not, and may reflect user characteristics, the content of the intervention and unique aspects of online interventions. Further research directions are suggested to investigate the elements of open access online interventions that facilitate adherence.
Phosphorylation of CRMP2 (Collapsin Response Mediator Protein 2) Is Involved in Proper Dendritic Field Organization

Collapsin response mediator proteins (CRMPs) are intracellular proteins that mediate signals for several extracellular molecules, such as Semaphorin3A and neurotrophins. The phosphorylation of CRMP1 and CRMP2 by Cdk5 at Ser522 is involved in axonal guidance and spine development. Here, we found that the Ser522-phosphorylated CRMP1 and/or CRMP2 are enriched in the dendrites of cultured cortical neurons and P7 cortical section. To determine the physiological role of CRMPs in dendritic development, we generated CRMP2 knock-in mutant mice (crmp2ki/ki) in which the Ser residue at 522 was replaced with Ala. Strikingly, the cortical basal dendrites of double mutant crmp2ki/ki and crmp1−/− mice exhibited severe abnormal dendritic patterning, which we defined as “curling phenotype. ” These findings demonstrate that the function of CRMP1 and CRMP2 synergistically control dendritic projection, and the phosphorylation of CRMP2 at Ser522 is essential for proper dendritic field organization in vivo.
Chronicles of a Robotic Musical Companion

As robots become more pervasive in the world we think about how this might influence the way in which people experience music. We introduce the concept of a “robotic musical companion” (RMC) in the form of Shimi, a smartphone enabled five degree-of-freedom (DoF) robotic platform. We discuss experiences individuals tend to have with music as consumers and performers and explore how these experiences can be modified, aided, or improved by the inherent synergies between a human and robot. An overview of several applications developed for Shimi is provided. These applications place Shimi in various roles and enable humanrobotic interactions (HRIs) that are highlighted by more personable social communications using natural language and other forms of communication.
Applying Model-Integrated Computing and DRE Middleware to High Performance Embedded Computing Applications

Emerging trends. High performance embedded computing (HPEC) systems are widely used for sensor-driven, signal and image processing (SIP) applications with stringent simultaneous quality of service (QoS) requirements, such as predictability, scalability, high performance, and reliability. Applications of SIP include the defense domain (e.g., intelligence, surveillance, and reconnaissance (ISR) and electronic warfare) and medical domain (e.g. real-time image processing for magnetic resonance (MR), digital X-ray, and computed tomography (CT)). Sensor types include sonar, radar, visible and infrared images, signal intelligence and navigation assets, and ultra-sound or MRI sensors based on CMOS or CCD technologies. Due to constraints on weight, power consumption, memory footprint, and performance, development techniques for HPEC application software have lagged those used for mainstream desktop and enterprise software. In particular, HPEC applications have historically been custom-programmed to implement their required QoS properties, making them expensive to build and maintain. Moreover, they are often so specialized that they cannot adapt readily to meet new functional or QoS requirements, hardware/software technology innovations, or market opportunities. To address these problems, there is growing interest in building HPEC systems using commercial off-the-shelf (COTS) hardware (such as COTS DSPs and RISC CPUs) and software (such as real-time operating systems and real-time middleware services). There are, however, a range of COTS choices, including hardware, such as CPUs, bus standards, communication standards; real-time operating systems, such as VxWorks, MC/OS, and various flavors of real-time Linux; and component middle-
Grafting energy-harvesting leaves onto the sensornet tree

We study the problem of augmenting battery-powered sensornet trees with energy-harvesting leaf nodes. Our results show that leaf nodes that are smaller in size than today's typical battery-powered sensors can harvest enough energy from ambient sources to acquire and transmit sensor readings every minute, even under poor lighting conditions. However, achieving this functionality, especially as leaf nodes scale in size, requires new platforms, protocols, and programming. Platforms must be designed around low-leakage operation, offer a richer power supply control interface for system software, and employ an unconventional energy storage hierarchy. Protocols must not only be low-power, but they must also become low-energy, which affects initial and ongoing synchronization, and periodic communications. Systems programming, and especially bootup and communications, must become low-latency, by eliminating conservative timeouts and startup dependencies, and embracing high-concurrency. Applying these principles, we show that robust, indoor, perpetual sensing is viable using off-the-shelf technology.
Exact two-level minimization of hazard-free logic with multiple-input changes

A method for exact hazard-free logic minimization of Boolean functions is described. Given an incompletely specified Boolean function, the method produces a minimal sum-of-products implementation which is hazard-free for a given set of multiple-input changes, if such a solution exists. The method is a constrained version of the Quine-McCluskey algorithm. It has been automated and applied to a number of examples. Results are compared with results of a comparable non-hazard-free method (espresso-exact). Overhead due to hazard elimination is shown to be negligible. <<ETX>>
Suppressive Effect of CORM-2 on LPS-Induced Platelet Activation by Glycoprotein Mediated HS1 Phosphorylation Interference

In recent years, it has been discovered that septic patients display coagulation abnormalities. Platelets play a major role in the coagulation system. Studies have confirmed that carbon monoxide (CO) has important cytoprotective and anti-inflammatory function. However, whether CO could alter abnormal activation of platelets and coagulation and thereby reduce the incidence of mortality during sepsis has not been defined. In this report, we have used CO-releasing molecules (CORM-2) to determine whether CO inhibits LPS-induced abnormal activation of platelets and have explored the potential mechanisms. LPS was used to induce activation of platelets in vitro, which were purified from the peripheral venous blood of healthy adult donors. CORM-2 was applied as a potential therapeutic agent. CORM-2 preconditioning and delayed treatment were also studied. We found that in the LPS groups, the function of platelets such as spreading, aggregation, and release were enhanced abnormally. By contrast, the platelets in the CORM-2 group were gently activated. Further studies showed that the expression of platelet membrane glycoproteins increased in the LPS group. Coincidently, both hematopoietic lineage cell-specific protein 1 and its phosphorylated form also increased dramatically. These phenomena were less dramatically seen in the CORM-2 groups. Taken together, we conclude that during LPS stimulation, platelets were abnormally activated, and this functional state may be associated with the signal that is transmitted between membrane glycoproteins and HS1. CORM-released CO suppresses the abnormal activation of platelets by interfering with glycoprotein-mediated HS1 phosphorylation.
Guru dan Anak Didik Dalam Interaksi Edukatif : suatu pendekatan teoritis psikologis

Buku ini membahas mengenai pendahuluan terkait guru dan peserta didik, pemahaman awal mengenai interaksi edukatif, tujuan dalam rangka interaksi edukatif, kedudukan guru, kedudukan anak didik, analisis model interaksi edukatif, beberapa ketrampilan dasar mengajar, pengelolaan kelas, penggunaan alat dan alat bantu dalam rangka interaksi edukatif, pemilihan metode mengajar dalam rangka interaksi edukatif, serta evaluasi hasil interaksi edukatif.
Developmental learning model for joint attention

This paper proposes a developmental learning model for joint attention between a robot and a human caregiver. The proposed model has abilities to accelerate the learning and improve the final task performance owing to two kinds of developments: a robot's development and a caregiver's one. The robot's development means that the sensing and actuating capabilities of the robot change from immaturity to maturity. On the other hand, the caregiver's development is defined as that the caregiver changes the task from easy situation to difficult one. The proposed model causes these developments according to the learning progress of the robot. The experimental results show what kinds of effects the developments bring to the learning.
Energy Management for Microprocessor Systems: Challenges and Existing Solutions

Energy is a critical resource to not only mobile, wireless, and battery-powered devices, but also consumer PCs and large scale server system and data centers. High energy consumption results in more heat dissipations, cooling costs and makes servers become more prone to failures. In this paper a survey is presented on the problem and the different proposed solutions of energy management for microprocessor systems are discussed, which can be divided into two main tracks, system-wide energy management and per-component energy management. This paper also presents a discussion on the future research topics and the challenges of the energy management problem in microprocessor systems.
Power minimization in parallel vector broadcast channels with separate linear precoding

The problem of power-efficient communication with guaranteed quality of service (expressed in terms of per-user rate constraints) is considered in a set of parallel vector broadcast channels with separate linear precoding on each subchannel. With the restriction to use linear precoding without time-sharing, the arising optimization problem is non-convex due to the non-concavity of the rate equations. Choosing a rate-space formulation, we derive an algorithm to compute the globally optimal solution, which is based on a branch-and-bound strategy to solve a difference-of-monotonic-functions (DM) reformulation of the problem. Despite its exponential complexity, the method is of theoretical interest as it can be used as a benchmark for heuristic algorithm. We also discuss a suboptimal algorithm, which is based on a recently proposed gradient-projection method for power minimization in multiple-input multiple-output (MIMO) broadcast channels. In numerical simulations, the gradient-based method turns out to perform close to the globally optimal solution if a good initialization is chosen.
William T. Tutte （1917-2002）

William Thomas Tutte（塔特）（与“hut”同韵）是他那一代最重要的图论和拟阵理论家．他的第一篇论文出现在1940年，最后一篇出现在2000年．根据1969年发表的一份清单，在1940--1949年之间图论方面发表的论文有55篇，其中1l篇是Tutte的；2000年，
Exploring the linkages between Firm Interactivity, Innovation, and Improved Business Performance

In today's dynamic and hypercompetitive business environment, knowledge and innovation have emerged as bases for sustained competitive advantage. This paper addresses two specific research questions. First, we ask, "What is the effect that firm interactivity has on various types of innovation? " As we address this question, we explain that interactivity helps firms create knowledge, which then promotes and enables innovation. Second, we ask, "How do the various types of innovation impact firm performance? " We develop a research model and a set of hypotheses from the basis of organizational knowledge creation theory and the knowledge-based view of the firm. We test this model using survey data, and find that interactivity is positively associated with innovation. We also find that several types of innovation, including service innovation, process innovation, and organizational innovation have a positive impact on firm performance.
A standing-wave enevelope detection tecnique for breath and heartbeat rates detection (invited)

A standing-wave envelope detection technique is applied to detect breath and heart-beat rates. The breath and heart-beat periodic motions modulate the envelope of received RF standing-wave waveform in addition to the well-known Doppler phase modulation of the RF carrier. Therefore, a new vital signal radar is developed for detecting the breath and heart-beat rates and compared with the conventional Doppler radar.
Extraction of purpose data using surface text patterns

This paper presents the concept of surface text patterns for extracting purpose data from the web. In order to obtain an optimal set of patterns, we have developed a method for learning purpose patterns automatically. A corpus was downloaded from the Internet using bootstrapping by providing a few hand-crafted examples of each purpose pattern to a generic search engine. This corpus was then tagged and patterns were extracted from the returned documents by automated means and standardized. The precision of each pattern and the average precision for each group were computed. The extracted patterns were then used to extract purpose data. The results for extraction from the web have been reported.
Reviewed Articles Issue Feature Editorial Zone Sigcomm Official Computer Communication Review Special Interest Group on Data Communication an Acm Sigcomm Publication Stability of End-to-end Algorithms for Joint Routing and Rate Control

• • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • a c m s i g c o m m • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • Editorial Philosophy CCR (the Computer Communication Review) is published by ACM's Special Interest Group on Data Communication (SIGCOMM). The publication is the primary vehicle of communication to the members, presenting articles of practical research significance and relating experiences in the area of communications and computer networks, including technical design and engineering, regulation and operations, and the social implications of computer networking , with a special interest in the systems engineering and architectural questions of communication. We seek to provide an accessible, flexible, and timely forum for information on both well-researched topics and those less common, perhaps leading-edge, topics which may not yet have found their way into the literature. We welcome the opportunity to publish materials that are controversial or which may as yet under development. We also publish short editorial notices, as well as readers' comments and reactions. Please visit Submissions One electronic pdf copy of the manuscript that follows the CCR-SIGCOMM templates Submissions that do not follow the templates and formatting instructions below will not even be considered for review. Manuscript Format All manuscripts should follow the Word or LaTex templates and formatting instructions available at: Be sure that your submission includes: 1. Author's name(s) and complete mailing address, phone number, fax number, Internet e-mail address, and a short (no more than 100 words) biographical sketch on a separate page 2. Abstract (200-300 words) 3. ACM Classification (Categories & Subject Descriptors): ACM categories from the schedule used by the Communications of the ACM. See http://www. acm.org/class 4. ACM General …
Making Neural Networks Robust to Label Noise: a Loss Correction Approach

We present a theoretically grounded approach to train deep neural networks, including recurrent networks, subject to class-dependent label noise. Our method only performs a correction on the loss function, and is agnostic to both the application domain and network architecture. We propose two procedures for loss correction: they simply amount to at most a matrix inversion and multiplication, provided that we know the probability of each class being corrupted into another. We further show how one can estimate these probabilities, adapting a recent technique for noise estimation to the multi-class setting, and thus providing an end-to-end framework. Extensive experiments on MNIST, IMDB, CIFAR-10, CIFAR-100 employing a diversity of architectures — stacking dense, convolutional, pooling, dropout, batch normalization, word embedding, LSTM and residual layers — demonstrate the noise robustness of our proposals. Incidentally, we also prove that, when ReLU is the only non-linearity, the loss curvature is immune to class-dependent label noise.