Miracle-dz/UniFAR-FTUs huggingface dataset:
Transition zone thickness beneath Indonesia as inferred using the receiver function method for data from the JISNET regional broadband seismic network

We analyzed broadband waveforms recorded by the newly deployed Japan‐Indonesia Seismic Network to determine the depths of the 410 km and 660 km discontinuities and thickness of the mantle transition zone beneath Indonesia by the receiver function method. The discontinuities have an undulation with a maximum difference of 40 km with respect to the Iasp91 model. The thickness of the transition zone is well correlated with seismicity and seismic velocity anomalies, suggesting that the topography is caused by temperature anomalies associated with the subducted slabs beneath Indonesia.
Persistent uplift of the Lazufre volcanic complex (Central Andes): New insights from PCAIM inversion of InSAR time series and GPS data

We reanalyzed the surface displacements observed at the Lazufre volcanic complex in the Southern Andean Central Volcanic Zone using GPS measurements made between 2006 and 2008 and a large InSAR data set. We performed a detailed spatiotemporal analysis of the displacements using a principal component analysis inversion method (PCAIM). The PCAIM reveals a source with no significant changes in shape and dimension and with a remarkably linear strength increase over the whole period of observation (i.e., 2003–2010). Then we used a three‐dimensional mixed boundary element method (MBEM) to invert the first component of surface displacement as obtained from PCAIM. We explored a continuum of geometries from a shallow elliptic crack to a deep massive truncated elliptical cone that could represent a sill or a large magma chamber, respectively. The best models indicate a large flat‐topped source with a roof area between 40 and 670 km2 and a depth of between 2 and 14 km below ground surface. Lastly, on the basis of the limited data available for the thermomechanical structure of the crust in the Southern Andean Central Volcanic Zone, we consider some possible scenarios to explain the spatial and temporal pattern of displacements at Lazufre.
Fusion of hyperspectral and bathymetric laser data in Kaneohe Bay, Hawaii

Passive, hyperspectral image data and bathymetric lidar data are complimentary data types that can be used effectively in tandem. Hyperspectral data contain information related to water quality, depth, and bottom type; and bathymetric lidar data contain precise information about the depth of the water and qualitative information about water quality and bottom reflectance. The two systems together provide constraints on each other. For example, lidar-derived depths can be used to constrain spectral radiative transfer models for hyperspectral data, which allows for the estimation of bottom reflectance for each pixel. Similarly, depths can be used to calibrate models, which permit the estimation of depths from the hyperspectral data cube on the raster defined by the spectral imagery. We demonstrate these capabilities by fusing hyperspectral data from the LASH and AVIRIS spectrometers with depth data from the SHOALS bathymetric laser to achieve bottom classification and increase the density of depth measurements in Kaneohe Bay, Hawaii. These capabilities are envisioned as operating modes of the next-generation SHOALS system, CHARTS, which will deploy a bathymetric laser and spectrometer on the same platform.
Where object-oriented technology meets parallel simulation

A simulation environment which combines object-oriented software engineering, parallel processing and parallel simulation is presented. The layered nature of the environment allows us to address the issues of software manageability and execution speed independently and, at the same time, integrate them into a complete solution to parallel simulation. The presented framework promotes key software engineering qualities such as reusability, extendability and efficiency, and supports parallel processing requirements such as scalability, portability and performance.
Measurement of elastic electron scattering from the proton at high momentum transfer.

We have performed absolute measurements of the differential cross section for elastic e−p scattering in the range of momentum transfer from Q2=2.9 to 31.3 (GeV/c)2. Combined statistical and systematic uncertainties in the cross-section measurements ranged from 3% at low Q2 to 19% at high Q2. These data have been used to extract the proton magnetic form factor GMp(Q2). The results show a smooth decrease of Q4GMp with momentum transfer above Q2=10 (GeV/c)2. These results are compared with recent predictions of perturbative QCD.
Holocene climatic variations and postglacial sea‐level rise geochemically recorded in the sediments of the brackish karst lake An Loch Mor, western Ireland

Palaeohydrology of the brackish karst lake An Loch Mór (Inis Oirr) was reconstructed based on its 11 600 year sedimentation record. Low calcareous early Holocene sediments, characterized by high TOC contents and deposited at generally low accumulation rates, show a gradual decrease upwards in the concentration of the siliciclastic sediment until c. 7000 cal. yr BP. From c. 9000 cal. yr BP, sediment accumulation became increasingly dominated by the deposition of autochthonous calcite and organic matter. The deposition of autochthonous calcite and its chemical composition (Ca/Sr, Ca/Mg) are determined by the subsurface inflow of freshwater from the catchment of the lake and by the balance between freshwater and seawater influx. During the early Holocene, the lake mainly received input of sea salt by sea‐spray. The sediments document the further development from seasonal towards the onset of diurnal infiltration of seawater at c. 5100 cal. yr BP. At that time, the relative sea level must have risen nearly to its present level in Galway Bay. Diurnal seawater infiltration during high tides was controlled by freshwater input. Freshwater inflow from the catchment gradually increased with human impact on local vegetation (EVPT decrease). Permanent diurnal seawater infiltration in concert with this general freshwater increase made the geochemical sedimentation record highly sensitive to changes in annual precipitation. We use information from the palynological record to interpret geochemically inferred freshwater inflow variations in terms of dry and wet climatic periods and document distinct century‐scale successions between wet and dry climatic episodes for western Ireland.
Guidance, navigation, and control of an unmanned hovercraft

This paper introduces a simulation and evaluation of guidance, navigation, and control algorithms applied to an autonomous hovercraft. A line-of-sight guidance law is adopted in conjunction with a neural network based adaptive dynamic inversion control scheme for the underactuated hovercraft following a prescribed path. The simulation result demonstrates that the guidance and control scheme can be effective in waypoint following of the underactuated hovercraft, especially, when external disturbances exist. It is also shown that the error signals are bounded using Lyapunov's direct method.
Dex-Net 3.0: Computing Robust Vacuum Suction Grasp Targets in Point Clouds Using a New Analytic Model and Deep Learning

Vacuum-based end effectors are widely used in industry and are often preferred over parallel-jaw and multifinger grippers due to their ability to lift objects with a single point of contact. Suction grasp planners often target planar surfaces on point clouds near the estimated centroid of an object. In this paper, we propose a compliant suction contact model that computes the quality of the seal between the suction cup and local target surface and a measure of the ability of the suction grasp to resist an external gravity wrench. To characterize grasps, we estimate robustness to perturbations in end-effector and object pose, material properties, and external wrenches. We analyze grasps across 1,500 3D object models to generate Dex-Net 3.0, a dataset of 2.8 million point clouds, suction grasps, and grasp robustness labels. We use Dex-Net 3.0 to train a Grasp Quality Convolutional Neural Network (GQ-CNN) to classify robust suction targets in point clouds containing a single object. We evaluate the resulting system in 350 physical trials on an ABB YuMi fitted with a pneumatic suction gripper. When evaluated on novel objects that we categorize as Basic (prismatic or cylindrical), Typical (more complex geometry), and Adversarial (with few available suction-grasp points) Dex-Net 3.0 achieves success rates of 98%, 82%, and 58% respectively, improving to 81% in the latter case when the training set includes only adversarial objects. Code, datasets, and supplemental material can be found at http://berkeleyautomation.github. io/dex-net.
Geologic Framework of a Groundwater System on the Margin of a Rift Basin, Pajarito Plateau, North‐Central New Mexico

The Pajarito Plateau is an important source of abundant potable groundwater for Los Alamos National Laboratory (LANL) and the communities of Los Alamos and White Rock. Geologic investigations were undertaken as part of a plateau‐wide hydrogeological investigation to develop conceptual models of the groundwater system as a framework for numerical simulations of groundwater flow. The Pajarito Plateau is located in the western part of the Española basin where rocks of the Jemez and Cerros del Rio volcanic fields overlie and interfinger with Neogene basin‐fill sedimentary rocks. The vadose zone is about 200 m (600 ft) thick beneath mesas on the east side of the plateau and more than 375 m (1245 ft) thick on the west side. Groundwater occurs as shallow groundwater in canyon‐floor alluvium, moderately deep groundwater perched in bedrock units of the vadose zone, and groundwater associated with the regional saturated zone. The most productive rocks of the regional aquifer occur in a westward‐thickening wedge of coarse‐grained, Miocene and Pliocene volcaniclastic rocks derived from the Jemez volcanic field. Eastern aquifer rocks consist of fine‐grained, somewhat less productive Miocene sedimentary deposits derived from highland sources to the east and north. Intermediate and mafic lavas interbedded with the Miocene and Pliocene sedimentary deposits are components of the regional aquifer locally. The hydrogeology of the Pajarito Plateau is probably typical of groundwater systems along the margins of the Rio Grande rift where arid to semiarid, sediment‐filled basins receive most of their recharge from adjacent mountainous areas.
An Exploration of the Sub-Register of Chemical Engineering Research 2 Papers Published in English 3 4

Concise and factual, descriptive (up to 250 words) Graphical abstract Optional Highlights Mandatory Table 1: Summary description the prerequisites request by each journal for the submission of manuscripts based on of the full aims and scope and guide for 160 authors, publically available on the journals’ websites. 161 2 Highlights are a short collection of bullet points that convey the core findings and provide readers with a quick textual overview of the article. These three to five bullet points describe the essence of the research (e.g. results or conclusions) and highlight what is distinctive about it. There should be a maximum of 85 characters, including spaces, per highlight. Preprints (www.preprints.org) | NOT PEER-REVIEWED | Posted: 30 March 2018 doi:10.20944/preprints201803.0270. v1 Peer-reviewed version available at Publications 2018, 6, 30; doi:10.3390/publications6030030 162 On the other hand, CEJ and WR use a less discipline-specific vocabulary, with salience of 163 terms “wastewater”, “effluents”, “samples” which are far less frequent in CES and WM 164 (Table 2). WR published papers are indicating a holistic approach to water-related research 165 focusing on the findings of the experimental trials and their applicability in the society, 166 addressing social, financial and legal aspects. This also corresponds with the frequent use of 167 the lemmas “removal” and “environmental”. 168 169 170 171 Preprints (www.preprints.org) | NOT PEER-REVIEWED | Posted: 30 March 2018 doi:10.20944/preprints201803.0270. v1 Peer-reviewed version available at Publications 2018, 6, 30; doi:10.3390/publications6030030
Operating Systems in silicon and the Dynamic Management of Resources in Many-Core Chips

This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for multi- and many-core chips. It introduces the SVP model and its implementation in DRISC processors to a level of detail required to understand these problems. The major contribution of the paper is in analysing the issues faced in porting operating system functionality onto such processors. The paper covers the issues of job scheduling, dynamic resource management, memory protection and security. It provides examples in μTC (a language based on the SVP model) of how resource management and security issues are managed. It concludes that the implementation of concurrency controls in a processors instruction set is very disruptive. However, the author sees no alternatives if mainstream computing is ever to be served effectively by multi- and many core processors.
International Journal of Cooperative Information Systems F Coordination of Multiple Intelligent Software Agents 1 2 Coordination of Multiple Intelligent Software a Gents

We are investigating techniques for developing distributed and adaptive collections of information agents that coordinate to retrieve, lter and fuse information relevant to the user, task and situation, as well as anticipate user's information needs. In our system of agents, information gathering is seamlessly integrated with decision support. The task for which particular information is requested of the agents does not remain in the user's head but it is explicitly represented and supported through agent collaboration. In this paper we present the distributed system architecture, agent collaboration interactions, and a reusable set of software components for structuring agents. The system architecture has three types of agents: Interface agents interact with the user receiving user speci cations and delivering results. They acquire, model, and utilize user preferences to guide system coordination in support of the user's tasks. Task agents help users perform tasks by formulating problem solving plans and carrying out these plans through querying and exchanging information with other software agents. Information agents provide intelligent access to a heterogeneous collection of information sources. We have implemented this system framework and are developing collaborating agents in diverse complex real world tasks, such as organizational decisionmaking, investment counseling, health care, and electronic commerce.
Profilowanie gamma – przeliczanie jednostek

W pracy omowiony zostal problem przeliczania wynikow profilowania gamma, wykonanego sondami starego typu w jednostkach fizycznych, w postaci zliczen na minute – [cpm] (counts per minute) na standardowe jednostki profilowania gamma – [API] (American Petroleum Institute). Przeliczanie jednostek profilowania gamma jest efektem zapotrzebowania na reinterpretacje wynikow profilowan geofizyki otworowej z otworow odwierconych przed rokiem 1990, m.in. w celu poszukiwan gazu zamknietego w lupkach (shale gas). Do przeliczenia jednostek wybrano odcinek formacji modrynskiej z otworu A, zlokalizowanego w synklinorium lubelskim, wykorzystując metode reperow litologicznych. Dokonano takze automatyzacji tego procesu poprzez utworzenie skryptu w jezyku Python, w programie Techlog (Schlumberger).
Pattern Formation Theory for Electroactive Polymer Gel Robots

This paper proposes the mathematical model of deformation for gel robots and develops the pattern formation theory. The robots are made of surfactant-driven ionic polymer gel in constant electric fields, which is a typical electroactive polymer gel containing poly 2-acrylamido-2-metylpropane sulfonic acid (PAMPS). A beam of gel in uniform electric fields develops wave forms through penetration of the surfactant solution. The model is to be built on the hypothesis of adsorption-induced deformation. The mechanism of wave-shape pattern formation is then analyzed utilizing the model. The results of this study provide the foundation to develop deformable machines with virtually infinite degrees of freedom.
On the Performance of Largest-Deficit-First for Scheduling Real-Time Traffic in Wireless Networks

This paper considers the problem of scheduling real-time traffic in wireless networks. We consider ad hoc wireless networks with general conflict graph-based interference model and single-hop traffic. Each packet is associated with a deadline and will be dropped if it is not transmitted before the deadline. The number of packet arrivals in each time-slot and the maximum delay before the deadline are independent and identically distributed across time. We require a minimum fraction of packets to be delivered. At each link, we assume the link keeps track of the difference between the minimum number of packets that need to be delivered so far and the number of packets that are actually delivered, which we call the deficit. The largest-deficit-first (LDF) policy schedules links in descending order according to their deficit values, which is a variation of the longest-queue-first (LQF) policy for non-real-time traffic. We prove that the efficiency ratio of LDF, which is the fraction of the throughput region that LDF can achieve for given traffic distributions, can be lower-bounded by a quantity that we call the real-time local-pooling factor (R-LPF). We further prove that a lower bound on the R-LPF can be related to the weighted sum of the service rates, with a special case of 1/(β+1) by considering the uniform weight, where β is the interference degree of the conflict graph. We also propose a heuristic consensus algorithm that can be used to obtain a good weight vector for such lower bounds for given network topology.
Decreased differential activity in the amygdala in response to fearful expressions in Type D personality Diminution de l'activité au sein de l'amygdale en réponse à des expressions de peur dans les personnalités de Type D

a Cognitive and Affective Neurosciences Laboratory, Department of Psychology, Tilburg University, The Netherlands b Martinos Center for Biomedical Imaging, Massachusetts General Hospital, Harvard Medical School, room 409, building 36, First Street, Charlestown, MA, United States c FC Donders Centre for Cognitive Neuroimaging, Nijmegen, The Netherlands d Laboratoire de neurosciences cognitives, Inserm U742, département d’études cognitives, École normale supérieure, Paris, France e CoRPS Center of Research on Psychology in Somatic diseases, Tilburg University, Tilburg, The Netherlands
YERLİ TURİSTLERİN E-SATIN ALMA EĞİLİMLERİNİN TEKNOLOJİ KABUL MODELİNDE ANALİZİ (TKM)

Bu arastirmada, Teknoloji Kabul Modeli (TKM) kapsaminda, yerli turistlerin turistik mal veya hizmetlere yonelik e-satin alma egilimlerini belirlemek amaclanmistir. Arastirmanin orneklem grubu, Mersin Universitesi akademik ve idari personeli olusturmaktadir. Uygulama icin veri toplama araci olarak Nunkoo ve Ramkissoon (2013)’un Davis (1989)’in calismasindan turizme uyarladiklari TKM olceginden yararlanilmis olup, toplam 358 akademik ve idari universite personelinden veri elde edilmistir. Elde edilen verilerin analizinde TKM modelinden faydalanilarak bu modelin boyutlari arasindaki iliskiler Yapisal Esitlik Modeli (YEM) ile analiz edilmistir. Arastirma sonucunda, algilanan kullanim kolayligi ve guven yerli turistlerin e-satin alma tutumlarini anlamli ve pozitif bir sekilde etkilemektedir. Algilanan riskin ise yerli turistlerin e-satin alma tutumlari uzerinde anlamli ve negatif bir etkiye sahip oldugu belirlenmistir.
Evaluating Success in Autonomous Multi-Robot Teams : Experiences from ALLIANCE Architecture Implementations

Quantitatively evaluating the e ectiveness of software architectures for multi-robot control is a challenging task. Exacerbating the problem is the fact that architectures are typically constructed to address di erent design goals and application domains. In the absence of benchmarks that capture the variety of issues that arise in multi-robot coordination and cooperation, the system developer can only evaluate an architecture for its own qualities. In this short article, we summarize the metrics of evaluation that we utilized in applying our ALLIANCE architecture [2] to eight di erent application domains for multi-robot team control. We explore the implications of the metrics we have chosen and o er suggestions on future productive lines of research into metrics for multi-robot control architectures.
Chironomids as indicators of the Holocene climatic and environmental history of two lakes in Northeast Greenland

Schmidt, S. , Wagner, B. , Heiri, O. , Klug, M. , Bennike, O. & Melles, M. 2010: Chironomids as indicators of the Holocene climatic and environmental history of two lakes in Northeast Greenland. Boreas, 10.1111/j.1502‐3885.2010. 00173.x. ISSN 0300‐9483.
JaViz : A Client / Server Java Pro ling

The Java programming language with its portability, object-oriented model, support for multithread-ing, distributed programming, and garbage collection features is becoming the language of choice for the development of large-scale distributed applications. Without a suitable performance analysis tool for Java programs, however, it is often diicult to analyze the programs for performance-tuning problems. The prooler included in Sun's Java Virtual Machine (JVM) does not provide suuciently detailed trace information to address performance issues in large applications. Also, it does not support the tracing of client-server applications which are very important for analysis of distributed systems. The JaViz Java performance analysis tool generates execution traces with suucient detail to determine program hot-spots, including remote method calls, in a distributed Java application program. JaViz provides a graphical display of the program execution tree in the form of a call-graph for ease of visualization. A number of features allow users to analyze the execution tree for performance-tuning problems more easily than other Java performance monitoring tools. This paper describes detailed implementation of the JaViz tool set. The usability and functionality of the JaViz tool set is demonstrated by applying it to an example distributed Java application program.
Optimising Resolution-Based Rewriting Algorithms for DL Ontologies

Resolution-based rewriting algorithms have been widely used for computing disjunctive datalog rewritings for DL TBoxes, and recently, also for computing datalog rewriting for queries over TBoxes expressed in DL-Lite and ELHI. Although such algorithms are general enough to support a wide variety of (even very complex) DLs, this generality comes with performance prices. In the current paper we present a resolution-based (query) rewriting algorithm for ELHI that is based on a hyper-resolution like inference rule and which avoids performing many redundant inferences. We have implemented the algorithm and have conducted an experimental evaluation using large and complex ontologies.
Smectite to Illite Conversion in Bentonites and Shales of the East Slovak Basin

Abstract The conversion of smectite to illite has been studied in buried bentonites and shales of the East Slovak Neogene Basin, using X-ray diffraction analysis and transmission electron microscopy. A good correlation was observed in both rock types between the content of expandable layers in interstratified illite-smectite (I-S) minerals and burial depth (temperature), with shales from a given depth being markedly more illitic than bentonties. This difference disappeared at a depth of ~3 km, which represents a temperature of ~150°C The diameter of fundamental illite particles increased with decreasing expandability. Potassium fixation together with neoformation appear to be the mechanisms of conversion of smectite to illite.