Catalogue Search | MBRL
Search Results Heading
Explore the vast range of titles available.
MBRLSearchResults
-
DisciplineDiscipline
-
Is Peer ReviewedIs Peer Reviewed
-
Item TypeItem Type
-
SubjectSubject
-
YearFrom:-To:
-
More FiltersMore FiltersSourceLanguage
Done
Filters
Reset
1,038
result(s) for
"Patching"
Sort by:
Patching and the -adic Langlands program for
2018
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.
Journal Article
Where's the Plan? Locating Latent Planning in Language Models with Lightweight Mechanistic Interventions
2026
We study planning site formation in language models -- where internal representations of structurally-constrained future tokens form during the forward pass, and whether they causally drive generation. Using rhyming-couplet completion as a clean test of forward-looking constraint, we apply two lightweight methods (linear probing and activation patching) across Qwen3, Gemma-3, and Llama-3 at more than ten scales. Probing shows that future-rhyme information is linearly decodable at the line boundary, with signal that strengthens with scale in all three families. Activation patching reveals that only Gemma-3-27B causally relies on this encoding, exhibiting a handoff in which the causal driver migrates from the rhyme word to the line boundary around layer 30. Every other model we test conditions on the rhyme word throughout generation, with near-zero causal effect at the line boundary despite strong probe signal. We localize the Gemma-3-27B handoff to five attention heads through two-stage path patching that recover ~90% of the rhyme-routing capacity at the newline.
Research on the mix proportion design method for cold-patching asphalt mixtures based on high-temperature performance reliability
2026
This study adopts a reliability-based methodology to characterize and derive performance indicators for the high-temperature behavior of cold-mix asphalt mixtures. Consequently, a set of high-temperature performance indicators grounded in reliability principles is established. A set of 30 SMA-13 gradations was first designed. Based on these, high-temperature performance tests were then conducted on the corresponding cold-patching asphalt mixtures. A relational model between gradation and high-temperature performance was established, and a mix proportion design was carried out based on reliability indicators, providing a reference for engineering design.
Journal Article
Exploring Tokenization Methods for Multitrack Sheet Music Generation
2024
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.
FixMiner: Mining relevant fix patterns for automated program repair
2020
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.
Journal Article
Sex as a biological variable in amblyopia: implications for developmental plasticity and treatment
by
Monteiro, Leanne
,
Panday, Maheshwar
,
Murphy, Kathryn M.
in
amblyopia
,
Animal models
,
Children
2026
Amblyopia is a common childhood visual disorder caused by abnormal visual experience that drives visual cortical plasticity during the sensitive period. The timing and forms of treatment with patching therapy and other therapeutic interventions have been extensively studied; however, sex has not been a primary focus in studies examining amblyopia. This mini-review synthesizes evidence for sex differences across levels of analysis, from typical visual development to animal models of amblyopia and human studies of amblyopia incidence and treatment. In addition, it highlights latent sex differences in plasticity mechanisms that may provide insights for future visual neuroscience studies of amblyopia. These findings highlight a key concept: visual outcomes may appear similar yet depend on different mechanisms in females and males, potentially influencing the durability of recovery. We discuss a framework to advance a sex-aware research pipeline for amblyopia, spanning basic, preclinical, and clinical/translational research.
Journal Article
Acknowledgment to Reviewers of Antibiotics in 2020
2021
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
Journal Article
Non-parametric geometry patching technique for MMC topology optimization
by
Guo, Xu
,
Zhang, Weisheng
,
Zhang, Shengqi
in
Algorithms
,
Computational Mathematics and Numerical Analysis
,
Design
2024
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.
Journal Article
Market Segmentation and Software Security: Pricing Patching Rights
by
Kim, Kihoon
,
August, Terrence
,
Dao, Duy
in
Backup software
,
Business schools
,
Computer software industry
2019
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.
Journal Article
Study on the In-Laboratory Screening of Sandstone Grotto Patching Materials Based on Hydraulic Lime
2025
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.
Journal Article