Miracle-dz/UniFAR-FTUs huggingface dataset:
Digital Commons @ New Haven Digital Commons @ New Haven

We present Memory FORESHADOW: Memory FOREnSics of HArDware cryptOcurrency Wallets. To the best of our knowledge, this is the primary account of cryptocurrency hardware wallet client memory forensics. Our exploratory analysis revealed forensically relevant data in memory including transaction history, extended public keys, passphrases, and unique device identi ﬁ ers. Data extracted with FORE-SHADOW can be used to associate a hardware wallet with a computer and allow an observer to dean-onymize all past and future transactions due to hierarchical deterministic wallet address derivation. Additionally, our novel visualization framework enabled us to measure both the persistence and integrity of artifacts produced by the Ledger and Trezor hardware wallet clients. The framework can be generalized for use in future memory forensics work. © 2020 The Author(s). Published by Elsevier Ltd on behalf of DFRWS. All rights reserved. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).
Moral and Moorean Incoherencies

It has been argued that moral assertions involve the possession, on the part of the speaker, of appropriate non-cognitive attitudes. Thus, uttering ‘murder is wrong’ invites an inference that the speaker disapproves of murder. In this paper, we present the result of 4 empirical studies concerning this phenomenon. We assess the acceptability of constructions in which that inference is explicitly canceled, such as ‘murder is wrong but I don’t disapprove of it’; and we compare them to similar constructions involving ‘think’ instead of ‘disapprove’—that is, Moore paradoxes (‘murder is wrong but I don’t think that it is wrong’). Our results indicate that the former type of constructions are largely infelicitous, although not as infelicitous as their Moorean counterparts.
MEASURING MACROECONOMIC SHOCKS OF THE COVID-19 MEASURING MACROECONOMIC SHOCKS OF THE COVID-19 PANDEMIC: An empirical analysis for Bhutan PANDEMIC: An empirical analysis for Bhutan

Taking GDP growth and CPI inflation as endogenous variables, this paper employs a Structural VAR from Baumeister and Hamilton (2015, 2019) to identify aggregate demand and aggregate supply shocks for Bhutan, focusing on the COVID-19 pandemic. The results suggest that 94 percent of the GDP growth plunge in 2020 is attributable to a fall in aggregate supply. The higher inflation during the COVID-19 pandemic also implies a negative supply shock. Although the magnitudes differ, characterizing the COVID-19 pandemic in Bhutan as a supply shock coincides with preceding episodes that were also primarily driven by supply shocks.
Deep Leaming Approaches for Brain Tumor Segmentation: A Review

Brain tumor has been a cause of concern for the medical fraternity. The manual segmentation of brain tumor by medical expert is a time-consuming process and this needs to be automated. The Computer-aided diagnosis (CAD) system, help to improve the diagnosis and reduces the overall time required to identify the tumor. Researchers have proposed methods that can diagnose brain tumor based on machine learning and deep learning techniques. But the methods based on deep learning have proven much better than the traditional machine learning methods. In this paper we have discussed the state-of-the-art methods for brain tumor segmentation based on deep learning.
International Journal of Multicultural and Multireligious Understanding

Teaching Indonesian to Speakers of Other Languages (TISOL) programs in domestic and international have become a medium for diplomacy for Indonesian language and culture on the world. Language and culture play an important role as a medium for diplomacy. Language represents the identity of the culture and related cultures in the substance of language. This study aims to describe the diversity of Indonesian culture in the basic level TISOL “Sahabatku Indonesia” textbook. The method used in this research is descriptive qualitative. Sources of data in this study are documents, namely basic level TISOL “Sahabatku Indonesia” textbooks. Data collection techniques using content analysis. Technique validity of data in this study using triangulation theory. Data analysis techniques using interactive data analysis techniques. The results show that in the basic level TISOL “Sahabatku Indonesia” textbook (TISOL 1, 2) there are 16 forms of Indonesian culture, 4 data are in the form of mentifak, 5 data are in the form of socio-cultural forms, and 7 data are in the form of cultural artifacts. Studying culture is tantamount to explore how cultural meaning is symbolic in language as a sign system.
Spatial justice for elephants: the case of the Nilgiri Biosphere Reserve (southern India)

We address the issue of spatial justice with reference to Asian elephant conservation and the handling of animals perceived to be problematic in the Sigur region, Nilgiris Biosphere Reserve, southern India. In this village-dotted region, the need to create corridors to facilitate elephant movement was challenged by tourism operators. The courts ruled in favor of the corridors. Investigations determined that many hotels were unregistered and had to be closed after thirty years of operation. Tourists illegally feed elephants without being stopped. Elephants become problematic, crossing into villages. These animals are eventually killed or captured with no other wildlife management options being considered despite courts decisions. Proactive management measures that are fairer to the elephant should be implemented. A form of spatial justice for elephants has been recognized by the courts, but has yet to be effectively implemented. The difficulty lies in corruption and lack of good governance in the public service. As a result, such justice remains an unattainable goal for the time being.
Type-based security properties assurance in the Rust-based Redox operating system

Executive summary: We propose to explore using types in operating system source code as a mean to get assurance on security properties. The use case is the Rust-language-based Redox operating system and its generic service-access framework called schemes . Schemes generalize Unix’ “everything is a file” notion to “everything is a URL”. First it should be shown how the typestate design pattern helps getting assurance on isolating clients of a scheme providing access to a cryptographic resource. Second a comparative study should be done on generically implementing resource read-and write-access restriction in the kernel, using traditional attribute-based checks on one side and type-based segregation of handles on the other side.
Neurosurgical Applications of Magnetic Resonance Diffusion Neurosurgical Applications of Magnetic Resonance Diffusion Tensor Imaging Tensor Imaging

Magnetic Resonance (MR) Diffusion Tensor Imaging (DTI) is a rapidly evolving technology that enables the visualization of neural fiber bundles, or white matter (WM) tracts. There are numerous neurosurgical applications for MR DTI including: (1) Tumor grading and staging; (2) Pre-surgical planning (determination of resectability, determination of surgical approach, identification of WM tracts at risk); (3) Intraoperative navigation (tumor resection that spares WM damage, epilepsy resection that spares WM damage, accurate location of deep brain stimulation structures); (4) Post-operative assessment and monitoring (identification of WM damage, identification of tumor recurrence). Limitations of MR DTI include difficulty tracking small and crossing WM tracts, lack of standardized data acquisition and post-processing techniques, and practical equipment, software, and timing considerations. Overall, MR DTI is a useful tool for planning, performing, and following neurosurgical procedures, and has the potential to significantly improve patient care. Technological improvements and increased familiarity with DTI among clinicians are next steps.
Signiﬁcance of chick quality score in broiler production

Thequalityofdayoldchicksiscrucialforproﬁtablebroilerproduction,butadifﬁculttraittodeﬁne. Inresearch,bothqualitative andquantitativemeasuresareusedwithvariablepredictivevalueforsubsequentperformance.Inhatcherypractice,chickquality isjudgedonabinomialscale,aschicksaredividedintoﬁrstgrade(Q1-saleable)andsecondgrade(Q2)chicksrightafterhatch. IncidencesandreasonsforclassifyingchicksasQ2,andpotentialofthesechicksforsurvivalandpost-hatchperformancehave hardlybeeninvestigated,butmayprovideinformationforﬂockperformance. Weconductedanexperimenttoinvestigate(1)the qualityofabroilerﬂockandtherelationwithpost-hatchﬂockperformancebasedonaqualitativescore(Pasgar & score)ofQ1 chicksandbasedontheincidenceofQ2chicksand(2)thereasonsforclassifyingchicksasQ2,andthepotentialofthesechicks forsurvivalandpost-hatchgrowth.
Caregiver perception of the quality of Neuropediatric Physiotherapy services at rehabilitation Centers in the State of Paraíba, Brazil

Current study evaluates the perception of caregivers about the quality of neuropediatric physiotherapy services offered at specialized rehabilitation centers (SRC) in Brazil. This is a cross-sectional, quantitative, evaluative study whose target population were caregivers of children in rehabilitation. The AQSF-Neuroped instrument was used to evaluate the quality of three SRC based on the perception of 320 caregivers. The one-proportion hypothesis test was used based on each AQSF-Neuroped item and dimension. The Weight of Evidence and Latent Class Analysis models were used to evaluate the influence of variables on the perception of quality. A mean overall quality score of 133 ± 14 points indicated a positive perception of quality; however, there were aspects related to physical structure (Interpersonal Dimension) and access (Organizational Dimension II) that needed to be improved ( p - values<0.05) to better meet the expectations of caregivers. The LCA allowed to identify, by group formation, caregiver’s characteristics that determined a positive or negative perspective of the quality. SRC B was evaluated best among all SRC (IV<0.10). Managers are provided with, results to support improvements in services.
: Building mechanistic multiscale models with NEURON, NetPyNE, and TREES

Brain interactions occur across many temporal and spatial scales. Massive neuroscience-databasing projects throughout the world provide data at all these scales, data that can only be “compiled” and understood using simulation. Mechanistic multiscale modeling provides insights into how changes at molecular, synaptic, morphological, and network + areal scales; produced by development, learning, brain disease, or drugs; affect dynamics and brain function. This tutorial will introduce multiscale modeling using: the NEURON 9.0 simulator, including the Reaction-Diffusion (RxD) module and the NetPyNE tool. The tutorial will combine background, examples
21-5 Do Gendered Laws Matter for Women’s Economic Empowerment?

Greater legal equality between men and women is associated with a narrower gender gap in opportunities and outcomes, fewer female workers in positions of vulnerable employment, and greater political representation for women. These associations are robust to conditioning on a country’s stage of development, as proxied by income per capita. They mask considerable heterogeneity across countries, however. Case studies from the Democratic Republic of the Congo, India, and Spain demonstrate how individual countries’ experiences may deviate from average trends. Analysis of a 50-year panel of gendered laws in 190 countries reveals that country attributes that are significant predictors of legal gender equality (including religion, legal origin, and geography) evolve slowly, if at all. The path to meaningful legal reform may thus be long and arduous.
DIVISION SAFETY AND TRANSPORT SOCIETAL SAFETY Risks with hydrogen in underground facilities

RISE has previously studied alternative fuels, such as batteries and gaseous fuels including liquid and compressed hydrogen (GH2). Each fuel has its unique risks. Liquid hydrogen (LH2) is a cryogenic fluid and is thus stored in cooled liquid form, which entails specific risks. The purpose of this report is to, based on the current state of research, map the risks of hydrogen in underground facilities in relation to conventional fuels and investigate which technical measures can be taken to reduce the risks. Unlike diesel, hydrogen (and for instance methane or gasoline) has such a low flash point that an emission can be ignited at normal temperature by a small ignition source. Hydrogen is also very buoyant, with strong diffusion and dispersion characteristics, accordingly it accumulates at high points in a subsurface environment. Hydrogen requires very low energy to ignite at or near stoichiometric mixing with air at around 30%. The lower flammability limit is, compared to other flammable fuel/air mixtures high at around 4%, which means that many smaller releases in ventilated spaces will be too lean. Explosions would require a higher hydrogen concentration, above 8% or more. In subsurface environments, containment contributes to a higher increase in pressure, as well as an increased risk of explosion for both GH2 and LH2. The handling of hydrogen underground can therefore be seen as problematic. When it comes to hydrogen as a vehicle fuel, however, there are safety measures to achieve equivalent safety with conventional vehicles. For example, the shut-off valve (mandatory in regulation) on each tank that reduces the risk of leakage, and through the development of explosion-free composite tanks (not mandatory in regulation) in the event of fire that provide a less dangerous fire scenario than a diesel or gasoline tank in case of fire. When it finally comes to transporting hydrogen, pipelines are the long-term sustainable (and safe) alternative. Transport of compressed hydrogen gives a low amount of gas per trailer and entails relatively higher risks than CNG underground,
Caractérisation géostatistique de la variabilité spatiale de l’humidité du sol à l’aide des cartes dérivées des données radar à synthèse d’ouverture de RADARSAT-1

This paper examines the potential of RADARSAT-1 C-band synthetic aperture radar (SAR) data for quantifying the spatial variability of soil moisture in the Roseau River basin, in Manitoba, Canada. To compensate for the lack of accuracy in the measurement of roughness, we applied a semi-empirical calibration technique. The procedure improved the performance of the integral equation model (IEM). An inversion of the calibrated version of IEM was implemented to extract soil moisture maps. Adjustments to the semivariograms using an exponential model showed the existence of an effect of spatial organization. The correlation lengths obtained are in good agreement with those reported in the literature using in situ measurements (~100 m). However, we highlighted the influence of semivariogram spatial extents on such estimations. Yet, it has been shown that this effect can be modeled using exponential type functions (R2 > 0.90). During the analysis of the apparent variances, we confirmed the predominance of microstructure errors over the effect of radar speckle. We also outlined an increasing pattern in the apparent variances in relation to the scale of the geostatistical analyses. This pattern was less pronounced during relatively dry periods. This derives from the predominance of evaporation mechanisms, which create a uniform spatial distribution of moisture in the soil superficial layers.
Cetaceans of the Marquesas Islands (French Polynesia): distribution and relative abundance as obtained from a small boat dedicated survey

A dedicated survey of the cetacean population of the Marquesas Islands in French Polynesia, located at about 9)S and 140)W, took place from a 15-m ketch between 29 November 1998 and 27 January 1999 and included visual searching (with three observers on duty) and acoustic sampling with a towed hydrophone. A total eective eort of 2255 km was logged in the study area (63 250 km 2 ), around all islands, as well as in the open sea between the islands. The boat moved on zig-zag tracks dictated by sea and wind conditions, cruising on engine most of the time, at a mean speed of 9 km/h. Sighting rates for individuals were obtained by processing visual data obtained at ƒBeaufort 3 sea conditions, using Distance 2.2 software. A total of 101 on-eort sightings were made of 10 identified species including the pantropical spotted dolphin Stenella attenuata (37), spinner dolphin Stenella longirostris (24), bottlenose dolphin Tursiops truncatus (17), melon-headed whale Peponocephala electra (14), and rough-toothed dolphin Steno bredanensis (4). Five other delphinids, Grampus griseus, Orcinus orca, Pseudorca crassidens, Globicephala macrorhynchus, and Feresa attenuata were each sighted once. The population diversity was high, with a Shannon-Weaver index of 1.8, the melon-headed whale and the spotted dolphin representing 51% and 29% of the observed population, respectively. A sighting rate for individuals of 0.95 ind/km (CV=27%) was estimated for inshore waters (<10 km from coastline) and 0.26 ind/km (CV=23%) for oshore waters. The delphinid community displays higher diversity and relative abundance than that in the Society Islands and appears to be dierent than observed in the Eastern
Traversable Area Extraction Using LADAR Sensor

An algorithm to detect traversable area from ladar point cloud based on fuzzy model and space-time analysis is proposed. The algorithm splits a single row ladar da ta into different segments by using a maximum entropy theory based fuzz cluster model, and then finds initial traversable segments constrained by traversable f eatures. The algorithm optimizes traversable area according to space-time conne ction between adjacent scan lines. Data in 3-D space were projected into 2-D f rom different directions to avoid time consuming computing in 3-D space. The al gorithm doesn’t involve iterative and on line learning which makes it suitable for urban navigation. Experiments in urban area shows that the algorithm can extrac t traversable area well.
Dispersion of material by wind and tide in shallow seas

Mixing processes in shallow seas are of particular importance in the dispersion of pollution (e.g. oil slicks) as well as in the distribution of sediment and biological material (e.g. phytoplankton and fish larvae). This study aims to further investigate the processes of wind-driven Langmuir circulation and bottom-generated turbulence and to quantify the effects they have on the dispersion of buoyant material. A numerical and analytical study is made of the dispersion of a plume of floating particles under the combined action of Langmuir circulation and a mean current. The numerical simulations show the general patterns the plume will form, with initial meanders leading to the formation of distinct windrows. The analytical model shows that the lateral diffusivity, the rate of across-current dispersion of the particles, is greatest when the angle between the direction of the wind and current is between 30° and 120°, and when the wind speed is large in comparison to the current speed. Further, it is found that the effects of Langmuir circulation will dominate the dispersion process when the wind speed is greater than about 10 times the current speed. Acoustic and visual observations of the surface effects of bottom-generated turbulence in a tidally-influenced and well-mixed region of the North Sea are presented. Although the sea bed in the area is flat, it is found that at any one time 20-30% of the water surface is affected by boils - circular regions of local upwelling - of diameter 0.9±0.2 times the water depth. The signature of individual boils persists for at least 7 minutes and, in accordance with laboratory and numerical studies, shows the appearance of eddies. Again, analytical and numerical models are constructed to estimate the effects of the boils on the dispersion of floating particles. The numerical simulations provide good qualitative agreement with the patterns observed in visual images of the dispersion of oil. Further, the horizontal diffusivities calculated by both them and the analytical methods show that the presence of boils can account for the dispersion measured by experimental methods in shallow tidal seas. In summarising and discussing the main findings of this work, particular emphasis is placed on the need for further observations of these two processes, in particular the boils and eddies and their interaction with the Langmuir circulation, to further improve the estimates of dispersion.
“Down Three Zones” in the Prediction of the water inrush from Coalbed Floor Aquifer theory,Development and Application

The development and application of the “Down Three Zone” in nearly recent two decades are summarized;the concept,origination,the determination,application principle,in situ measurement and effect evaluation are systematically exposed.Twenty years of researches and production practice has made the “Down Three Zone” theory more and more perfect.The theory plays an important role in the safety mining evaluation of the coal seams above high pressure aquifers and the prediction of the water inrush from coal seam floor.This paper aimed to the intensive comprehension to the theory and the extensive application of the methods in the coal mining production.
Histamine Receptors: Ex Vivo Functional Studies Enabling the Discovery of Hits and Pathways

Histamine receptors (HRs) are G-protein-coupled receptors involved in diverse responses triggered by histamine release during inflammation or by encounters with venomous creatures. Four histamine receptors (H1R–H4R) have been cloned and extensively characterized. These receptors are distributed throughout the body and their activation is associated with clinical manifestations such as urticaria (H1R), gastric acid stimulation (H2R), regulation of neurotransmitters in neuronal diseases (H3R), and immune responses (H4R). Despite significant homologous overlap between H3R and H4R, much remains unknown about their precise roles. Even though some drugs have been developed for H1R, H2R, and H3R, not a single H4R antagonist has been approved for clinical use. To enhance our understanding and advance innovative therapeutic targeting of H1R, H2R, H3R, and H4R, we established a robust ex vivo functional platform. This platform features the successful heterologous expression of H1R–H4R in Xenopus laevis oocytes, utilizing an electrophysiological readout. Our findings contribute to a deeper understanding of the function and pharmacological properties of the histamine receptors. Researchers can benefit from the utility of this platform when investigating the effects of histamine receptors and exploring potential therapeutic targets. In doing so, it broadens the horizon of drug discovery, offering new perspectives for therapeutic interventions.