While pre-trained language models (LM) for code have achieved great success in code completion, they generate code conditioned only on the contents within the file, i.e., in-file context, but ignore the rich semantics in other files within the same project, i.e., cross-file context, a critical source of information that is especially useful in modern modular software development. Such overlooking constrains code language models' capacity in code completion, leading to unexpected behaviors such as generating hallucinated class member functions or function calls with unexpected arguments. In this work, we develop a cross-file context finder tool, CCFINDER, that effectively locates and retrieves the most relevant cross-file context. We propose CoCoMIC, a framework that incorporates cross-file context to learn the in-file and cross-file context jointly on top of pretrained code LMs. CoCoMIC successfully improves the existing code LM with a 33.94% relative increase in exact match and a 28.69% relative increase in identifier matching for code completion when the cross-file context is provided.
Members of the Co-ordinating Committee for Multilateral Export Controls (COCOM) agreed to disband this ‘economic arm of NATO’ as of March 1994. Despite the demise of COCOM, member states agreed to continue applying their existing export control policies and, in December 1995, replaced COCOM with the Wassenaar Arrangement on Export Controls for Conventional Arms and Dual-Use Goods and Technologies. Such actions are in contrast to conventional views about a likely decline in co-operation among COCOM members with the end of the Soviet threat. After providing a brief history of COCOM operations, we derive six categories of multilateral co-operative behaviours and assess evidence for COCOM in each category for two five-year periods, 1985–89 and 1990–94. We find that multilateral co-operation in this security institution not only increased in most categories in the last years of the Cold War, but increased in every category after 1989. We then review the possible explanations for the increase in co-operation, and find that the emergence of a liberal community identity among COCOM members explains this outcome better than more conventional theoretical approaches.
暂无摘要（点击查看详情）
暂无摘要（点击查看详情）
暂无摘要（点击查看详情）
暂无摘要（点击查看详情）
暂无摘要（点击查看详情）
暂无摘要（点击查看详情）
暂无摘要（点击查看详情）
暂无摘要（点击查看详情）
暂无摘要（点击查看详情）
暂无摘要（点击查看详情）
We study the free PROP $\mathrm{Syn}(δ)$ on a single binary generator $δ:1\to 2$. The ancestry functor $Π:\mathrm{Syn}(δ)\to \mathrm{FinCorel}$, defined by connected components of the underlying undirected string diagram, has image the sub-PROP $\mathrm{FinCorel}^{\circ}$ of finite corelations whose equivalence classes contain exactly one input and at least one output. The induced quotient [ \mathrm{AncQ}:=\mathrm{Syn}(δ)/\ker(Π) ] is equivalent as a PROP to $\mathrm{Cocom}$, the PROP for non-counital cocommutative comonoids. We then locate this primitive construction inside the standard cospan/corelation framework: $\mathrm{Cospan}(\mathcal B)$ realizes pushout-style gluing as a free hypergraph category; $\mathrm{Cospan}(\mathrm{FinSet})$ collapses under jointly epic corestriction to $\mathrm{FinCorel}$, the PROP for extraspecial commutative Frobenius monoids; and the Yoneda envelope [ \mathcal W=\mathrm{Fun}(\mathrm{FinCorel}^{op},\mathrm{Spc}) ] is a presheaf $\infty$-topos carrying the standard subobject, modality, and monotone fixed-point apparatus. The PROP-level identification $\mathrm{AncQ}\simeq \mathrm{Cocom}$ is the only result claimed as new; the remaining material is o
In this work, we present a construction of a cluster state lattice Hamiltonian that exhibits the symmetry of the Ising fusion algebra. This construction is formulated within the framework of weak Hopf symmetry topological field theory (SymTFT), where we assign smooth and rough boundaries to the weak Hopf quantum double model, thereby extending the conventional cluster state model. Central to our construction is the weak Hopf Ising boundary tube algebra $\mathcal{T}_{\mathsf{Ising}}$, whose representation category is equivalent to the Ising fusion category $\mathsf{Ising}$. We take this algebra as the input data for the weak Hopf quantum double model. The resulting model exhibits Ising fusion symmetry on both open and closed $1\text{d}$ manifolds. On open manifolds, the symmetry is governed by $\mathcal{T}_{\mathsf{Ising}} \otimes \mathcal{T}_{\mathsf{Ising}}^{\vee}$; on closed manifolds, it reduces to $\operatorname{Cocom}(\mathcal{T}_{\mathsf{Ising}}) \otimes \operatorname{Cocom}(\mathcal{T}_{\mathsf{Ising}}^{\vee})$. Since the Ising fusion algebra embeds into $\operatorname{Cocom}(\mathcal{T}_{\mathsf{Ising}}^{\vee})$, the model faithfully realizes the symmetry of the Ising fusio
Retrieval-Augmented Generation (RAG) allows overcoming the limited knowledge of LLMs by extending the input with external information. As a consequence, the contextual inputs to the model become much longer which slows down decoding time directly translating to the time a user has to wait for an answer. We address this challenge by presenting COCOM, an effective context compression method, reducing long contexts to only a handful of Context Embeddings speeding up the generation time by a large margin. Our method allows for different compression rates trading off decoding time for answer quality. Compared to earlier methods, COCOM allows for handling multiple contexts more effectively, significantly reducing decoding time for long inputs. Our method demonstrates a speed-up of up to 5.69 $\times$ while achieving higher performance compared to existing efficient context compression methods.
Software quality estimation is a challenging and time-consuming activity, and models are crucial to face the complexity of such activity on modern software applications. In this context, software refactoring is a crucial activity within development life-cycles where requirements and functionalities rapidly evolve. One main challenge is that the improvement of distinctive quality attributes may require contrasting refactoring actions on software, as for trade-off between performance and reliability (or other non-functional attributes). In such cases, multi-objective optimization can provide the designer with a wider view on these trade-offs and, consequently, can lead to identify suitable refactoring actions that take into account independent or even competing objectives. In this paper, we present an approach that exploits NSGA-II as the genetic algorithm to search optimal Pareto frontiers for software refactoring while considering many objectives. We consider performance and reliability variations of a model alternative with respect to an initial model, the amount of performance antipatterns detected on the model alternative, and the architectural distance, which quantifies the eff
NASA’s Lucy spacecraft discovered that asteroid Donaldjohanson is a wobbling, peanut-shaped relic born from a violent collision and slowly reshaped by the subtle force of sunlight。 It also carries traces of ancient water, making it an important clue to the solar system’s mysterious past
NASA is marking the United States' 250th birthday with four striking red, white, and blue images of deep space from the Chandra X-ray Observatory。 The collection features an exploded star, a stellar nursery, a galaxy where stars are rapidly forming, and a galaxy cluster that provides evidence for dark matter