Search results for "inversions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	Krister M. Swenson, Vaibhav Rajan, Yu Lin 0001, Bernard M. E. Moret	Sorting Signed Permutations by Inversions in O(nlogn) Time.	RECOMB	2009	DBLP DOI BibTeX RDF
84	Katta G. Murty, Mohammad R. Oskoorouchi	Note on implementing the new sphere method for LP using matrix inversions sparingly.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Interior point methods (IPMs), Solving LPs without matrix inversions, Ball center of a polytope, Ball center on the objective plane, Descent directions, Linear programming (LP)
71	Miklós Ajtai, T. S. Jayram, Ravi Kumar 0001, D. Sivakumar 0001	Approximate counting of inversions in a data stream.	STOC	2002	DBLP DOI BibTeX RDF
64	David Sankoff, Jean-François Lefebvre, Elisabeth R. M. Tillier, Adrian Maler, Nadia El-Mabrouk	The Distribution of Inversion Lengths in Bacteria.	Comparative Genomics	2004	DBLP DOI BibTeX RDF
58	Christian Ledergerber, Christophe Dessimoz	Alignments with non-overlapping moves, inversions and tandem duplications in O ( n 4) time.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	String to string comparison, Block operations, Scoring schemes, Dynamic programming, Biological sequence alignment
58	Christian Ledergerber, Christophe Dessimoz	Alignments with Non-overlapping Moves, Inversions and Tandem Duplications in O ( n 4) Time.	COCOON	2007	DBLP DOI BibTeX RDF
58	Augusto F. Vellozo, Carlos E. R. Alves, Alair Pereira do Lago	Alignment with Non-overlapping Inversions in O(n3)-Time.	WABI	2006	DBLP DOI BibTeX RDF
51	Amr Elmasry, Abdelrahman Hammad	Inversion-sensitive sorting algorithms in practice.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	Adaptive sorting, Inversions
51	Donald E. Knuth	Linear Probing and Graphs.	Algorithmica	1998	DBLP DOI BibTeX RDF	Parking problem, Hashing, Inversions, Labeled trees, Sparse graphs, Linear probing
51	Suzanne S. Sindi, Benjamin J. Raphael	Identification and Frequency Estimation of Inversion Polymorphisms from Haplotype Data.	RECOMB	2009	DBLP DOI BibTeX RDF
51	Riku Saikkonen, Eljas Soisalon-Soininen	Bulk-Insertion Sort: Towards Composite Measures of Presortedness.	SEA	2009	DBLP DOI BibTeX RDF
51	Christos Levcopoulos	On Optimal Parallel Algorithm for Sorting Presorted Files.	FSTTCS	1988	DBLP DOI BibTeX RDF
46	David Sankoff	Short inversions and conserved gene clusters.	SAC	2002	DBLP DOI BibTeX RDF	conserved segments, evolution, inversions, gene clusters
46	Amr Elmasry, Abdelrahman Hammad	An Empirical Study for Inversions-Sensitive Sorting Algorithms.	WEA	2005	DBLP DOI BibTeX RDF
46	K. H. Kim	Basic Program Structures for Avoiding Priority Inversions.	ISORC	2003	DBLP DOI BibTeX RDF	NBW, NBAB, scheduling, real time, monitor, process, concurrent programming, inheritance, object, priority, deadline, TMO, inversion, urgency
46	Anupam Gupta 0001, Francis Zane	Counting inversions in lists.	SODA	2003	DBLP BibTeX RDF
46	Yong Gao, Junfeng Wu, Robert Niewiadomski, Yang Wang 0006, Zhi-Zhong Chen, Guohui Lin	A Space Efficient Algorithm for Sequence Alignment with Inversions.	COCOON	2003	DBLP DOI BibTeX RDF
46	Niklas Eriksen	Approximating the Expected Number of Inversions Given the Number of Breakpoints.	WABI	2002	DBLP DOI BibTeX RDF
40	Adrian Bojko	Self-supervised Dynamic SLAM: Tackling Consensus Inversions. (SLAM Dynamique Auto-Supervisé: Résolution des Inversions de Consensus).		2022	RDF
40	Théotime Grohens	Ride the supercoiling: Evolution of supercoiling-mediated gene regulatory networks through genomic inversions. (Conduire la superhélicité: Évolution des réseaux de régulation des gènes médiés par le superenroulement grâce aux inversions génomiques).		2022	RDF
38	Krister M. Swenson, Mark Marron, Joel V. Earnest-DeYoung, Bernard M. E. Moret	Approximating the true evolutionary distance between two genomes.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	pairwise distances, whole-genome data, Evolution, inversions, duplications
38	Sergey Kitaev, Toufik Mansour, Patrice Séébold	Counting Ordered Patterns in Words Generated by Morphisms.	LATA	2008	DBLP DOI BibTeX RDF	rises, descents, patterns, inversions, repetitions, Morphisms
38	Manas Saksena, Paul Freedman, Pawel Rodziewicz	Guidelines for automated implementation of executable object oriented models for real-time embedded control systems.	RTSS	1997	DBLP DOI BibTeX RDF	control system analysis computing, automated implementation, executable object oriented models, real time embedded control systems, real time scheduling theory, ROOM methodology, telecommunications community, commercial systems, case tool ObjecTime, reactive real time behavior, hard real time components, cruise control example, ROOM model, executable models, priority inversions, temporal behavior, Real time Object Oriented Modeling
38	Michael M. Daniel, Alan S. Willsky, Dennis McLaughlin, David J. Rossi	A multi-resolution approach for imaging hydraulic conductivity.	ICIP	1995	DBLP DOI BibTeX RDF	hydrological techniques, hydraulic conductivity imaging, multiresolution approach, multiple spatial scales, groundwater flow, subsurface observations, large scale variations prediction, maximum a posteriori inversions, AR process, measurement model, multiple measurement sources, point measurements, piezometric head, spatially varying resolution, measurement sampling geometry, parameter estimation, image reconstruction, maximum likelihood estimation, image resolution, geophysical signal processing, autoregressive processes, autoregressive process, linear functional, groundwater
38	Mathieu Lajoie, Denis Bertrand, Nadia El-Mabrouk	Evolution of Tandemly Arrayed Genes in Multiple Species.	RECOMB-CG	2007	DBLP DOI BibTeX RDF
38	César Sánchez 0001, Henny B. Sipma, Christopher D. Gill, Zohar Manna	Distributed Priority Inheritance for Real-Time and Embedded Systems.	OPODIS	2006	DBLP DOI BibTeX RDF
38	Tanja Lange 0001	Formulae for Arithmetic on Genus 2 Hyperelliptic Curves.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Fast Arithmetic, Public Key Cryptography, Discrete Logarithm, Hyperelliptic Curves, Explicit Formulae
38	Bao-Liang Lu, Hajime Kita, Yoshikazu Nishikawa	Inverting feedforward neural networks using linear and nonlinear programming.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
38	Cai-Dong Wang, Hiroaki Takada, Ken Sakamura	Priority Inheritance Spin Locks for Multiprocessor Real-Time Systems.	ISPAN	1996	DBLP DOI BibTeX RDF	spin lock algorithm, nested locks, real-time system, shared-memory, priority inheritance, priority order
33	Stefan Gremalschi, Gulsah Altun, Irina Astrovskaya, Alexander Zelikovsky	Mean Square Residue Biclustering with Missing Data and Row Inversions.	ISBRA	2009	DBLP DOI BibTeX RDF	Mean Square Residue, Biclustering
33	Crystal L. Kahn, Shay Mozes, Benjamin J. Raphael	Efficient Algorithms for Analyzing Segmental Duplications, Deletions, and Inversions in Genomes.	WABI	2009	DBLP DOI BibTeX RDF
33	Zhiyuan Yan, Dilip V. Sarwate	Reduced-Complexity Pipelined Architectures for Finite Field Inversions.	SiPS	2006	DBLP DOI BibTeX RDF
33	Zhiyuan Yan	Digit-Serial Systolic Architectures for Inversions over GF(2m).	SiPS	2006	DBLP DOI BibTeX RDF
33	David Sankoff, Matthew Mazowita	Estimators of Translocations and Inversions in Comparative Maps.	Comparative Genomics	2004	DBLP DOI BibTeX RDF
26	Keijiro Nakamura	Synthesis of Gate-Minimum Multi-Output Two-Level Negative Gate Networks.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	number of inversions, Gate-minimum network, inverse edge, MOS complex gate, negative function, negative gate
26	Amr Elmasry, Michael L. Fredman	Adaptive sorting: an information theoretic perspective.	Acta Informatica	2008	DBLP DOI BibTeX RDF
26	Ai Xia, Maria V. Sharakhova, Igor V. Sharakhov	Reconstructing an Inversion History in the Anopheles Gambiae Complex.	RECOMB-CG	2007	DBLP DOI BibTeX RDF	Anopheles gambiae complex, chromosome rearrangement, phylogeny
26	Erik Dahmen, Katsuyuki Okeya, Daniel Schepers	Affine Precomputation with Sole Inversion in Elliptic Curve Cryptography.	ACISP	2007	DBLP DOI BibTeX RDF	affine coordinates, elliptic curve cryptosystem, scalar multiplication, precomputation
26	Premachandran R. Menon, Weifeng Xu, Russell Tessier	Design-specific path delay testing in lookup-table-based FPGAs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
26	Denis Bertrand, Mathieu Lajoie, Nadia El-Mabrouk, Olivier Gascuel	Evolution of Tandemly Repeated Sequences Through Duplication and Inversion.	Comparative Genomics	2006	DBLP DOI BibTeX RDF	gene family, gene order, inversion, phylogeny, duplication
26	Vijaya Smitha Kolli, Hui Liu 0008, Jieyue He, Michelle Hong Pan, Yi Pan 0001	Calculating Genomic Distances in Parallel Using OpenMP.	Trans. Comp. Sys. Biology	2005	DBLP DOI BibTeX RDF
26	Abdolali Basiri, Andreas Enge, Jean-Charles Faugère, Nicolas Gürel	Implementing the Arithmetic of C3, 4Curves.	ANTS	2004	DBLP DOI BibTeX RDF
26	Nisrine Saadallah, Xiaohua Kong, Radu Negulescu	High-Speed Reduced Stack Dual Lock Circuits.	ASYNC	2004	DBLP DOI BibTeX RDF
26	Anna Pagh, Rasmus Pagh, Mikkel Thorup	On Adaptive Integer Sorting.	ESA	2004	DBLP DOI BibTeX RDF
26	Amr Elmasry, Michael L. Fredman	Adaptive Sorting and the Information Theoretic Lower Bound.	STACS	2003	DBLP DOI BibTeX RDF
26	Paul Cull, Tai Hsu	Recent Advances in the Walking Tree Method for Biological Sequence Alignment.	EUROCAST	2003	DBLP DOI BibTeX RDF
26	Mark Marron, Krister M. Swenson, Bernard M. E. Moret	Genomic Distances under Deletions and Insertions.	COCOON	2003	DBLP DOI BibTeX RDF	inversion distance, reversal distance, genomic distance, Hannenhalli-Pevzner
26	Tei-Wei Kuo, Jun Wu 0010, Hsin-Chia Hsih	Real-Time Concurrency Control in a Multiprocessor Environment.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	Real-time concurrency control, two-version database, multiprocessor architecture, priority inversion
26	Amr Elmasry	Priority Queues, Pairing, and Adaptive Sorting.	ICALP	2002	DBLP DOI BibTeX RDF
26	Katsuyuki Okeya, Kouichi Sakurai	Fast Multi-scalar Multiplication Methods on Elliptic Curves with Precomputation Strategy Using Montgomery Trick.	CHES	2002	DBLP DOI BibTeX RDF	multi-scalar multiplication, Montgomery trick, elliptic curve cryptography, precomputation, simultaneous
26	Sridhar Rajagopal, Joseph R. Cavallaro	A bit-streaming, pipelined multiuser detector for wireless communication receivers.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
26	Tei-Wei Kuo, Hsin-Chia Hsih	Concurrency control in a multiprocessor real-time database system.	ECRTS	2000	DBLP DOI BibTeX RDF
26	Sridhar Hannenhalli, Pavel A. Pevzner	Transforming Cabbage into Turnip: Polynomial Algorithm for Sorting Signed Permutations by Reversals.	J. ACM	1999	DBLP DOI BibTeX RDF	computational biology, genetics
26	Alberto Bertoni, Carlo Mereghetti, Giovanni Pighizzini	On Languages Accepted with Simultaneous Complexity Bounds and Their Ranking Problem.	MFCS	1994	DBLP DOI BibTeX RDF
20	Pierre Charbit, Stéphan Thomassé	Dichromatic Number and Cycle Inversions.	CoRR	2024	DBLP DOI BibTeX RDF
20	Gaik Ambartsoumian, Mohammad Javad Latifi Jebelli, Rohit Kumar Mishra	Numerical Implementation of Generalized V-Line Transforms on 2D Vector Fields and their Inversions.	SIAM J. Imaging Sci.	2024	DBLP DOI BibTeX RDF
20	Anders Claesson, Atli Fannar Franklín, Einar Steingrímsson	Permutations with Few Inversions.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
20	Lei Zhang 0191, Minghu Ding, Xiangdong Zheng, Junming Chen, Jianping Guo, Lingen Bian	Assessment of AIRS Version 7 Temperature Profiles and Low-Level Inversions with GRUAN Radiosonde Observations in the Arctic.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
20	Lin Li, Enzhao Xiao, Xiaolong Wei, Ning Qiu, Khalid Latif 0004, Jingxue Guo, Bo Sun	Crustal Imaging across the Princess Elizabeth Land, East Antarctica from 2D Gravity and Magnetic Inversions.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
20	Benjamin Gaubert, David P. Edwards, Jeffrey L. Anderson, Avelino F. Arellano, Jérôme Barré, Rebecca R. Buchholz, Sabine Darras, Louisa K. Emmons, David Fillmore, Claire Granier, James W. Hannigan, Ivan Ortega, Kevin Raeder, Antonin Soulié, Wenfu Tang, Helen M. Worden, Daniel Ziskin	Global Scale Inversions from MOPITT CO and MODIS AOD.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
20	Luyuan Wang, Yunhe Liu 0001, Changchun Yin, Yang Su, Xiuyan Ren, Bo Zhang 0095	Three-Dimensional Dual-Mesh Inversions for Sparse Surface-to-Borehole TEM Data.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
20	Alvaro Cintas Canto, Mehran Mozaffari Kermani, Reza Azarderakhsh	Error Detection Constructions for ITA Finite Field Inversions Over $\text{GF}(2^{m})$ on FPGA Using CRC and Hamming Codes.	IEEE Trans. Reliab.	2023	DBLP DOI BibTeX RDF
20	Nicole L. Bienert, Dustin M. Schroeder, Paul T. Summers	Bistatic Radar Tomography of Shear Margins: Simulated Temperature and Basal Material Inversions.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
20	Julien Duron, Frédéric Havet, Florian Hörsch, Clément Rambaud	On the minimum number of inversions to make a digraph k-(arc-)strong.	CoRR	2023	DBLP DOI BibTeX RDF
20	Marek Gagolewski, Anna Cena, Simon James, Gleb Beliakov	Hierarchical Clustering with OWA-based Linkages, the Lance-Williams Formula, and Dendrogram Inversions.	CoRR	2023	DBLP DOI BibTeX RDF
20	Gaik Ambartsoumian, Mohammad Javad Latifi Jebelli, Rohit Kumar Mishra	Numerical implementation of generalized V-line transforms on 2D vector fields and their inversions.	CoRR	2023	DBLP DOI BibTeX RDF
20	Fernando A. Calderon-Vargas, Timothy Proctor, Kenneth Rudinger, Mohan Sarovar	Quantum circuit debugging and sensitivity analysis via local inversions.	Quantum	2023	DBLP DOI BibTeX RDF
20	Marek Gagolewski, Anna Cena, Simon James, Gleb Beliakov	Hierarchical clustering with OWA-based linkages, the Lance-Williams formula, and dendrogram inversions.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
20	Jun Yang, Xin Huang, Liangjun Yan, Xiaoyue Cao	Three-Dimensional Separate and Joint Inversions of Multi-Component Frequency-Domain Airborne Electromagnetic Data: Synthetic Model Studies.	Sensors	2023	DBLP DOI BibTeX RDF
20	Cibrán López-Álvarez, Maria Elena Lopez-Martin, Juan Antonio Rodriguez-Gonzalez, Francisco Jose Ares-Pena	A Review on the Effects of Thermal Inversions and Electromagnetic Fields on Cell Cultures and Wireless Communications.	Sensors	2023	DBLP DOI BibTeX RDF
20	Chong Liu, Liping Zhu, Junbo Wang, Jianting Ju, Qingfeng Ma, Qiangqiang Kou	The decrease of salinity in lakes on the Tibetan Plateau between 2000 and 2019 based on remote sensing model inversions.	Int. J. Digit. Earth	2023	DBLP DOI BibTeX RDF
20	Ronald J. Nowling, Samuel H. Keyser, Alex R. Moran, John G. Peters, Daniel Leskiewicz	Segmenting and Genotyping Large, Polymorphic Inversions.	eIT	2023	DBLP DOI BibTeX RDF
20	Lisa Hemforth, Claire Cury, Vincent Frouin, Sylvane Desrivières, Antoine Grigis, Hugh Garavan, Rüdiger Brühl, Jean-Luc Martinot, Marie-Laure Paillère-Martinot, Eric Artiges, Luise Poustka, Sarah Hohmann, Sabina Millenet, Nilakshi Vaidya, Henrik Walter, Robert Whelan, Gunter Schumann, Baptiste Couvy-Duchesne, Olivier Colliot	Interpretable automatic detection of incomplete hippocampal inversions using anatomical criteria.	Medical Imaging: Image Processing	2023	DBLP DOI BibTeX RDF
20	Evgenia S. Soboleva, Kirill M. Kirilenko, Valentina S. Fedorova, Alina A. Kokhanenko, Gleb N. Artemov, Igor V. Sharakhov	Physical Mapping of Two Nested Fixed Inversions in the X Chromosome of the Malaria Mosquito Anopheles messeae.	RECOMB-CG	2023	DBLP DOI BibTeX RDF
20	Yuanzu Wang, Aldo Amodeo, Ewan J. O'Connor, Holger Baars, Daniele Bortoli, Qiaoyun Hu, Dongsong Sun, Giuseppe D'Amico	Numerical Weather Predictions and Re-Analysis as Input for Lidar Inversions: Assessment of the Impact on Optical Products.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
20	Bassam AlKindy, Christophe Guyeux	Impact of Insertion Sequences and RNAs on Genomic Inversions in Pseudomonas aeruginosa.	J. King Saud Univ. Comput. Inf. Sci.	2022	DBLP DOI BibTeX RDF
20	Kui Ren 0002, Lu Zhang	Data-Driven Joint Inversions for PDE Models.	CoRR	2022	DBLP DOI BibTeX RDF
20	Steve Mathew	Optimizing musical chord inversions using the cartesian coordinate system.	CoRR	2022	DBLP DOI BibTeX RDF
20	Pawel Cyprys, Shlomi Dolev, Shlomo Moran	Self Masking for Hardering Inversions.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
20	Pawel Cyprys, Shlomi Dolev, Shlomo Moran	Brief Announcement: Self Masking for Hardening Inversions.	SSS	2022	DBLP DOI BibTeX RDF
20	Morteza Mohaqeqi, Gaoyang Dai, Wang Yi 0001	Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks.	DATE	2022	DBLP DOI BibTeX RDF
20	Yong Xia, Chathura Jayawardena, Konstantinos Nikitopoulos	Reduced Complexity Matrix Inversions in Slow Time-Varying MIMO Channels.	ICC	2022	DBLP DOI BibTeX RDF
20	Alvaro Cintas Canto, Mehran Mozaffari Kermani, Reza Azarderakhsh	CRC-Based Error Detection Constructions for FLT and ITA Finite Field Inversions Over GF(2m).	IEEE Trans. Very Large Scale Integr. Syst.	2021	DBLP DOI BibTeX RDF
20	Teppo Mertens, Frank Sommen	Inversions for the Hua-Radon and the polarized Hua-Radon transform.	Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
20	Ricardo Gafeira, David Orozco Suárez, Ivan Milic, Carlos Quintero Noda, Basilio Ruiz Cobo, Han Uitenbroek	Machine learning initialization to accelerate Stokes profile inversions.	CoRR	2021	DBLP BibTeX RDF
20	A. Vicente Arévalo, Andrés Asensio Ramos, Sara Esteban Pozuelo	Accelerating non-LTE synthesis and inversions with graph networks.	CoRR	2021	DBLP BibTeX RDF
20	Khaled Shaaban, Ian Horrocks 0002	Poor Air Quality Along the Wasatch Front During Inversions: Role of Road Transportation and Possible Solutions.	AHFE (12)	2021	DBLP DOI BibTeX RDF
20	Masato Kobayashi	Weighted Counting of Inversions on Alternating Sign Matrices.	Order	2020	DBLP DOI BibTeX RDF
20	Samuel Takele Kenea, Lev D. Labzovskii, Tae-Young Goo, Shanlan Li, Young-Suk Oh, Young-Hwa Byun	Comparison of Regional Simulation of Biospheric CO2 Flux from the Updated Version of CarbonTracker Asia with FLUXCOM and Other Inversions over Asia.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
20	Pauline Bernard, Lorenzo Marconi 0001	Hybrid implementation of observers in plant's coordinates with a finite number of approximate inversions and global convergence.	Autom.	2020	DBLP DOI BibTeX RDF
20	Ying Tang 0002	Beyond EM: A faster Bayesian linear regression algorithm without matrix inversions.	Neurocomputing	2020	DBLP DOI BibTeX RDF
20	Soham Roy, Brandon Stiene, Spencer K. Millican, Vishwani D. Agrawal	Improved Pseudo-Random Fault Coverage Through Inversions: a Study on Test Point Architectures.	J. Electron. Test.	2020	DBLP DOI BibTeX RDF
20	Thomas Kahle, Christian Stump	Counting inversions and descents of random elements in finite Coxeter groups.	Math. Comput.	2020	DBLP DOI BibTeX RDF
20	Parinya Chalermsook, Wanchote Po Jiamjitrak	New Binary Search Tree Bounds via Geometric Inversions.	ESA	2020	DBLP DOI BibTeX RDF
20	Karissa Pepin, Howard A. Zebker, William Ellsworth	High-Pass Filters to Reduce the Effects of Broad Atmospheric Contributions in Sbas Inversions: A Case Study in the Delaware Basin.	IGARSS	2020	DBLP DOI BibTeX RDF
20	Haibo Yi	Computing inversions in finite fields based on cellular automata.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
20	Achiya Dax	A restarted Krylov method with inexact inversions.	Numer. Linear Algebra Appl.	2019	DBLP DOI BibTeX RDF
20	Xing Shi Cai, Cecilia Holmgren, Svante Janson, Tony Johansson, Fiona Skerman	Inversions in Split Trees and Conditional Galton-Watson Trees.	Comb. Probab. Comput.	2019	DBLP DOI BibTeX RDF
20	Roy Dyckhoff	Indirect Proof and Inversions of Syllogisms.	Bull. Symb. Log.	2019	DBLP DOI BibTeX RDF
20	Marat Kh. Faizrahmanov, Asher M. Kach, Iskander Sh. Kalimullin, Antonio Montalbán, Vadim Puzarenko	Jump inversions of algebraic structures and Σ-definability.	Math. Log. Q.	2019	DBLP DOI BibTeX RDF