cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Periodic ellipsoidal billiard trajectories and extremal polynomials
Creators: name: Dragovic, Vladimir
name: Radnovic, Milena
Publisher: name: arXiv
Year: 2018
Subjects: subject: Dynamical Systems (math.DS)
subject: Algebraic Geometry (math.AG)
subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics
subject: 14H70, 41A10, 70H06, 37J35, 26C05

description: A comprehensive study of periodic trajectories of billiards within ellipsoids in $d$-dimensional Euclidean space is presented. The novelty of the approach is based on a relationship established between periodic billiard trajectories and extremal polynomials on the systems of $d$ intervals on the real line. By leveraging deep, but yet not widely known results of the Krein-Levin-Nudelman theory of generalized Chebyshev polynomials, fundamental properties of billiard dynamics are proven for any $d$, viz., that the sequences of winding numbers are monotonic. By employing the potential theory we prove the injectivity of the frequency map. As a byproduct, for $d=2$ a new proof of the monotonicity of the rotation number is obtained. The case study of trajectories of small periods $T$, $d\le T\le 2d$ is given. In particular, it is proven that all $d$-periodic trajectories are contained in a coordinate-hyperplane and that for a given ellipsoid, there is a unique set of caustics which generates $d+1$-periodic trajectories. A complete catalog of billiard trajectories with small periods is provided for $d=3$.
description: 29 pages, 11 figures
Challenges of Mars Exploration
Creators: name: Girdhari Jangid
name: Mini Sengar
Publisher: name: Zenodo
Year: 2019

description: The quest for Mars exploration stands as a testament to humanity's enduring interest and ambition to traverse new frontiers. Mars, the fourth planet from the Sun, gives a fascinating yet formidable target for exploration and capacity colonization. However, this endeavor is riddled with a multitude of elaborate demanding situations spanning technological, environmental, physiological, operational, moral, and mental domain names. This abstract presents a succinct review of the multifaceted demanding situations inherent in Mars exploration, encapsulating the complexities that call for meticulous interest and modern solutions for a hit missions to the Red Planet.Technological demanding situations form a cornerstone of Mars exploration, encompassing interplanetary travel, access, descent, and landing, existence support structures, and communique infrastructure. Overcoming those hurdles requires advancements in propulsion, precision landing technology, sustainable habitat production, and robust verbal exchange networks to make sure safe and dependable missions.
Efficient Feasibility Analysis for Real-Time Systems with EDF Scheduling
Creators: name: Albers, Karsten
name: Slomka, Frank
Publisher: name: arXiv
Year: 2007
Subjects: subject: Other Computer Science (cs.OH)
subject: FOS: Computer and information sciences

description: This paper presents new fast exact feasibility tests for uniprocessor real-time systems using preemptive EDF scheduling. Task sets which are accepted by previously described sufficient tests will be evaluated in nearly the same time as with the old tests by the new algorithms. Many task sets are not accepted by the earlier tests despite them beeing feasible. These task sets will be evaluated by the new algorithms a lot faster than with known exact feasibility tests. Therefore it is possible to use them for many applications for which only sufficient test are suitable. Additionally this paper shows that the best previous known sufficient test, the best known feasibility bound and the best known approximation algorithm can be derived from these new tests. In result this leads to an integrated schedulability theory for EDF.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
Controlling Home and Office Appliances with Smartphones
Creators: name: Nichols, Jeffrey
name: Myers, Brad
Publisher: name: Carnegie Mellon University
Year: 2006
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Today most of the home and office appliances that we interact with contain microprocessors. All of these appliances have some user interface, but many users become frustrated with the difficulty of using the complex functions of their appliances. We are developing a framework that allows users to interact with appliances through a separate user interface device that they are already carrying. Smart phones are good candidates for providing interfaces because they are common, have communication capabilities to allow connection to appliances, and are already being used for a wide range of different applications. Our framework includes an abstract specification language for describing appliances, a two-way communication protocol, and automatic interface generation software that allows user interfaces to be customized to users and the devices they are using. This article overviews our personal universal controller system and describes in detail our design and implementation of automatic interface generation for Microsoft’s Smartphone platform.
A Secure Lightweight Approach of Node Membership Verification in Dense HDSN
Creators: name: Pathan, Al-Sakib Khan
name: Heo, Gihyuk
name: Hong, Choong Seon
Publisher: name: arXiv
Year: 2007
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: In this paper, we consider a particular type of deployment scenario of a distributed sensor network (DSN), where sensors of different types and categories are densely deployed in the same target area. In this network, the sensors are associated with different groups, based on their functional types and after deployment they collaborate with one another in the same group for doing any assigned task for that particular group. We term this sort of DSN as a heterogeneous distributed sensor network (HDSN). Considering this scenario, we propose a secure membership verification mechanism using one-way accumulator (OWA) which ensures that, before collaborating for a particular task, any pair of nodes in the same deployment group can verify each other-s legitimacy of membership. Our scheme also supports addition and deletion of members (nodes) in a particular group in the HDSN. Our analysis shows that, the proposed scheme could work well in conjunction with other security mechanisms for sensor networks and is very effective to resist any adversary-s attempt to be included in a legitimate group in the network.
description: 6 pages
Exploring NoC Mapping Strategies: An Energy and Timing Aware Technique
Creators: name: Marcon, Cesar
name: Calazans, Ney
name: Moraes, Fernando
name: Susin, Altamiro
name: Reis, Igor
name: Hessel, Fabiano
Publisher: name: arXiv
Year: 2007
Subjects: subject: Hardware Architecture (cs.AR)
subject: FOS: Computer and information sciences

description: Complex applications implemented as Systems on Chip (SoCs) demand extensive use of system level modeling and validation. Their implementation gathers a large number of complex IP cores and advanced interconnection schemes, such as hierarchical bus architectures or networks on chip (NoCs). Modeling applications involves capturing its computation and communication characteristics. Previously proposed communication weighted models (CWM) consider only the application communication aspects. This work proposes a communication dependence and computation model (CDCM) that can simultaneously consider both aspects of an application. It presents a solution to the problem of mapping applications on regular NoCs while considering execution time and energy consumption. The use of CDCM is shown to provide estimated average reductions of 40% in execution time, and 20% in energy consumption, for current technologies.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
Semiclassical initial value theory of rotationally inelastic scattering: Some remarks on the phase index in the interaction picture
Creators: name: Bonnet, Laurent
Publisher: name: arXiv
Year: 2018
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: This paper deals with the treatment of quantum interferences in the semiclassical initial value theory of rotationally inelastic scattering in the interaction picture [C. W. McCurdy and W. H. Miller, J. Chem. Phys. 67, 463 (1977)]. It is shown that substituting the original phase index by a new one extends the range of applicability of the theory. The resulting predictions are in close agreement with exact quantum scattering results for a model of atom-rigid diatom collision involving strong interferences. The developments are performed within the framework of the planar rotor model, but they are readily applicable to the three-dimensional case.
Control Knowledge to Improve Plan Quality
Creators: name: Pérez, Alicia
name: Carbonell, Jaime G.
Publisher: name: Carnegie Mellon University
Year: 1994
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Generating production-quality plans is an essential element in transforming planners from research tools into real-wor ld applications. However most of the work to date on learning planning control knowledge has been aimed at improving the efficiency of planning; this work has been termed “speed-up learning”. This paper focuses on learning control knowledge to guide a planner towards better solutions, i.e. to improve the quality of the plans produced by the planner, as its problem solving experience increases. We motivate the use of quality-enhancing search control knowledge and its automated acquisition from problem solving experience . We introduce an implemented mechanism for learning such control knowledge and some of our preliminary results in a process planning domain.
An Efficient PKC-Based Security Architecture for Wireless Sensor Networks
Creators: name: Haque, Md. Mokammel
name: Pathan, Al-Sakib Khan
name: Choi, Byung Goo
name: Hong, Choong Seon
Publisher: name: arXiv
Year: 2007
Subjects: subject: Cryptography and Security (cs.CR)
subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: In spite of previous widely held belief of the incompatibility of public key cryptography (PKC) schemes for wireless sensor networks (WSNs), some recent works have shown that, PKC based schemes could be implemented for such networks in some ways. The major challenge of employing a PKC scheme in wireless sensor network is posed by the limitations of resources of the tiny sensors. Considering this feature of the sensors, in this paper, we propose an efficient PKC based security architecture with relatively less resource requirements than those of the other previously proposed PKC schemes for WSN. Our security architecture comprises basically of two parts; a key handshaking scheme based on simple linear operations and the derivation of decryption key by a receiver node. Our architecture allows both base-station-to-node or node-to-base-station secure communications, and node-to-node secure communications. Analysis and simulation results show that, our proposed architecture ensures a good level of security for communications in the network and could effectively be implemented using the limited computation, memory and energy budgets of the current generation sensor nodes.
description: 7 pages
Contract-Based Integration of Cyber-Physical Analyses
Creators: name: Ruchkin, Ivan
name: Niz, Dionisio De
name: Chaki, Sagar
name: Garlan, David
Publisher: name: Carnegie Mellon University
Year: 2014
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Developing cyber-physical systems involves creating systems with properties from multiple domains, e.g., timing, logical correctness, thermal resilience, aerodynamics, and mechanical stress. In today’s industrial practice, multiple analyses are used to obtain and verify such properties. Unfortunately, given that these analyses originate from different scientific domains, they abstract away interactions among themselves, risking the invalidation of their results. Specifically, one challenge is to ensure that an analysis is never applied to a model that violates its assumptions. Since such violation can originate from the updating of the model by another analysis, analyses must be executed in the correct order. Another challenge is to do this soundly and scalably over models of realistic complexity and diverse set of analyses. To address these challenges, we develop an analysis integration approach that uses contracts to specify dependencies between analyses, determine their correct orders of application, and specify and verify applicability conditions across multiple domains. We present an implementation of our approach, and demonstrate its effectiveness, extensibility, and scalability.
UNVEILING SUCCESS: INVESTIGATING THE IMPACT OF CULTURAL INTELLIGENCE ON JOB PERFORMANCE OF EMPLOYEES IN HOSPITALITY INDUSTRY
Creators: name: Aaliya Ashraf
name: Nancy Sahni
Publisher: name: Zenodo
Year: 2024
Subjects: Cultural Intelligence, Job Performance, Hospitality Industry, Upscale Hotels, Dimensional Impact.

description: Abstract

Front desk employees play a critical role in providing discerning customers with individualized and superior service in upmarket hotels that cater to a global audience. Using cultural intelligence is necessary to ensure exceptional cross-cultural experiences, but it also puts more pressure on frontline staff. The purpose of this study is to investigate how cultural intelligence (CQ) affects hotel employees' performance on the job. Regression analysis utilizing Smart PLS was used to look at the relationship between cultural intelligence and job performance among the varied clients of the hospitality industry. A number of upscale hotel employees in India provided primary data voluntarily for this study. The findings show that cultural intelligence significantly affects job performance. This implies that there is a relationship between employees' job performance and their cultural quotient. These results also highlight the significance of cultural competence in raising general job performance and effectiveness in the hospitality industry.
Q-DPM: An Efficient Model-Free Dynamic Power Management Technique
Creators: name: Li, Min
name: Wu, Xiaobo
name: Yao, Richard
name: Yan, Xiaolang
Publisher: name: arXiv
Year: 2007
Subjects: subject: Other Computer Science (cs.OH)
subject: FOS: Computer and information sciences

description: When applying Dynamic Power Management (DPM) technique to pervasively deployed embedded systems, the technique needs to be very efficient so that it is feasible to implement the technique on low end processor and tight-budget memory. Furthermore, it should have the capability to track time varying behavior rapidly because the time varying is an inherent characteristic of real world system. Existing methods, which are usually model-based, may not satisfy the aforementioned requirements. In this paper, we propose a model-free DPM technique based on Q-Learning. Q-DPM is much more efficient because it removes the overhead of parameter estimator and mode-switch controller. Furthermore, its policy optimization is performed via consecutive online trialing, which also leads to very rapid response to time varying behavior.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
title: A Systematic Study of the Stellar Populations and ISM in Galaxies out to the Virgo Cluster: near field cosmology within a representative slice of the local universe
Creators: name: Jansen, Rolf A.
name: Scowen, Paul
name: Beasley, Matthew
name: Gallagher, John
name: O'Connell, Robert
name: Calzetti, Daniela
name: Oey, Sally
name: Windhorst, Rogier
name: Woodruff, Robert
Publisher: name: University of Massachusetts Amherst
Year: 2009
Subjects: subject: nearby
subject: galaxies: stellar populations
subject: galaxies: ISM
subject: galaxies: satellites —galaxies: origins/assembly —ISM: star formation—ISM: feedback—near-field cosmology
subject: stellar archeology
subject: star formation
subject: Astrophysics and Astronomy

description: This paper was harvested from ArXiv.org and ArXiv identifier is arXiv:0904.2021v1
description: We present a compelling case for a systematic and comprehensive study of the resolved and unresolved stellar populations, ISM, and immediate environments of galaxies throughout the local volume, defined here as D < 20 Mpc. This volume is our cosmic backyard and the smallest volume that encompasses environments as different as the Virgo, Ursa Major, Fornax and (perhaps) Eridanus clusters of galaxies, a large number and variety of galaxy groups, and several cosmic void regions. In each galaxy, through a pan-chromatic (160--1100nm) set of broad-band and diagnostic narrow-band filters, ISM structures and individual luminous stars to >~1 mag below the TRGB should be resolved on scales of <5 pc (at D <~ 20 Mpc, lambda ~ 800nm, for mu_I >~ 24 mag/arcsec^2 and m_{I,TRGB} <~ 27.5 mag). Resolved and unresolved stellar populations would be analyzed through color-magnitude and color-color diagram fitting and population synthesis modeling of multi-band colors and would yield physical properties such as spatially resolved star formation histories. The ISM within and around each galaxy would be analyzed using key narrow-band filters that distinguish photospheric from shock heating and provide information on the metallicity of the gas. Such a study would finally allow unraveling the global and spatially resolved star formation histories of galaxies, their assembly, satellite systems, and the dependences thereof on local and global environment within a truly representative cosmic volume. The proposed study is not feasible with current instrumentation but argues for a wide-field (>~250 arcmin^2), high-resolution (<~0.020"--0.065" [300--1000nm]), ultraviolet--near-infrared imaging facility on a 4m-class space-based observatory.
Continuous-Domain Reinforcement Learning Using a Learned Qualitative State Representation
Creators: name: Mugan, Jonathan
name: Kuipers, Benjamin
Publisher: name: Carnegie Mellon University
Year: 2008
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: We present a method that allows an agent to learn a qualitative state representation that can be applied to reinforcement learning. By exploring the environment the agent is able to learn an abstraction that consists of landmarks that break the space into qualitative regions, and rules that predict changes in qualitative state. For each predictive rule the agent learns a context consisting of qualitative variables that predicts when the rule will be successful. The regions of this context in with the rule is likely to succeed serve as a natural goals for reinforcement learning. The reinforcement learning problems created by the agent are simple because the learned abstraction provides a mapping from the continuous input and motor variables to discrete states that aligns with the dynamics of the environment.
High-efficiency single photon detector combined with an ultra-small APD module and a self-training discriminator for high-speed quantum cryptosystems
Creators: name: Takahashi, Seigo
name: Tajima, Akio
name: Tomita, Akihisa
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: A single-photon avalanche detector (SPAD) for high-speed quantum-key generation has successfully been developed. It has the highest photon detection repetition frequency and the lowest dark count rate in the world, as a board-mountable sub-system. The SPAD consists of an ultra-small dual-avalanche photodiode (APD) module and a novel discriminator. The APD module design is consistent with cooling capability and high-frequency characteristics. The new module has a 3 GHz bandwidth enabling 1 GHz gate-pulse repetition. The bandwidth is extended 15-fold relative to the most wideband peltier cooled APD module. The discriminator has a self-training mechanism to compensate charge pulse. Dark count rare of the SPAD is reduced 1/10th relative to the lowest dark count single photon detector. The SPAD allows 3.2-fold multiplying the quantum key generation rate in theoretical estimation.
description: 2 pages, 5 figures
A simultaneous variational principle for elementary excitations of fluid lipid membranes
Creators: name: Capovilla, Riccardo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: A simultaneous variational principle is introduced that offers a novel avenue to the description of the equilibrium configurations, and at the same time of the elementary excitations, or undulations, of fluid lipid membranes, described by a geometric continuum free energy. The simultaneous free energy depends on the shape functions through the membrane stress tensor, and on an additional deformation spatial vector. Extremization of this free energy produces at once the Euler-Lagrange equations and the Jacobi equations, that describe elementary excitations, for the geometric free energy. As an added benefit, the energy of the elementary excitations, given by the second variation of the geometric free energy, is obtained without second variations. Although applied to the specific case of lipid membranes, this variational principle should be useful in any physical system where bending modes are dominant.
description: To appear in J. Phys. Commun
Continuous Probabilistic Mapping by Autonomous Robots
Creators: name: Tercero, Jesús Salido
name: Paredis, Christiaan J.J.
name: Khosla, Pradeep
Publisher: name: Carnegie Mellon University
Year: 1999
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Institute for Software Research
A New Approach to Component Testing
Creators: name: Brinkmeyer, Horst
Publisher: name: arXiv
Year: 2007
Subjects: subject: Other Computer Science (cs.OH)
subject: FOS: Computer and information sciences

description: Carefully tested electric/electronic components are a requirement for effective hardware-in-the-loop tests and vehicle tests in automotive industry. A new method for definition and execution of component tests is described. The most important advantage of this method is independance from the test stand. It therefore offers the oppportunity to build up knowledge over a long period of time and the ability to share this knowledge with different partners.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
On the Quantum Resolution of Cosmological Singularities using AdS/CFT
Creators: name: Craps, Ben
name: Hertog, Thomas
name: Turok, Neil
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The AdS/CFT correspondence allows us to map a dynamical cosmology to a dual quantum field theory living on the boundary of spacetime. Specifically, we study a five-dimensional model cosmology in type IIB supergravity, where the dual theory is an unstable deformation of $\N=4$ supersymmetric SU(N) gauge theory on $\Rbar\times S^3$. A one-loop computation shows that the coupling governing the instability is asymptotically free, so quantum corrections cannot turn the potential around. The big crunch singularity in the bulk occurs when a boundary scalar field runs to infinity, in finite time. Consistent quantum evolution requires that we impose boundary conditions at infinite scalar field, i.e. a self-adjoint extension of the system. We find that quantum spreading of the homogeneous mode of the boundary scalar leads to a natural UV cutoff in particle production as the wavefunction for the homogeneous mode bounces back from infinity. However a perturbative calculation indicates that despite this, the logarithmic running of the boundary coupling governing the instability generally leads to significant particle production across the bounce. This prevents the wave packet of the homogeneous boundary scalar to return close to its initial form. Translating back to the bulk theory, we conclude that a quantum transition from a big crunch to a big bang is an improbable outcome of cosmological evolution in this class of five-dimensional models.
description: 91 pages, 24 figures; v2: minor reorganization of introduction, clarifying comments throughout; 77 pages, 22 figures;v5: error corrected which significantly changes conclusion
Context-Based Machine Translation
Creators: name: Carbonell, Jaime G.
name: Klein, Steve
name: Miller, David
name: Steinbaum, Michael
name: Grassiany, Tomer
name: Frey, Jochen
Publisher: name: Carnegie Mellon University
Year: 2006
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Context-Based Machine TranslationTM (CBMT) is a new paradigm for corpus-based translation that requires no parallel text. Instead, CBMT relies on a lightweight translation model utilizing a full-form bilingual dictionary and a sophisticated decoder using long-range context via long n-grams and cascaded overlapping. The translation process is enhanced via in-language substitution of tokens and phrases, both for source and target, when top candidates cannot be confirmed or resolved in decoding. Substitution utilizes a synonym and near-synonym generator implemented as a corpus-based unsupervised learning process. Decoding requires a very large target-language-only corpus, and while substitution in target can be performed using that same corpus, substitution in source requires a separate (and smaller) source monolingual corpus. Spanish-to-English CBMT was tested on Spanish newswire text, achieving a BLEU score of 0.6462 in June 2006, the highest BLEU reported for any language pair. Further testing also shows that quality increases above the reported score as the target corpus size increases and as dictionary coverage of source words and phrases becomes more complete.
CENTRINNO_Urban Ecosystem Mapping Worksop Kit
Creators: name: Metabolic Institute
Publisher: name: Zenodo
Year: 2024

description: This resource is an offline version of a workshop created for cities, community organizations and students to map the multi-layered context across eight key areas of their urban ecosystem. It was developed and tested during the CENTRINNO project to identify areas in cities and neighbourhoods which should be a priority for a circular transition agenda.
Measurement of the spatio-temporal distribution of harmonic and transient eddy currents in a liquid metal
Creators: name: Forbriger, Jan
name: Galindo, Vladimir
name: Gerbeth, Gunter
name: Stefani, Frank
Publisher: name: arXiv
Year: 2007
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: Classical Physics (physics.class-ph)
subject: FOS: Physical sciences

description: Harmonic and transient eddy currents in a liquid metal positioned above an excitation coil are determined by measuring the voltage drop in a simple potential probe. The resulting spatio-temporal eddy current field is compared with the corresponding analytical expressions for a conducting half-space. Further, a deformation of the eddy current distribution due to a non-conducting torus immersed into the liquid metal is measured and compared with numerical results. The method can be generalized to arbitrary geometries, and might help to validate numerical models for non-destructive testing and magnetic inductance tomography.
description: 12 pages, 10 figures
Implications of Intermediate Mass Black Hole in globular cluster G1 on Dark Matter detection
Creators: name: Zaharijas, Gabrijela
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Recently there has been a growing evidence in favor of the presence of an Intermediate Mass Black Hole in the globular cluster G1, in Andromeda Galaxy. In this paper, we explore whether the adiabatic growth in the dark matter density due to the presence of a black hole could result in an observable gamma ray signal due to dark matter annihilation in this globular cluster. Starting from an initial NFW matter profile, with density parameters consistent with G1 observations, we find that indeed, if the spike in the density has been formed and has survived till present, the signal could be observed by GLAST and current ACT detectors.
description: 5 pages, 1 figure
Power spectral density of a single Brownian trajectory: What one can and cannot learn from it
Creators: name: Krapf, Diego
name: Marinari, Enzo
name: Metzler, Ralf
name: Oshanin, Gleb
name: Xu, Xinran
name: Squarcini, Alessio
Publisher: name: arXiv
Year: 2018
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Statistics Theory (math.ST)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: The power spectral density (PSD) of any time-dependent stochastic processes $X_t$ is a meaningful feature of its spectral content. In its text-book definition, the PSD is the Fourier transform of the covariance function of $X_t$ over an infinitely large observation time $T$, that is, it is defined as an ensemble-averaged property taken in the limit $T \to \infty$. A legitimate question is what information on the PSD can be reliably obtained from single-trajectory experiments, if one goes beyond the standard definition and analyzes the PSD of a \textit{single} trajectory recorded for a \textit{finite} observation time $T$. In quest for this answer, for a $d$-dimensional Brownian motion we calculate the probability density function of a single-trajectory PSD for arbitrary frequency $f$, finite observation time $T$ and arbitrary number $k$ of projections of the trajectory on different axes. We show analytically that the scaling exponent for the frequency-dependence of the PSD specific to an ensemble of Brownian motion trajectories can be already obtained from a single trajectory, while the numerical amplitude in the relation between the ensemble-averaged and single-trajectory PSDs is a fluctuating property which varies from realization to realization. The distribution of this amplitude is calculated exactly and is discussed in detail. Our results are confirmed by numerical simulations and single particle tracking experiments, with remarkably good agreement. In addition we consider a truncated Wiener representation of Brownian motion, and the case of a discrete-time lattice random walk. We highlight some differences in the behavior of a single-trajectory PSD for Brownian motion and for the two latter situations. The framework developed herein will allow for meaningful physical analysis of experimental stochastic trajectories.
description: 24 pages, 13 figures
The dynamics of data donation : privacy risk, mobility data, and the smart city
Creators: name: Pereira Campos, Jorge Fernando
Publisher: name: University of St Andrews
Year: 2021
Subjects: subject: Smart city
subject: Privacy
subject: Risk
subject: Data donation
subject: Mobility data
subject: T58.5P4
subject: Information technology--Social aspects
subject: Information technology--Moral and ethical aspects
subject: Big data--Social aspects
subject: Privacy, Right of
subject: Risk--Sociological aspects
subject: Smart cities

description: With the development of new technologies and their increased applications in the context of a local government, cities have started to claim that they are smart. Smart Cities make use of Information and Communication Technologies (ICTs) to support planning and policy making. For an appropriate and sustainable functioning of these smart cities, collecting data about the different aspects of their territory and operations, including its citizens, is a crucial activity. Currently, there are two main avenues in which smart cities can collect data about their citizens: either through sensors, and cameras strategically placed throughout the city or by asking citizens to voluntarily donate to the local government their personal data (i.e., citizen engagement or ‘e-participation’). Despite the growth and increasing prevalence of the latter practice, little attention has been given to how individuals experience the risks of data donation. Often, studies consider data donation as an aspect of the phenomenon of surveillance, or as a type of data sharing. This study theorises and empirically examines data donation and its risks as a phenomenon which is separate from either surveillance or data sharing. Focusing on mobility data, this study draws on two established donation and privacy risk frameworks to investigate how the risks of donating personal data to a smart city are experienced and socially constructed. The thematic analysis of ten focus groups conducted showed that, in the context of this empirical examination, privacy-specific risks alone do not constitute constructed risks. Instead, they combine in various ways with perceived donation risks to constitute more nuanced and embedded risk constructions. Donation risks are seen as potential consequences of privacy risks and combined they constitute the risks of donating data. This thesis underlines the importance of the context under which data donation takes place as well as privacy’s value in a free and democratic society.
Hardware Accelerated Power Estimation
Creators: name: Coburn, Joel
name: Ravi, Srivaths
name: Raghunathan, Anand
Publisher: name: arXiv
Year: 2007
Subjects: subject: Hardware Architecture (cs.AR)
subject: FOS: Computer and information sciences

description: In this paper, we present power emulation, a novel design paradigm that utilizes hardware acceleration for the purpose of fast power estimation. Power emulation is based on the observation that the functions necessary for power estimation (power model evaluation, aggregation, etc.) can be implemented as hardware circuits. Therefore, we can enhance any given design with "power estimation hardware", map it to a prototyping platform, and exercise it with any given test stimuli to obtain power consumption estimates. Our empirical studies with industrial designs reveal that power emulation can achieve significant speedups (10X to 500X) over state-of-the-art commercial register-transfer level (RTL) power estimation tools.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
Context-aware computing using a shared contextual information service
Creators: name: Miller, Nancy
name: Judd, Glenn
name: Hengartner, Urs
name: Gandon, Fabien L.
name: Steenkiste, Peter
name: I-Heng  Meng
name: Ming-Whei  Feng
name: Sadeh, Norman
Publisher: name: Carnegie Mellon University
Year: 2004
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: The Aura ubiquitous computing project is investigating how we can reduce user distractions by having applications automatically adapt to the user’s context. Context-aware applications rely on a shared service, the Contextual Information Service, to obtain context information. In this paper we describe our experience in implementing four very different applications using the CIS and in porting the applications to a different environment. One of the services also integrates technologies developed by a sister project that focuses on using the Semantic Web to support context awareness and privacy.
Minimization of a short computer-based test in reading
Creators: name: Schurig, Michael
name: Jungjohann, Jana
name: Gebhardt, Markus
Publisher: name: TU Dortmund
Year: 2021
Subjects: subject: Learning progress monitoring
subject: Test minimization
subject: Test length
subject: Computer-based testing
subject: Test development
subject: Item reduction
subject: 370
subject: Lernerfolgsmessung
subject: Computerunterstütztes Verfahren

description: Formative tests and assessments have high potential in supporting learning, especially for students with special educational needs. One approach to gain assessment information on student learning is to monitor learning progress. For that, multiple repeated tests are often performed by practitioners. In order to be useful in practice, tests must meet various interdependent quality criteria. A property of tests that touches various criteria as the utility and economy is the length. A test has to be long enough to give a meaningful, reliable and comparable measure but short enough to be usable in classroom situations. An approach to evaluate and minimize the length of a computer-based test on sentence comprehension is introduced. It is shown that the test can be shortened from eight to 5 min while the estimation of the student´s abilities remains relatively stable for a random item order and a fixed item order variant. The consequences of test development of progress monitoring and the procedure for test time reduction for the different quality criteria are outlined. An approach to evaluate and minimize the length of a computer-based test by using a one parameter logistic model on a test of sentence comprehension (N = 761) is introduced. The data and the syntax is published in the OSF project https://osf.io/hnbs8/.
description: Front. Educ.;6
Predictors of Youth Mental Health-Related Visits to a Hospital Emergency Department
Creators: name: Lejeune, Julia Anne
Publisher: name: University of Illinois at Chicago
Year: 2024

description: Rates of child and adolescent visits to hospital emergency departments (EDs) for mental health and substance-use conditions are on the rise across the United States. Frequent repeat visits suggest a reliance on the ED as a “revolving door” for psychiatric care. Concerns are growing regarding the low quality of mental healthcare provided in the ED and its disproportionate use by Black, Latine, and publicly insured youth. Limited research has explored social determinants of health as predictors of youth mental health-related ED visits. Guided by the Andersen Healthcare Utilization model, the present cross-sectional retrospective cohort study aimed to: 1) examine psychosocial factors (age, gender, race, ethnicity), enabling factors (neighborhood opportunity, primary care utilization, insurance type) and need factors (outpatient mental health service utilization) associated with youth having at least one mental health-related ED visit during the study period and 2) investigate these factors as predictors of repeat mental health-related ED visits. Data was drawn from the electronic medical records of 79,146 Chicago-dwelling pediatric and young adults (ages 5-25) who visited the University of Illinois hospital system between January 2014 and December 2019. Of those, 853 (1.07%) individuals had at least one mental health-related ED visit. The Child Opportunity Index was used to measure neighborhood educational, health and environmental, and socioeconomic opportunity. A Zero-Inflated Poisson multi-level model was constructed to determine the relative effect of each predictor on mental health-related ED visits. Lower educational opportunity, Black racial identity, Latine ethnicity, older age, and preventative primary care utilization were each associated with mental health-related ED visits. Older age, Black racial identity, primary care utilization, and outpatient mental healthcare utilization each emerged as predictors of repeat mental health-related ED visits. Results demonstrate the persistence of racial and ethnic disparities in mental health-related ED utilization even when accounting for socioeconomic status at the individual and neighborhood level. Policies and practices that address educational inequities at the neighborhood level, integrate mental health interventions into primary care, and support referral to outpatient mental health treatment from the ED, may all be effective in preventing youth from using the ED as a revolving door for mental health support.
Constructing Systems from Parts: What Students Should Learn about Software Architecture" and "Architectural Mismatch, Interoperability, and the Prospects for Electronic Commerce in Software Parts and Services
Creators: name: Shaw, Mary
Publisher: name: Carnegie Mellon University
Year: 1998
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Institute for Software Research
Electron charge and spin delocalization revealed in the optically probed longitudinal and transverse spin dynamics in $n$-GaAs
Creators: name: Belykh, V. V.
name: Kavokin, K. V.
name: Yakovlev, D. R.
name: Bayer, M.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The evolution of the electron spin dynamics as consequence of carrier delocalization in $n$-type GaAs is investigated by the recently developed extended pump-probe Kerr/Faraday rotation spectroscopy. We find that isolated electrons localized on donors demonstrate a prominent difference between the longitudinal and transverse spin relaxation rates in magnetic field, which is almost absent in the metallic phase. The inhomogeneous transverse dephasing time $T_2^*$ of the spin ensemble strongly increases upon electron delocalization as a result of motional narrowing that can be induced by increasing either the donor concentration or the temperature. An unexpected relation between $T_2^*$ and the longitudinal spin relaxation time $T_1$ is found, namely that their product is about constant, as explained by the magnetic field effect on the spin diffusion. We observe a two-stage longitudinal spin relaxation which suggests the establishment of spin temperature in the system of exchange-coupled donor-bound electrons.
description: 6 pages, 4 figures
Spontaneously modulated spin textures in a dipolar spinor Bose-Einstein condensate
Creators: name: Vengalattore, M.
name: Leslie, S. R.
name: Guzman, J.
name: Stamper-Kurn, D. M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Helical spin textures in a $^{87}$Rb F=1 spinor Bose-Einstein condensate are found to decay spontaneously toward a spatially modulated structure of spin domains. This evolution is ascribed to magnetic dipolar interactions that energetically favor the short-wavelength domains over the long-wavelength spin helix. This is confirmed by eliminating the dipolar interactions by a sequence of rf pulses and observing a suppression of the formation of the short-range domains. This study confirms the significance of magnetic dipole interactions in degenerate $^{87}$Rb F=1 spinor gases.
Second harmonic generation and vortex shedding by a dipole-quadrupole and a quadrupole-octupole swimmer in a viscous incompressible fluid
Creators: name: Felderhof, B. U.
name: Jones, R. B.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Vortex shedding by a swimming sphere in a viscous incompressible fluid is studied for surface modulation characterized by a superposition of dipolar and quadrupolar, as well as for quadrupolar and octupolar displacements, varying harmonically in time. The time-dependent swimming velocity and the flow velocity are calculated to second order in the amplitude of surface modulation for both models. The models are also useful for the discussion of bird flight.
description: 15 pages, 11 figures
Efficient Solution of Language Equations Using Partitioned Representations
Creators: name: Mishchenko, Alan
name: Brayton, Robert
name: Jiang, Roland
name: Villa, Tiziano
name: Yevtushenko, Nina
Publisher: name: arXiv
Year: 2007
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: A class of discrete event synthesis problems can be reduced to solving language equations f . X ⊆ S, where F is the fixed component and S the specification. Sequential synthesis deals with FSMs when the automata for F and S are prefix closed, and are naturally represented by multi-level networks with latches. For this special case, we present an efficient computation, using partitioned representations, of the most general prefix-closed solution of the above class of language equations. The transition and the output relations of the FSMs for F and S in their partitioned form are represented by the sets of output and next state functions of the corresponding networks. Experimentally, we show that using partitioned representations is much faster than using monolithic representations, as well as applicable to larger problem instances.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
Constructing Quantified Invariants via Predicate Abstraction
Creators: name: Shuvendu K. Lahiri
name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 2004
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking. We consider models where the system state contains mutable function and predicate state variables. Such a model can describe systems containing arbitrarily large memories, buffers, and arrays of identical processes. We describe a form of predicate abstraction that constructs a formula over a set of universally quantified variables to describe invariant properties of the function state variables. We provide a formal justification of the soundness of our approach and describe how it has been used to verify several hardware and software designs, including a directory-based cache coherence protocol with unbounded FIFO channels.
Menangkal Pemahaman Radikalisme Agama di Sekolah
Creators: name: Murtadlo, Muhamad
Publisher: name: Zenodo
Year: 2019
Subjects: Radikalisme Agama
Lembaga Pendidikan
Keluarga

description: Beberapa lembaga penelitian menengarai meningkatnya paham intoleran di kalangan peserta didik pada berbagai lembaga
 pendidikan. Gambaran tersebut menjadi warning tersendiri bagi kita untuk waspada terhadap kenaikan radikalisasi pemahaman keagamaan di sekitar kita. Keluarga berpeluang menjadi media strategis dalam menangkal paham radikal pada anak. Fungsi keluarga sebagai membangun psikhologi kebersamaan, arena penanaman nilai, diskusi dan penilaian berbagai perkembangan yang terjadi di luar rumah, keteladanan orang tua dalam sikap keagamaan akan menjadi rujukan yang kuat bagi keberagamaan anak.
 Pemenuhan pendidikan agama sesuai dengan agama anak, serta pemenuhan tenaga pendidik agama dan keagamaan yang memenuhi kualifikasi negara akan membantu dalam memberikan pelajaran agama yang selaras dengan cita-cita negara kesatuan Republik Indonesia.
Stability results for viscoelastic wave equation with dynamic boundary conditions
Creators: name: Aissa, Akram Ben
name: Ferhat, Mohamed
Publisher: name: arXiv
Year: 2018
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: In this paper we consider wave viscoelastic equation with dynamic boundary condition in a bounded domain, we establish a general decay result of energy by exploiting the frequency domain method which consists in combining a contradiction argument and a special analysis for the resolvent of the operator of interest with assumptions on past history relaxation function.
description: pr\'e-publication. arXiv admin note: text overlap with arXiv:1206.1010, arXiv:1405.6865 arXiv:1302.4036 by other authors