Miracle-dz/UniFAR-FTUs huggingface dataset:
GPlates: Building a Virtual Earth Through Deep Time

GPlates is an open‐source, cross‐platform plate tectonic geographic information system, enabling the interactive manipulation of plate‐tectonic reconstructions and the visualization of geodata through geological time. GPlates allows the building of topological plate models representing the mosaic of evolving plate boundary networks through time, useful for computing plate velocity fields as surface boundary conditions for mantle convection models and for investigating physical and chemical exchanges of material between the surface and the deep Earth along tectonic plate boundaries. The ability of GPlates to visualize subsurface 3‐D scalar fields together with traditional geological surface data enables researchers to analyze their relationships through geological time in a common plate tectonic reference frame. To achieve this, a hierarchical cube map framework is used for rendering reconstructed surface raster data to support the rendering of subsurface 3‐D scalar fields using graphics‐hardware‐accelerated ray‐tracing techniques. GPlates enables the construction of plate deformation zones—regions combining extension, compression, and shearing that accommodate the relative motion between rigid blocks. Users can explore how strain rates, stretching/shortening factors, and crustal thickness evolve through space and time and interactively update the kinematics associated with deformation. Where data sets described by geometries (points, lines, or polygons) fall within deformation regions, the deformation can be applied to these geometries. Together, these tools allow users to build virtual Earth models that quantitatively describe continental assembly, fragmentation and dispersal and are interoperable with many other mapping and modeling tools, enabling applications in tectonics, geodynamics, basin evolution, orogenesis, deep Earth resource exploration, paleobiology, paleoceanography, and paleoclimate.
Analyses of deep mammalian sequence alignments and constraint predictions for 1 % of the human genome

Elliott H. Margulies, Gregory M. Cooper, George Asimenos, Daryl J. Thomas, Colin N. Dewey, Adam Siepel, Ewan Birney, Damian Keefe, Ariel S. Schwartz, Minmei Hou, James Taylor, Sergey Nikolaev, Juan I. Montoya-Burgos, Ari Löytynoja, Simon Whelan, Fabio Pardi, Tim Massingham, James B. Brown, Peter Bickel, Ian Holmes, James C. Mullikin, Abel Ureta-Vidal, Benedict Paten, Eric A. Stone, Kate R. Rosenbloom, W. James Kent, NISC Comparative Sequencing Program, Baylor College of Medicine Human Genome Sequencing Center, Washington University Genome Sequencing Center, Broad Institute, UCSC Genome Browser Team, British Columbia Cancer Agency Genome Sciences Center, Stylianos E. Antonarakis, Serafim Batzoglou, Nick Goldman, Ross Hardison, David Haussler, Webb Miller, Lior Pachter, Eric D. Green, and Arend Sidow
Advanced Virtual Medicine: Techniques and Applications for Virtual Endoscopy

Tutorial Summary Virtual endoscopy is among the most active topics in virtual medicine and medical imaging. It is mostly motivated by recent studies in medicine that suggest that early screening examinations may significantly reduce the risk of serious illnesses (ie., cancer). Some of these examinations require the endoscopic inspection of organs like the colon. While the patients compliance of these uncomfortable procedures is very low, virtual endoscopy methods promise a significantly less unpleasant examination. Other indications for virtual endoscopy are the planning, intra-operative navigation, and training for increasingly difficult minimally-invasive procedures. In this tutorial, the attendees learn about medical imaging and computer-science techniques leveraged for virtual endoscopy, its advantages to traditional methods, but lean also about its specific and inherent limitations. Prerequisites The course is intended for attendees with a basic understanding of 3D graphics, visualization, and medical imaging technology. The goal is to provide an overview of existing concepts, systems, used technology and an overview of the advantages and limitations of virtual endoscopy. Although this tutorial will present recent research results, it is not in particular targeted at experts in the field. Potential attendees are computer graphics, or medical professionals interested in advanced medical imaging techniques and applications. His recent works covers in particular interactive virtual medicine, occlusion culling, and the visualization of large datasets. In 1998, he was co-chair of the " 9th Eurographics Workshop on Visualization in Scientific Computing " , and he is editor of the respective Springer book. Dirk studied computer science and medicine at the University of Erlangen-Nürnberg and the SUNY at Stony Brook. He received a Diploma (M.S.) in computer science from the University of Erlangen-Nürnberg, and a Ph.D. in computer science from the University of Tübingen (both in Germany). His main research interests are in virtual medicine, visualization of large datasets, occlusion culling, parallel computing, scientific visualization, and virtual reality.
Purposeful heading during a season does not influence cognitive function or balance in female soccer players

Journal of Clinical and Experimental Neuropsychology Publication details, including instructions for authors and subscription information: http://www.informaworld. com/smpp/title~content=t713657736 Purposeful heading during a season does not influence cognitive function or balance in female soccer players Thomas W. Kaminski a; April M. Wikstrom b; Gregory M. Gutierrez a; Joseph J. Glutting c a Athletic Training Research Laboratory, Department of Health, Nutrition & Exercise Sciences, University of Delaware, Newark, DE, USA b Associated Orthopedic Specialists, Ocala, FL, USA c School of Education, University of Delaware, Newark, DE, USA
Applying the Theory of Planned Behavior to Understand Workers’ Production of Safe Food

Recent outbreaks of food related illness have brought greater attention to protecting food from contamination. Psychological approaches to behaviors during food processing can contribute to workers’ efforts to keep food safe and avoiding contamination. This study examines the effectiveness of the theory of planned behavior (TPB) in predicting self-reported food safety behaviors of turkey-processing workers. Consistent with the TPB, this study suggests that attitude toward the behavior, subjective norm, perceived behavioral control
Context Estimation for Sensorimotor Control

[PDF] [Full Text] [Abstract] , October 1, 2001; 13 (10): 2201-2220. Neural Comput. M. Haruno, D. M. Wolpert and M. Kawato MOSAIC Model for Sensorimotor Learning and Control [PDF] [Full Text] [Abstract] , October 1, 2003; 13 (10): 1009-1022. Cereb Cortex A. Battaglia-Mayer, R. Caminiti, F. Lacquaniti and M. Zago Multiple Levels of Representation of Reaching in the Parieto-frontal Network [PDF] [Full Text] [Abstract] , October 1, 2003; 90 (4): 2763-2769. J Neurophysiol M. Shelhamer and W. M. Joiner Sequences Have Long-Term Correlations Saccades Exhibit Abrupt Transition Between Reactive and Predictive, Predictive Saccade [PDF] [Full Text] [Abstract] , May 1, 2006; 95 (5): 2913-2922. J Neurophysiol T. Bhatt, E. Wang and Y. -C. Pai Backward Balance Loss During Gait Retention of Adaptive Control Over Varying Intervals: Prevention of SlipInduced [PDF] [Full Text] [Abstract] , November 1, 2007; 87 (11): 1478-1491. Physical Therapy Y. -C. Pai and T. S Bhatt Among Older Adults Repeated-Slip Training: An Emerging Paradigm for Prevention of Slip-Related Falls
Tell Me Who I Am: An Interactive Recommendation System Extended Abstract

We consider a model of recommendation systems, where each member from a given set of players has a binary preference to each element in a given set of objects : intuitively, each player either likes or dislikes each object. However, the players do not know their preferences. To (cid:12)nd his preference of an object, a player may probe it, but each probe incurs unit cost. The goal of the players is to learn their complete preference vector (approximately) while incurring minimal cost. This is possible if many players have similar preference vectors: such a set of players with similar \taste" may split the cost of probing all objects among them, and share the results of their probes by posting them on a public billboard . The problem is that players do not know a priori whose taste is close to theirs. In this paper we present a distributed randomized peer-to-peer algorithm in which each player outputs a vector which is close to the best possible ap-(cid:3) Schools of Mathematics and Computer Science, Tel Aviv University, Tel Aviv 69978, Israel and IAS, Princeton, NJ 08540, USA. Research supported in part by the Israel Science Foundation and by the Von Neumann Fund. y Dept. of Computer Science, Johns Hopkins University. Supported by NSF grants ANIR-0240551, CCF-0515080 and CCR-0311795. z School of Computer Science, Tel
Experimental Validation of L 1 Adaptive Control: Rohrs’ Counterexample in Flight

The paper presents new results on the veriﬁcation and in–ﬂight validation of an L 1 adaptive ﬂight control system, and proposes a general methodology for veriﬁcation and validation of adaptive ﬂight control algorithms. The proposed framework is based on Rohrs’ counterexample, a benchmark problem presented in the early 80s to show the limitations of adaptive controllers developed at that time. In this paper, the framework is used to evaluate the performance and robustness characteristics of an L 1 adaptive control augmentation loop implemented onboard a small unmanned aerial vehicle. Hardware–in–the–loop simulations and ﬂight test results conﬁrm the ability of the L 1 adaptive controller to maintain stability and predictable performance of the closed loop adaptive system in the presence of general (artiﬁcially injected) unmodeled dynamics. The results demonstrate the advantages of L 1 adaptive control as a veriﬁable robust adaptive control architecture with the potential of reducing ﬂight control design costs and facilitating the transition of adaptive control into advanced ﬂight control systems.
Rapid Prototyping of Activity Recognition Applications

The Context Recognition Network (CRN) Toolbox permits fast implementation of activity and context recognition systems. It utilizes parameterizable and reusable software components and provides a broad set of online algorithms for multi-modal sensor input, signal processing, and pattern recognition. It features mechanisms for distributed processing and support for mobile and wearable devices. We present different case studies indicating its merit in industrial projects, as educational tool for students, and processing engine in activity recognition demonstrators. Moreover, we summarize user evaluation results.
Trends of night-time hourly cloud-cover values over Manila Observatory: ground-based remote-sensing observations using a digital camera for 13 months

ABSTRACT Night-time cloud detection provides data sets of cloud-cover percentage. Although night-time cloud-cover data sets from satellite-based instruments are common, these data sets do not have relatively high temporal resolution. To quantify local temporal cloud-cover variability and to attain long-term cloud-cover measurements, ground-based instruments would be the appropriate apparatus. In this study, a digital camera is used to continuously gather images of the night sky at 5-min intervals over Manila Observatory (14.64° N, 121.07° E). For the first time in Manila, ground-based remote-sensing data gathered from October 2015 to October 2016 are analysed for hourly cloud cover. The results indicate that wet season has relatively higher cloud-cover values (median >40%) as compared to the dry season (median <40%). Moreover, cloud-cover values are observed to decrease during the night. For the wet season, August having the highest cloud-cover values has the highest value of change of hourly cloud-cover percentage (−0.82% h−1). For the dry season, February having the lowest cloud-cover values has the highest value of change of hourly cloud-cover percentage (−1.04% h−1).
Control of Chaotic Dynamical Systems using RBF Networks

This paper presents a novel control method based on radial basis function networks (RBFNs) for chaotic dynamical systems. The proposed method first identifies the nonlinear part of the chaotic system off-line and then constructs a model-following controller using only the estimated system parameters. Simulation results show the effectiveness of the proposed control scheme. Keywords—Chaos, nonlinear plant, radial basis function network.
Analysis of polarization characteristics based on asymmetric metal-clad optical waveguides with buffer layer

We propose a plasmonics-based optical polarization rotator. The proposed device is designed using skewing phenomena of propagation waves at the slotted waveguide with metal film by 3D-FDTD method. A metal film on the waveguide acts to rapidly rotate the optical polarization, because it has characteristics of slow group velocity according to the metal-clad optical waveguide. We have overcome the high propagation loss of metal-clad structures by using a buffer layer. The length of designed polarization rotator is just 5 μm for 90 % polarization rotation ratio
Working inside the Black Box: Assessment for Learning in the Classroom

'Inside the Black Box' (Phi Delta Kappan, October 1998) summarized research evidence that showed that improving the quality of teachers' day-to-day classroom assessment could have substantial impact on students' learning. Here we report on one study that has attempted to put this into practice with 24 secondary school mathematics and science teachers in England. Through the use of improved questioning techniques, feedback focusing on how to improve rather than grading, and involving students in peer-assessment and self-assessment, teachers found that the motivation and attitudes of their students improved, and the students achieved higher scores on externally set tests and examinations than other students at the same schools.
Flying Path Optimization of Rechargeable UAV for Data Collection in Wireless Sensor Networks

In this letter, we study a novel framework to realize efficient data collection from wireless sensor networks, where an unmanned aerial vehicle (UAV) is dispatched to collect the aggregated data from cluster heads and an unmanned ground vehicle carrying backup batteries moves along with the UAV to compensate for the shortage of UAV energy. Our optimization task is to minimize the mission time of a complete round of data collection, which is formulated as a coordinated traveling salesman problem with battery constraints and is solved by a heuristic path planning algorithm. Numerical results show that our proposal outperforms compared methods under appropriate configuration.
Inexact Variable Metric Stochastic Block-Coordinate Descent for Regularized Optimization

Block-coordinate descent (BCD) is a popular method for large-scale regularized optimization problems with block-separable structure. However, existing analyses require either a fixed second-order approximation of the smooth part, or restrictions on the subproblem solutions, such as exactness or termination conditions that are difficult to verify except in simple cases. These assumptions essentially confine the quadratic term in the approximation of the smooth part to being diagonal, so the benefits of second-order approximation are mostly lost. Moreover, in contrast to the smooth case, non-uniform sampling has not yet been shown to improve the convergence rate for regularized problems. In this work, we propose an inexact randomized BCD method based on a regularized quadratic subproblem, in which the quadratic term can vary from iteration to iteration (and is thus known as a “variable metric”). We provide a detailed convergence analysis. When specialized to the non-regularized case, Nesterov’s proposal to improve convergence rate by sampling proportional to the blockwise Lipschitz constants is covered in our framework. Empirical results also show that significant benefits are attainable when a variable quadratic term is used in the subproblem, rather than a fixed term.
Bounded Polymorphism in Session Types

We review work on session types and the π-calculus, and give an example identifying a use for bounded polymorphic types in this setting. We then define a variant of the π-calculus with the appropriate syntax, and propose a static bounded polymorphic type system, for which we prove type soundness. We use our rules to give a typing derivation and show the sequence of reductions in our example. Finally, we discuss related work and possible future work in this area. This research was funded by the EPSRC project “Novel Type Systems for Concurrent Programming Languages” (GR/L75177,GR/N39494).
Circuit-Level Benchmarking of Access Devices for Resistive Nonvolatile Memory Arrays

Large-scale 3D crossbar arrays can enable both high-density Storage Class Memory (SCM) and novel non-Von Neumann computation. Such arrays require each nonvolatile memory (NVM) element to have its own non-linear Access Device (AD), to pass high currents through one or more selected cells yet maintain ultra-low leakage through all other cells. Typically, power consumption during write, not read margin, is the most stringent constraint for large 1AD+1R crossbar arrays. We extend our circuit-level SPICE simulations-previously performed just for large arrays of an AD based on Cu-containing Mixed-Ionic-Electronic-Conduction (MIEC)-materials together with a generic NVM element (+1R)-to three additional diode-like ADs as well as three threshold-switching ADs. We show that the suitability of an AD for 1AD1R memories is strongly dependent upon both nonvolatile memory (NVM) and circuit parameters, as well as the AD's own intrinsic properties. We find that building large arrays ( ≥ 1 Mb) with ≥ 10 μA NVM current is only possible for MIEC ADs and moderate NVM switching voltage ( ≤ 1.2 V). None of the ADs studied here support larger NVM switching voltage ( ≥ 1.2 V) unless switching current is ≤ 10 μA. The effects of line resistance, low-current (10-100 pA) bias condition, stacking two ADs vertically, and reductions in TVS threshold current are all studied. The particular AD parameters that would need to be improved to affect each AD's prospects are discussed.
Five Decades of Marine Archaeology in Israel

abstract:The history of maritime archaeology in Israel began in the 1950s. This article summarizes the emergence of the discipline and its evolution, the main institutions involved, the physical conditions and their influence on the nature of ancient maritime activity, the nature of the sites, site formation, post-deposition processes, and the associated methodologies of underwater archaeological research. The typology of sites and significant finds that have been studied are briefly reviewed. These range from submerged Neolithic settlements inundated by the postglacial rising sea level, harbors, anchorages, shipwrecks, and cargoes up to World War II.
Literature of Statistics The Sum-of-Squares Algorithmic Paradigm in Statistics

for vectors ai ∈ Rd1 , bi ∈ Rd2 , ci ∈ Rd3 , which are called the components of the tensor. The order-3 tensor decomposition problem is to recover the components {ai , bi , ci}i=1 given T. The minimum n for which T can be decomposed in such a way is called the rank of T. Throughout this lecture we will treat the symmetric case wherein ai = bi = ci for every i ∈ [n], though much of what we discuss can be generalized to handle asymmetric (and higher-order) tensors as well. We remark that many tensor-related problems such as computing rank or decomposition are NP-hard in the worst case, so typically we have to make some structural or distributional assumptions about T to have a hope of solving the problem in polynomial time.
Redistributed Manufacturing and the Impact of Big Data: A Consumer Goods Perspective

Digitalization and the growth of big data promise greater customization as well as change in how manufacturing is distributed. Yet, challenges arise in applying these new approaches in consumer goods industries that often emphasize mass production and extended supply chains. We build a conceptual framework to explore whether big data combined with new manufacturing technologies can facilitate redistributed manufacturing (RDM). Through analysis of 24 consumer goods industry cases using primary and secondary data, we investigated evolving manufacturing configurations, their underlying drivers, the role of big data applications, and their impact on the redistribution of manufacturing. We find some applications of RDM concepts, although in other cases existing manufacturing configurations are leveraged for high volume consumer goods products through big data analytics and market segmentation. The analysis indicates that the framework put forward in the paper has broader value in organizing thinking about emerging interrelationships between big data and manufacturing.
Communications of the IIMA Communications of the IIMA

: This study combines text-mining techniques and exploratory factor analysis to identify significant research themes in the information systems (IS) field during the last decade. We analyzed 483 papers that have been published in the Management Information Systems Quarterly (MISQ) journal since 2010. We found that the most published themes in the MISQ are: (1) the impact of information systems and digital innovation on organizational performance, (2) the influence of computer-mediated communication and social media within individuals and groups, (3) information systems development and project management, (4) design science, and (5) decision making and information Systems. We also perform econometric analysis to study the effect of these research themes on the number of downloads, citations and reads in Google Scholar (SC), ResearchGate (RG), and the Association for Information Systems (AIS) library. This study shows that “the impact of information systems and digital innovation on organizational performance" and “the influence of computer-mediated communication and social media within individuals and groups” are positively associated with the number of reads, downloads, and citations. However, “information systems development and project management” is negatively associated with the number of reads, downloads, and citations. The methodology used here can be implemented in other areas of research by journal editors and research institutions to identify the most sought-after areas of future research. Also, understanding the most relevant themes of IS research can help universities revise their IS doctorate curriculum to better meet the needs of today's academic workforce.