Miracle-dz/UniFAR-FTUs huggingface dataset:
GaN-HEMT fast switching current measurement method based on current surface probe

With the advantage of high bandwidth and small insertion impedance, a current surface probe (CSP) used to measure switching current waveforms is presented in this paper. Its transfer impedance is characterized and validated in the first time by measuring an IGBT switching current with a passive current probe (CP) and a Hall effect current probe (HECP). It is also shown that a return current beneath the PCB on which is put the CSP can reduce its transfer impedance. In the second time, the CSP is used to measure a GaN-HEMT switching current and the obtained results are compared with those measured with a current shunt (CS). The comparison of these results prove that CSP and CS are able to measure fast switching current (of the order a few nanoseconds). However, the advantage of the CSP is that it has no influence on the power device VDS voltage measurement. Also, the CSP brings less parasitic inductance in the commutation mesh than the CS and it does not have the ground connection drawback, which is the case for the CS.
BSE and the Dynamics of Beef Consumption: Influences of Habit and Trust

This study relates habit persistence and trust to recurring food safety incidents in the context of a series of three BSE incidents in Canada. We examined the dynamics of monthly beef expenditure shares of a sample of Canadian households for monthly time periods during year 2002 through 2005 using micro level panel data which followed meat expenditures by Canadian households before and after the first three BSE cases which were discovered in 2003 and 2005. Our results suggest that households’ reactions to the first three BSE events followed a similar general pattern: households reduced beef purchase expenditures following the discovery of BSE but these expenditures subsequently recovered, suggesting that concern diminished over time. Following the first BSE event, we identified an immediate negative impact on beef expenditures. However, in the case of the second and third BSE events, this negative impact was not evident until two months after these BSE announcements. In each of the three cases, the negative impact of BSE on beef purchase expenditures was limited to no more than four months. Assessment of how habit persistence affected beef expenditures indicates that this influence limited households reductions of beef purchases following the BSE events, but the effects of habit diminished subsequent to the initial event. Regarding the role of trust in shaping households’ reactions to BSE, we found that households’ respondents whose answers to standardized questions suggest that they are not “trusting” individuals were more sensitive to the food risks identified by the BSE events.
The ship nonlinear course system control based on auto disturbance rejection controller

Because of the strong non-linearity and uncertainty, the dynamics restraints of autopilots, as well as the effects of wave disturbances, designing a high performance ship course controller is always a difficult work. This paper presents a design of the ship course auto disturbance rejection controller (ADRC) based on the nonlinear mathematical model of ship course locomotion with autopilot restrictions and the model of wave disturbances. Simulation results of ship course tracking and keeping show that the controller has good adaptabilities on the system nonlinearity and strong robustness to parameter perturbations of the ship and environmental disturbances.
The Analyses of Node Swapping Networks by New Graph Index

We have proposed two new dynamic networks where two node are swapped each other, and showed that the both networks behave as a small world like in the average path length but can not make any effective discussions on the clustering coefficient because of the topological invariant properties of the networks. In this article we introduce a new index, "hamming coefficient" or "multiplicity", that can act well for these dynamic networks. The hamming coefficient or multiplicity is shown essentially to behave as the clustering coefficient in the small world network proposed by Watts and Strogatz\cite{Watt1}. By evaluating the new index, we uncover another properties of the two networks.
Sequential Pattern Mining with Inaccurate Event in Temporal Sequence

In true-life, the existence of many events which are occurred in the interval may cause uncertainty in events ordering. The inaccurate event has been introduced for sequential pattern mining to improve accuracy of computing support threshold. In this paper, we store a sequence in the chain table. Sequence with inaccurate event can be expressed expediently. Besides, precise support is introduced to evaluate the probability of a pattern contained in a sequence. And the probabilistic ordering is employed to handle overlapping events. In essence, probabilities of generated candidate pattern contained in an inaccurate sequence are computed. The maximal value in probabilities is selected as precise support of the sequence. The sum of all inaccurate sequence precise supports in the database is computed. If the ratio value between the sum and the length of database is not less than predefined minimum threshold, the generated candidate pattern is called frequent pattern. So some infrequent patterns might be turned to be frequent and some interesting patterns could not be missed. Performance analysis shows the accuracy of discovering frequent patterns is improved.
Special values of Koecher–Maass series of Siegel cusp forms

The purpose of this paper is to give a generalization of the above result to the case of a Siegel cusp form f , where now L(f, χ, s) is replaced by an appropriate χ-twist of the Koecher-Maass series attached to f . More precisely, let f be a cusp form of even integral weight k ≥ g + 1 w.r. t. the Siegel modular group Γg := Spg(Z) of genus g and write a(T ) (T a positive definite half-integral matrix of size g) for its Fourier coefficients. For χ as above we set
An introduction to motives I: classical motives and motivic L-functions

The exposition here follows the lecture delivered at the summer school, and hence, contains neither precision, breadth of comprehension, nor depth of insight. The goal rather is the curious one of providing a loose introduction to the excellent introductions that already exist, together with scattered parenthetical commentary. The inadequate nature of the exposition is certainly worst in the third section. As a remedy, the article of Schneider [40] is recommended as a good starting point for the complete novice, and that of Nekovar [37] might be consulted for more streamlined formalism. For the Bloch-Kato conjectures, the paper of Fontaine and Perrin-Riou [20] contains a very systematic treatment, while Kato [27] is certainly hard to surpass for inspiration. Kings [30], on the other hand, gives a nice summary of results (up to 2003).
Vehicle scheduling optimization in joint distribution considering carbon emission and customer urgency

The joint distribution mode has become a new optimization mode of distribution at present, this paper considered the carbon emission and customer urgency in the joint distribution vehicle scheduling optimization. Carbon emission calculation was based on speed and speed became decision variable. Customer urgency was defined according to the relaxability of time window. A mixed integer programming model was established with the objective of minimizing the cost. According to the characteristics of the model, this paper designed a hybrid simulated annealing algorithm to solve the problem. The numerical experiments show that joint distribution mode is better than the single distribution mode in the total cost and carbon emissions cost. Under the same example, the optimized speed can reduce the total cost and the cost of carbon emission drastically for the two distribution modes. The main reason is that the speed can be adjusted to meet the customer time window constraint, achieving to minimize the total cost and carbon emission cost.
How Many Words Is a Picture Worth? Automatic Caption Generation for News Images

In this paper we tackle the problem of automatic caption generation for news images. Our approach leverages the vast resource of pictures available on the web and the fact that many of them are captioned. Inspired by recent work in summarization, we propose extractive and abstractive caption generation models. They both operate over the output of a probabilistic image annotation model that pre-processes the pictures and suggests keywords to describe their content. Experimental results show that an abstractive model defined over phrases is superior to extractive methods.
DatalogRA: datalog with recursive aggregation in the spark RDD model

Distributed computations on graphs are becoming increasingly important with the emergence of large graphs such as social networks and the Web that contain huge amounts of useful information. Computations can be easily distributed with the use of specialised frameworks like Hadoop with MapReduce, Giraph/Pregel or GraphLab. Yet, declarative, query-like, but at the same time efficient solutions are lacking. Programmers are needed to code all computations by hand and manually optimise each individual program. This paper presents an implementation of a tool which extends a distributed computations platform, Apache Spark, with the capability of executing queries written in a variant of a declarative query language, Datalog, especially extended to better support graph algorithms. This approach makes it possible to express graph algorithms in a declarative query language, accessible to a broader group of users than typical programming languages, and execute them on an existing infrastructure for distributed computations.
Modeling multistep cyber attacks for scenario recognition

Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenarios. The Correlated Attack Modeling Language (CAML) uses a modular approach, where a module represents an inference step and modules can be linked together to detect multistep scenarios. CAML is accompanied by a library of predicates, which functions as a vocabulary to describe the properties of system states and events. The concept of attack patterns is introduced to facilitate reuse of generic modules in the attack modeling process. CAML is used in a prototype implementation of a scenario recognition engine that consumes first-level security alerts in real time and produces reports that identify multistep attack scenarios discovered in the alert stream.
Calculation of Reflected EM Fields by Mixed Plane Dielectric Media Using Green's Functions for Applications in Urban Environment

Green's functions for semi-infinite media are derived and used to calculate the reflected electromagnetic fields by plane composite dielectric surfaces. The method is not demanding in terms of computer resources and calculation time; it is thus applied to exterior building facades in urban environments. The method takes into account the architectural details which are usually neglected in ray-tracing algorithms.
Evolved Simulated Agents Exhibit Size Constancy Abilities in Solving an Online Size Discrimination Task

We describe some Artificial Life simulations in which a situated model agent controlled by a feed-forward neural network has to solve a simple categorization task involving size constancy abilities in an online fashion. The results show that even a simple neural controller without internal recurrent dynamics is capable of solving a non-trivial size categorization task by exploiting the dynamical interaction of the agent with its environment. Even if at an early stage, this work suggests two possible implications for the study of size constancy and perceptual constancy in general. First, approaching the problem from a functional point of view may open new perspectives on the possible underlying mechanisms. Second, the adoption of an embodied and situated approach may help to explain why perceptual constancy is so efficient in biological cognitive systems.
A Standards-Based Alarms Service for Monitoring Federated Networks

Operators of federated networks require timely detection and diagnosis of networking problems. For detection of such problems, access to monitoring data that exists in multiple organisations is necessary. This paper presents an ongoing work on an Alarms Service which uses a standards-based access mechanism to obtain monitoring data from multiple organisations and then raises alarms based on pre-defined conditions. It discusses typical monitoring requirements from such networks and how these can be addressed with a flexible architecture.
Feasibility and Safety of Pressurized Intraperitoneal Aerosol Chemotherapy for Peritoneal Carcinomatosis: A Retrospective Cohort Study

Background. Pressurized intraperitoneal aerosol chemotherapy (PIPAC) has been introduced as a novel repeatable treatment for peritoneal carcinomatosis. The available evidence from the pioneer center suggests good tolerance and high response rates, but independent confirmation is needed. A single-center cohort was analyzed one year after implementation for feasibility and safety. Methods. PIPAC was started in January 2015, and every patient was entered into a prospective database. This retrospective analysis included all consecutive patients operated until April 2016 with emphasis on surgical feasibility and early postoperative outcomes. Results. Forty-two patients (M : F = 8 : 34, median age 66 (59–73) years) with 91 PIPAC procedures in total (4×: 1, 3×: 17, 2×: 12, and 1×: 12) were analyzed. Abdominal accessibility rate was 95% (42/44); laparoscopic access was not feasible in 2 patients with previous HIPEC. Median initial peritoneal carcinomatosis index (PCI) was 10 (IQR 5–17). Median operation time was 94 min (89–108) with no learning curve observed. One PIPAC application was postponed due to intraoperative intestinal lesion. Overall morbidity was 9% with 7 minor complications (Clavien I-II) and one PIPAC-unrelated postoperative mortality. Median postoperative hospital stay was 3 days (2-3). Conclusion. Repetitive PIPAC is feasible in most patients with refractory carcinomatosis of various origins. Intraoperative complications and postoperative morbidity rates were low. This encourages prospective studies assessing oncological efficacy.
The DigiHaptic , a New Three Degrees of Freedom Multi-finger Haptic Device

This article presents the technical principles and a set of applications for a new ground-based three degrees of freedom haptic device. The DigiHaptic can be used in isometric or isotonic mode with force feedback. It is a new and original approach to object manipulation in virtual worlds using degrees of freedom decoupling. The process which led us to create the DigiHaptic was based on a changed perspective regarding object manipulation in virtual reality, which required reconsideration of the interaction between the user and virtual reality. Leading edge research has now moved beyond the mere imitation of reality and its everyday gestures and is progressing on to the mapping of virtual worlds using reference marks in Cartesian co-ordinates.
Parasite diversity of disease-bearing rodents of Southeast Asia: habitat determinants and effects on sexual size dimorphism and life-traits

We investigated a causal chain of relationships between habitat specialization and parasite species richness in rodent communities in Southeast Asia, and the consequences for variation in immune investment (using spleen size), the degree of sexual competition (using testes) and sexual size dimorphism (SSD). We used data gathered on rodents, their habitat specialization and their parasites (macro- and micro-parasites) in Southeast Asian landscapes. The results supported the hypotheses that parasite diversity drives the evolution of host life-traits and sexual selection. Firstly host habitat specialization explained the variation in parasite species richness. Secondly high parasite species richness was linked to host immune investment, using the relative spleen size of rodents. Thirdly according to the potential costs associated with immune investment, the relative spleen size was found to be negatively correlated with the relative size of testes among rodents. Fourthly, a positive relationship between male-biased SSD and parasite species richness was observed supporting the role of parasitism in sexual selection. Finally, the variation in SSD was positively associated with the degree of habitat specialization. Highest values of female-biased SSD were associated with habitat specialization, whereas highest values of male-biased SSD concerned synanthropic or generalist rodent species. These results, also correlative, will help to facilitate selection of the species that should be thoroughly investigated at the population level to better understand the selective effects of parasites on rodent life-history and behavior.
ONTOLOGY ENGINEERING VIA TEXT UNDERSTANDING

We introduce a methodology for automating the maintenance of domain-specific ontologies based on natural language text understanding. A given taxonomy is incrementally updated as new concepts are acquired from real-world texts. The acquisition proc ess is centered around the linguistic and conceptual “quality” of various forms of evidence underlying the generation and refinement of concept hypotheses. On the basis of the quality of evidence, concept hypotheses are ranked according to credibility and the most credi ble ones are selected for assimilation into the domain knowledge base.
KENDALA INVESTASI DI ERA OTONOMI DAERAH (Studi Kasus Pembangunan Proyek PLTU di Kabupaten Batang)

Research that was headlined investment in Regional Autonomy era ( case study constraint the construction of PLTU project in the Batang Regency) is done using analysis of Pustaka about the concept of investment and the concept of regional autonomy. The study is done with the methodology of some research qualitative descriptive with purposive of sampling techniques in determining an informer and continues to be a snowball of sampling. Obtained data in field indicates that central program of government included in the program Master Plan for Acceleration and Expansion of Indonesia's Economic Development (MP3EI). The program of PLTU in Batang Regency worth more or less 38 trillion. Realization of PLTU project development was delayed for two years since the early planning. The delay of PLTU project has several problems, among others, such as lack of coordination between the central government and local governments, investors, a policy that overlap related regulations of marine conservation issued by regent, and the land acquisition process experiencing self denial of the owner of the land. Attempt completion constraint is still done through personal approaches between the local Government to the Government of the village, between the Government of the village with its citizens, especially the owner of the land where the project will be built and efforts in corporate social responsibility (CSR) by the investors realization with the construction of various public facilities to affected communities
Optimal Control of Linear Systems With Limited Control Actions: Threshold-Based Event-Triggered Control

We consider a finite-horizon linear-quadratic optimal control problem where only a limited number of control messages are allowed for sending from the controller to the actuator. To restrict the number of control actions computed and transmitted by the controller, we employ a threshold-based event-triggering mechanism that decides whether or not a control message needs to be calculated and delivered. Due to the nature of threshold-based event-triggering algorithms, finding the optimal control sequence requires minimizing a quadratic cost function over a nonconvex domain. In this paper, we first provide an exact solution to this nonconvex problem by solving an exponential number of quadratic programs. To reduce computational complexity, we then propose two efficient heuristic algorithms based on greedy search and the alternating direction method of multipliers technique. Later, we consider a receding horizon control strategy for linear systems controlled by event-triggered controllers, and we further provide a complete stability analysis of receding horizon control that uses finite-horizon optimization in the proposed class. Numerical examples testify to the viability of the presented design technique.
Physiological and morphological responses of Tamarix ramosissima and Populus euphratica to altered groundwater availability.

Riparian plants in arid areas are subject to frequent hydrological fluctuations induced through natural flow variation and water use by humans. Although many studies have focused on the success of Tamarix ramosissima Ledeb. in its invaded ranges, its major competitor in its home range, Populus euphratica Oliv. , historically has dominated riparian forests where both species occur naturally. Thus, identifying ecophysiological differences between T. ramosissima and its co-evolved competitor under varying hydrological conditions may help us understand how flow regimes affect dominance in its home range and promote invasion in new ranges. We examined ecophysiological responses of T. ramosissima and P. euphratica, which are both native to the Tarim River Basin, northwest China, to experimental alterations in groundwater. Seedlings of both species were grown in lysimeters, first under well-watered conditions and then exposed to different groundwater treatments: inundation, drought, and relatively shallow, moderate and deep groundwater. Under inundation, T. ramosissima showed little growth whereas P. euphratica died after ~45 days. Droughted seedlings of both species suffered from considerable water stress evidenced by slow growth, decreased total leaf area and specific leaf area, and decreased xylem water potential (ψ), maximum photosynthetic rate and carboxylation efficiency. Both species had better ecophysiological performances under shallow and moderate groundwater conditions. When groundwater declined below rooting depth, seedlings of both species initially experienced decreased ψ, but ψ of T. ramosissima recovered late in the experiment whereas P. euphratica maintained decreased ψ. This ability of T. ramosissima to recover from water deficit might result from its rapid root elongation and subsequent ability to acquire groundwater, which in turn likely provides ecophysiological advantages over P. euphratica. Our results suggest that recent groundwater declines along the Tarim River could facilitate T. ramosissima more due to its rapid response to changed groundwater availability. This trait may also help the success of T. ramosissima as it invaded riparian ecosystems in southwestern USA.
Taxon-rich multigene phylogeny of the photosynthetic euglenoids (Euglenophyceae)

To establish taxonomy and understand phylogenetic relationships among strains and species of the photosynthetic euglenoids, we performed phylogenetic analyses based on a four gene sequence dataset (nr SSU and LSU rDNA, and pt SSU and LSU rDNA) from 343 taxa (including three outgroup). The phylogenetic tree based on the combined dataset was split into two major clades: Euglenaceae and Phacaceae. The family Euglenaceae was a well-supported monophyletic group containing eight genera (Colacium, Cryptoglena, Euglena, Euglenaformis, Euglenaria, Monomorphina, Strombomonas, and Trachelomonas), each representing a monophyletic lineage, except for the genus Euglena. The genus Euglena was divided into three subclades (A1, A2, and A3) and was paraphyletic due to Euglena archeoplastidiata being grouped with the genus Euglenaria and E. cf. velata with the genus Colacium. The family Phacaceae was supported as a monophyletic group and contained three genera (Discoplastis, Lepocinclis, and Phacus). The genus Phacus contained traditionally defined members as well as the non-traditional P. warszewiczii and P. limnophila, which support the generic concept of Linton et al. (2010).