cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Study of speaker localization under dynamic and reverberant environments
Creators: name: Mitchell, Daniel A.
name: Rafaely, Boaz
Publisher: name: arXiv
Year: 2023
Subjects: subject: Audio and Speech Processing (eess.AS)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Speaker localization in a reverberant environment is a fundamental problem in audio signal processing. Many solutions have been developed to tackle this problem. However, previous algorithms typically assume a stationary environment in which both the microphone array and the sound sources are not moving. With the emergence of wearable microphone arrays, acoustic scenes have become dynamic with moving sources and arrays. This calls for algorithms that perform well in dynamic environments. In this article, we study the performance of a speaker localization algorithm in such an environment. The study is based on the recently published EasyCom speech dataset recorded in reverberant and noisy environments using a wearable array on glasses. Although the localization algorithm performs well in static environments, its performance degraded substantially when used on the EasyCom dataset. The paper presents performance analysis and proposes methods for improvement.
Тиристорски исправљач заснован на дигиталном регулатору типа "ДРИ 07Б" са излазним LC филтером и адаптивним управљањем
Creators: name: Vukić, Vladimir
Publisher: name: Zenodo
Year: 2013

description: Унапређење регулатора "ДРИ 07" на стандард "ДРИ 07Б" и уградња филтерских кондензатора са пратећим компонентама извршено је према захтевима корисника ради подизања робусности тиристорских исправљача у разводима једносмерне струје термоелектране "Никола Тесла А". Разрада концепта адаптивног управљања за систем беспрекидног напајања једносмерне струје спроведена је на модификованим исправљачима типа ДРИ 220-250 и ДРИ 110-500 у термоелектрани "Никола Тесла А". Унапређене су карактеристике тиристорских исправљача, заснованих на микроконтролеру "Intel" 80C196KB16 са излазним LC филтером и адаптивним ПИ регулаторима напона са линеарно променљивим коефицијентом пропорционалног дејства у функцији тренутне вредности струје исправљача. На овај начин омогућено је беспрекидно напајање потрошача једносмерном струјом и у случајевима пролазног или трајног испада батерије, уз истовремене нагле промене струје потрошача у опсегу од 1 – 100 % номиналне струје исправљача.
Types for X10 Clocks
Creators: name: Martins, Francisco
name: Vasconcelos, Vasco T.
name: Cogumbreiro, Tiago
Publisher: name: arXiv
Year: 2011
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: D.1.3; D.2.4; D.3.1

description: X10 is a modern language built from the ground up to handle future parallel systems, from multicore machines to cluster configurations. We take a closer look at a pair of synchronisation mechanisms: finish and clocks. The former waits for the termination of parallel computations, the latter allow multiple concurrent activities to wait for each other at certain points in time. In order to better understand these concepts we study a type system for a stripped down version of X10. The main result assures that well typed programs do not run into the errors identified in the X10 language reference, namely the ClockUseException. The study will open, we hope, doors to a more flexible utilisation of clocks in the X10 language.
description: In Proceedings PLACES 2010, arXiv:1110.3853
Reactive Synthesis Beyond Realizability
Creators: name: Dimitrova, Rayna
Publisher: name: CISPA
Year: 2023

description: The automatic synthesis of reactive systems from high-level specifications is a highly attractive and increasingly viable alternative to manual system design, with applications in a number of domains such as robotic motion planning, control of autonomous systems, and development of communication protocols. The idea of asking the system designer to describe what the system should do instead of how exactly it does it holds a great promise. However, providing the right formal specification of the desired behavior of a system is a challenging task in itself. In practice it often happens that the system designer provides a specification that is unrealizable, that is, there is no implementation that satisfies it. Such situations typically arise because the desired behavior represents a trade-off between multiple conflicting requirements, or because crucial assumptions about the environment in which the system will execute are missing. Addressing such scenarios necessitates a shift towards synthesis algorithms that utilize quantitative measures of system correctness. In this tutorial, I will discuss two recent advances in this research direction. First, I will talk about the maximum realizability problem, where the input to the synthesis algorithm consists of a hard specification that must be satisfied by the synthesized system, and soft specifications which describe other desired, possibly prioritized properties, whose violation is acceptable. I will present a synthesis algorithm that maximizes a quantitative value associated with the soft specifications while guaranteeing the satisfaction of the hard specification. In the second half of the tutorial, I will present algorithms for synthesis in bounded environments, where a bound is associated with the sequences of input values produced by the environment. More concretely, these sequences consist of an initial prefix followed by a finite sequence repeated infinitely often, and satisfy the constraint that the sum of the lengths of the initial prefix and the loop does not exceed a given bound. I will also discuss the synthesis of approximate implementations from unrealizable specifications, which are guaranteed to satisfy the specification on at least a specified portion of the bounded-size input sequences. I will conclude by outlining some of the open avenues and challenges in quantitative synthesis from temporal logic specifications.
Linearly Ordered Families of Baire 1 Functions
Creators: name: Elekes, Márton
Publisher: name: arXiv
Year: 2011
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: General Topology (math.GN)
subject: Logic (math.LO)
subject: FOS: Mathematics

description: We consider the set of Baire 1 functions endowed with the pointwise partial ordering and investigate the structure of the linearly ordered subsets.
FP-Fed: Privacy-Preserving Federated Detection of Browser Fingerprinting
Creators: name: Annamalai, Meenatchi Sundaram Muthu Selva
name: Bilogrevic, Igor
name: De Cristofaro, Emiliano
Publisher: name: arXiv
Year: 2023
Subjects: subject: Cryptography and Security (cs.CR)
subject: Computers and Society (cs.CY)
subject: FOS: Computer and information sciences

description: Browser fingerprinting often provides an attractive alternative to third-party cookies for tracking users across the web. In fact, the increasing restrictions on third-party cookies placed by common web browsers and recent regulations like the GDPR may accelerate the transition. To counter browser fingerprinting, previous work proposed several techniques to detect its prevalence and severity. However, these rely on 1) centralized web crawls and/or 2) computationally intensive operations to extract and process signals (e.g., information-flow and static analysis). To address these limitations, we present FP-Fed, the first distributed system for browser fingerprinting detection. Using FP-Fed, users can collaboratively train on-device models based on their real browsing patterns, without sharing their training data with a central entity, by relying on Differentially Private Federated Learning (DP-FL). To demonstrate its feasibility and effectiveness, we evaluate FP-Fed's performance on a set of 18.3k popular websites with different privacy levels, numbers of participants, and features extracted from the scripts. Our experiments show that FP-Fed achieves reasonably high detection performance and can perform both training and inference efficiently, on-device, by only relying on runtime signals extracted from the execution trace, without requiring any resource-intensive operation.
Enhanced Raman scattering mediated by large wave-vector surface plasmon polaritons
Creators: name: Lopez-Rios, Tomas
Publisher: name: arXiv
Year: 2012
Subjects: subject: Optics (physics.optics)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: Surface enhanced Raman scattering mediated by surface plasmons polaritons with wave vector much larger than those of light is considered. The excitation of these polaritons and their efficient Raman scattering due to low group velocity and electric field localization at the surface is discussed for the case of two nearby surfaces. The Raman scattering depends not only on the intensity of the electric fields seen by the molecules but also on the surface plasmon density of states.
description: 14 pages, 3 figures
A mechanism to pin skyrmions in chiral magnets
Creators: name: Liu, Ye-Hua
name: Li, You-Quan
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We propose a mechanism to pin skyrmions in chiral magnets by introducing local maximum of magnetic exchange strength, which can be realized in chiral magnetic thin films by engineering the local density of itinerate electrons. Thus we find a way to artificially control the position of a single skyrmion in chiral magnetic thin films. The stationary properties and the dynamical pinning and depinning processes of an isolated skyrmion around a pinning center are studied. We do a series of simulations to show that the critical current to depin a skyrmion has linearly dependence on the pinning strength. We also estimate the critical current to have order of magnitude 10^{7}\sim10^{8}A/m^{2} .
Datenschutzrecht und Brexit
Creators: name: Marnau, Ninja
Publisher: name: CISPA
Year: 2023

description: Durch den „Brexit“ wird das Primär- und Sekundärrecht der Europäischen Union ab dem Datum des Austritts nicht mehr anwendbar sein. Damit gilt auch der seit Mai 2018 geltende EU-Rechtsrahmen für den Schutz personenbezogener Daten, bestehend aus der Datenschutzgrundverordnung (2016/679) und der JI-Richtlinie (2016/680), nicht mehr im Vereinigten Königreich. Gleichzeitig verliert das Vereinigte Königreich damit den Zugang zum europäischen Datenbinnenmarkt, der aufgrund gemeinsamer Datenschutzgesetzgebung und -durchsetzungsinstrumente den freien Datenfluss zwischen den EU-Mitgliedsstaaten ermöglicht. Dieser Beitrag beleuchtet die Konsequenzen des Brexit für den Datenaustausch mit dem Vereinigten Königreich und analysiert mögliche Rechtsgrundlagen und Szenarien eines fortgesetzten Datentransfers im Anwendungsbereich der DSGVO und der JI-Richtlinie nach dem Brexit.
GPU accelerated Monte Carlo simulations of lattice spin models
Creators: name: Weigel, Martin
name: Yavors'kii, Taras
Publisher: name: arXiv
Year: 2011
Subjects: subject: Computational Physics (physics.comp-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: We consider Monte Carlo simulations of classical spin models of statistical mechanics using the massively parallel architecture provided by graphics processing units (GPUs). We discuss simulations of models with discrete and continuous variables, and using an array of algorithms ranging from single-spin flip Metropolis updates over cluster algorithms to multicanonical and Wang-Landau techniques to judge the scope and limitations of GPU accelerated computation in this field. For most simulations discussed, we find significant speed-ups by two to three orders of magnitude as compared to single-threaded CPU implementations.
description: 5 pages, 4 figures, 1 table; Physics Procedia 15, 92 (2011)
Identification of red high proper-motion objects in Tycho-2 and 2MASS catalogues using Virtual Observatory tools
Creators: name: Jiménez-Esteban, F. M.
name: Caballero, J. A.
name: Dorda, R.
name: Miles-Páez, P. A.
name: Solano, E.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Aims: With available Virtual Observatory tools, we looked for new M dwarfs in the solar neighbourhood and M giants with high tangential velocities. Methods: From an all-sky cross-match between the optical Tycho-2 and the near-infrared 2MASS catalogues, we selected objects with proper motions >50mas/yr and very red V-Ks colours. For the most interesting targets, we collected multi-wavelength photometry, constructed spectral energy distributions, estimated effective temperatures and surface gravities from fits to atmospheric models, performed time-series analysis of ASAS V-band light curves, and assigned spectral types from low-resolution spectroscopy obtained with CAFOS at the 2.2m Calar Alto telescope. Results: We got a sample of 59 bright red high proper-motion objects, including fifty red giants, four red dwarfs, and five objects reported in this work for the first time. The five new stars have magnitudes V~10.8-11.3mag, reduced proper motions midway between known dwarfs and giants, near-infrared colours typical of giants, and effective temperatures Teff~2900-3400K. From our time-series analysis, we discovered a long secondary period in Ruber 4 and an extremely long primary period in Ruber 6. With the CAFOS spectra, we confirmed the red giant nature of Ruber 7 and 8, the last of which seems to be one of the brightest metal-poor M giants ever identified.
description: Accepted in Astronomy & Astrophysics
Optimization of a charge-state analyzer for ECRIS beams
Creators: name: Saminathan, S.
name: Beijers, J. P. M.
name: Kremers, H. R.
name: Mironov, V.
name: Mulder, J.
name: Brandenburg, S.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: FOS: Physical sciences

description: A detailed experimental and simulation study of the extraction of a 24 keV He-ion beam from an ECR ion source and the subsequent beam transport through an analyzing magnet is presented. We find that such a slow ion beam is very sensitive to space-charge forces, but also that the neutralization of the beam's space charge by secondary electrons is virtually complete for beam currents up to at least 0.5 mA. The beam emittance directly behind the extraction system is 65 pi mm mrad and is determined by the fact that the ion beam is extracted in the strong magnetic fringe field of the ion source. The relatively large emittance of the beam and its non-paraxiality lead, in combination with a relatively small magnet gap, to significant beam losses and a five-fold increase of the effective beam emittance during its transport through the analyzing magnet. The calculated beam profile and phase-space distributions in the image plane of the analyzing magnet agree well with measurements. The kinematic and magnet aberrations have been studied using the calculated second-order transfer map of the analyzing magnet, with which we can reproduce the phase-space distributions of the ion beam behind the analyzing magnet. Using the transfer map and trajectory calculations we have worked out an aberration compensation scheme based on the addition of compensating hexapole components to the main dipole field by modifying the shape of the poles. The simulations predict that by compensating the kinematic and geometric aberrations in this way and enlarging the pole gap the overall beam transport efficiency can be increased from 16 to 45%.
Simulating self-avoiding walks in bounded domains
Creators: name: Kennedy, Tom
Publisher: name: arXiv
Year: 2011
Subjects: subject: Probability (math.PR)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 60K35, 60J67, 82B41

description: Let D be a domain in the plane containing the origin. We are interested in the ensemble of self-avoiding walks (SAW's) in D which start at the origin and end on the boundary of the domain. We introduce an ensemble of SAW's that we expect to have the same scaling limit. The advantage of our ensemble is that it can be simulated using the pivot algorithm. Our ensemble makes it possible to accurately study SLE predictions for the SAW in bounded simply connected domains. One such prediction is the distribution along the boundary of the endpoint of the SAW. We use the pivot algorithm to simulate our ensemble and study this density. In particular the lattice effects in this density that persist in the scaling limit are seen to be given by a purely local function.
description: 17 pages, 4 figures
Mechanism behind the switching of current induced by a gate field in a semiconducting nanowire junction
Creators: name: Mandal, Subhasish
name: Pati, Ranjit
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We propose a new orbital controlled model to explain the gate field induced switching of current in a semiconducting PbS-nanowire junction. A single particle scattering formalism in conjunction with a posteriori density functional approach involving hybrid functional is used to study the electronic current; both first and higher order Stark effects are explicitly treated in our model. Our calculation reveals that after a threshold gate-voltage, orbital mixing produces p-components at the S atoms in the participating orbitals. This results in an inter-layer orbital interaction that allows electron to delocalize along the channel axis. As a consequence a higher conductance state is found. A similar feature is also found in a PbSe nanowire junction, which suggests that this model can be used universally to explain the gate field induced switching of current in lead-chalcogenide nanowire junctions.
description: Published in Physical Review B
Efficient W state entanglement concentration using quantum-dot and optical microcavities
Creators: name: Sheng, Yu-Bo
name: Zhou, Lan
name: Wang, Chuan
name: Zhao, Sheng-Mei
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present an entanglement concentration protocols (ECPs) for less-entangled W state with quantum-dot and microcavity coupled system. The present protocol uses the quantum nondemolition measurement on the spin parity to construct the parity check gate. Different from other ECPs, this less-entangled W state with quantum-dot and microcavity coupled system can be concentrated with the help of some single photons. The whole protocol can be repeated to get a higher success probability. It may be useful in current quantum information processing.
description: 9 pages, 6 figures
Model Checking Security Protocols
Creators: name: Basin, David
name: Cremers, Cas
name: Meadows, Catherine A.
Publisher: name: CISPA
Year: 2023

description: The formal analysis of security protocols is a prime example of a domain where model checking has been successfully applied. Although security protocols are typically small, analysis by hand is difficult as a protocol should work even when arbitrarily many runs are interleaved and in the presence of an adversary. Specialized model-checking techniques have been developed that address both the problems of unbounded, interleaved runs and a prolific, highly nondeterministic adversary.These techniques have been implemented in model-checking tools that now scale to protocols of realistic size and can be used to aid protocol design and standardization.In this chapter, we provide an overview of the main applications of model checking in security protocol analysis. We explain the central concepts involved in the analysis of security protocols: the abstraction of messages, protocols as role automata, the adversary model, and property specification. We explain and relate the main algorithms used and describe systems based on them. We also give examples of the successful applications of model checking to protocol standards. Finally, we provide an outlook on the field: What is possible with the state of the art and what are the future challenges?
Diochus guizhouensis Shuai, Nozaki & Tang 2021
Creators: name: Huang, Tian
name: Janák, Jiří
name: Zhou, Hong-Zhang
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Staphylinidae
Diochus
Diochus guizhouensis

description: 7. Diochus guizhouensis Shuai, Nozaki & Tang, 2021
(Figs 1A; 8-1; 8-2)
Diochus guizhouensis Shuai, Nozaki, and Tang, 2021: 280 (Type locality: China: Guizhou).
Material examined. INDIA: Meghalaya: 2 males, 1 female, Khasi Hills, Nongpoh, 5. XI. 78, 700 m, Besuchet-Löbl (MHNG, JJRC); 1 female, Garo Hills, Tura, 700–900 m, 1. XI. 78, Besuchet-Löbl (MHNG). THAILAND: NE Bangkok: 3 males, 4 females, Khao Yai Nat. Park, Khao Khieo, 28. XI. 85, 1150 m, Burckhardt-Löbl (MHNG, JJRC); 1 male, Khao Yai Nat. Park, 750–850 m, 26. XI. –3. XIII. 85, Burckhardt-Löbl (MHNG); Chiang Mai: 1 female, Rd to Web Pang An, 50 km NE Chiang Mai, 900 m, 3. XI. 85, Burckhardt-Löbl (MHNG); 1 male, 1 female, Mae Nang Kaeo, 54 km NE Chiang Mai, 900 m, 3. XI. 85, Burckhardt-Löbl (MHNG); 1 female, 33 km NE Chiang Mai, 500 m, 3. XI. 85, Burckhardt-Löbl (MHNG); 1 male, Doi Suthep, 1550 m, 4. XI. 1985, Burckhardt-Löbl (MHNG); 2 females, Doi Suthep, 1050 m, 5. XI. 1985, Burckhardt-Löbl (MHNG); 1 female, Doi Saket, 1130 m, 4. XII. 87, P. Schwendinger (MHNG); 1 female, Huay Nam Dang, Mae Taeng Dist., 1400 m, 17. 12. 1990, P. Schwendinger (MHNG). MYANMAR: Maymyo: 1 male, 700–900 m, 4–5. 03. 96, leg. S. Kurbatov (MHNG); Shan Prov.: 2 males, 1600 m, litter, 18. 02. 96, leg. S. Kurbatov (MHNG).
Diagnosis. The species is similar to D. cameroni sp. nov., D. setifer sp. nov. and D. conicollis in body size and color. The species can be distinguished from D. cameroni sp. nov. and D. setifer sp. nov. by the markedly shorter parameres of male aedeagus. Compared to D. conicollis, paired horn-like sclerites on top aedeagus is missing in D. guizhouensis. Moreover, the apical margin of the male sternite VIII of D. conicollis is covered with numerous setae on posterior margin while this species not.
Distribution. China (Guizhou), India, Thailand, Myanmar.
description: Published as part of Huang, Tian, Janák, Jiří & Zhou, Hong-Zhang, 2024, Six new species and a key to 12 species of the genus Diochus Erichson (Coleoptera: Staphylinidae, Staphylininae, Diochini) from India, Nepal and Pakistan, pp. 501-545 in Zootaxa 5538 (6) on pages 526-529, DOI: 10.11646/zootaxa.5538.6.1, http://zenodo.org/record/14240051
On Specifications and Proofs of Timed Circuits
Creators: name: Fuegger, Matthias
name: Lenzen, Christoph
name: Schmid, Ulrich
Publisher: name: CISPA
Year: 2023

description: Given a discrete-state continuous-time reactive system, like a digital circuit, the classical approach is to first model it as a state transition system and then prove its properties. Our contribution advocates a different approach: to directly operate on the input-output behavior of such systems, without identifying states and their transitions in the first place. We discuss the benefits of this approach at hand of some examples, which demonstrate that it nicely integrates with concepts of self-stabilization and fault-tolerance. We also elaborate on some unexpected artefacts of module composition in our framework, and conclude with some open research questions.
Diochus guizhouensis Shuai, Nozaki & Tang 2021
Creators: name: Huang, Tian
name: Janák, Jiří
name: Zhou, Hong-Zhang
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Staphylinidae
Diochus
Diochus guizhouensis

description: 9. Diochus guizhouensis Shuai, Nozaki & Tang, 2021
(Fig 1C)
Diochus guizhouensis Shuai, Nozaki, and Tang, 2021: 280 (Type locality: China: Guizhou); Huang, Janák, and Zhou, 2024c: 526 (India; Thailand; Myanmar).
Material examined. THAILAND: NE Bangkok: 3 males, 4 females, Khao Yai Nat. Park, Khao Khieo, 28. XI. 85, 1150 m, Burckhardt-Löbl (MHNG, JJRC); 1 male, Khao Yai Nat. Park, 750–850 m, 26. XI.–3. XIII. 85, Burckhardt-Löbl (MHNG); Chiang Mai: 1 female, 33 km NE Chiang Mai, 500 m, 3. XI. 85, Burckhardt-Löbl (MHNG); 1 female, Rd to Web Pang An, 50 km NE Chiang Mai, 900 m, 3. XI. 85, Burckhardt-Löbl (MHNG); 1 male, 1 female, Mae Nang Kaeo, 54 km NE Chiang Mai, 900 m, 3. XI. 85, Burckhardt-Löbl (MHNG); 1 male, Doi Suthep, 1550 m, 4. XI. 1985, Burckhardt-Löbl (MHNG); 2 females, Doi Suthep, 1050 m, 5. XI. 1985, Burckhardt-Löbl (MHNG); 1 female, Doi Saket, 1130 m, 4. XII. 87, P. Schwendinger (MHNG); 1 female, Huay Nam Dang, Mae Taeng Dist., 1400 m, 17. 12. 1990, P. Schwendinger (MHNG). MYANMAR: Maymyo: 1 male, 700–900 m, 4–5. 03. 96, leg. S. Kurbatov (MHNG); Shan Prov.: 2 males, 1600 m, litter, 18. 02. 96, leg. S. Kurbatov (MHNG).
Diagnosis. This species is similar to D. caudapiscis, D. conicollis and D. myanmarensis sp. nov. in appearance. The species can be distinguished from D. caudapiscis and D. myanmarensis sp. nov. by markedly shorter parameres of the male aedeagus. Male aedeagus of D. conicollis possesses similar short parameres, but has paired horn-like sclerites distally, and posterior margin of male sternite VIII is covered by numerous setae. These characters clearly distinguish them from this species.
Distribution. China (Guizhou), India, Thailand, Myanmar.
description: Published as part of Huang, Tian, Janák, Jiří & Zhou, Hong-Zhang, 2025, Revision of the genus Diochus Erichson (Coleoptera: Staphylinidae, Staphylininae, Diochini) from Thailand and Myanmar, pp. 105-142 in Zootaxa 5620 (1) on pages 134-138, DOI: 10.11646/zootaxa.5620.1.5, http://zenodo.org/record/15219019
Fractional Dissipative Standard Map
Creators: name: Tarasov, Vasily E.
name: Edelman, Mark
Publisher: name: arXiv
Year: 2011
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: Using kicked differential equations of motion with derivatives of noninteger orders, we obtain generalizations of the dissipative standard map. The main property of these generalized maps, which are called fractional maps, is long-term memory.The memory effect in the fractional maps means that their present state of evolution depends on all past states with special forms of weights. Already a small deviation of the order of derivative from the integer value corresponding to the regular dissipative standard map (small memory effects) leads to the qualitatively new behavior of the corresponding attractors. The fractional dissipative standard maps are used to demonstrate a new type of fractional attractors in the wide range of the fractional orders of derivatives.
description: 18 pages, LaTeX
Towards Reverse-Engineering Black-Box Neural Networks
Creators: name: Joon Oh, Seong
name: Schiele, Bernt
name: Fritz, Mario
Publisher: name: CISPA
Year: 2023

description: Much progress in interpretable AI is built around scenarios where the user, one who interprets the model, has a full ownership of the model to be diagnosed. The user either owns the training data and computing resources to train an interpretable model herself or owns a full access to an already trained model to be interpreted post-hoc. In this chapter, we consider a less investigated scenario of diagnosing black-box neural networks, where the user can only send queries and read off outputs. Black-box access is a common deployment mode for many public and commercial models, since internal details, such as architecture, optimisation procedure, and training data, can be proprietary and aggravate their vulnerability to attacks like adversarial examples. We propose a method for exposing internals of black-box models and show that the method is surprisingly effective at inferring a diverse set of internal information. We further show how the exposed internals can be exploited to strengthen adversarial examples against the model. Our work starts an important discussion on the security implications of diagnosing deployed models with limited accessibility. The code is available at goo.gl/MbYfsv.
Tropical Krichever construction for the non-periodic box and ball system
Creators: name: Iwao, Shinsuke
name: Nagai, Hidetomo
name: Isojima, Shin
Publisher: name: arXiv
Year: 2012
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14T05, 37K15, 37K40

description: A solution for an initial value problem of the box and ball system is constructed from a solution of the periodic box and ball system. The construction is done through a specific limiting process based on the theory of tropical geometry. This method gives a tropical analogue of the Krichever construction, which is an algebro-geometric method to construct exact solutions to integrable systems, for the non-periodic system.
description: 13 pages, 1 figure
The assessment of potential insecticidal plants for local use in rural highland Ecuador
Creators: name: Robertson, Veronica
Publisher: name: University of British Columbia
Year: 2010

description: In rural highland Ecuador, the potato provides the basic source of calories and nutrients to the local population. The indiscriminate use of synthetic pesticides applied in its production is taking a heavy toll on those people it is meant to sustain. Pesticide poisoning is currently the second-leading cause of death in many of the intensely agricultural provinces of the country, while sub-lethal effects deteriorate the quality of life for up to two-thirds of those exposed to the chemicals. Tecia solanivora (Povolny), the Guatemalan potato moth, is presently the greatest threat to potato production in the Andes region from Venezuela to Ecuador. This pest devastates production yields both in the field and in stores, with losses frequently exceeding 50%. The damage is caused by larvae burrowing into the tuber, excavating galleries and diminishing its quality. The pest has only recently become established in Ecuador, and there are currently no effective measures developed for its control. There is a clear need for the development of a non-toxic, efficacious measure of control for this insect pest in Ecuador. The major goal of this project was to identify botanical pesticides that can be produced locally for use against the Guatemalan potato moth as well as for other insect pests. Crude methanolic extracts of five local botanicals, Marco (Ambrosia artemisioides), Matico (Eupatorium glutinosum), Mashua (Tropaeolum tuberosum), Pumin, (Hyptis pectinata), and Santa Maria (Tanacetum cinerariaefolium), were screened for activity against the potato tuber moth, Phthorimaea operculella, and the cabbage looper, Trichoplusia ni. Extracts of Matico and Mashua were the most effective in controlling the potato tuber moth, although each botanical studied warrants further investigation as a component in an integrated pest management system. The efficacy of the five plants studied was highly variable in controlling the cabbage looper, although Pumin performed best overall.
Design and Realization of Testbeds for Security Research in the Industrial Internet of Things
Creators: name: Tippenhauer, Nils Ole
Publisher: name: CISPA
Year: 2023

description: Research on the (cyber) security of industrial control systems requires holistic understanding of practical systems in the field. In particular, important differences to IT security scenarios are related to industrial networking protocols and programming languages such as ladder logic. Arguably, access to realistic testbeds with physical process and related controls would enable researchers to understand the scenarios better, to develop attacks, and test countermeasures. While the implementation of such testbeds presents significant investments and efforts, the implementation process itself is often not discussed in literature. In this chapter, we discuss the design and realization of such industrial control system testbeds for security research. In particular, we discuss a process in which testbeds are designed by security researchers to resemble existing (and future) plants, and are then implemented by commercial system integrators using industry’s best practises. As use cases, we provide details on design decisions, cost, and outcomes for three testbeds established at the Singapore University of Technology and Design.
Counter-terrorism in cyber-physical spaces: Best practices and technologies from the state of the art
Creators: name: Cascavilla, Giuseppe
name: Tamburri, Damian A.
name: Leotta, Francesco
name: Mecella, Massimo
name: Heuvel, WillemJan Van Den
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computers and Society (cs.CY)
subject: Cryptography and Security (cs.CR)
subject: Information Theory (cs.IT)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Context: The demand for protection and security of physical spaces and urban areas increased with the escalation of terroristic attacks in recent years. We envision with the proposed cyber-physical systems and spaces, a city that would indeed become a smarter urbanistic object, proactively providing alerts and being protective against any threat. Objectives: This survey intend to provide a systematic multivocal literature survey comprised of an updated, comprehensive and timely overview of state of the art in counter-terrorism cyber-physical systems, hence aimed at the protection of cyber-physical spaces. Hence, provide guidelines to law enforcement agencies and practitioners providing a description of technologies and best practices for the protection of public spaces. Methods: We analyzed 112 papers collected from different online sources, both from the academic field and from websites and blogs ranging from 2004 till mid-2022. Results: a) There is no one single bullet-proof solution available for the protection of public spaces. b) From our analysis we found three major active fields for the protection of public spaces: Information Technologies, Architectural approaches, Organizational field. c) While the academic suggest best practices and methodologies for the protection of urban areas, the market did not provide any type of implementation of such suggested approaches, which shows a lack of fertilization between academia and industry. Conclusion: The overall analysis has led us to state that there is no one single solution available, conversely, multiple methods and techniques can be put in place to guarantee safety and security in public spaces. The techniques range from architectural design to rethink the design of public spaces keeping security into account in continuity, to emerging technologies such as AI and predictive surveillance.
Surprises in relativistic matter in a magnetic field
Creators: name: Gorbar, E. V.
name: Miransky, V. A.
name: Shovkovy, I. A.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: A short review of recent advances in understanding the dynamics of relativistic matter in a magnetic field is presented. The emphasis is on the dynamics related to the generation of the chiral shift parameter in the normal ground state. We argue that the chiral shift parameter contributes to the axial current density, but does not modify the conventional axial anomaly relation. The analysis based on gauge invariant regularization schemes in the Nambu-Jona-Lasinio model suggests that these findings should be valid also in gauge theories. It is pointed out that the chiral shift parameter can affect observable properties of compact stars and modify the key features of the chiral magnetic effect in heavy ion collisions.
description: 7 pages, 1 figure. V2: references added. Talk presented at Int. School of Nuclear Physics "From Quarks and Gluons to Hadrons and Nuclei", Erice-Sicily, 16 - 24 September, 2011
Deep snow slab avalanches
Creators: name: Tracz, David
Publisher: name: Engineering
Year: 2012
Subjects: subject: Snow Avalanche
subject: Forecasting
subject: Deep slab avalanche

description: Deep slab avalanches are a unique and difficult-to-forecast natural hazard. This thesis analyzed a variety of data sources from southwestern Canada including two large databases and data collected at 27 recent deep slab avalanches. A statistical method based on non-exceedance probability of average slab thickness and weak layer age was developed to regionally define deep slab avalanches. Local weather preceding deep slab events was investigated to discriminate days with deep slab avalanches from those without. Snowpack characteristics and tests were analyzed to find similarities among deep slab avalanche events. Precipitation during days with deep slab avalanches was found to be significantly more than days without deep slab avalanches. The Propagation Saw Test (PST) and Deep Tap Test (DT) were found to be useful snowpack tests for identifying deep slab hazard. The failure layer of deep slab avalanches typically was softer, contained larger snow grains, and was less dense the either of its adjacent layers.
Prospects for determination of thermal history after inflation with future gravitational wave detectors
Creators: name: Kuroyanagi, Sachiko
name: Nakayama, Kazunori
name: Saito, Shun
Publisher: name: arXiv
Year: 2011
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Thermal history of the Universe between inflation and big-bang nucleosynthesis has not yet been revealed observationally. It will be probed by the detection of primordial gravitational waves generated during inflation, which contain information on the reheating temperature as well as the equation of state of the Universe after inflation. Based on Fisher information formalism, we examine how accurately the tensor-to-scalar ratio and reheating temperature after inflation can be simultaneously determined with space-based gravitational wave detectors such as the DECI-hertz Interferometer Gravitational-wave Observatory (DECIGO) and the Big-Bang Observer (BBO). We show that the reheating temperature is best determined if it is around 10^7 GeV for tensor-to-scalar ratio of around 0.1, and explore the detectable parameter space. We also find that equation of state of the early Universe can be also determined accurately enough to distinguish different equation-of-state parameters if the inflationary gravitational waves are successfully detected. Thus future gravitational wave detectors provide a unique and promising opportunity to reveal the thermal history of the Universe around 10^7 GeV.
description: 21 pages, 8 figures
Global strong solution to a nonlinear Dirac type equation in one dimension
Creators: name: Zhang, Yongqian
Publisher: name: arXiv
Year: 2012
Subjects: subject: Analysis of PDEs (math.AP)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 35L40, 35L45, 35L60

description: This paper studies a class of nonlinear massless Dirac equations in one dimension, which include the equations for massless Thirring model and massless Gross-Neveu model. Under the assumptions that the initial data has small charge and is bounded, the global existence of the strong solution is established. The decay of the local charge is also proved.
description: 11pages, submitted
Transfinite Sequences of Continuous and Baire Class 1 Functions
Creators: name: Elekes, Márton
name: Kunen, Kenneth
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic (math.LO)
subject: Classical Analysis and ODEs (math.CA)
subject: General Topology (math.GN)
subject: FOS: Mathematics
subject: Primary 26A21, Secondary 03E17, 54C30

description: The set of continuous or Baire class 1 functions defined on a metric space $X$ is endowed with the natural pointwise partial order. We investigate how the possible lengths of well-ordered monotone sequences (with respect to this order) depend on the space $X$.
Drinking Water Microflora Biofilms and Chlorine Susceptibility
Creators: name: Schwering, Monika C.
Publisher: name: Graduate Studies
Year: 2012
Subjects: subject: Drinking Water
subject: Disinfection
subject: Chlorine
subject: Biofilms

description: Waterborne disease outbreaks are especially dangerous in immunocompromised individuals and can be caused by biofilm formation in water systems. The aim of this work was to collect a group of environmental isolates, including opportunistic pathogens, from treated water systems with the purpose of creating a model drinking water system biofilm. This model biofilm would be used to explore the resistance of biofilms to chlorine at levels typical of a water distribution system. Isolates for the model biofilm were collected from Calgary and Ontario, sequenced and then as single and multi-species biofilms exposed to chlorine. The resistance, biofilm structure and microbial community were examined. It was found that biofilm organisms are consistently more resistant than planktonic and that multi-species biofilms even more so. Little change was seen in biofilm communities after treatment. The 3D structure of the biofilm appeared to have a role in resistance by limiting diffusion and protecting inner cells.
A Morrison stem gekkotan reveals gecko evolution and Jurassic biogeography
Creators: name: Meyer, Dalton
name: Brownstein, Chase
name: Jenkins, Kelsey
name: Gauthier, Jacques
Publisher: name: Zenodo
Year: 2023
Subjects: Squamata
Gekkota
Phylogenetics
Macroevolution
Biogeography

description: Geckos are a speciose and globally distributed clade of Squamata (lizards, including snakes and amphisbaenians) that are characterized by a host of modifications for nocturnal, scansorial, and insectivorous ecologies. They are among the oldest divergences in the lizard crown, so understanding the origin of geckoes (Gekkota) is essential to understanding the origin of Squamata, the most species-rich extant tetrapod clade. However, the poor fossil record of gekkotans has obscured the sequence and timing of the assembly of their distinctive morphology. Here, we describe the first North American stem-gekkotan based on a three-dimensionally preserved skull from the Morrison Formation of western North America. Despite its Late Jurassic age, the new species already possesses several key characteristics of the gekkotan skull along with retained ancestral features. We show that this new stem gekkotan, and several previously named species of uncertain phylogenetic relationships, comprise a widespread clade of early crown lizards, substantiating faunal homogeneity in Laurasia during the Late Jurassic that extended across disparate ecological, body-size, and physiological classes.
Activated Vibrational Modes and Fermi Resonance in Tip-Enhanced Raman Spectroscopy
Creators: name: Sun, Mengtao
name: Fang, Yurui
name: Zhang, Zhenyu
name: Xu, Hongxing
Publisher: name: arXiv
Year: 2011
Subjects: subject: Atomic and Molecular Clusters (physics.atm-clus)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Using p-aminothiophenol (PATP) molecules on a gold substrate as prototypical examples and high vacuum tip-enhanced Raman spectroscopy (HV-TERS), we show that the vibrational spectra of those molecules are distinctly different from those in typical surface-enhanced Raman spectroscopy. Detailed first-principles calculations help to assign the Raman peaks in the TERS measurements as Raman active and infrared (IR) active vibrational modes of dimercaptoazobenzene (DMAB), thus providing strong spectroscopic evidence for the conversion of PATP dimerization to DMAB. The activation of the IR active modes is due to enhanced electromagnetic field gradient effects within the gap region of the highly asymmetric tip-surface geometry. Our TERS measurements also realize splitting of certain vibrational modes due to Fermi resonance between a fundamental mode and the overtone of a different mode or a combinational mode. These findings help to broaden the versatility of TERS as a promising technique for ultrasensitive molecular spectroscopy.
When the Few Outweigh the Many: Illicit Content Recognition with Few-Shot Learning
Creators: name: Cascavilla, G.
name: Catolino, G.
name: Conti, M.
name: Mellios, D.
name: Tamburri, D. A.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Artificial Intelligence (cs.AI)
subject: Cryptography and Security (cs.CR)
subject: Computers and Society (cs.CY)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: The anonymity and untraceability benefits of the Dark web account for the exponentially-increased potential of its popularity while creating a suitable womb for many illicit activities, to date. Hence, in collaboration with cybersecurity and law enforcement agencies, research has provided approaches for recognizing and classifying illicit activities with most exploiting textual dark web markets' content recognition; few such approaches use images that originated from dark web content. This paper investigates this alternative technique for recognizing illegal activities from images. In particular, we investigate label-agnostic learning techniques like One-Shot and Few-Shot learning featuring the use Siamese neural networks, a state-of-the-art approach in the field. Our solution manages to handle small-scale datasets with promising accuracy. In particular, Siamese neural networks reach 90.9% on 20-Shot experiments over a 10-class dataset; this leads us to conclude that such models are a promising and cheaper alternative to the definition of automated law-enforcing machinery over the dark web.
Barry Cunliffe, The Regni / Malcolm Todd, The Coritani
Creators: name: Wild, John Peter
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2023

description: Rezension zu: Barry Cunliffe, The Regni. Gerald Duckworth and Co. Ltd., London 1973. 153 Seiten und 46 Abbildungen. / Malcolm Todd, The Coritani. Gerald Duckworth and Co. Ltd., London 1973. 164 Seiten und 36 Abbildungen.
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 53 Nr. 1/2 (1975)
Keith Branigan, Latimer
Creators: name: Wild, John Peter
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2023

description: Rezension zu: Keith Branigan, Latimer. Belgic, Roman, Dark Age and Early Modern Farm. Chess Valley Archaeological and Historical Society, Chesham 1971. 206 Seiten, 48 Abbildungen und 24 Tafeln.
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 53 Nr. 1/2 (1975)