Dubé introduced cone decompositions and their Macaulay constants and used them to obtain an upper bound on the degrees of the generators in a Gröbner basis of an ideal. Liang extended the theory to submodules of a free module. In this paper, Macaulay constants of any finitely generated graded module $M$ over a polynomial ring are introduced by adapting the concept of a cone decomposition to $M$. It is shown that these constants provide upper bounds for the degrees in which the local cohomology modules of $M$ are not zero. The results include an upper bound on the Castelnuovo-Mumford regularity of $M$ and a generalization of Gotzmann's Regularity Theorem from ideals to modules. As an application, an upper bound on the Castelnuovo-Mumford regularity of any coherent sheaf on projective space is established. The mentioned bounds are sharp even for cyclic modules. Furthermore, Macaulay constants are utilized to provide a characterization of Hilbert polynomials of finitely generated graded modules.
This paper investigates the robust cooperative output regulation problem for a class of heterogeneous uncertain linear multi-agent systems with an unknown exosystem via event-triggered control (ETC). By utilizing the internal model approach and the adaptive control technique, a distributed adaptive internal model is constructed for each agent. Then, based on this internal model, a fully distributed ETC strategy composed of a distributed event-triggered adaptive output feedback control law and a distributed dynamic event-triggering mechanism is proposed, in which each agent updates its control input at its own triggering time instants. It is shown that under the proposed ETC strategy, the robust cooperative output regulation problem can be solved without requiring either the global information associated with the communication topology or the bounds of the uncertain or unknown parameters in each agent and the exosystem. A numerical example is provided to illustrate the effectiveness of the proposed control strategy.
Joint encryption and compression is an ideal solution for protecting security and privacy of image data in a real scenario, e.g. storing them on an existing cloud-based service like Facebook. Recently, some block-wise encryption-then-compression (ETC) schemes compatible with JPEG were proposed to provide a reasonably high level of security without compromising compression ratio much. This paper investigates recovering the block-wise relationship in an ETC scheme exerting on single-color blocks of size $8\times 8$ in the scenarios of ciphertext-only attack, known-plaintext attack and chosen-plaintext attack. Then, the attacking targets are extended to the other conventional ETC schemes exerting on multiple color channels and blocks of various sizes. Especially, an elaborate jigsaw puzzle solver is designed to recover enough visual information from multiple cipher-images encrypted by the same secret key. Moreover, the nice attacking performance was verified over two social media platforms, Facebook and Weibo.
Recommender systems have become an integral part of online platforms, providing personalized recommendations for purchases, content consumption, and interpersonal connections. These systems consist of two sides: the producer side comprises product sellers, content creators, or service providers, etc., and the consumer side includes buyers, viewers, or customers, etc. To optimize online recommender systems, A/B tests serve as the golden standard for comparing different ranking models and evaluating their impact on both the consumers and producers. While consumer-side experiments is relatively straightforward to design and commonly employed to assess the impact of ranking changes on the behavior of consumers (buyers, viewers, etc.), designing producer-side experiments for an online recommender/ranking system is notably more intricate because producer items in the treatment and control groups need to be ranked by different models and then merged into a unified ranking to be presented to each consumer. Current design solutions in the literature are ad hoc and lacking rigorous guiding principles. In this paper, we examine limitations of these existing methods and propose the principle of consistency and principle of monotonicity for designing producer-side experiments of online recommender systems. Building upon these principles, we also present a systematic solution based on counterfactual interleaving designs to accurately measure the impacts of ranking changes on the producers (sellers, creators, etc.).
Neuromorphic computing aims to emulate the architecture and information processing mechanisms of the mammalian brain. This includes the implementation by hardware of neural networks. Oxide-based memristor arrays with cross-bar architecture appear as a possible physical implementation of neural networks.In this paper, we obtain experimental potentiation-depression (P-D) curves on different manganite-based memristive systems and simulate the learning process of perceptrons for character recognition. We analyze how the specific characteristics of the P-D curves affect the convergence time -- characterized by the EPOCHs-to-convergence (ETC) parameter -- of the network. Our work shows that ETC is reduced for systems displaying P-D curves with relatively low granularity and non-linear and asymmetric response. In addition, we also show that noise injection during the synaptic weight actualization further reduces the ETC. The results obtained here are expected to contribute to the optimization of hardware neural networks based on memristors cross-bar arrays.
La humanista y religiosa dominica Juliana Morell (1594-1653) tuvo un papel como formadora, escritora y traductora en la Contrarreforma francesa. Políglota y con estudios en filosofía, teología y jurisprudencia, compuso obras espirituales y dos traducciones del latín al francés con comentarios del Tratado de la vida espiritual de Vicente Ferrer (1350-1419), que contó con dos ediciones (1617 y 1619), y de la Regla de Agustín, publicada póstumamente en 1680. Además, sus Exercices spirituels sur l’éternité (1637) incluyen traducciones y exégesis de pasajes bíblicos. La lectura y sobre todo la traducción, entendidas como diálogo espiritual que orienta hacia la oración, son parte de su dedicación como maestra de novicias y publica sus escritos, por mandato de obediencia, para que los lectores conversen y estén en compañía de las almas cuyas palabras se leen y se traducen.
Language. Linguistic theory. Comparative grammar, Style. Composition. Rhetoric
Sandeep U Mane, Pooja S. Lokare, Harsha R. Gaikwad
Ant Colony Optimization algorithm is a magnificent heuristics technique based on the behavior of ants. Parallel computing is a means to achieve the desired results in commensurable execution time. Parallelization of Ant Colony Optimization is utilized to solve large and complex problems. This paper discusses a review of different parallelization approaches for Ant Colony Optimization and its various applications. Parallel Ant Colony Optimization has proved to be a successful approach for highly constrained problems such as routing, scheduling, timetabling, etc. Parallelization of Ant Colony Optimization reduces the execution time, increases the size of the problem, etc.
Il saggio esamina alcuni contributi pubblicati dal poeta Durs Grünbein in occasione del settimo centenario della morte di Dante. Particolare attenzione viene dedicata alla terzina di Paradiso XXXIII, vv. 94-96 che impegna il poeta tedesco almeno dal 2009. In base alla terminologia impiegata da Grünbein per descrivere le sue trasposizioni dantesche in termini di rendering, il saggio indaga l’influenza del Sommo Fiorentino nella poetica dell’autore di Dresda alla luce dell’era globale-digitale per risalire alle fonti dell’ispirazione poetica, dove Grünbein rilegge Dante con Cartesio e Mandel’štàm.
Language. Linguistic theory. Comparative grammar, Style. Composition. Rhetoric
In this paper, we propose a deep learning-based model to detect extratropical cyclones (ETCs) of northern hemisphere, while developing a novel workflow of processing images and generating labels for ETCs. We first label the cyclone center by adapting an approach from Bonfanti et.al. [1] and set up criteria of labeling ETCs of three categories: developing, mature, and declining stages. We then propose a framework of labeling and preprocessing the images in our dataset. Once the images and labels are ready to serve as inputs, we create our object detection model named Single Shot Detector (SSD) to fit the format of our dataset. We train and evaluate our model with our labeled dataset on two settings (binary and multiclass classifications), while keeping a record of the results. Finally, we achieved relatively high performance with detecting ETCs of mature stage (mean Average Precision is 86.64%), and an acceptable result for detecting ETCs of all three categories (mean Average Precision 79.34%). We conclude that the single-shot detector model can succeed in detecting ETCs of different stages, and it has demonstrated great potential in the future applications of ETC detection in other relevant settings.
We consider the thermodynamic approach to the description of economic systems and processes. The first and second laws of thermodynamics as applied to economic systems are derived and analyzed. It is shown that there is a deep analogy between the parameters of thermodynamic and economic systems (markets); in particular, each thermodynamic parameter can be associated with a certain economic parameter or indicator. The economic meaning of such primordially thermodynamic concepts as pressure, volume, internal energy, heat, etc. has been established. The thermostatistics of the market is considered. It is shown that, as in conventional thermostatistics, many market parameters, such as price of goods, quantity of goods, etc., as well as their fluctuations can be calculated formally using the partition function of an economic system.
In this work, we derive a region-based self-triggered control (STC) scheme for nonlinear systems with bounded disturbances and model uncertainties. The proposed STC scheme is able to guarantee different performance specifications (e.g. stability, boundedness, etc.), depending on the event-triggered control (ETC) triggering function that is chosen to be emulated. To deal with disturbances and uncertainties, we employ differential inclusions (DIs). By introducing ETC/STC notions in the context of DIs, we extend well-known results on ETC/STC to perturbed uncertain systems. Given these results, and adapting tools from our previous work, we derive inner-approximations of isochronous manifolds of perturbed uncertain ETC systems. These approximations dictate a partition of the state-space into regions, each of which is associated to a uniform inter-sampling time. At each sampling time instant, the controller checks to which region the measured state belongs and correspondingly decides the next sampling instant.
Quinto Orazio Flacco è fra i più tradotti auctores latini nelle culture letterarie d’Europa, soprattutto nei secoli XVI, XVII, XVIII. La ricostruzione repertoriale e critica delle traduzioni che hanno avuto per oggetto il suo corpus si offre, quindi, come documento particolarmente significativo della fortuna traduttoria di un mito letterario, in quanto attesta il rapporto di imitatio/aemulatio che numerosi autori hanno stabilito con il modello nel momento in cui hanno deciso di assimilarlo, attraverso le traduzioni, alle lingue e alle culture nazionali cui essi appartengono.
Language. Linguistic theory. Comparative grammar, Style. Composition. Rhetoric
Il contributo prende in esame gli indovinelli legati alla vicenda della Principessa Turandot nella versione teatrale italiana di Carlo Gozzi (1762) e nella traduzione tedesca di Friedrich Schiller (1802). L’analisi di uno degli indovinelli, che è presente anche nella novella persiana dalla quale Gozzi ha tratto la trama della sua commedia, permette di stabilire un collegamento tra quell’indovinello particolare e altri indovinelli simili testimoniati nella letteratura greca e nel folklore.
The essay deals with the riddles connected with Turandot’ story, as they appear in the Italian version of Carlo Gozzi (1762) and in the German translation of Friedrich Schiller (1802). The analysis of one of the riddles, also present in the Persian tale Gozzi used as the source of his play, allows to establish a relationship between that particular riddle and similar riddles witnessed in Greek literature and in ancient folktales.
Language. Linguistic theory. Comparative grammar, Style. Composition. Rhetoric
This paper sets out to re-approach the famous leptêacrostich in Aratus’ Phaenomena (783-87) by confronting it with other early Greek acrostichs and the discourse of technê and sophia,which has been shown to play an important role in a gamut of Greek literary texts, including texts very much relevant for the study of Aratus’ acrostich. In particular, there is a tantalizing connection between the acrostich in Aratus’ poem that poeticized Eudoxus’ astronomical work and the so-called Ars Eudoxi, a (pseudo-)Eudoxian acrostich sphragisfrom a second-century BC papyrus.
Language. Linguistic theory. Comparative grammar, Style. Composition. Rhetoric
Il movimento surrealista pensò che nella tecnica medianica della scrittura automatica si fosse trovato un modo per rinnovare l’arte e la letteratura, ma l’inconscio non è qualcosa che si può decidere quando e come sondare. La scrittura è un tema affrontato acutamente da Jacques Lacan nel suo ultimo insegnamento. Nel presente articolo vedremo come, con i presupposti della sua ricerca, si possa avanzare l’ipotesi che solo una scrittura automatica possa raggiungere il rango di poesia.
Language. Linguistic theory. Comparative grammar, Style. Composition. Rhetoric
There has always been criticism for using $n$-gram based similarity metrics, such as BLEU, NIST, etc, for evaluating the performance of NLG systems. However, these metrics continue to remain popular and are recently being used for evaluating the performance of systems which automatically generate questions from documents, knowledge graphs, images, etc. Given the rising interest in such automatic question generation (AQG) systems, it is important to objectively examine whether these metrics are suitable for this task. In particular, it is important to verify whether such metrics used for evaluating AQG systems focus on answerability of the generated question by preferring questions which contain all relevant information such as question type (Wh-types), entities, relations, etc. In this work, we show that current automatic evaluation metrics based on $n$-gram similarity do not always correlate well with human judgments about answerability of a question. To alleviate this problem and as a first step towards better evaluation metrics for AQG, we introduce a scoring function to capture answerability and show that when this scoring function is integrated with existing metrics, they correlate significantly better with human judgments. The scripts and data developed as a part of this work are made publicly available at https://github.com/PrekshaNema25/Answerability-Metric