Miracle-dz/UniFAR-FTUs huggingface dataset:
Digging for Dark IPMI Devices: Advancing BMC Detection and Evaluating Operational Security

—IPMI is the industry standard for managing devices remotely independent of their operating status. Since there are known vulnerabilities in the protocol, IPMI devices should not be directly reachable on the Internet. Previous studies suggest, however, that this best practice is not always implemented. In this paper we present a new unintrusive technique to ﬁnd dark IPMI devices through active measurements. These dark devices do not respond to conventional IPMI connection setup requests. Using our technique, we ﬁnd 21% more devices than previously known techniques. This adds a signiﬁcant number of IPMI devices which could be exploited by an attacker using a Man-in-the-Middle attack. We further reveal that IPMI devices are heavily clustered in certain subnets and Autonomous Systems. Moreover, the SSL security of IPMI devices’ web-interface is well below the current state of the art, leaving them vulnerable to attacks. Overall our ﬁndings draw a dire picture of the current state of the IPMI deployment in the Internet.
Chocolate Cake Please! Why do Consumers Indulge more when it Feels More Expensive?

This article examines how imputed costs influence food consumption. Across one field study and three lab studies, the authors demonstrate that the greater the imputed cost of consumption, the greater is the likelihood of choosing a more indulgent, high-calorie food. Specifically, the authors show that when the imputed costs of payment are higher, such as when making purchases using cash (vs. a credit card) or when pain associated with cash spending is higher, consumers are more likely to purchase and consume higher-calorie foods. The authors provide evidence that consuming indulgent foods actually alleviates the pain of payment and leads to greater positive affect. These findings extend current research by demonstrating how method of payment affects consumption choice. They also provide an alternative explanation of why consumption of indulgent foods increases during economic downturns and why consumers who impute higher costs to payment indulge more.
Adaptable Environmental Service Chains : The Challenges of Distributed Execution and Information Collection

Considering the current transformation of Environmental Information Systems to environmental services accessible over the web, the provision of adaptable environmental services is becoming an emerging challenge. Within this context, solutions that support the adaptation and distributed execution of service chains seem promising. In this paper we present a platform catering for the provision of data-driven adaptable environmental service chains using contextual information from external sources. Two core features of this platform, presented in this paper, are the collection of contextual information and the distributed execution of service chains. The provision of this platform is one of the goals of the EU-funded project Envision
Dynamic document presentation

In the work described here, we use dynamic presentation to hilite, and thus enhance the semantic structure of documents. To do this, we use the linguistic techniques of meaning analysis and content abstraction to produced semantic hilites of documents in terms of topics and shifts in discourse structure [2, 3]. These semantic objects are then given visual treatment within a dynamic on-line presentation of the document.
Enaction, imagination, and insight

Cognitive science is moving toward a conception of cognition as a biological phenomenon rather than a logical process. In distributed cognition, this shift draws attention to the fine details of interactions between whole persons and their cultural constructed environments for thinking. Recent work in embodied and enacted cognition, suggests new ways to think about fundamental constructs such as representation and the nature of organism/environment relations. These theoretical changes imply some as yet unexplored analytic possibilities. I use a common practice in ship navigation, the use of the “three-minute rule,” to describe some of the major elements of the embodiment premise and enaction framework and show how these imply a new approach to the analysis of on-going activity. I then use this approach to sketch a speculative experimental analysis of an example of real-world problem solving that includes a moment of Aha! insight. Finally, I reflect on how the concept of enacted representation may help us explain how high level cognitive processes can arise from low level perceptual and motor abilities.
Contrast-enhanced ultrasound image segmentation of atherosclerotic plaques using spatial-temporal analysis and snakes

It is valuable to segment carotid atherosclerotic plaques in contrast-enhanced ultrasound (CEUS) images. Traditional methods for plaque segmentation neglect the temporal information in video images, and it limits the accuracy of the segmentation. We propose an algorithm for accurate segmentation of plaques in CEUS images using spatial-temporal analysis and snakes. First, the spatial correlation of time intensity curves is used to capture detailed information from spatial-temporal neighborhoods of plaques and detect initial contours of the plaques. Then the speckle reducing anisotropic diffusion is adopted to modify the edge map of the gradient vector flow snake, and the initial contours are deformed using the modified snake and converged to refined contours. The proposed method was evaluated via 21 in vivo images, and it outperformed the boundary vector field snake by 0.06 mm, 2.0%, 0.04 mm and 5.3%, in terms of the mean distance error, relative mean distance error, mean signed distance error, and relative difference degree, respectively. The results revealed that the proposed method can accurately detect plaques and delineate their contours.
Computing a Minimal Representation of the Subsumption Lattice of All Conjunctions of Concepts De ned in a Terminology ?

For a given TBox of a terminological KR system, the classi cation algorithm computes (a representation of) the subsumption hierarchy of all concepts introduced in the TBox. In general, this hierarchy does not contain su cient information to derive all subsumption relationships between conjunctions of these concepts. We show how a method developed in the area of \formal concept analysis" for computing minimal implication bases can be used to determine a minimal representation of the subsumption hierarchy between conjunctions of concepts introduced in a TBox. To this purpose, the subsumption algorithm must be extended such that it yields (su cient information about) a counterexample in cases where there is no subsumption relationship. For the concept language ALC, this additional requirement does not change the worst-case complexity of the subsumption algorithm. One advantage of the extended hierarchy is that it is a lattice, and not just a partial ordering.
Exposure and Health Assessments of the Effects of Agricultural Field Burning in Young Adults with Asthma Living in Pullman Washington

Agricultural (Ag) burning is a cost-effective method of cleaning and preparing the field for the succeeding growth season. However, smoke from Ag burning may contain various air pollutants, which may cause or exacerbate respiratory disease. However, the short-duration excursions of Ag burning smoke often do not violate the National Ambient Air Quality Standards at locations where air quality monitors are situated. Although a limited number of studies documented potential health effects from Ag burning smoke, there is a paucity of literature characterizing community residents' exposure to Ag burning smoke and the associated health effects. In the past several years, Ag burning has been subject to intense public health debate and in several cases law suits were filed in eastern Washington and Idaho. exposure and health effects of Ag burning. This study was conducted in Pullman, WA during the fall 2002 prescribed agricultural field burning season. This study consisted of 32 young adults with asthma (aged 18-52, median 24) and 2 randomly assigned monitoring sessions for each subject, including an active session and an on-call session. The active session required 16 participants to perform in-lab measures of on-line eNO (Sievers, Boulder CO), coached spirometry (microDL) and complete symptom questionnaires at the same time of day every Monday, Wednesday and Friday during a 30-day period. The on-call session occurred during the remaining 30-days of the 60-day monitoring session for these 16 individuals. During a declared episode, the on-call subjects would be paged in to have all health measures performed with the active subjects over the 3 successive days from the initial called episode. During our study, there were one sham episode and 4 real episodes, defined as more than three consecutive 30-min PM 2.5 averages exceeding 40 µg/m 3. 5 Air quality measurements at the central site included continuous PM 2.5, PM 10 , carbon dioxide, nitrogen oxides, and meteorological conditions and 12-hour integrated PM 2.5 , elemental and organic carbon (EC/OC), and levoglucosan (LG)-a marker for biomass combustion. The personal exposure measurements were collected from 16 subjects, inside of all but four residences, and outside of 6 residences. Exposure estimates included personal exposure measurements of PM 2.5 , EC/OC, LG, calculated exposure to PM 2.5 of outdoor origin, and calculated exposure to PM 2.5 from Ag burning. This report consists of three chapters of manuscripts. The first chapter characterizes the air quality during Ag burning episode and non-episode periods. Two source …
Demographic Change, Institutional Settings, and Labor Supply

This paper analyzes cross-country panel data to examine the effect of key institutional features of social security systems on male labor supply. Our findings indicate that the labor supply of older males covaries negatively with replacement rates and system coverage, with the replacement rate effects being stronger for pay-as-you-go systems than for fully funded systems. The results also reveal a surprisingly small and often negative response of the labor supply of older males to improvements in life expectancy.
Robust QTL analysis by minimum beta-divergence method

Robustness has received too little attention in Quantitative Trait Loci (QTL) analysis in experimental crosses. This paper discusses a robust QTL mapping algorithm based on Composite Interval Mapping (CIM) model by minimising beta-divergence using the EM like algorithm. We investigate the robustness performance of the proposed method in a comparison of Interval Mapping (IM) and CIM algorithms using both synthetic and real datasets. Experimental results show that the proposed method significantly improves the performance over the traditional IM and CIM methods for QTL analysis in presence of outliers; otherwise, it keeps equal performance.
Human Annotated Arabic Dataset of Book Reviews for Aspect Based Sentiment Analysis

With the prominent advances in Web interaction and the enormous growth in user-generated content, sentiment analysis has gained more interest in commercial and academic purposes. Recently, sentiment analysis of Arabic user-generated content is increasingly viewed as an important research field. However, the majority of available approaches target the overall polarity of the text. To the best of our knowledge, there is no available research on aspect-based sentiment analysis (ABSA) of Arabic text. This can be explained due to the lack of publically available datasets prepared for ABSA, and to the slow progress in sentiment analysis of Arabic text research in general. This paper fosters the domain of Arabic ABSA, and provides a benchmark human annotated Arabic dataset (HAAD). HAAD consists of books reviews in Arabic which have been annotated by humans with aspect terms and their polarities. Nevertheless, the paper reports a baseline results and a common evaluation technique to facilitate future evaluation of research and methods.
Design and optimization of ultra wide band monopole antenna with DGS for microwave imaging

A compact, low profile UWB monopole antenna is presented for Ultra wideband applications. A Monopole reference antenna design on the FR4 substrate of size 28.3 × 24 mm2 without defected ground structure (DGS) and results are analyzed in terms of impedance bandwidth, mutual coupling, radiation patterns and antenna gain with the help of CST Microwave studio and then proposed UWB monopole antenna is also design on the same substrate with DGS. All the results are also simulated and analyzed for the same. A comparative study carried out between these two designs and analyzed that proposed UWB monopole antenna enhanced impedance bandwidth from 3.7 GHz-14.9 GHz(without DGS) to 3.4 GHz-20 GHz (with DGS) and group delay is also satisfactory, which makes the proposed antenna is a good candidate for portable UWB applications.
A Class of Traceability Codes with an Efficient Tracing Algorithm

Traitor tracing is one kind of piracy deterrent schemes that helps trace the source of leaks when sensitive or proprietary data is made available to a large set of parties. In such schemes, error correcting codes can be applied for their natural properties, known as traceability codes. In this paper, we present Reed-Solomon codes as a kind of traceability codes and use list decoding algorithm to efficiently trace the traitors. We place our emphasis upon the conditions under which list decoding algorithm can be applied successfully for Reed-Solomon codes and the maximum numbers of users and traceable traitors for particular codes.
Environmental Effects on Late‐Type Galaxies in Nearby Clusters

The transformations that take place in late‐type galaxies in the environment of rich clusters of galaxies at z = 0 are reviewed. From the handful of late‐type galaxies that inhabit local clusters, whether they were formed in situ and survived as such, avoiding transformation or even destruction, or if they are newcomers that have recently fallen in from outside, we can learn an important lesson on the latest stages of galaxy evolution. We start by reviewing the observational scenario, covering the broadest possible stretch of the electromagnetic spectrum, from the gas tracers (radio and optical) to the star formation tracers (UV and optical), the old star tracers (near‐IR), and the dust (far‐IR). Strong emphasis is given to the three nearby, well‐studied clusters Virgo, A1367, and Coma, which are representative of different evolutionary stages, from unrelaxed and spiral‐rich (Virgo) to relaxed and spiral‐poor (Coma). We continue by providing a review of models of galaxy interactions that are relevant to clusters of galaxies. Prototypes of various mechanisms and processes are discussed, and their typical timescales are given in an a. Observations indicate the presence of healthy late‐type galaxies falling into nearby clusters individually or as part of massive groups. More rare are infalling galaxies belonging to compact groups, where significant preprocessing might take place. Once they have entered the cluster, they lose their gas and quench their star formation activity, becoming anemic. Observations and theory agree in indicating that the interaction with the intergalactic medium is responsible for the gas depletion. However, this process cannot be the origin of the cluster lenticular galaxy population. Physical and statistical properties of S0 galaxies in nearby clusters and at higher redshift indicate that they originate from spiral galaxies that have been transformed by gravitational interactions.
Performance Evaluation of Fault Detection Algorithms as Applied to Automotive Localisation

BIOGRAPHY Olivier Le Marchand obtained his engineering and master thesis in computer science from the University of Technology of Compiegne (UTC) in 2006. He is currently a second year PhD candidate on an industrial based thesis between Renault, UTC and the Laboratoire Central des Ponts et Chaussées (LCPC). His thesis addresses the estimation of position integrity of land platforms in urban environments. , he obtained the " Habilitation à Diriger des Recherches " from UTC. Since 1998, Ph. Bonnifait is with Heudiasyc UMR 6599, a joint research laboratory between the Centre National de la Recherche Scientifique (CNRS) and the UTC. His current research interests are in Robotics, Intelligent Vehicles and Advanced Driving Assistance Systems with particular emphasis on dynamic ego-localisation based on multisensor-fusion (GNSS, dead-reckoning and GIS). Javier Ibañez-Guzmán obtained his PhD at the University of Reading on a SERC-UK assistantship and his MSEE at the University of Pennsylvania (USA) as a Fulbright scholar. He is currently working for Renault S.A where he is responsible for localisation technologies used in advanced driving assistance systems. Dr Ibañez-Guzmán has worked as senior scientist at SIMTECH, a national research institute in Singapore, where he spear-headed work on autonomous ground vehicles for unstruc-tured environments. His research interests are in localisa-tion and perception for vehicle guidance, and autonomous systems technologies. François Peyret is graduate from the Ecole Na-tionale Supérieure de Mécanique et d'Aérotechnique of Poitiers and from the Ecole Nationale Supérieure de l'Aéronautique et de l'Espace of Toulouse. He is now Director of Research (equivalent of Professor), and head of the " Image processing and geopositioning " research team, at the LCPC, where he is leading research activities in the field of road vehicle positioning for ADAS, especially with hybrid GNSS systems enhanced 3D map-matching. David Bétaille is a researcher in the Division for Metro-logy and Sensor Instrumentation of the LCPC, where his current activity relates to vehicles positioning by satellites systems combined with dead-reckoning and mapping, ADAS and in general road safety applications compose the research context of his lab. He received his PhD in 2004 for his investigations at University College London on phase multipath in kinematic GPS. ABSTRACT A very important parameter to measure the quality of lo-calisation systems is integrity in Global Navigation Satellite System (GNSS). Within this perspective, Integrity first considers the removal of outliers at the receiver level. It is typically monitored applying Fault Detection and Exclusion (FDE) algorithms. Then, …
Algorithm Design of Navigation Satellite Evaluation Classification Rules Based on VPRS and DPSO

In order to make the classification rules more reliable in dealing with the decision data of evaluation, a rough rule mining approach is proposed. With uncertain measurement of rough set, lower approximation reduction based on variable precision rough set (VPRS) is analyzed. The definition of measure in decision table is given based on information entropy measure. Then based on discrete particle swarm optimization algorithm (DPSO), an algorithm for knowledge reduction in variable rough set is presented. The experimental result shows that this algorithm has a certain classification capability for the decision data, and the rules obtained by this approach have more precision and better overlay.
Common muscle synergies for balance and walking

Little is known about the integration of neural mechanisms for balance and locomotion. Muscle synergies have been studied independently in standing balance and walking, but not compared. Here, we hypothesized that reactive balance and walking are mediated by a common set of lower-limb muscle synergies. In humans, we examined muscle activity during multidirectional support-surface perturbations during standing and walking, as well as unperturbed walking at two speeds. We show that most muscle synergies used in perturbations responses during standing were also used in perturbation responses during walking, suggesting common neural mechanisms for reactive balance across different contexts. We also show that most muscle synergies using in reactive balance were also used during unperturbed walking, suggesting that neural circuits mediating locomotion and reactive balance recruit a common set of muscle synergies to achieve task-level goals. Differences in muscle synergies across conditions reflected differences in the biomechanical demands of the tasks. For example, muscle synergies specific to walking perturbations may reflect biomechanical challenges associated with single limb stance, and muscle synergies used during sagittal balance recovery in standing but not walking were consistent with maintaining the different desired center of mass motions in standing vs. walking. Thus, muscle synergies specifying spatial organization of muscle activation patterns may define a repertoire of biomechanical subtasks available to different neural circuits governing walking and reactive balance and may be recruited based on task-level goals. Muscle synergy analysis may aid in dissociating deficits in spatial vs. temporal organization of muscle activity in motor deficits. Muscle synergy analysis may also provide a more generalizable assessment of motor function by identifying whether common modular mechanisms are impaired across the performance of multiple motor tasks.
Ion Pairing between Lipase and Colipase Plays a Critical Role in Catalysis*

Among the polar interactions occurring in pancreatic lipase/colipase binding, only one ion pair involving lysine 400 on lipase and glutamic acid 45 on colipase has been described. These residues are strictly conserved among species, suggesting that the ion pair is likely to play an important role. Therefore, in order to prevent this interaction, mutations intended to neutralize or inverse the charge of these residues have been introduced in the cDNAs encoding horse lipase and colipase. The recombinant proteins have been expressed in insect cells, and their catalytic properties have been investigated. In all cases, preventing the formation of the correct ion pair Lys400/Glu45 leads to lipase-colipase complexes of reduced affinity unable to perform an efficient catalysis, notably in the presence of bile salt micelles. Diethyl p-nitrophenyl phosphate inhibition experiments with either mutant lipase or mutant colipase indicate a poor stabilization of the lipase flap. These results suggest that the ion pair plays a critical role in the active conformation of the lipase-colipase-micelle ternary complex by contributing to a correct orientation of colipase relative to lipase resulting in a proper opening of the flap.
A hybrid GMM/SMC diffusion Bernoulli Filter for joint distributed detection and tracking

We introduce in this paper the Random Exchange Diffusion Bernoulli Filter (RndEx-BF), which enables joint target detection and tracking by a network of collaborative sensors. RndEx-BF is a fully distributed algorithm that, unlike consensus-based solutions, does not require iterative internode communication between sensor measurements. Internode communication cost is further reduced by a novel hybrid GMM/SMC implementation of the proposed filter. Experimental results show that RndEx-BF approaches the performance of a flooding-based implementation of the optimal centralized Bernoulli filter with much lower bandwidth requirements.