cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Automated deep reinforcement learning for real-time scheduling strategy of multi-energy system integrated with post-carbon and direct-air carbon captured system
Creators: name: Alabi, Tobi Michael
name: Lawrence, Nathan P.
name: Lu, Lin
name: Yang, Zaiyue
name: Gopaluni, R. Bhushan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Systems and Control (eess.SY)
subject: Machine Learning (cs.LG)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: The carbon-capturing process with the aid of CO2 removal technology (CDRT) has been recognised as an alternative and a prominent approach to deep decarbonisation. However, the main hindrance is the enormous energy demand and the economic implication of CDRT if not effectively managed. Hence, a novel deep reinforcement learning agent (DRL), integrated with an automated hyperparameter selection feature, is proposed in this study for the real-time scheduling of a multi-energy system coupled with CDRT. Post-carbon capture systems (PCCS) and direct-air capture systems (DACS) are considered CDRT. Various possible configurations are evaluated using real-time multi-energy data of a district in Arizona and CDRT parameters from manufacturers' catalogues and pilot project documentation. The simulation results validate that an optimised soft-actor critic (SAC) algorithm outperformed the TD3 algorithm due to its maximum entropy feature. We then trained four (4) SAC agents, equivalent to the number of considered case studies, using optimised hyperparameter values and deployed them in real time for evaluation. The results show that the proposed DRL agent can meet the prosumers' multi-energy demand and schedule the CDRT energy demand economically without specified constraints violation. Also, the proposed DRL agent outperformed rule-based scheduling by 23.65%. However, the configuration with PCCS and solid-sorbent DACS is considered the most suitable configuration with a high CO2 captured-released ratio of 38.54, low CO2 released indicator value of 2.53, and a 36.5% reduction in CDR cost due to waste heat utilisation and high absorption capacity of the selected sorbent. However, the adoption of CDRT is not economically viable at the current carbon price. Finally, we showed that CDRT would be attractive at a carbon price of 400-450USD/ton with the provision of tax incentives by the policymakers.
description: 39 pages; postprint
$Ab$-$initio$ electronic structure, optical and magneto-optical properties of $MnGaAs$ digital ferromagnetic heterostructures
Creators: name: Rosa, Patrizia
name: Sangalli, Davide
name: Onida, Giovanni
name: Debernardi, Alberto
Publisher: name: arXiv
Year: 2015
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We report on a theoretical study of the electronic, optical and magneto-optical properties of digital ferromagnetic hetero-structures based on $Mn$ $δ$--doped $GaAs$. We consider different structures corresponding to $Mn$ contents within the range 12-50\% and we study how the system changes as a function of the doping concentration. Our first--principles approach includes the spin-orbit interaction in a fully relativistic pseudopotential scheme and the local fields effect in the description of the optical absorption. We show that $Mn$ $δ$-doped $GaAs$ shares many properties with the uniformly doped $Ga_{1-x}Mn_xAs$ system, i.e. half-metallicity, similar absorption spectra, and moderate Kerr rotation angles in the visible spectral region.
description: in press on Physical Review B
The Development of indicators of Professional Teacher characteristics of New Graduates Faculty of Education Ramkhamhaeng University
Creators: name: Sirimongkon Suwannapha
Publisher: name: DR.KEN Institute of Academic Development and Promotion.
Year: 2023
Subjects: Indicator
Professional Competence Characteristics
New Teacher Graduates

description: Interdisciplinary Academic and Research Journal, 3, 5, 1033-1054
Power law inflation with a non-minimally coupled scalar field in light of Planck and BICEP2 data: The exact versus slow roll results
Creators: name: del Campo, Sergio
name: Gonzalez, Carlos
name: Herrera, Ramon
Publisher: name: arXiv
Year: 2015
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We study power law inflation in the context of non-minimally coupled to the scalar curvature. We analyze the inflationary solutions under an exact analysis and also in the slow roll approximation. In both solutions, we consider the recent data from Planck and BICEP2 data to constraint the parameter in our model. We find that the slow roll approximation is disfavored in the presence of non-minimal couplings during the power law expansion of the Universe.
description: 13 pages and 1 figure
Breaking Points in Quartic Maps
Creators: name: Romera, M.
name: Pastor, G.
name: Danca, M. -F.
name: Martin, A.
name: Orue, A. B.
name: Montoya, F.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: Dynamical Systems (math.DS)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Dynamical systems, whether continuous or discrete, are used by physicists in order to study non-linear phenomena. In the case of discrete dynamical systems, one of the most used is the quadratic map depending on a parameter. However, some phenomena can depend alternatively of two values of the same parameter. We use the quadratic map $x_{n+1} =1-ax_{n}^{2} $ when the parameter alternates between two values during the iteration process. In this case, the orbit of the alternate system is the sum of the orbits of two quartic maps. The bifurcation diagrams of these maps present breaking points where abruptly change their evolution.
description: Accepted for publication in International Journal of Bifurcation and Chaos (2014)
SOAR TESS Survey. II. The Impact of Stellar Companions on Planetary Populations
Creators: name: Mann, A.W.
name: Ziegler, C.
name: Law, N.
name: Briceño, C.
name: Latiolais, M.
name: Tokovinin, A.
Publisher: name: American Astronomical Society
Year: 2021

description: We present the results of the second year of exoplanet candidate host speckle observations from the SOAR TESS survey. We find 89 of the 589 newly observed TESS planet candidate hosts have companions within 3″, resulting in light-curve dilution, that, if not accounted for, leads to underestimated planetary radii. We combined these observations with those from Paper I to search for evidence of the impact binary stars have on planetary systems. Removing the one-quarter of the targets observed identified as false-positive planet detections, we find that transiting planets are suppressed by nearly a factor of seven in close solar-type binaries, nearly twice the suppression previously reported. The result on planet occurrence rates that are based on magnitude-limited surveys is an overestimation by a factor of two if binary suppression is not taken into account. We also find tentative evidence for similar close binary suppression of planets in M-dwarf systems. Last, we find that the high rates of widely separated companions to hot Jupiter hosts previously reported was likely a result of false-positive contamination in our sample.
Eclipse Timing Variation Analyses of Eccentric Binaries with Close Tertiaries in the Kepler field
Creators: name: Borkovits, Tamas
name: Rappaport, Saul
name: Hajdu, Tamas
name: Sztakovics, Janos
Publisher: name: arXiv
Year: 2014
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: We report eclipse timing variation analyses of 26 compact hierarchical triple stars comprised of an eccentric eclipsing ('inner') binary and a relatively close tertiary component found in the {\em Kepler} field. We simultaneously fit the primary and secondary $O-C$ curves of each system for the light-travel time effect (LTTE), as well as dynamical perturbations caused by the tertiary on different timescales. For the first time, we include those contributions of three-body interactions which originate from the eccentric nature of the inner binary. These effects manifest themselves both on the period of the triple system, $P_2$, and on the longer "apse-node" timescale. We demonstrate that consideration of the dynamically forced rapid apsidal motion yields an efficient and independent tool for the determination of the binary orbit's eccentricity and orientation, as well as the 3D configuration of the triple. Modeling the forced apsidal motion also helps to resolve the degeneracy between the shapes of the LTTE and the dynamical delay terms on the $P_2$ timescale, due to the strong dependence of the apsidal motion period on the triple's mass ratio. This can lead to the independent determination of the binary and tertiary masses without the need for independent radial velocity measurements. Through the use of our analytic method for fitting $O-C$ curves we have obtained robust solutions for system parameters for the ten most ideal triples of our sample, and only somewhat less robust, but yet acceptable, fits for the remaining systems. Finally we study the results of our 26 system parameter fits via a set of distributions of various physically important parameters, including mutual inclination angle, and mass and period ratios.
description: 83 pages, including 32 pages (26 tables) of tabulated Times of Minima data for the analysed 26 systems; submitted to MNRAS (revised version)
title: The construction and uses of the past in the Medway Towns: A study of local historical consciousness
Creators: name: de Coulon Berthoud, Christopher
Publisher: name: University of Kent
Year: 2024

description: This thesis addresses heritage narratives in Medway, a group of post-industrial towns in North Kent, in the South East of England. Through a series of ethnographies, the thesis deals with the roles played by official stakeholders, amateur historians, and volunteers within the sector. 
The research explores how non-professionals contribute to the preservation, interpretation, and dissemination of cultural heritage, and how their engagement shapes collective historical consciousness within local communities, creating discourses that challenge the official heritage narrative in the Medway Towns.
Employing a mixed-methods approach, this thesis consists of eight ethnographies, combining participant observation, in-depth interviews, and archival research. The primary objective was to understand the motivations, practices, and impacts of amateur historians and volunteers on cultural heritage narratives and historical consciousness.
Findings reveal that amateur historians and volunteers play a polyvalent role in heritage spaces. While often filling gaps left by institutional actors, they both challenge and reinforce hegemonic heritage discourses. These are defined in the thesis by the introduction of the concept of Entombed Histories. 
The motivations of amateur historians and volunteers were found not to be driven solely by an interest in history, or a desire to foster a sense of identity and continuity within their communities, but that in this context heritage takes on multiple purposes and meanings. The thesis argues that the involvement of non-professional actors in the heritage sector contributes significantly to the democratisation of historical knowledge and the diversification of historical narratives.
TESS Unveils the Full Phase Curve of WASP-19b
Creators: name: Eftekhar, Mohammad
name: Adibi, Pouyan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: We present the detection and analysis of the full-orbit phase curve and secondary eclipse of the short-period transiting hot Jupiter system WASP-19b with a single joint fit to photometric data and resolve parameter degeneracy. We analyze data taken by the Transiting Exoplanet Survey Satellite (TESS) during sectors 9 and 36.
description: published 2022 November 15 The Planetary Science Journal
Data for: Assessing the impacts of recreation on the spatial and temporal activity of mammals in an isolated alpine protected area
Creators: name: Fennell, Mitchell
name: Burton, Cole
name: Ford, Adam
name: Martin, Tara G.
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 310308
subject: Terrestrial ecology
classificationCode: 310302
subject: Community ecology (excl. invasive species ecology)

description: Data from the paper Assessing the impacts of recreation on the spatial and temporal activity of mammals in an isolated alpine protected area. This dataset includes camera trap data from 45 sites in Cathedral Provincial Park, British Columbia, Canada collected from July 2019 to September 2021. Code for analysis of spatiotemporal patterns in wildlife habitat use at varying scales is also included.
Cross-Domain Evaluation of a Deep Learning-Based Type Inference System
Creators: name: Gruner, Bernd
name: Sonnekalb, Tim
name: Heinze, Thomas S.
name: Brust, Clemens-Alexander
Publisher: name: arXiv
Year: 2022
Subjects: subject: Software Engineering (cs.SE)
subject: Machine Learning (cs.LG)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Optional type annotations allow for enriching dynamic programming languages with static typing features like better Integrated Development Environment (IDE) support, more precise program analysis, and early detection and prevention of type-related runtime errors. Machine learning-based type inference promises interesting results for automating this task. However, the practical usage of such systems depends on their ability to generalize across different domains, as they are often applied outside their training domain. In this work, we investigate Type4Py as a representative of state-of-the-art deep learning-based type inference systems, by conducting extensive cross-domain experiments. Thereby, we address the following problems: class imbalances, out-of-vocabulary words, dataset shifts, and unknown classes. To perform such experiments, we use the datasets ManyTypes4Py and CrossDomainTypes4Py. The latter we introduce in this paper. Our dataset enables the evaluation of type inference systems in different domains of software projects and has over 1,000,000 type annotations mined on the platforms GitHub and Libraries. It consists of data from the two domains web development and scientific calculation. Through our experiments, we detect that the shifts in the dataset and the long-tailed distribution with many rare and unknown data types decrease the performance of the deep learning-based type inference system drastically. In this context, we test unsupervised domain adaptation methods and fine-tuning to overcome these issues. Moreover, we investigate the impact of out-of-vocabulary words.
description: Preprint for the MSR'23 technical track
The dangers of being trigger--happy
Creators: name: Dale, J. E.
name: Haworth, T. J.
name: Bressert, E.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We examine the evidence offered for triggered star formation against the backdrop provided by recent numerical simulations of feedback from massive stars at or below giant molecular cloud sizescales. We compile a catalogue of sixty--seven observational papers, mostly published over the last decade, and examine the signposts most commonly used to infer the presence of triggered star formation. We then determine how well these signposts perform in a recent suite of hydrodynamic simulations of star formation including feedback from O--type stars performed by Dale et al (2012a, b, 2013a, b, 2014). We find that none of the observational markers improve the chances of correctly identifying a given star as triggered by more than factors of two at most. This limits the fidelity of these techniques in interpreting star formation histories. We therefore urge caution in interpreting observations of star formation near feedback--driven structures in terms of triggering.
description: 16 pages, 6 figures, accepted by MNRAS
Fano Interference in Microwave Resonator Measurements
Creators: name: Rieger, D.
name: Günzler, S.
name: Spiecker, M.
name: Nambisan, A.
name: Wernsdorfer, W.
name: Pop, I. M.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Resonator measurements are a simple but powerful tool to characterize a material's microwave response. The losses of a resonant mode are quantified by its internal quality factor $Q_\mathrm{i}$, which can be extracted from the scattering coefficient in a microwave reflection or transmission measurement. Here we show that a systematic error on $Q_\mathrm{i}$ arises from Fano interference of the signal with a background path. Limited knowledge of the interfering paths in a given setup translates into a range of uncertainty for $Q_\mathrm{i}$, which increases with the coupling coefficient. We experimentally illustrate the relevance of Fano interference in typical microwave resonator measurements and the associated pitfalls encountered in extracting $Q_\mathrm{i}$. On the other hand, we also show how to characterize and utilize the Fano interference to eliminate the systematic error.
An Overview of Compact Star Populations and Some of Its Open Problems
Creators: name: de Sá, L. M.
name: Bernardo, A.
name: Bachega, R. R. A.
name: Rocha, L. S.
name: Moraes, P. H. R. S.
name: Horvath, J. E.
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: The study of compact object populations has come a long way since the determination of the mass of the Hulse-Taylor pulsar, and we now count on more than 150 known Galactic neutron stars and black hole masses, as well as another 180 objects from binary mergers detected from gravitational-waves by the Ligo-Virgo-KAGRA Collaboration. With a growing understanding of the variety of systems that host these objects, their formation, evolution and frequency, we are now in a position to evaluate the statistical nature of these populations, their properties, parameter correlations and long-standing problems, such as the maximum mass of neutron stars and the black hole lower mass gap, to a reasonable level of statistical significance. Here, we give an overview of the evolution and current state of the field and point to some of its standing issues. We focus on Galactic black holes, and offer an updated catalog of 35 black hole masses and orbital parameters, as well as a standardized procedure for dealing with uncertainties.
description: 39 pages, 12 figures, 3 tables. Published in the Galaxies Special Issue "Challenges of This Century in High-Density Compact Objects, High-Energy Astrophysics, and Multi-Messenger Observations. Quo Vadis?"
Asymptotics of finite system Lyapunov exponents for some random matrix ensembles
Creators: name: Forrester, Peter J.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: For products $P_N$ of $N$ random matrices of size $d \times d$, there is a natural notion of finite $N$ Lyapunov exponents $\{μ_i\}_{i=1}^d$. In the case of standard Gaussian random matrices with real, complex or real quaternion elements, and extended to the general variance case for $μ_1$, methods known for the computation of $\lim_{N \to \infty} \langle μ_i \rangle$ are used to compute the large $N$ form of the variances of the exponents. Analogous calculations are performed in the case that the matrices making up $P_N$ are products of sub-blocks of random unitary matrices with Haar measure. Furthermore, we make some remarks relating to the coincidence of the Lyapunov exponents and the stability exponents relating to the eigenvalues of $P_N$.
description: 15 pages
Rotation Periods of TESS Objects of Interest from the Magellan-TESS Survey with Multiband Photometry from Evryscope and TESS
Creators: name: Gonzalez, R.
name: Law, N.M.
name: Glazier, A.L
name: Soto, A.V.
name: Teske, J.
name: Galliher, N.W.
name: Corbett, H.
name: Ratzloff, J.K.
name: Howard, W.S.
name: Haislip, J.
name: Wang, S.X.
Publisher: name: American Astronomical Society
Year: 2021

description: Stellar radial-velocity (RV) jitter due to surface activity may bias the RV semiamplitude and mass of rocky planets. The amplitude of the jitter may be estimated from the uncertainty in the rotation period, allowing the mass to be more accurately obtained. We find candidate rotation periods for 17 out of 35 TESS Objects of Interest (TOI) hosting <3 R ⊕ planets as part of the Magellan-TESS survey, which is the first-ever statistically robust study of exoplanet masses and radii across the photoevaporation gap. Seven periods are ≥3σ detections, two are ≥1.5σ, and eight show plausible variability, but the periods remain unconfirmed. The other 18 TOIs are nondetections. Candidate rotators include the host stars of the confirmed planets L 168-9 b, the HD 21749 system, LTT 1445 A b, TOI 1062 b, and the L 98-59 system. Thirteen candidates have no counterpart in the 1000 TOI rotation catalog of Canto Martins et al. We find periods for G3-M3 dwarfs using combined light curves from TESS and the Evryscope all-sky array of small telescopes, sometimes with longer periods than would be possible with TESS alone. Secure periods range from 1.4 to 26 days with Evryscope-measured photometric amplitudes as small as 2.1 mmag in g′. We also apply Monte Carlo sampling and a Gaussian process stellar activity model from exoplanet to the TESS light curves of six TOIs to confirm the Evryscope periods.
An MCMC Approach to Classical Estimation
Creators: name: Chernozhukov, Victor
name: Hong, Han
Publisher: name: arXiv
Year: 2023
Subjects: subject: Econometrics (econ.EM)
subject: Computation (stat.CO)
subject: Methodology (stat.ME)
subject: FOS: Economics and business
subject: FOS: Computer and information sciences

description: This paper studies computationally and theoretically attractive estimators called the Laplace type estimators (LTE), which include means and quantiles of Quasi-posterior distributions defined as transformations of general (non-likelihood-based) statistical criterion functions, such as those in GMM, nonlinear IV, empirical likelihood, and minimum distance methods. The approach generates an alternative to classical extremum estimation and also falls outside the parametric Bayesian approach. For example, it offers a new attractive estimation method for such important semi-parametric problems as censored and instrumental quantile, nonlinear GMM and value-at-risk models. The LTE's are computed using Markov Chain Monte Carlo methods, which help circumvent the computational curse of dimensionality. A large sample theory is obtained for regular cases.
description: This is an archival version of the article "An MCMC approach to classical estimation", Journal of econometrics 115 (2), August 2003, pages 293-346. This version does not reflect the corrections made to the article during the publication process; it contains additional two remarks added, as indicated in the text. 62 pages, 7 figures
In vitro analysis of quercetin-like compounds from Mistletoe Dendrophthoe pentandra (L.) Miq as a potential antiviral agent for Newcastle disease
Creators: name: Lazuardi, Mochamad
name: Khairat, Jasmine
name: Lim, Vuanghao
name: Selvaraja, Malarvili
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 300911
subject: Veterinary pharmacology
classificationCode: 300999
subject: Veterinary sciences not elsewhere classified

description: Research data in vitro tests in cell culture with positive control, negative control and comparison using Acethyl ethylene imine and in vitro anti-virus tests using Quercetine-like compounds LC ranging from the highest dilution (1/1 to the lowest dilution 1/9)
Covariance-based rational approximations of fractional SPDEs for computationally efficient Bayesian inference
Creators: name: Bolin, David
name: Simas, Alexandre B.
name: Xiong, Zhen
Publisher: name: arXiv
Year: 2022
Subjects: subject: Methodology (stat.ME)
subject: FOS: Computer and information sciences

description: The stochastic partial differential equation (SPDE) approach is widely used for modeling large spatial datasets. It is based on representing a Gaussian random field $u$ on $\mathbb{R}^d$ as the solution of an elliptic SPDE $L^βu = \mathcal{W}$ where $L$ is a second-order differential operator, $2β$ (belongs to natural number starting from 1) is a positive parameter that controls the smoothness of $u$ and $\mathcal{W}$ is Gaussian white noise. A few approaches have been suggested in the literature to extend the approach to allow for any smoothness parameter satisfying $β>d/4$. Even though those approaches work well for simulating SPDEs with general smoothness, they are less suitable for Bayesian inference since they do not provide approximations which are Gaussian Markov random fields (GMRFs) as in the original SPDE approach. We address this issue by proposing a new method based on approximating the covariance operator $L^{-2β}$ of the Gaussian field $u$ by a finite element method combined with a rational approximation of the fractional power. This results in a numerically stable GMRF approximation which can be combined with the integrated nested Laplace approximation (INLA) method for fast Bayesian inference. A rigorous convergence analysis of the method is performed and the accuracy of the method is investigated with simulated data. Finally, we illustrate the approach and corresponding implementation in the R package rSPDE via an application to precipitation data which is analyzed by combining the rSPDE package with the R-INLA software for full Bayesian inference.
Biderivations of low-dimensional Leibniz algebras
Creators: name: Mancini, Manuel
Publisher: name: arXiv
Year: 2022
Subjects: subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics
subject: 15B30, 16W25, 17A32, 17A36, 17B40

description: In this paper we give a complete classification of the Leibniz algebras of biderivations of right Leibniz algebras of dimension up to three over a field $\mathbb{F}$, with $\operatorname{char}(\mathbb{F})\neq 2$. We describe the main properties of such class of Leibniz algebras and we also compute the biderivations of the four-dimensional Dieudonné Leibniz algebra $\mathfrak{d}_1$. Eventually we give an algorithm for finding derivations and anti-derivations of a Leibniz algebra as pair of matrices with respect to a fixed basis.
description: Conference paper. Final version, accepted for publication
New Halpha flux measurements in nearby dwarf galaxies
Creators: name: Kaisin, S. S.
name: Karachentsev, I. D.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present the emission Halpha line images for 40 galaxies of the Local Volume based on the observations at the 6-meter BTA telescope. Among them there are eight satellites of the Milky Way and Andromeda M31 as well as two companions to M51. The measured Halpha fluxes of the galaxies are used to determine their integral (SFR) and specific (sSFR) star formation rates. The values of Log(sSFR) for the observed galaxies lie in the range of (-9, -14)/yr. A comparison of SFR estimates derived from the Halpha flux and from the ultraviolet FUV flux yields evidence that two blue compact galaxies MRK 475 and LV J1213+2957 turn out to be at a sharp peak of their star-burst activity.
description: 22 pages, 1 table, 1 appendix
title: Ασφένδου, το ανθρώπινο αποτύπωμα
title: Asfendou, the human imprint
Creators: name: Χριστοδουλακης Κωνσταντινος
name: Λαμπριδη Διονυσια-Καλλιοπη
Publisher: name: Technical University of Crete
Year: 2023

description: Η παρούσα εργασία έχει ως αντικείμενο την διερεύνηση  του δομημένου περιβάλλοντος , και κατ’ επέκταση της αρχιτεκτονικής του οικισμού Ασφένδου.  Εξετάζεται τόσο  η τυπολογία και  οι τρόποι κατασκευής των κτισμάτων όσο και  η οργάνωση του χώρου και η διάρθρωση των  συνδέσεων ως σύνολο. Ο οικισμός βρίσκεται σε υψόμετρο 770 μ. και αποτελεί  θερινό τόπο διαμονής  των κατοίκων που τους χειμερινούς μήνες μετοικούν σε νοτιότερους οικισμούς των Σφακίων με  χαμηλότερο υψόμετρο. Ο οικισμός διαρθρώνεται σε γειτονιές, με τις κατοικίες, κυρίως καμαρόσπιτα,  να αποτελούν παράδειγμα παραδοσιακής Σφακιανής αρχιτεκτονικής. Στο πλαίσιο της εργασίας πραγματοποιείτε αποτύπωση κτισμάτων  που παρουσιάζουν είτε αρχιτεκτονικό  ενδιαφέρον είτε συνθέτουν  ενδιαφέροντα συμπλέγματα.  Ταυτόχρονα, πάνω στα κελύφη, στις διατάξεις και στις διάφορες κατασκευές αναζητείται η αντανάκλαση του λιτού βίου των κατοίκων του Ασφένδου και οι τρόποι με τους οποίους αυτοί επίλυαν τα βασικά ζητούμενα της καθημερινότητας τους.
Sound Symbolic Execution via Abstract Interpretation and its Application to Security
Creators: name: Tiraboschi, Ignacio
name: Rezk, Tamara
name: Rival, Xavier
Publisher: name: arXiv
Year: 2023
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: D.3.0

description: Symbolic execution is a program analysis technique commonly utilized to determine whether programs violate properties and, in case violations are found, to generate inputs that can trigger them. Used in the context of security properties such as noninterference, symbolic execution is precise when looking for counterexample pairs of traces when insecure information flows are found, however it is sound only up to a bound thus it does not allow to prove the correctness of programs with executions beyond the given bound. By contrast, abstract interpretation-based static analysis guarantees soundness but generally lacks the ability to provide counterexample pairs of traces. In this paper, we propose to weave both to obtain the best of two worlds. We demonstrate this with a series of static analyses, including a static analysis called RedSoundRSE aimed at verifying noninterference. RedSoundRSE provides both semantically sound results and the ability to derive counterexample pairs of traces up to a bound. It relies on a combination of symbolic execution and abstract domains inspired by the well known notion of reduced product. We formalize RedSoundRSE and prove its soundness as well as its relative precision up to a bound. We also provide a prototype implementation of RedSoundRSE and evaluate it on a sample of challenging examples.
description: 29 pages, 8 figures. Published in the 24th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2023)
Coupled topological flat and wide bands: Quasiparticle formation and destruction
Creators: name: Hu, Haoyu
name: Si, Qimiao
Publisher: name: arXiv
Year: 2022
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Flat bands amplify correlation effects and are of extensive current interest. They provide a platform to explore both topology in correlated settings and correlation physics enriched by topology. Recent experiments in correlated kagome metals have found evidence for strange-metal behavior. A major theoretical challenge is to study the effect of local Coulomb repulsion when the band topology obstructs a real-space description. In a variant to the kagome lattice, we identify an orbital-selective Mott transition for the first time in any system of coupled topological flat and wide bands. This was made possible by the construction of exponentially localized and Kramers-doublet Wannier functions, which in turn leads to an effective Kondo lattice description. Our findings show how quasiparticles are formed in such coupled topological flat-wide band systems and, equally important, how they are destroyed. Our work provides a conceptual framework for the understanding of the existing and emerging strange-metal properties in kagome metals and beyond.
description: 30 pages, 6 figures. To appear in Science Advances
Standing waves for a gauged nonlinear Schrödinger equation with a vortex point
Creators: name: Jiang, Yongsheng
name: Pomponio, Alessio
name: Ruiz, David
Publisher: name: arXiv
Year: 2015
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35J20, 35Q55

description: This paper is motivated by a gauged Schrödinger equation in dimension 2. We are concerned with radial stationary states under the presence of a vortex at the origin. Those states solve a nonlinear nonlocal PDE with a variational structure. We will study the global behavior of that functional, extending known results for the regular case.
description: arXiv admin note: substantial text overlap with arXiv:1306.2051
TEI Modelling of the Lexicographic Data in the Dariah.Lab Project
Creators: name: Nowak, Krzysztof
name: Mika, Dorota
name: Łukasik, Wojciech
Publisher: name: Zenodo
Year: 2022
Subjects: lexicography, TEI XML, data integration

description: Our talk at the TEI 2022 Conference Paper
title: R/V KAIMEI Cruise report KM23-07
Creators: name: Nakamura, Yasuyuki
Publisher: name: JAMSTEC
Year: 2023
Subjects: subject: Cruise report
subject: R/V KAIMEI
subject: oceans

description: [CRUISE REPORT] This document is a preliminary report of KM23-07 on R/V KAIMEI from 2023-05-29 to 2023-06-17.
Strong single-photon to two-photon bundles emission in spin-1 Jaynes-Cummings model
Creators: name: Tang, Jing
name: Deng, Yuangang
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The realization of high-quality special nonclassical states beyond strong single atom-cavity coupling regime is a fundamental element in quantum information science. Here, we study the nonclassical photon emission in a single spin-1 atom coupled to an optical cavity with constructing a spin-1 Jaynes-Cummings model. By tuning quadratic Zeeman shift, the energy-spectrum anharmonicity can be significantly enhanced with respect to the dressed-state splitting of well-resolved n-photon resonance largely increased. The photon emission exhibit high-quality single photon and two-photon bundles properties with large photon numbers in the cavity and atom driven cases, respectively. More interestingly, nonclassical optical switching from strong single-photon blockade to two-photon bundles and super-Poissonian photon emission is achieved and highly controllable by light-cavity detuning in the presence of both atom and cavity driven fields. Our proposal not only open up a new avenue for generating high-quality n-photon sources but also provide versatile applications in quantum networks and quantum metrology.
description: 26 pages, 4 figures
Large adaptive optics survey for substellar objects around Young, Nearby, Low-mass Stars with Robo-AO
Creators: name: Lockhart, C.
name: Warmbier, E.
name: Baranec, C.
name: Salama, M.
name: Ou, J.
name: Chun, M.
name: Duev, D.A.
name: Bowler, B.P.
name: Goebel, S.
name: Jensen-Clem, R.
name: Law, N.M.
name: Jacobson, S.
name: Riddle, R.
name: Situ, H.
name: Zhang, Z.
name: Hall, D.
name: Liu, M.C.
name: Barnes, P.
name: Bonnet, M.
Publisher: name: American Astronomical Society
Year: 2021

description: We present results from the Large Adaptive optics Survey for Substellar Objects, where the goal is to directly image new substellar companions (<70 MJup) at wide orbital separations (≳50 au) around young (≲300 Myr), nearby (<100 pc), low-mass (≈0.1–0.8 M☉) stars. We report on 427 young stars imaged in the visible (i′) and near-infrared (J or H) simultaneously with Robo-AO on the Kitt Peak 2.1 m telescope and later the Maunakea University of Hawaii 2.2 m telescope. To undertake the observations, we commissioned a new infrared camera for Robo-AO that uses a low-noise high-speed SAPHIRA avalanche photodiode detector. We detected 121 companion candidates around 111 stars, of which 62 companions are physically associated based on Gaia DR2 parallaxes and proper motions, another 45 require follow-up observations to confirm physical association, and 14 are background objects. The companion separations range from 2 to 1101 au and reach contrast ratios of 7.7 mag in the near-infrared compared to the primary. The majority of confirmed and pending candidates are stellar companions, with ∼5 being potentially substellar and requiring follow-up observations for confirmation. We also detected a 43 ± 9 MJup and an 81 ± 5 MJup companion that were previously reported. We found 34 of our targets have acceleration measurements detected using Hipparcos–Gaia proper motions. Of those, 58-+1412% of the 12 stars with imaged companion candidates have significant accelerations (c2 > 11.8), while only 23-+611% of the remaining 22 stars with no detected companion have significant accelerations. The significance of the acceleration decreases with increasing companion separation. These young accelerating low-mass stars with companions will eventually yield dynamical masses with future orbit monitoring.
Tunable symmetry-protected higher-order topological states with fermionic atoms in bilayer optical lattices
Creators: name: Lei, Zhoutao
name: Li, Linhu
name: Deng, Yuangang
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: Higher-order topological states that possess gapped bulk energy bands and exotic topologically protected boundary states with at least two dimension lower than the bulk have significantly opened a new perspective for understanding of topological quantum matters. Here, we propose to generate two-dimensional topological boundary states for implementing synthetic magnetic flux of ultracold atoms trapped in bilayer optical lattices, which includes Chern insulator, Dirac semimetals, and second-order topological phase (SOTP) by the interplay of the two-photon detuning and effective Zeeman shift. These observed topological phases can be well characterized by the energy gap of bulk, Wilson loop spectra, and the spin textures at the higher symmetric points of system. We show that the SOTP exhibits a pair of $0$D boundary states. While the phases of Dirac semimetals and Chern insulator support the conventional $1$D boundary states due to the principle of bulk-boundary correspondence. Strikingly, the emerged boundary states for Dirac semimetals and SOTP are topologically protected by $\cal P T$-symmetry and chiral-mirror symmetry ($\mathcal{\widetilde{M}}_α$), respectively. In particular, the location of $0$D corner states for SOTP which are associated with existing $\mathcal{\widetilde{M}}_α$-symmetry can be highly manipulated by tuning magnetic flux. Our scheme herein provides a platform for emerging exotic topological boundary states, which may facilitate the study of higher-order topological phases in ultracold atomic gases.
description: 14 pages, 6 figures + 2 figures
Grid-Based Simulations of Polar Circumbinary Disks: Polar Alignment and Vortex Formation
Creators: name: Rabago, Ian
name: Zhu, Zhaohuan
name: Martin, Rebecca G.
name: Lubow, Stephen H.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We describe the first grid-based simulations of the polar alignment of a circumbinary disk. We simulate the evolution of an inclined disk around an eccentric binary using the grid-based code ATHENA++. The use of a grid-based numerical code allows us to explore lower disk viscosities than have been examined in previous studies. We find that the disk aligns to a polar orientation when the $α$ viscosity is high, while disks with lower viscosity nodally precess with little alignment over 1000 binary orbital periods. The timescales for polar alignment and disk precession are compared as a function of disk viscosity, and are found to be in agreement with previous studies. At very low disk viscosities (e.g. $α= 10^{-5}$), anticyclonic vortices are observed along the inner edge of the disk. These vortices can persist for thousands of binary orbits, creating azimuthally localized overdensities as well as multiple pairs of spiral arms. The vortex is formed at $\sim 3-4$ times the binary semi-major axis, close to the inner edge of the disk, and orbits at roughly the local Keplerian speed. The presence of a vortex in the disk may play an important role in the evolution of circumbinary systems, such as driving episodic accretion and accelerating the formation of polar circumbinary planets.
description: 10 pages, 11 figures, Accepted for publication in MNRAS. Visualizations of the simulations in this paper can be found online at https://youtu.be/Ny-ggFHALMA
TOI-1231 b: A Temperate, Neptune-sized Planet Transiting the Nearby M3 Dwarf NLTT 24399
Creators: name: Jensen, E.L.N.
name: Villanueva, S.
name: Guillot, T.
name: Burke, C.J.
name: Mann, A.W.
name: Teske, J.K.
name: Shectman, S.A.
name: Huang, C.X.
name: Collins, K.A.
name: Schmider, F.-X.
name: Mollire, P.
name: Jenkins, J.M.
name: Ciardi, D.
name: Ziegler, C.
name: Rodriguez, J.E.
name: Triaud, A.H.M.J.
name: Marie-Sainte, W.
name: Feng, F.
name: Cointepas, M.
name: Wohler, B.
name: Schlieder, J.E.
name: Eastman, J.D.
name: Abe, L.
name: Stevens, D.J.
name: Schwarz, R.P.
name: Mékarnia, D.
name: Charbonneau, D.
name: Latham, D.W.
name: Gupta, A.F.
name: Stassun, K.G.
name: Dragomir, D.
name: Youngblood, A.
name: García Muñoz, A.
name: Ricker, G.R.
name: Butler, R.P.
name: Matson, R.A.
name: Mamajek, E.E.
name: Pepper, J.
name: Seager, S.
name: Burt, J.A.
name: Crane, J.D.
name: Brasseur, C.E.
name: Daylan, T.
name: Howell, S.B.
name: Berta-Thompson, Z.K.
name: Law, N.
name: Crouzet, N.
name: Agabi, A.
name: Kreidberg, L.
name: Halverson, S.P.
name: McCann, J.
name: Winn, J.N.
name: Vanderspek, R.
name: Bonfils, X.
name: Almenara, J.M.
name: Crossfield, I.J.M.
name: Matthews, E.C.
name: Wang, S.X.
name: Scott, N.
name: Dransfield, G.
name: Barclay, T.
name: Furlan, E.
Publisher: name: American Astronomical Society
Year: 2021

description: We report the discovery of a transiting, temperate, Neptune-sized exoplanet orbiting the nearby (d = 27.5 pc), M3V star TOI-1231 (NLTT 24399, L 248-27, 2MASS J10265947-5228099). The planet was detected using photometric data from the Transiting Exoplanet Survey Satellite and followed up with observations from the Las Cumbres Observatory and the Antarctica Search for Transiting ExoPlanets program. Combining the photometric data sets, we find that the newly discovered planet has a radius of {3.65}_{-0.15}^{+0.16}\,{R}_{\oplus } and an orbital period of 24.246 days. Radial velocity measurements obtained with the Planet Finder Spectrograph on the Magellan Clay telescope confirm the existence of the planet and lead to a mass measurement of 15.5 3.3 M ⊕. With an equilibrium temperature of just 330 K, TOI-1231 b is one of the coolest small planets accessible for atmospheric studies thus far, and its host star's bright near-infrared brightness (J = 8.88, Ks = 8.07) makes it an exciting target for the Hubble Space Telescope and the James Webb Space Telescope. Future atmospheric observations would enable the first comparative planetology efforts in the 250-350 K temperature regime via comparisons with K2-18 b. Furthermore, TOI-1231's high systemic radial velocity (70.5 km s-1) may allow for the detection of low-velocity hydrogen atoms escaping the planet by Doppler, shifting the H i Lyα stellar emission away from the geocoronal and interstellar medium absorption features.
title: R/V HAKUHO MARU Cruise report KH-23-2
Creators: name: OBATA, Hajime
Publisher: name: JAMSTEC
Year: 2023
Subjects: subject: Cruise report
subject: R/V HAKUHO MARU
subject: oceans

description: [CRUISE REPORT] This document is a preliminary report of KH-23-2 on R/V HAKUHO MARU from 2023-06-01 to 2023-06-25.
Grothendieck's point of view and complexity in the black hole paradox
Creators: name: Patrascu, Andrei T.
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: These are some speculations on how Grothendieck's point of view and the idea of complexity dynamics can come together in the problem of explaining the black hole information paradox. They are neither complete, nor final, but can seem like a new direction of research. If read as such they could prove useful to some researchers. The basic idea is that entanglement alone cannot fully account for the information extraction in black hole contexts. Complexity has been proposed as an alternative but remains a vague concept. I employ Grothendieck's point of view to expand the idea of entanglement entropy to a categorical context in which the objects (states) and their maps are considered together and the map space has additional topological and geometric structure that intermingles with the object set of the category via Sieves, Sheafs, and Toposes.
description: accepted for publication in this form in physica scripta
The Real Life Benefits of Games
Creators: name: clutch2dope
Publisher: name: Zenodo
Year: 2023

description: Abstract
Games are degraded by some as having no world impact. Some naysayers say games are a waste of time and resources. However that simply is not true. In this paper I will demonstrate a real world example of games having a real world impact. 
Introduction
Games. Games are a controversal topic. Gamers are often degraded as second class citizens. There has seemingly been a prejudice against games for thousands of years. Only some games are considered noble, while some are characterized as the scum of basement dwellers.
However things are changing. A new generation of gamers is changing the world for the greater. No longer will games be left to rot. The community will rise again and create a functioning society from the ashes.
This paper details a specific event that did just that, where two games players came together to add value to the immediate world.
Safe Neighborhood Computation for Hybrid System Verification
Creators: name: Deng, Yi
name: Julius, Agung
Publisher: name: arXiv
Year: 2015
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: For the design and implementation of engineering systems, performing model-based analysis can disclose potential safety issues at an early stage. The analysis of hybrid system models is in general difficult due to the intrinsic complexity of hybrid dynamics. In this paper, a simulation-based approach to formal verification of hybrid systems is presented.
description: In Proceedings HAS 2014, arXiv:1501.05405
Properties of Beurling-Type Submodules via Agler Decompositions
Creators: name: Bickel, Kelly
name: Liaw, Constanze
Publisher: name: arXiv
Year: 2014
Subjects: subject: Complex Variables (math.CV)
subject: FOS: Mathematics
subject: 47A13, 47A20, 46E22

description: In this paper, we study operator-theoretic properties of the compressed shift operators $S_{z_1}$ and $S_{z_2}$ on complements of submodules of the Hardy space over the bidisk $H^2(\mathbb{D}^2)$. Specifically, we study Beurling-type submodules - namely submodules of the form $θH^2(\mathbb{D}^2)$ for $θ$ inner - using properties of Agler decompositions of $θ$ to deduce properties of $S_{z_1}$ and $S_{z_2}$ on model spaces $H^2(\mathbb{D}^2) \ominus θH^2(\mathbb{D}^2)$. Results include characterizations (in terms of $θ$) of when a commutator $[S_{z_j}^*, S_{z_j}]$ has rank $n$ and when subspaces associated to Agler decompositions are reducing for $S_{z_1}$ and $S_{z_2}$. We include several open questions.
description: 25 pages