Hasil untuk "Early Christian literature. Fathers of the Church, etc."

Andrew Blair, Peggy Gregory, Mary Ellen Foster

Though a goal of HRI is the natural integration of social robots into everyday public spaces, real-world studies still occur mostly within controlled environments with predetermined participants. True public spaces present an environment which is largely unconstrained and unpredictable, frequented by a diverse range of people whose goals can often conflict with those of the robot. When combined with the general unfamiliarity most people have with social robots, this leads to unexpected human-robot interactions in these public spaces that are rarely discussed or detected in other contexts. In this paper, we describe atypical users we observed interacting with our robot, and those who did not, during a three-day pilot deployment within a large working church and visitor attraction. We then discuss theoretical future advances in the field that could address these challenges, as well as immediate practical mitigations and strategies to help improve public space human-robot interactions in the present. This work contributes empirical insights into the dynamics of human-robot interaction in public environments and offers actionable guidance for more effective future deployments for social robot designers.

H. T. Rüdisser, G. Nguyen, J. Le Louëdec et al.

Interplanetary coronal mass ejections (ICMEs) are major drivers of space weather disturbances, posing risks to both technological infrastructure and human activities. Automatic detection of ICMEs in solar wind in situ data is essential for early warning systems. While several methods have been proposed to identify these structures in time series data, robust real-time detection remains a significant challenge. In this work, we present ARCANE - the first framework explicitly designed for early ICME detection in streaming solar wind data under realistic operational constraints, enabling event identification without requiring observation of the full structure. Our approach evaluates the strengths and limitations of detection models by comparing a machine learning-based method to a threshold-based baseline. The ResUNet++ model, previously validated on science data, significantly outperforms the baseline, particularly in detecting high-impact events, while retaining solid performance on lower-impact cases. Notably, we find that using real-time solar wind (RTSW) data instead of high-resolution science data leads to only minimal performance degradation. Despite the challenges of operational settings, our detection pipeline achieves an F1-Score of 0.37, with an average detection delay of 24.5% of the event's duration while processing only a minimal portion of the event data. As more data becomes available, the performance increases significantly. These results mark a substantial step forward in automated space weather monitoring and lay the groundwork for enhanced real-time forecasting capabilities.

Jeffrey J. Early, Gerardo Hernández-Dueñas, Leslie M. Smith et al.

A challenge in physical oceanography is quantifying the energy content of waves and balanced flows and the fluxes that connect these reservoirs with their sources and sinks. Methodological limitations have prevented decompositions for realistic flows with non-hydrostatic motions and variable stratification. We present a framework that separates the flow into wave and geostrophic components using the principle that waves have no Eulerian available potential vorticity signature. Starting from new expressions for available energy and potential vorticity conservation, we construct a basis of wave and geostrophic modes, complete and orthogonal with respect to quadratic approximations of the conserved quantities. Using the resulting non-hydrostatic projection operators, the nonlinear equations of motion are expressed as coupled wave and geostrophic equations, quantifying cascade and transfer fluxes of wave and geostrophic energy. We apply the method to non-hydrostatic mid-ocean simulations with geostrophic mean-flow, near-inertial, and tidal forcing. From these experiments, we construct source-sink-reservoir diagrams for exact and quadratic fluxes, quantifying the fluxes between geostrophic and wave components. Because the cascade fluxes obey total energy conservation, we construct energy flow diagrams within the wave and geostrophic reservoirs and diagnose nonlocal transfers. The simulations show a geostrophic inverse cascade, a forward wave cascade, and a direct transfer of geostrophic to wave energy, with no indication of a forward geostrophic cascade. The mean-flow-only simulation shows weak spontaneous wave emission during spin-up, which diminishes to zero. Finally, we evaluate the decomposition by comparing linearized and fully conserved available potential vorticity, finding that errors become significant at scales below 15\,km.

Hannah Larson, Ravi Vakil

We state and prove a form of Bott periodicity (for $U(n)$) in an algebraic setting (so, $GL(n)$) which makes sense over $\mathbb{Z}$, which also specializes to Bott periodicity in the usual sense (hence giving yet another proof of classical Bott periodicity). An appendix by B. Church gives a specialization of the constructions and results to motivic homotopy theory, which may be of independent interest.

Jonathan M. Lilly, Joel Feske, Baylor Fox-Kemper et al.

The familiar divergence and Kelvin-Stokes theorem are generalized by a tensor-valued identity that relates the volume integral of the gradient of a vector field to the integral over the bounding surface of the outer product of the vector field with the exterior normal. The importance of this long-established yet little-known result is discussed. In flat two-dimensional space, it reduces to a relationship between an integral over an area and that over its bounding curve, combining the 2D divergence and Kelvin-Stokes theorems together with two related theorems involving the strain, as is shown through a decomposition using a suitable tensor basis. A fluid dynamical application to oceanic observations along the trajectory of a moving platform is given. The potential generalization of the generalized identity to curved two-dimensional surfaces is considered and is shown not to hold. Finally, the paper includes a substantial background section on tensor analysis, and presents results in both symbolic notation and index notation in order to emphasize the correspondence between these two notational systems.

Lukas Birkemeyer, Christian King, Ina Schaefer

Scenario-based testing is considered state-of-the-art to verify and validate Advanced Driver Assistance Systems or Automated Driving Systems. Due to the official launch of the SOTIF-standard (ISO 21448), scenario-based testing becomes more and more relevant for releasing those Highly Automated Driving Systems. However, an essential missing detail prevent the practical application of the SOTIF-standard: How to practically generate scenarios for scenario-based testing? In this paper, we perform a Systematic Literature Review to identify techniques that generate scenarios complying with requirements of the SOTIF-standard. We classify existing scenario generation techniques and evaluate the characteristics of generated scenarios wrt. SOTIF requirements. We investigate which details of the real-world are covered by generated scenarios, whether scenarios are specific for a system under test or generic, and whether scenarios are designed to minimize the set of unknown and hazardous scenarios. We conclude that scenarios generated with existing techniques do not comply with requirements implied by the SOTIF-standard; hence, we propose directions for future research.

Joseph Early, Gavin KC Cheung, Kurt Cutajar et al.

Conventional Time Series Classification (TSC) methods are often black boxes that obscure inherent interpretation of their decision-making processes. In this work, we leverage Multiple Instance Learning (MIL) to overcome this issue, and propose a new framework called MILLET: Multiple Instance Learning for Locally Explainable Time series classification. We apply MILLET to existing deep learning TSC models and show how they become inherently interpretable without compromising (and in some cases, even improving) predictive performance. We evaluate MILLET on 85 UCR TSC datasets and also present a novel synthetic dataset that is specially designed to facilitate interpretability evaluation. On these datasets, we show MILLET produces sparse explanations quickly that are of higher quality than other well-known interpretability methods. To the best of our knowledge, our work with MILLET, which is available on GitHub (https://github.com/JAEarly/MILTimeSeriesClassification), is the first to develop general MIL methods for TSC and apply them to an extensive variety of domains

Wisal Khan, Teerath Kumar, Zhang Cheng et al.

Context: The efficient processing of Big Data is a challenging task for SQL and NoSQL Databases, where competent software architecture plays a vital role. The SQL Databases are designed for structuring data and supporting vertical scalability. In contrast, horizontal scalability is backed by NoSQL Databases and can process sizeable unstructured Data efficiently. One can choose the right paradigm according to the organisation's needs; however, making the correct choice can often be challenging. The SQL and NoSQL Databases follow different architectures. Also, the mixed model is followed by each category of NoSQL Databases. Hence, data movement becomes difficult for cloud consumers across multiple cloud service providers (CSPs). In addition, each cloud platform IaaS, PaaS, SaaS, and DBaaS also monitors various paradigms. Objective: This systematic literature review (SLR) aims to study the related articles associated with SQL and NoSQL Database software architectures and tackle data portability and Interoperability among various cloud platforms. State of the art presented many performance comparison studies of SQL and NoSQL Databases by observing scaling, performance, availability, consistency and sharding characteristics. According to the research studies, NoSQL Database designed structures can be the right choice for big data analytics, while SQL Databases are suitable for OLTP Databases. The researcher proposes numerous approaches associated with data movement in the cloud. Platform-based APIs are developed, which makes users' data movement difficult. Therefore, data portability and Interoperability issues are noticed during data movement across multiple CSPs. To minimize developer efforts and Interoperability, Unified APIs are demanded to make data movement relatively more accessible among various cloud platforms.

Abbas Cheddad, Christian Nordahl

Amidst the outbreak of the coronavirus (COVID 19) pandemic, distance education, where the learning process is conducted online, has become the norm. Campus-based programs and courses have been redesigned in a timely manner which was a challenge for teachers not used to distance teaching. Students engagement and active participation become an issue; add to that new emerging effects associating with this set-up, such as the so called 'Zoom fatigue', which was coined recently by some authors. In realising this problem, solutions were suggested in the literature to help trigger students engagement and enhance teachers experience in online teaching. This study analyses these effects along with our teachers experience in the new learning environment and concludes by devising some recommendations. To attain the above objectives, we conducted online interviews with six of our teachers, transcribed the content of the videos and then applied the inductive research approach to assess the results.

Leonard Susskind

The quantum-Extended Church-Turing thesis is a principle of physics as well as computer science. It asserts that the laws of physics will prevent the construction of a machine that can efficiently determine the results of any calculation which cannot be done efficiently by a quantum Turing machine (or a universal quantum circuit). In this note I will argue that an observer falling into a black hole can learn the result of such a calculation in a very short time, thereby seemingly violating the thesis. A viable reformulation requires that the thesis only applies to observers who have access to the holographic boundary of space. The properties of the horizon play a crucial a role in protecting the thesis. The arguments are closely related to, and were partially motivated by a recent paper by Bouland, Fefferman, and Vazirani, and by a question raised by Aaronson.

Alejandro Gangui, Juan Antonio Belmonte

The city of San Cristobal de La Laguna in the Canary Island of Tenerife (Spain) has an exceptional value due to the original conception of its plan. It is an urban system in a grid, outlined by straight streets that form squares, its layout being the first case of an unfortified colonial city with a regular plan in the overseas European expansion. It constitutes a historical example of the so-called "Town of Peace", the archetype of a city-republic in a new land that employed its own natural boundaries to delimit and defend itself. Founded in 1496, the historical centre of the old city was declared a World Heritage Site by UNESCO in 1999. We analyse the exact spatial orientation of twenty-one historic Christian churches currently existing in the old part of La Laguna which we take as a good indicator of the original layout of the urban lattice. We find a clear orientation pattern that, if correlated with the rising or setting Sun, singles out an absolute-value astronomical declination slightly below 20 degrees, which, within the margin of error of our study, might be associated with the July 25th feast-day of San Cristobal de Licia, the saint to whom the town was originally dedicated. We also discuss at some length some recent proposals which invoke somewhat far-fetched hypotheses for the planimetry of the old city and finish up with some comments on one of its outstanding features, namely its Latin-cross structure, which is apparent in the combined layout of some of its most emblematic churches.

Fabian Gärtner, Felix Kühnl, Carsten R. Seemann et al.

Superbubbles are acyclic induced subgraphs of a digraph with single entrance and exit that naturally arise in the context of genome assembly and the analysis of genome alignments in computational biology. These structures can be computed in linear time and are confined to non-symmetric digraphs. We demonstrate empirically that graph parameters derived from superbubbles provide a convenient means of distinguishing different classes of real-world graphical models, while being largely unrelated to simple, commonly used parameters.

Torsten Schlett, Christian Rathgeb, Olaf Henniger et al.

The performance of face analysis and recognition systems depends on the quality of the acquired face data, which is influenced by numerous factors. Automatically assessing the quality of face data in terms of biometric utility can thus be useful to detect low-quality data and make decisions accordingly. This survey provides an overview of the face image quality assessment literature, which predominantly focuses on visible wavelength face image input. A trend towards deep learning based methods is observed, including notable conceptual differences among the recent approaches, such as the integration of quality assessment into face recognition models. Besides image selection, face image quality assessment can also be used in a variety of other application scenarios, which are discussed herein. Open issues and challenges are pointed out, i.a. highlighting the importance of comparability for algorithm evaluations, and the challenge for future work to create deep learning approaches that are interpretable in addition to providing accurate utility predictions.

José Ángel Castillo Lozano

Antes de Paulo, encontramos la primera mención del concepto tyrannidis en esta obra cuando Julián hace referencia al levantamiento contra el poder real de Ilderico conde de Nîmes y el crimen que esto implica.

Elwira Kaczyńska

Tłumaczenie tekstu Izydora z Sewilli, De fluminibus

Marcin Wysocki

This article presents the results of the analysis of the correspondence of St. Ambrose, the Bishop of Milan, concerning heresies and heretics and the hope of their final reconciliation with the Church. The article consists of two essential parts, the first shows the definition and essence of heresies and heretics, including examples of heretics and how they act. The second part focuses on dealing with heretics and fighting for the unity of the Church. This section shows the ways in which this fight is taking place and the parties responsible for it: the bishops and the emperors. Reading the letters of St. Ambrose does not leave any illusions – the Bishop of Milan has gradually been losing the hope for ending such conflicts, above all with the Arians. Reasons for such an attitude are repeatedly presented in his letters – the conflict of the basilicas, the attitudes of the heretics, the weakness of orthodox believers and priests. It seems, however, that in spite of everything still smoulders in him spark of hope, because to the last letter of preserved cor­respondence he calls for return to the bosom of the Church and orthodoxy.

Uwe Springmann, Christian Reul, Stefanie Dipper et al.

In this paper we describe a dataset of German and Latin \textit{ground truth} (GT) for historical OCR in the form of printed text line images paired with their transcription. This dataset, called \textit{GT4HistOCR}, consists of 313,173 line pairs covering a wide period of printing dates from incunabula from the 15th century to 19th century books printed in Fraktur types and is openly available under a CC-BY 4.0 license. The special form of GT as line image/transcription pairs makes it directly usable to train state-of-the-art recognition models for OCR software employing recurring neural networks in LSTM architecture such as Tesseract 4 or OCRopus. We also provide some pretrained OCRopus models for subcorpora of our dataset yielding between 95\% (early printings) and 98\% (19th century Fraktur printings) character accuracy rates on unseen test cases, a Perl script to harmonize GT produced by different transcription rules, and give hints on how to construct GT for OCR purposes which has requirements that may differ from linguistically motivated transcriptions.

Freddy Cachazo, Nick Early, Alfredo Guevara et al.

In this paper we study an algebra that naturally combines two familiar operations in scattering amplitudes: computations of volumes of polytopes using triangulations and constructions of canonical forms from products of smaller ones. We mainly concentrate on the case of $G(2,n)$ as it controls both general MHV leading singularities and CHY integrands for a variety of theories. This commutative algebra has also appeared in the study of configuration spaces and we called it the $Δ$-algebra. As a natural application, we generalize the well-known square move. This allows us to generate infinite families of new moves between non-planar on-shell diagrams. We call them sphere moves. Using the $Δ$-algebra we derive familiar results, such as the KK and BCJ relations, and prove novel formulas for higher-order relations. Finally, we comment on generalizations to $G(k,n)$.

Viktoriya Morozova, Anthony L. Piro, Mathieu Renzo et al.

The early rise of Type IIP supernovae (SN IIP) provides important information for constraining the properties of their progenitors. This can in turn be compared to pre-explosion imaging constraints and stellar models to develop a more complete picture of how massive stars evolve and end their lives. Using the SuperNova Explosion Code (SNEC), we model the first 40 days of SNe IIP to better understand what constraints can be derived from their early light curves. We use two sets of red supergiant progenitor models with zero-age main sequence masses in the range between 9 Msol and 20 Msol. We find that the early properties of the light curve depend most sensitively on the radius of the progenitor, and thus provide a relation between the g-band rise time and the radius at the time of explosion. This relation will be useful for deriving constraints on progenitors from future observations, especially in cases where detailed modeling of the entire rise is not practical. When comparing to observed rise times, the radii we find are a factor of a few larger than previous semi-analytic derivations and generally in better agreement with what is found with current stellar evolution calculations.

Marta Szada

In the following article I try to investigate how the literary means used by Gregory of Nyssa in his works, especially the Life of St. Macrina, the Dialogue about Soul and Resurrection and the Letter 19. are related to the tradition of depic­ting heroic woman. In the first part of this paper I consider biblical and martyro­logical literature, ancient novels, dramas and moralistic works of Plutarch. In the second part I gain a closer look into relations between the creation of Macrina and other hagiographical works of the same time. My purposes are complex. Firstly, I would like to determine the main differences of male and female hero’s narrations. Secondly, I try to examine how Gregory uses conventions and if he is innovative.