Explore the vast range of titles available.

We present a new construction of the$p$-adic local Langlands correspondence for$\\operatorname{GL}_{2}(\\mathbb{Q}_{p})$via the patching method of Taylor–Wiles and Kisin. This construction sheds light on the relationship between the various other approaches to both the local and the global aspects of the$p$-adic Langlands program; in particular, it gives a new proof of many cases of the second author’s local–global compatibility theorem and relaxes a hypothesis on the local mod $p$representation in that theorem.

This study explores the tokenization of multitrack sheet music in ABC notation, introducing two methods--bar-stream and line-stream patching. We compare these methods against existing techniques, including bar patching, byte patching, and Byte Pair Encoding (BPE). In terms of both computational efficiency and the musicality of the generated compositions, experimental results show that bar-stream patching performs best overall compared to the others, which makes it a promising tokenization strategy for sheet music generation.

Patching is a common activity in software development. It is generally performed on a source code base to address bugs or add new functionalities. In this context, given the recurrence of bugs across projects, the associated similar patches can be leveraged to extract generic fix actions. While the literature includes various approaches leveraging similarity among patches to guide program repair, these approaches often do not yield fix patterns that are tractable and reusable as actionable input to APR systems. In this paper, we propose a systematic and automated approach to mining relevant and actionable fix patterns based on an iterative clustering strategy applied to atomic changes within patches. The goal of FixMiner is thus to infer separate and reusable fix patterns that can be leveraged in other patch generation systems. Our technique, FixMiner, leverages Rich Edit Script which is a specialized tree structure of the edit scripts that captures the AST-level context of the code changes. FixMiner uses different tree representations of Rich Edit Scripts for each round of clustering to identify similar changes. These are abstract syntax trees, edit actions trees, and code context trees. We have evaluated FixMiner on thousands of software patches collected from open source projects. Preliminary results show that we are able to mine accurate patterns, efficiently exploiting change information in Rich Edit Scripts. We further integrated the mined patterns to an automated program repair prototype, PARFixMiner, with which we are able to correctly fix 26 bugs of the Defects4J benchmark. Beyond this quantitative performance, we show that the mined fix patterns are sufficiently relevant to produce patches with a high probability of correctness: 81% of PARFixMiner’s generated plausible patches are correct.

Peer review is the driving force of journal development, and reviewers are gatekeepers who ensure that Antibiotics maintains its standards for the high quality of its published papers. Thanks to the cooperation of our reviewers, in 2020, the median time to first decision was 13.6 days and the median time to publication was 33 days. The editors would like to express their sincere gratitude to the following reviewers for their precious time and dedication, regardless of whether the papers were finally published: Abbina, Srinivas Liebman, Michael Abd El-Aziz, Tarek Mohamed Lin, Haishu Abdelmohsen, Usama Ramadan Lin, Hung-Yin Abdul-Aziz, Hafiz Lin, Weifeng Abia, Akebe Luther King Lin, Ying-Chi Abraham, Wolf-Rainer Lin, Yi-Tsung Abram, Maja Lin, Yusen Eason Abuillan, Wasim Linciano, Pasquale Abu-Niaaj, Lubna Lionetti, Vincenzo Adamczyk-Popławska, Monika Lipke, Peter Adamczyk-Woźniak, Agnieszka Lipman, Jeffrey Adewole, Deborah Lipner, Ettie M. Adhikari, Rajan Liu, Chung-Jung Adil, Mohd Liu, Jinxin Adriaenssens, Evelien Liu, Liangliang Afonso, Fernando Liu, Xiaoqiang Afrashtehfar, Kelvin Liu, Xiaoxi Agnieszka, Szopa Liu, Xiaoyun Agüero-Chapin, Guillermin Liu, Yang Aguilar-Caballos, María Paz Liu, Yanhong Ahern, Holly Liu, Yixiang Ahn, Juhee Liu, Zhiping Aimanianda, Vishukumar Llama-Palacios, Arancha Akabayov, Barak Lo Giudice, Giuseppe Akbar, Samina Løbner-Olesen, Anders Alafiatayo, Ruth Lodise, Thomas Alam, Md Kausar Lollobrigida, Marco Alam, Mohammad Abrar Loncaric, Igor Alao, John Patrick Londono, Berlin Albericio, Fernando Lopatkin, Allison J. Aldred, Katie Lopez Seijas, Jacobo Alduina, Rosa López, Kelly Johana Figueroa Alex, Anoop Lopez-Jornet, Pia Alfandari, Serge Łopusiewicz, Łukasz Älga, Andreas Lordan, Ronan Al-Hasan, Majdi N. Lorenzo-Gómez, Maria-Fernanda Alkan, Michael Loretz, Brigitta Allegaert, Karel Lounsbury, Nicole Almeida, Luis Eduardo Lous, Jørgen Alsager, Omar A. LOZNIEWSKI, Alain Alshabib, Ebtihal Lu, Shaoyong Alves, Diana Lubian, Alicia Fajardo Alves, Eliana Luce-Fedrow, Alison Amarelli, Cristiano Luciana, Rossi Ami, Diletta Ludwiczak, Agnieszka Anan, Go Lunge, Vagner Ricardo Anastasio, Aniello Lupi, Saturnino Marco Ancuceanu, Robert Lupien, Andréanne Anderegg, Ulf Lutter, Erika Andrade, José Carlos Lütticken, Rudolf Andreev, Konstantin M Ghazi, Islam Andrzej, Nowicki Ma, Chengbang Angelici, Maria Cristina Macori, Guerrino Angelillo, Italo Francesco Maddi, Abhiram Angelini, Paola Maggi, Filippo Angelova, Silvia Magiorkinis, Emmanouil Angiolella, Letizia Magnusson, Ulf Antolak, Hubert Mahan, Michael Antoñanzas, Fernando Mahato, Neelima Antunes, Joana Mainar-Jaime, Raúl C. Apostolakos, Ilias Maisetta, Giuseppantonio Arana, Ines Majewska, Anna Arancibia, Mirari Majewski, Sebastian Araniciu, Cătălin Majkowska-Skrobek, Grażyna Arastehfar, Amir Majtan, Juraj Arkadiusz, Dziedzic Majtner, Tomáš Armalyte, Julija Makarewicz, Wojciech Armengot-Carceller, Miguel Makvandi, Pooyan Arndt, Patrick G. Malagon, Francisco Arnscheidt, Joerg Maldonado, Juan Arslan, Muhammad Malik, Ravinder Artini, Marco Mallipeddi, Srikrishnan Artyukhin, Alex Malm, Anna Asahara, Haruyasu Malwal, Satish R. Asai, Tetsuo Mamouni, Kenza Asano, Naoki Man, Adrian Ashour, Hossam Manca, Maria Letizia Askes, Sven Manchester, Alison Aspatwar, Ashok Manchia, Mirko Athanassopoulos, Constantinos Mancianti, Francesca Atobe, Masakazu Mancuso, Monique Attili, Anna Rita Mangiaterra, Gianmarco Augustine, Swinburne A. J. Manna, Saikat Augustyniak, Adrian Manolescu, Loredana Sabina Cornelia Aung, Meiji Soe Mantadakis, Elpis Avrani, Sarit Mantzoukas, Spiridon Awad, Milena Maraolo, Alberto Enrico Ayoade, Folusakin Marc, Gabriel Azam, Aa Haeruman Marć, Małgorzata Anna Azzimonti, Barbara Maresca, Marc Babii, Oleg Mari, Michele Babulak, Eduard Márialigeti, Károly Bach, Horacio Marin, Elia Bąchor, Remigiusz Markovska, Rumyana Bachy, Christine M Markowicz-Piasecka, Magdalena Bae, Taeok Marques, Claudia Bagattini, Maria Marsot, Amélie Bai, Renren Martínez, José Luis Baig, Mohammad Hassan Martini, Cecilia Baindara, Piyush Martino, Piera Anna Bajusz, Dávid Marzuillo, Carolina Baker, Jonathon L. Mascellino, Maria Teresa Bakhit, Mina Masci, Valentina Laghezza Baldin, Clara Mascitti, Marco Baldy-Chudzik, Katarzyna Mashruwala, Ameya Balhaddad, Abdulrahman A. Massella, Daniele Ballini, Andrea Mateos, Jesús Banfi, Giuseppe Mathur, Harsh Bang, Jeong Kyu Matkowski, Adam Bankoti, Kamakshi Matowicka-Karna, Joanna Banks, Lori Matta, Murali Krishna Banskota, Arjun H. Mattila, Sari Barata, Pedro Mauritzen, Jesper Juel Barberis, Antonio Mayr, Johannes Barbosa, Raquel De Melo Mazumder, Kishor Barchitta, Martina Mazur, Marcelina Barciszewska, Anna-Maria Mazzone, Gloria Bardají, Eduard McEvoy, James Bar-Joseph, Moshe McFeeters, Robert Barlow, John McGee, Edo-abasi U. Barmparis, Georgios D. McIntosh, E. David G. Barnard, Ross T. McLean, Robert Barrasso, Roberta McMaughan, Darcy Bartosik, Aneta Agnieszka McVicker, Gareth Basavegowda, Nagaraj Meesters, Kevin Bassolé, Imaël Henri Nestor Menanteau-Ledouble, Simon Batoni, Giovanna Mendes, Rafael Battiato, Alfio Menzel, Lorenzo Batzias, Georgios Mercier, Corinne Baumann, Jean-Sébastien Mertas, Anna Baumgarten, Thomas Mesa, Francisco Beaurepaire, Alexis Meshram, Chetan Bednarczyk-Cwynar, Barbara Mesquita, João Bednárová, Lucie Messi, Patrizia Bednarski, Patrick J. Mestre, Ana S. Behzadi, Payam Meštrović, Tomislav Beier, Ross C. Metzinger, Laurent Belguesmia, Yanath Meyssonnier, Vanina Belitsky, Jason M. Mézes, Miklós Belyi, Yury Midwinter, Anne Benarba, Bachir Miguel, Trinidad De Bender, Kathryn Mihai, Mara Benedec, Daniela Milanova, Aneliya Benedetti, Francesca Milewski, Sławomir Benkő, Ria Minami, Masaaki Bennett, Noleen Minnelli, Cristina Benton, Angela H. Miotla, Pawel Bernal, Freddy Alexander Mirijello, Antonio Bernardi, Sara Mishra, Meerambika Bernardini, Giulia Mitchell, Miguel Bertelloni, Fabrizio Mitsea, Anastasia Berti, Andrew David Miyamoto, Hirotaka Bertoglio, Federico Miyanaga, Akimasa Berzins, Aivars Miyazaki, Motoyasu Bessa, Lucinda Mizuno, Cassia S Bessho, Kazuhisa Mlaga, Kodjovi D. Bettini, Simona Moawad, Amira A. Bevilacqua, Antonio Moffa, Matthew A. Bezirtzoglou, Eugenia Mofidfar, Mohammad BEZU, Lucillia Mognetti, Barbara Bhat, Kruttika Mohammed, Manal Bhattacharjee, Mrinal Mohanram, Harini Bhattacharya, Somanon Mohd Hanafiah, Khayriyyah Bi, Yang Mojsoska, Biljana Bialonska, Dobroslawa Möller, Sören Bianco, Armandodoriano Moloney, Mark G. Bielas, Rafał Mombelli, Andrea W. Bielenica, Anna Momin, Mohammad Abdul Motalib Bierbaum, G. Monaghan, Thomas Biernasiuk, Anna Moncalián, Gabriel Biezen, Ruby Monteiro, Cláudia Bikov, Andras Montiel, José María Bilal, Muhammad Morales Suárez-Varela, María M. Billamboz, Muriel Moran-Gilad, Jacob Birsa, Mihail Lucian Moreira, Cristiana Blatzer, Michael Morel, Chantal M. Błażewicz, Anna Morgenstern, Christian Bloch, Sylwia Morimoto, Kinjiro Bloemberg, Guido Morozova, Vera V. Bloise, Nora Morris, Andrew Conway Bochniarz, Mariola Morrissey, Hana Bocian, Aleksandra Morroni, Gianluca Boffano, Paolo Morse, Daniel Bogomolnaya, Lydia M. Mot, Augustin Bøgwald, Jarl Mourad, Ahmad Bohn, Erwin Mourão, Joana Bojinov, Bojin Mozos, Ioana Bok, Ewa Muccilli, Vera Bondoc, Ionel Mukherjee, Dwaipayan Bondon, Arnaud Mukherjee, Ratnadeep Bonelli, Francesca Mulinacci, Nadia Bongiorno, Dafne Muller, Cécile Bonifacio, Maria Addolorata Munang’andu, Hetron Mweemba Bookstaver, P. Brandon Munteanu, Florentina-Daniela Boomer, Jonathan S. Murakami, Teruo Borbas, Aniko Murias, Marek Boroń-Kaczmarska, Anna Murri, Rita Borrelli, Luca Musso, Ioana Bortoluzzi, Cristiano Muthu Karuppan, Mohan Kumar Borza, Tudor Mutreja, Isha Bosch, Christine Myung, Heejoon Bostik, Pavel Naber, Kurt Botelho, João Nagy, Miklós Bottomley, Amy Nair, Meera Surendran Boucher, Dave Nanjappa, Som G. Bouquillon, Sandrine Nante, Nicola Bourgeois, Denis Narra, Hema Prasad Bovera, Fulvia Navas, Jesús Bowden, Bruce Nazzaro, Filomena Bozzo, Giancarlo Neelakantan, Prasanna Bracher, Franz Nemeș, Roxana Maria Braczkowski, Ryszard Neo, Ana G. Brandt, Curtis Newman, DJ Braun, Serge Ng, Kenneth Kai-Sing Braun, Volkmar Nguyen, Trieu Bright, Richard Nicosia, Aldo Brillowska-Dąbrowska, Anna Nie, Chuanxiong Brischke, Christian Niedźwiedzka-Rystwej, Paulina Broecker, Felix Nielsen, Peter Eigil Broens, EM Nigro, Ersilia Brogi, Simone Nikolaivits, Efstratios Brown, Bryan R. Nikolaou, Elissavet Brown, Geoffrey Nikolova, Maria Brown, Teagan Nimse, Satish Balasaheb Brukner, Ivan Ning, Xuhui Brunel, Jean Michel Niu, Dongyan Brycki, Bogumil Niyonsaba, Dr. Francois Bucekova, Marcela Noh, Keumhan Buckner, Michelle Nohe, Anja Budachetri, Khemraj Nomoto, Ryohei Bugarin, Alejandro Nørskov-Lauritsen, Niels Buil, Jochem B. Nostro, Antonia Bujňáková, Dobroslava Novick, Richard P. Bukowski, Michal Novo-Veleiro, Ignacio Bulet, Philippe Nový, Pavel Bull, Jim Nowacka, Malgorzata Bungau, Simona Nowacka, Maria Buommino, Elisabetta Nowak, Adriana Burdukiewicz, Michał Nowakiewicz, Aneta Burger, Michael C Nowicka, Grażyna Burugupalli, Satvika Ntalli, Nikoletta G. Bushell, Michael Nüesch-Inderbinen, Magdalena Bustos-Martínez, Jaime Nyerges, Gyorgyi Butaye, Patrick Obreza, Aleš Butler, David Obuobi, Sybil Akua Okyerewa Buttimer, Colin O'Connor, Michael Buyle, Franky Odoch, Terence C. J. M. D. S. Menezes, José Oe, Makato Cacciotti, Ilaria Oechslin, Frank Cádiz-Gurrea, María De La Luz Oelschlaeger, Peter Caeiro, Maria Filomena Ogawa, Akiko Cafarchia, Claudia Ogórek, Rafał Caffrey, Patrick Ogrodowczyk, Anna Cai, Wenlong Oh, Jaeseong Caimano, Melissa J. Ohta, Naomi Cajal, Yolanda Okada, Yoshiharu Calcutt, Michael Okafor, Florence Caldara, Marina Okamoto, Masami Calendar, Richard Okorski, Adam Calina, Daniela Okunade, Adewole L. Callanan, Michael J. Olejníková, Petra Cama, Jehangir Oligbu, Godwin Cameron, David Robert Oliveira, David De Campana, Raffaella Olson, Linus Campos, Débora A. Omar, Ahmad A. Campos, Maria Jorge Geraldes Ong, Cheryl-lynn Caneiras, Cátia Onnis, Valentina Capasso, Raffae

MMC is one of the topology optimization methods that provides explicit boundary description of the optimized topology. However, due to the inherent nature of MMC, the obtained geometry could exhibit distinct local singularities. To cope with this issue, a non-parametric geometry patching technique for MMC is developed. A moving node patching technique for both 2D and 3D cases is developed in conjunction with MMC to obtain structures with smooth boundaries. Numerical examples in 2D and 3D are presented to demonstrate the effectiveness of the proposed approach.

The patching approach to security in the software industry has been less effective than desired. One critical issue with the status quo is that the endowment of “patching rights” (the ability for a user to choose whether security updates are applied) lacks the incentive structure to induce better security-related decisions. However, producers can differentiate their products based on the provision of patching rights. By characterizing the price for these rights, the optimal discount provided to those who relinquish rights and have their systems automatically updated in a timely manner, and the consumption and protection strategies taken by users in equilibrium as they strategically interact because of the security externality associated with product vulnerabilities, it is shown that the optimal pricing of these rights can segment the market in a manner that leads to both greater security and greater profitability. This policy greatly reduces unpatched populations and has a relative hike in profitability that is increasing in the extent to which patches are bundled together. Social welfare may decrease when automated patching costs are small because strategic pricing contracts usage in the market and also incentivizes loss-inefficient choices. However, welfare benefits when the policy either (1) greatly expands automatic updating in cases in which it is minimally observed or (2) significantly reduces the patching process burden of those who most value the software. This paper was accepted by Anandhi Bharadwaj, information systems.

This study explored the effect of compounding artificial hydraulic lime and silica fume for use as a sandstone grotto patching material. Different proportions of silica fume were added to hydraulic lime in lab tests, and their effects on the mortar’s physical and mechanical properties were studied. The results show that adding silica fume significantly increased the flexural and compressive strengths of the mortar and the shrinkage rate. A comparative analysis revealed that the comprehensive performance of the mortar reached the optimal state when the silica fume content was 10%. This met the strength requirements of repair materials for sandstone grottoes, as well as the control requirements regarding the shrinkage rate. Additionally, it demonstrated excellent weather resistance. This study’s results provide a scientific basis for the restoration of sandstone grottoes and the screening of an appropriate ratio of repair materials, which holds significant practical application value for the protection and reinforcement of stone relics.

Patching is one of the most common maintenance methods for potholes in roads. In order to improve the performance of cold-patching asphalt mixtures, an emulsified asphalt modified with waterborne epoxy resin was developed. Two waterborne epoxy resins and two curing agents were selected. The optimal experimental contents of the curing agents were obtained by measuring the compressive strength of the waterborne epoxy mortar (WEM) under different curing agent contents and curing period. The difference between the two waterborne epoxy resins was obtained by the flexural strength and stress–strain curves, which were measured by the modified bending test on the WEM. The evaluation method of the initial strength and forming strength of the waterborne epoxy emulsified asphalt mixture (WEEAM) was proposed by the experimental study of the compaction molding method and curing conditions. The high temperature performance, low temperature performance, and moisture susceptibility of the mixture were verified by comparing various kinds of WEEAM. The results show that using WEEAM as a road repair material has great advantages in improving pavement performance and road service levels.

γ-Aminobutyric acid (GABA)ergic inputs are strategically positioned to gate synaptic integration along the dendritic arbor of pyramidal cells. However, their spatiotemporal dynamics during behavior are poorly understood. Using an optical-tagging electrophysiological approach to record and label somatostatin-expressing (Sst) interneurons (GABAergic neurons specialized for dendritic inhibition), we discovered a layer-specific modulation of their activity in behaving mice. Sst interneuron subtypes, residing in different cortical layers and innervating complementary laminar domains, exhibited opposite activity changes during transitions to active wakefulness. The relative weight of vasoactive intestinal peptide–expressing (Vip) interneuron–mediated inhibition of distinct Sst interneurons and cholinergic modulation determined their in vivo activity. These results reveal a state-dependent laminar influence of Sst interneuron–mediated inhibition, with implications for the compartmentalized regulation of dendritic signaling in the mammalian neocortex.

In this manuscript, we study the LEO-DRO transfer trajectory design under the CRTBP, give the parameterization method for departure impulsive from LEO and insertion impulsive into DRO, along with dynamical models for parameterized variables. This paper proposes a database-driven transfer trajectory design method, generating feasible solutions through coarse trajectory patching and optimization. Unlike traditional Lambert problem-solving approaches, this method leverages large-scale databases to acquire superior initial guesses, thereby expanding the pool of feasible solutions. Numerical simulations demonstrate that selecting appropriate parameterized variable ranges yields more feasible solution candidates of coarse trajectory patching, which accelerate optimization convergence. Analysis of the Δvtol-TOF map reveals distinct transfer types. Single LGA transfer trajectory significantly reduce Δvtol but increase TOF. Comparisons between inner lunar flyby trajectories and outer lunar flyby trajectories quantify their velocity increments. Additionally, the frequency distribution of DRO insertion phases and associated Δvtol are statistically analyzed.