Search

Your search keyword '"Bonet, Maria"' showing total 489 results
Start Over Author "Bonet, Maria"
489 results on '"Bonet, Maria"'

4. Performance Assessment for Artificial Intelligence-Based Data Analysis in Ultrasonic Guided Wave-Based Inspection: A Comparison to Classic Path-Based Probability of Detection

Author

Mueller, Inka, Freitag, Steffen, Memmolo, Vittorio, Moix-Bonet, Maria, Möllenhoff, Kathrin, Golub, Mikhail, Venkat, Ramanan Sridaran, Lugovtsova, Yevgeniya, Eremin, Artem, Moll, Jochen, Tschöke, Kilian, di Prisco, Marco, Series Editor, Chen, Sheng-Hong, Series Editor, Vayas, Ioannis, Series Editor, Kumar Shukla, Sanjay, Series Editor, Sharma, Anuj, Series Editor, Kumar, Nagesh, Series Editor, Wang, Chien Ming, Series Editor, Rizzo, Piervincenzo, editor, and Milazzo, Alberto, editor

Published
2023
Full Text
View/download PDF

5. A Model-Assisted Case Study Using Data from Open Guided Waves to Evaluate the Performance of Guided Wave-Based Structural Health Monitoring Systems

Author

Tschöke, Kilian, Mueller, Inka, Memmolo, Vittorio, Venkat, Ramanan Sridaran, Golub, Mikhail, Eremin, Artem, Moix-Bonet, Maria, Möllenhoff, Kathrin, Lugovtsova, Yevgeniya, Moll, Jochen, Freitag, Steffen, di Prisco, Marco, Series Editor, Chen, Sheng-Hong, Series Editor, Vayas, Ioannis, Series Editor, Kumar Shukla, Sanjay, Series Editor, Sharma, Anuj, Series Editor, Kumar, Nagesh, Series Editor, Wang, Chien Ming, Series Editor, Rizzo, Piervincenzo, editor, and Milazzo, Alberto, editor

Published
2023
Full Text
View/download PDF

6. Exploring Perspectives, Negotiating Computer-Mediated Landscapes, and Integrating Technology in Linguistically and Culturally-Diverse Learning Spaces

Author

López-Estrada, Patricia, Rodríguez, Prisca, and Bonet, Maria

Abstract

Global trends in the 21st century highlight the importance and necessity of technology use for students to demonstrate their learning processes, thus facilitating their language learning in meaningful technological contexts (Eaton, 2010). This paper seeks to address some issues dealing with the importance of technology in relation to second language learning and teaching, including the benefits, challenges, considerations, and perceptions of teaching with technology. The purpose of this paper is threefold. First, it explores technology in education as it has been commonly construed, challenged, and used. Secondly, it presents technology in education ideas to second language learning, and discusses some benefits and challenges implicit in the interaction of both. Lastly, it shares ways in which the authors, all currently working in diverse educational contexts, have implemented some of the free resources that they collaboratively compiled in an online LiveBinder.

Published
2019

7. Performance Assessment for Artificial Intelligence-Based Data Analysis in Ultrasonic Guided Wave-Based Inspection: A Comparison to Classic Path-Based Probability of Detection

Author

Mueller, Inka, primary, Freitag, Steffen, additional, Memmolo, Vittorio, additional, Moix-Bonet, Maria, additional, Möllenhoff, Kathrin, additional, Golub, Mikhail, additional, Venkat, Ramanan Sridaran, additional, Lugovtsova, Yevgeniya, additional, Eremin, Artem, additional, Moll, Jochen, additional, and Tschöke, Kilian, additional

Published
2022
Full Text
View/download PDF

8. A Model-Assisted Case Study Using Data from Open Guided Waves to Evaluate the Performance of Guided Wave-Based Structural Health Monitoring Systems

Author

Tschöke, Kilian, primary, Mueller, Inka, additional, Memmolo, Vittorio, additional, Venkat, Ramanan Sridaran, additional, Golub, Mikhail, additional, Eremin, Artem, additional, Moix-Bonet, Maria, additional, Möllenhoff, Kathrin, additional, Lugovtsova, Yevgeniya, additional, Moll, Jochen, additional, and Freitag, Steffen, additional

Published
2022
Full Text
View/download PDF

9. Scale-Free Random SAT Instances

Author

Ansótegui, Carlos, Bonet, Maria Luisa, and Levy, Jordi

Subjects
Computer Science - Computational Complexity, Mathematics - Combinatorics, Mathematics - Probability
Abstract

We focus on the random generation of SAT instances that have properties similar to real-world instances. It is known that many industrial instances, even with a great number of variables, can be solved by a clever solver in a reasonable amount of time. This is not possible, in general, with classical randomly generated instances. We provide a different generation model of SAT instances, called \emph{scale-free random SAT instances}. It is based on the use of a non-uniform probability distribution $P(i)\sim i^{-\beta}$ to select variable $i$, where $\beta$ is a parameter of the model. This results into formulas where the number of occurrences $k$ of variables follows a power-law distribution $P(k)\sim k^{-\delta}$ where $\delta = 1 + 1/\beta$. This property has been observed in most real-world SAT instances. For $\beta=0$, our model extends classical random SAT instances. We prove the existence of a SAT-UNSAT phase transition phenomenon for scale-free random 2-SAT instances with $\beta<1/2$ when the clause/variable ratio is $m/n=\frac{1-2\beta}{(1-\beta)^2}$. We also prove that scale-free random k-SAT instances are unsatisfiable with high probability when the number of clauses exceeds $\omega(n^{(1-\beta)k})$. %This implies that the SAT/UNSAT phase transition phenomena vanishes when $\beta>1-1/k$, and formulas are unsatisfiable due to a small core of clauses. The proof of this result suggests that, when $\beta>1-1/k$, the unsatisfiability of most formulas may be due to small cores of clauses. Finally, we show how this model will allow us to generate random instances similar to industrial instances, of interest for testing purposes.

Published
2017
Full Text
View/download PDF

11. Equivalence Between Systems Stronger Than Resolution

Author

Bonet, Maria Luisa, Levy, Jordi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Pulina, Luca, editor, and Seidl, Martina, editor

Published
2020
Full Text
View/download PDF

13. Community Structure in Industrial SAT Instances

Author

Ansótegui, Carlos, Bonet, Maria Luisa, Giráldez-Cru, Jesús, Levy, Jordi, and Simon, Laurent

Subjects
Computer Science - Artificial Intelligence, Computer Science - Social and Information Networks
Abstract

Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental process. It is believed that these techniques exploit the underlying structure of industrial instances. However, there are few works trying to exactly characterize the main features of this structure. The research community on complex networks has developed techniques of analysis and algorithms to study real-world graphs that can be used by the SAT community. Recently, there have been some attempts to analyze the structure of industrial SAT instances in terms of complex networks, with the aim of explaining the success of SAT solving techniques, and possibly improving them. In this paper, inspired by the results on complex networks, we study the community structure, or modularity, of industrial SAT instances. In a graph with clear community structure, or high modularity, we can find a partition of its nodes into communities such that most edges connect variables of the same community. In our analysis, we represent SAT instances as graphs, and we show that most application benchmarks are characterized by a high modularity. On the contrary, random SAT instances are closer to the classical Erd\"os-R\'enyi random graph model, where no structure can be observed. We also analyze how this structure evolves by the effects of the execution of a CDCL SAT solver. In particular, we use the community structure to detect that new clauses learned by the solver during the search contribute to destroy the original structure of the formula. This is, learned clauses tend to contain variables of distinct communities.

Published
2016
Full Text
View/download PDF

14. Dataset on full ultrasonic guided wavefield measurements of a CFRP plate with fully bonded and partially debonded omega stringer

Author

Kudela Pawel, Radzienski Maciej, Moix-Bonet Maria, Willberg Christian, Lugovtsova Yevgeniya, Bulling Jannis, Tschöke Kilian, and Moll Jochen

Subjects
Lamb waves, Composite panel, Impact damage, Damage detection, Scanning laser Doppler vibrometry, Structural Health Monitoring, Computer applications to medicine. Medical informatics, R858-859.7, Science (General), Q1-390
Abstract

The fourth dataset dedicated to the Open Guided Waves platform [1] presented in this work aims at a carbon fiber composite plate with an additional omega stringer at constant temperature conditions. The dataset provides full ultrasonic guided wavefields. Two types of signals were used for guided wave excitation, namely chirp signal and tone-burst signal. The chirp signal had a frequency range of 20–500 kHz. The tone-burst signals had a form of sine modulated by Hann window with 5 cycles and carrier frequencies 16.5 kHz, 50 kHz, 100 kHz, 200 kHz, 300 kHz. The piezoceramic actuator used for this purpose was attached to the center of the stringer side surface of the core plate. Three scenarios are provided with this setup: (1) wavefield measurements without damage, (2) wavefield measurements with a local stringer debond and (3) wavefield measurements with a large stringer debond. The defects were caused by impacts performed from the backside of the plate. As result, the stringer feet debonds locally which was verified with conventional ultrasound measurements.

Published
2022
Full Text
View/download PDF

15. Short Proofs of the Kneser-Lov\'asz Coloring Principle

Author

Aisenberg, James, Bonet, Maria Luisa, Buss, Sam, Crãciun, Adrian, and Istrate, Gabriel

Subjects
Mathematics - Logic, Computer Science - Logic in Computer Science, 03F20, 05C15, F.4.1, F.2.2
Abstract

We prove that the propositional translations of the Kneser-Lov\'asz theorem have polynomial size extended Frege proofs and quasi-polynomial size Frege proofs. We present a new counting-based combinatorial proof of the Kneser-Lov\'asz theorem that avoids the topological arguments of prior proofs for all but finitely many cases for each k. We introduce a miniaturization of the octahedral Tucker lemma, called the truncated Tucker lemma: it is open whether its propositional translations have (quasi-)polynomial size Frege or extended Frege proofs., Comment: This is a paper to appear in ICALP 2015, plus two appendices

Published
2015

16. DRMaxSAT with MaxHS: First Contact

Author

Morgado, Antonio, Ignatiev, Alexey, Bonet, Maria Luisa, Marques-Silva, Joao, Buss, Sam, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Janota, Mikoláš, editor, and Lynce, Inês, editor

Published
2019
Full Text
View/download PDF

19. Improved Separations of Regular Resolution from Clause Learning Proof Systems

Author

Bonet, Maria Luisa, Buss, Sam, and Johannsen, Jan

Subjects
Computer Science - Logic in Computer Science, Mathematics - Logic, 03F20, 03B35, 68T15, 68Q99, F.4.1, I.2.3
Abstract

We prove that the graph tautology formulas of Alekhnovich, Johannsen, Pitassi, and Urquhart have polynomial size pool resolution refutations that use only input lemmas as learned clauses and without degenerate resolution inferences. We also prove that these graph tautology formulas can be refuted by polynomial size DPLL proofs with clause learning, even when restricted to greedy, unit-propagating DPLL search. We prove similar results for the guarded, xor-fied pebbling tautologies which Urquhart proved are hard for regular resolution., Comment: 40 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:1202.2296

Published
2012

20. An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning

Author

Bonet, Maria Luisa and Buss, Sam

Subjects
Computer Science - Logic in Computer Science, Mathematics - Logic, 03F20, 03B35, 68T15, 68Q99
Abstract

We prove that the graph tautology principles of Alekhnovich, Johannsen, Pitassi and Urquhart have polynomial size pool resolution refutations that use only input lemmas as learned clauses and without degenerate resolution inferences. We also prove that these graph tautology principles can be refuted by polynomial size DPLL proofs with clause learning, even when restricted to greedy, unit-propagating DPLL search.

Published
2012

21. The Complexity of Finding Multiple Solutions to Betweenness and Quartet Compatibility

Author

Bonet, Maria Luisa, Linz, Simone, and John, Katherine St.

Subjects
Quantitative Biology - Populations and Evolution, Computer Science - Computational Complexity, Computer Science - Data Structures and Algorithms
Abstract

We show that two important problems that have applications in computational biology are ASP-complete, which implies that, given a solution to a problem, it is NP-complete to decide if another solution exists. We show first that a variation of Betweenness, which is the underlying problem of questions related to radiation hybrid mapping, is ASP-complete. Subsequently, we use that result to show that Quartet Compatibility, a fundamental problem in phylogenetics that asks whether a set of quartets can be represented by a parent tree, is also ASP-complete. The latter result shows that Steel's \sc Quartet Challenge, which asks whether a solution to Quartet Compatibility is unique, is coNP-complete., Comment: 25 pages, 7 figures

Published
2011

26. Contributors

Author

Abete, Itziar, primary, Agirre, Xabier, additional, Ahlgren, Jennie, additional, Alkorta-Aranburu, Gorka, additional, Aller, Rocío, additional, Andres-Lacueva, Cristina, additional, Antonio de Luis, Daniel, additional, Babino, Darwin, additional, Bar-El Dadon, Shimrit, additional, Bonet, Maria Luisa, additional, Bordoni, Laura, additional, Borel, Patrick, additional, Bosch, Annet M., additional, Brown, Steven, additional, Busso, Dolores, additional, Calabriso, Nadia, additional, Capurso, Antonio, additional, Capurso, Cristiano, additional, Cariello, Marica, additional, Carluccio, Maria Annunziata, additional, Casas-Agustench, Patricia, additional, Cheatham, Carol L., additional, Chirita-Emandi, Adela, additional, Chittoor, Geetha, additional, Choi, Myung-Sook, additional, Choi, Sang-Woon, additional, Cordero, Paul, additional, Corrales, Fernando J., additional, Cortés, Víctor, additional, Cross, Nicholas C.P., additional, Crujeiras, Ana B., additional, Curi, Rui, additional, De Caterina, Raffaele, additional, de Lorenzo, David, additional, Desmarchelier, Charles, additional, Dong, Olivia, additional, Estruch, Ramón, additional, Ezponda, Teresa, additional, Fenech, Michael, additional, Ferguson, Lynnette R., additional, Fischer, Karina, additional, Fontana, Luigi, additional, Friso, Simonetta, additional, Gabbianelli, Rosita, additional, Garaulet, Marat, additional, Garcia-Irigoyen, Oihane, additional, Gil, Angel, additional, Gómez-Abellán, Purificación, additional, Görman, Ulf, additional, Harris, William S., additional, Hernandez-Vazquez, Alain de J., additional, Hugenholtz, Paul, additional, Hyde, Lara K., additional, Ibáñez, Clara, additional, Izaola, Olatz, additional, Jones, Peter J.H., additional, Kirwan, Richard, additional, Kohlmeier, Martin, additional, Krupenko, Natalia I., additional, Kwon, Eun-Young, additional, Lamming, Dudley W., additional, Lamuela-Raventos, Rosa M., additional, Langin, Dominique, additional, Langley-Evans, Simon, additional, Lira do Amaral, Cátia, additional, Lopez-Minguez, Jesus, additional, Madonna, Rosalinda, additional, Mansego, Maria L., additional, Marotz, Clarisse, additional, Martinez, J. Alfredo, additional, Massaro, Marika, additional, McRitchie, Susan, additional, Mesmar, Bayan, additional, Milagro, Fermín I., additional, Moreno-Aliaga, María J., additional, Moreno-Indias, Isabel, additional, Moschetta, Antonio, additional, Navas-Carretero, Santiago, additional, Niculescu, Mihai, additional, Nordström, Karin, additional, Novo, Francisco J., additional, Oben, Jude A., additional, Odriozola, Leticia, additional, Ordovas, Jose M., additional, Palou, Andreu, additional, Parslow, Virginia R., additional, Pathmasiri, Wimal, additional, Pérez-Castrillón, José Luis, additional, Pérusse, Louis, additional, Piccinin, Elena, additional, Plaza-Diaz, Julio, additional, Prósper, Felipe, additional, Qi, Lu, additional, Ralston, Jessica C., additional, Ramírez de Molina, Ana, additional, Rasti, George, additional, Reifen, Ram, additional, Renda, Giulia, additional, Riancho, José A., additional, Riancho del Moral, José Antonio, additional, Rivadeneira, Fernando, additional, Roche, Helen M., additional, Ruiz-Mambrilla, Marta, additional, Ruiz-Ojeda, Francisco Javier, additional, Salas-Pérez, Francisca, additional, San-Cristobal, Rodrigo, additional, Santander, Nicolás, additional, Santos, José L., additional, Saupe, Jörg, additional, Scoditti, Egeria, additional, Serhan, Charles N., additional, Simonet, Nicolas G., additional, Simopoulos, Artemis P., additional, Steinle, Nanette, additional, Sumner, Susan C.J., additional, Tinahones, Francisco J., additional, Vaquero, Alejandro, additional, Vazquez-Vidal, Itzel, additional, Velazquez-Arellano, Antonio, additional, Viguerie, Nathalie, additional, Vinciguerra, Manlio, additional, Visioli, Francesco, additional, Vizmanos, José L., additional, von Lintig, Johannes, additional, Voruganti, Venkata Saroja, additional, Wanders, Ronald J.A., additional, Wang, Tiange, additional, Wiltshire, Tim, additional, Yu, Deyang, additional, Zarrinpar, Amir, additional, Zeisel, Steven H., additional, and Zulet, Maria Angeles, additional

Published
2020
Full Text
View/download PDF

31. Lipoprotein(a) concentrations in rheumatoid arthritis on biologic therapy: Results from the CARdiovascular in rheuMAtology study project

Author

de Rábago, Eugenia Gonzalez, Blanco Morales, Elena Alonso, Fernández López, J. Carlos, Villar, Natividad Oreiro, Sandoval, Antonio Atanes, Blanco García, Francisco J., De Miquel, Cayetano Alegre, González Fernández, María J., Codina, Ramón Huguet, Yoldi, Beatriz, Ramentol, Mercedes, Ávila, Gabriela, Barril, Sara Marsal, Steiner, Martina, Muñoz, Santiago, Gamero, Fernando, Torón, José García, Moreno Gil, María P., Mas, Antonio J., Espiño, Pilar, Ros, Inmaculada, Ibañez, Mónica, Murillo, Claudia, Piqueras, José A., Sanmartí, Raimon, Berman, Horacio, Cabrera, Sonia, Ruiz, Virginia, Patón, Oscar Fontseré, Gutiérrez, Benjamín Fernández, Abasolo, Lydia, Fábregas, María D., Nolla, Joan M., Arias, Miriam García, García Vadillo, Jesús A., de Vicuña, Rosario García, Nebro, Antonio Fernández, Belmonte López, Maria Angeles, Ureña, Inmaculada, Irigoyen, María V., Cagigal, Virginia Coret, González, Ruth López, Garrido, Daniel Pielfort, Alvarez, Juana Sampedro, García Aparicio, Ángel María, Gómez, Rebeca Belmonte, Bautista, Pastora Granados, Sanz, Azucena Hernández, Sánchez González, Carmen O., Bachiller, Javier, Zea, Antonio, Manero, Francisco J., Zorzo, Fernando Jimenez, Ubeda, Eugenio Giménez, Gracía, Jesús Marzo, Audera, Chesús Beltrán, Medrano, Marta, Pecondón, Ángela, Erausquin, Celia, Ojeda, Soledad, Quevedo, Juan Carlos, Francisco, Félix, Lozano, Carlos Rodríguez, Herráez, Jesús Babío, López Longo, Francisco J., Gerona, Delia, Fernández, Carlos González, Carreño, Luis, Monteagudo, Indalecio, del Pino, Javier, Sánchez González, María Dolores, Corrales, Alfonso, Peiró, María Enriqueta, Senabre, José M., Rosas, José C., Rotés, Isabel, Moreno, Estefanía, Erra, Alba, Grado, Dolors, Calvo, Javier, Rueda, Amalia, Möller, Ingrid, Rodríguez, Isabel, Barbadillo, Carmen, Raya, Enrique, Morales, Pilar, Nieto, Ana, Jiménez, Inmaculada, magro, Cesar, Escribano, Ana Ruibal, Expósito, Sergio Ros, Nievas, Ginés Sánchez, Navarro, Enrique Júdez, Fernández, Manuela Sianes, García Morales, María Ángeles, Bastero, Isabel Labiano, Consuegra, Gloria García, Palmou, Natalia, Pardo, Silvia Martínez, Pujol, Manel, Alonso, Elena Riera, Salvador, Georgina, Alvarez, Beatriz González, Cantabrana, Alberto, Bustabad, Sagrario, Delgado, Esmeralda, Muñoz, Alejandro, Montero, Sergio Rodríguez, Jiménez, Luis María, Redondo, Javier Rivera, Hernández, Teresa González, González Polo, Francisco J., Almagro, Raúl Menor, Moreno, José M., Serret, Emilio Giner, Barroso, Carla Lannuzzelli, Méndez, Laura Cebrián, Navío, María Teresa, Carballido, Cristina Fernández, Pagán, Encarnación, del Castillo, Pablo Mesa, Naredo, Esperanza, Cruz, Ana, Turrión, Ana, Mateo, Isabel, Sánchez, Julio, Galindo, María, González, Javier García, Collantes, Eduardo, Ruíz, Desireé, Font, Pilar, Bonilla, Gema, Meseguer, Antonio López, Moreno, Manuel J., Martínez, M<ce:sup loc='post">a</ce:sup> José Moreno, Fernández, M<ce:sup loc='post">a</ce:sup> Dolores Beteta, Linares, Luis F., Morcillo, Mercedes, González Gómez, María L., Aramburu, José M., Rivera, Natalia A., Berrizbeitia, Olaia Fernández, García Vivar, María Luz, Riera, Manel, León, Yolanda María, Maymó, Joan, Amirall, Miriam, Escolano, Silvia Iniesta, Serrano, Silvia Sánchez, Lis Bona, María Pilar, Fiter, Jordi, Melón, Julia Fernández, Espadaler, Luis, Maiz, Olga, Belzunegui, Joaquín, Bañegil, Inmaculada, Díaz, César, Valls, Ramón, Castellví, Iván, Bonet, María, Ruzafa, Estefania Moreno, Alen, Jaime Calvo, Sandoval, Trinidad Pérez, Evrard, Eva Revuelta, Godo, Javier R., Espartero, Cruz Fernández, Navarro Blasco, Francisco J., González, José Antonio, Miranda-Filloy, José A., García-Gómez, Carmen, Martín-Martínez, Maria A., Castañeda, Santos, Sanchez-Alonso, Fernando, Uriarte-Ecenarro, Miren, González-Juanatey, Carlos, Romera-Baures, Montserrat, Santos-Rey, José, Pinto-Tasende, José Antonio, Quesada-Masachs, Estefanía, Tornero-Molina, Jesús, Martínez-González, Olga, Cobo-Ibáñez, Tatiana, Chamizo-Carmona, Eugenio, Manrique-Arija, Sara, Fábregas-Canales, Dolores, Díaz-González, Federico, Llorca, Javier, and González-Gay, Miguel A.

Published
2017
Full Text
View/download PDF

32. Weighted, Circular and Semi-Algebraic Proofs.

Author

Bonacina, Ilario, Luisa Bonet, Maria, and Levy, Jordi

Subjects
PROOF theory, SEMIALGEBRAIC sets, COEFFICIENTS (Statistics), MATHEMATICAL models, COMPUTER algorithms
Abstract

In recent years there has been an increasing interest in studying proof systems stronger than Resolution, with the aim of building more efficient SAT solvers based on them. In defining these proof systems, we try to find a balance between the power of the proof system (the size of the proofs required to refute a formula) and the difficulty of finding the proofs. In this paper we consider the proof systems circular Resolution, Sherali-Adams, Nullstellensatz and Weighted Resolution and we study their relative power from a theoretical perspective. We prove that circular Resolution, Sherali-Adams and Weighted Resolution are polynomially equivalent proof systems. We also prove that Nullstellensatz is polynomially equivalent to a restricted version of Weighted Resolution. The equivalences carry on also for versions of the systems where the coefficients/weights are expressed in unary. The practical interest in these systems comes from the fact that they admit efficient algorithms to find proofs in case these have small width/degree. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

35. Polynomial Calculus for MaxSAT

Author

Bonacina, Ilario, Bonet, Maria Luisa, Levy, Jordi, Bonacina, Ilario, Bonet, Maria Luisa, and Levy, Jordi

Abstract

MaxSAT is the problem of finding an assignment satisfying the maximum number of clauses in a CNF formula. We consider a natural generalization of this problem to generic sets of polynomials and propose a weighted version of Polynomial Calculus to address this problem. Weighted Polynomial Calculus is a natural generalization of MaxSAT-Resolution and weighted Resolution that manipulates polynomials with coefficients in a finite field and either weights in ? or ?. We show the soundness and completeness of these systems via an algorithmic procedure. Weighted Polynomial Calculus, with weights in ? and coefficients in ??, is able to prove efficiently that Tseitin formulas on a connected graph are minimally unsatisfiable. Using weights in ?, it also proves efficiently that the Pigeonhole Principle is minimally unsatisfiable.

Published
2023
Full Text
View/download PDF

37. The Fractal Dimension of SAT Formulas

Author

Ansótegui, Carlos, Bonet, Maria Luisa, Giráldez-Cru, Jesús, Levy, Jordi, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Tanaka, Yuzuru, editor, Wahlster, Wolfgang, editor, Siekmann, Jörg, editor, Demri, Stéphane, editor, Kapur, Deepak, editor, and Weidenbach, Christoph, editor

Published
2014
Full Text
View/download PDF

38. Improving WPM2 for (Weighted) Partial MaxSAT

Author

Ansótegui, Carlos, Bonet, Maria Luisa, Gabàs, Joel, Levy, Jordi, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Schulte, Christian, editor

Published
2013
Full Text
View/download PDF

39. Improving SAT-Based Weighted MaxSAT Solvers

Author

Ansótegui, Carlos, Bonet, Maria Luisa, Gabàs, Joel, Levy, Jordi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Milano, Michela, editor

Published
2012
Full Text
View/download PDF

40. Performance Assessment for a Guided Wave-Based SHM System Applied to a Stiffened Composite Structure

Author

Mueller, Inka, Memmolo, Vittorio, Tschöke, Kilian, Moix-Bonet, Maria, Möllenhoff, Kathrin, Sridaran Venkat, Ramanan, Lugovtsova, Yevgeniya, Golub, Mikhail, Eremin, Artem, Moll, Jochen, and Publica

Subjects
structural health monitoring (SHM), Reproducibility of Results, path-based analysis, Biochemistry, reliability assessment, guided ultrasounic waves, probability of detection (POD), Atomic and Molecular Physics, and Optics, Analytical Chemistry, Anisotropy, Electrical and Electronic Engineering, Instrumentation, guided ultrasonic waves, Monitoring, Physiologic
Abstract

To assess the ability of structural health monitoring (SHM) systems, a variety of prerequisites and contributing factors have to be taken into account. Within this publication, this variety is analyzed for actively introduced guided wave-based SHM systems. For these systems, it is not possible to analyze their performance without taking into account their structure and their applied system parameters. Therefore, interdependencies of performance assessment are displayed in an SHM pyramid based on the structure and its monitoring requirements. Factors influencing the quality, capability and reliability of the monitoring system are given and put into relation with state-of-the-art performance analysis in a non-destructive evaluation. While some aspects are similar and can be treated in similar ways, others, such as location, environmental condition and structural dependency, demand novel solutions. Using an open-access data set from the Open Guided Waves platform, a detailed method description and analysis of path-based performance assessment is presented.The adopted approach clearly begs the question about the decision framework, as the threshold affects the reliability of the system. In addition, the findings show the effect of the propagation path according to the damage position. Indeed, the distance of damage directly affects the system performance. Otherwise, the propagation direction does not alter the potentiality of the detection approach despite the anisotropy of composites. Nonetheless, the finite waveguide makes it necessary to look at the whole paths, as singular phenomena associated with the reflections may appear. Numerical investigation helps to clarify the centrality of wave mechanics and the necessity to take sensor position into account as an influencing factor. Starting from the findings achieved, all the issues are discussed, and potential future steps are outlined.

Published
2022
Full Text
View/download PDF

42. On the Structure of Industrial SAT Instances

Author

Ansótegui, Carlos, Bonet, María Luisa, Levy, Jordi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Gent, Ian P., editor

Published
2009
Full Text
View/download PDF

43. Efficiently Calculating Evolutionary Tree Measures Using SAT

Author

Bonet, María Luisa, John, Katherine St., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Kullmann, Oliver, editor

Published
2009
Full Text
View/download PDF

44. Solving (Weighted) Partial MaxSAT through Satisfiability Testing

Author

Ansótegui, Carlos, Bonet, María Luisa, Levy, Jordi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Kullmann, Oliver, editor

Published
2009
Full Text
View/download PDF

47. Mapping CSP into Many-Valued SAT

Author

Ansótegui, Carlos, Bonet, María Luisa, Levy, Jordi, Manyà, Felip, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Marques-Silva, João, editor, and Sakallah, Karem A., editor

Published
2007
Full Text
View/download PDF

48. A Complete Calculus for Max-SAT

Author

Bonet, María Luisa, Levy, Jordi, Manyà, Felip, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, and Gomes, Carla P., editor

Published
2006
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results