|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1725 occurrences of 797 keywords
|
|
|
Results
Found 5713 publication records. Showing 5700 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
36 | Joel Friedman, Andreas Goerdt |
Recognizing More Unsatisfiable Random 3-SAT Instances Efficiently. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Viresh Paruthi, Andreas Kuehlmann |
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. |
ICCD |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Aarti Gupta, Zijiang Yang 0006, Pranav Ashar, Anubhav Gupta 0001 |
SAT-Based Image Computation with Application in Reachability Analysis. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Roberto Sebastiani, Adolfo Villafiorita |
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Zenon Sadowski |
On an Optimal Deterministic Algorithm for SAT. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Matti Järvisalo, Daniel Le Berre (eds.) |
Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023. |
POS@SAT |
2023 |
DBLP BibTeX RDF |
|
36 | Tobias Paxian, Armin Biere |
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging. |
POS@SAT |
2023 |
DBLP BibTeX RDF |
|
36 | Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis |
Prioritised Unit Propagation by Partitioning the Watch Lists. |
POS@SAT |
2023 |
DBLP BibTeX RDF |
|
36 | Daniel Le Berre, Matti Järvisalo (eds.) |
Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. |
POS@SAT |
2019 |
DBLP BibTeX RDF |
|
36 | Adrián Rebola-Pardo, Armin Biere |
Two flavors of DRAT. |
POS@SAT |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Norbert Manthey, Tobias Philipp |
Checking Unsatisfiability Proofs in Parallel. |
POS@SAT |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Anastasia-Maria Leventi-Peetz, Oliver Zendel 0002, Werner Lennartz, Kai Weber 0003 |
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. |
POS@SAT |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Jeremias Berg, Antti Hyttinen, Matti Järvisalo |
Applications of MaxSAT in Data Analysis. |
POS@SAT |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Armin Biere, Andreas Fröhlich |
Evaluating CDCL Restart Schemes. |
POS@SAT |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Armin Biere, Marijn Heule |
The Effect of Scrambling CNFs. |
POS@SAT |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Daniel Le Berre (eds.) |
POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland |
POS@SAT |
2014 |
DBLP BibTeX RDF |
|
36 | Daniel Le Berre (eds.) |
POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria |
POS@SAT |
2014 |
DBLP BibTeX RDF |
|
36 | Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke |
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. |
POS@SAT |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith |
iDQ: Instantiation-Based DQBF Solving. |
POS@SAT |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Enrique Matos Alfonso, Norbert Manthey |
New CNF Features and Formula Classification. |
POS@SAT |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Zoltán Ádám Mann, Pál András Papp |
Formula partitioning revisited. |
POS@SAT |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Adrian Balint, Norbert Manthey |
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. |
POS@SAT |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Adrian Kügel |
Improved Exact Solver for the Weighted MAX-SAT Problem. |
POS@SAT |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy |
On Solving MaxSAT Through SAT. |
POS@SAT |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Norbert Manthey, Ari Saptawijaya |
Towards Improving the Resource Usage of SAT-solvers. |
POS@SAT |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Mate Soos |
Enhanced Gaussian Elimination in DPLL-based SAT Solvers. |
POS@SAT |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Martin Gogolla |
Towards Model Validation and Verification with SAT Techniques. |
Algorithms and Applications for Next Generation SAT Solvers |
2009 |
DBLP BibTeX RDF |
|
36 | Bernd Becker 0001, Valeria Bertacco, Rolf Drechsler, Masahiro Fujita |
09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers. |
Algorithms and Applications for Next Generation SAT Solvers |
2009 |
DBLP BibTeX RDF |
|
36 | Robert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler |
SWORD - Module-based SAT Solving. |
Algorithms and Applications for Next Generation SAT Solvers |
2009 |
DBLP BibTeX RDF |
|
34 | Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T). |
J. ACM |
2006 |
DBLP DOI BibTeX RDF |
SAT solvers, Satisfiability Modulo Theories |
33 | Andreas Eggers, Martin Fränzle, Christian Herde |
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Tianyan Deng, Daoyun Xu |
NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k). |
FAW |
2008 |
DBLP DOI BibTeX RDF |
PCP theorem, linear CNF formula, LSAT, minimal unsatisfiable(MU) formula, NP-completeness, reduction |
33 | Robert Nieuwenhuis, Albert Oliveras |
Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Mona Safar, M. Watheq El-Kharashi, Ashraf Salem |
FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Jordi Planes |
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström |
Counting Satisfying Assignments in 2-SAT and 3-SAT. |
COCOON |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Anthony Monnet, Roger Villemaire |
Scalable formula decomposition for propositional satisfiability. |
C3S2E |
2010 |
DBLP DOI BibTeX RDF |
scalability, SAT, tree decomposition, propositional satisfiability, DPLL |
33 | Weixin Wu, Michael S. Hsiao |
Mining global constraints for improving bounded sequential equivalence checking. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
multi-node constraint, SAT, mining |
33 | Richard Edwin Stearns |
Deterministic versus nondeterministic time and lower bound problems. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
generic problems, power index, Computational complexity, NP-completeness, time complexity, SAT, nondeterminism, generic algorithms |
33 | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
FORCE: a fast and easy-to-implement variable-ordering heuristic. |
ACM Great Lakes Symposium on VLSI |
2003 |
DBLP DOI BibTeX RDF |
partitioning, placement, SAT, BDDs, hypergraph, CNF, pre-processing, backtrack search, variable order |
33 | Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah |
Satometer: how much have we searched? |
DAC |
2002 |
DBLP DOI BibTeX RDF |
conflict diagnosis, search progress, search space coverage, SAT, BDDs, CNF, backtrack search, ZBDDs |
33 | Marijn Heule, Hans van Maaren |
From Idempotent Generalized Boolean Assignments to Multi-bit Search. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Juan Antonio Navarro Pérez, Andrei Voronkov |
Encodings of Problems in Effectively Propositional Logic. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich |
Solving Multi-objective Pseudo-Boolean Problems. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Knot Pipatsrisawat, Adnan Darwiche |
A Lightweight Component Caching Scheme for Satisfiability Solvers. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Carla P. Gomes, Jörg Hoffmann 0001, Ashish Sabharwal, Bart Selman |
Short XORs for Model Counting: From Theory to Practice. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Eugene Goldberg |
Determinization of Resolution by an Algorithm Operating on Complete Assignments. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Oliver Kullmann, Inês Lynce, João Marques-Silva 0001 |
Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Steven D. Prestwich, Inês Lynce |
Local Search for Unsatisfiability. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Andrei A. Bulatov, Evgeny S. Skvortsov |
Efficiency of Local Search. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Panagiotis Manolios, Yimin Zhang |
Implementing Survey Propagation on Graphics Processing Units. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Vasco M. Manquinho, João Marques-Silva 0001 |
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Sakari Seitz, Mikko Alava, Pekka Orponen |
Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Uwe Bubeck, Hans Kleine Büning, Xishun Zhao |
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Anton Belov, Zbigniew Stachniak |
Substitutional Definition of Satisfiability in Classical Propositional Logic. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Mark H. Liffiton, Karem A. Sakallah |
On Finding All Minimally Unsatisfiable Subformulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Tian Sang, Paul Beame, Henry A. Kautz |
Heuristics for Fast Exact Model Counting. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Steven D. Prestwich |
Random Walk with Continuously Smoothed Variable Weights. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Gilles Audemard, Lakhdar Sais |
A Symbolic Search Based Approach for Quantified Boolean Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
Satisfiability, Binary decision diagram, Quantified boolean formula |
33 | Stefan Porschen, Bert Randerath, Ewald Speckenmeyer |
Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski |
Satisfiability and Computing van der Waerden Numbers. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella |
Watched Data Structures for QBF Solvers. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Maher N. Mneimneh, Karem A. Sakallah |
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Ashish Sabharwal, Paul Beame, Henry A. Kautz |
Using Problem Structure for Efficient Clause Learning. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Marc Herbstritt, Bernd Becker 0001 |
Conflict-Based Selection of Branching Rules. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Olga Ohrimenko, Peter J. Stuckey, Michael Codish |
Propagation via lazy clause generation. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
Finite domain propagation, Boolean variables, SAT solver |
32 | Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes |
BenCGen: a digital circuit generation tool for benchmarks. |
SBCCI |
2008 |
DBLP DOI BibTeX RDF |
benchmarks, sat solvers, combinational equivalence checking |
32 | André Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler |
Using unsatisfiable cores to debug multiple design errors. |
ACM Great Lakes Symposium on VLSI |
2008 |
DBLP DOI BibTeX RDF |
sat-based debugging, unsatisfiable core, fault localization |
32 | Aristotelis Giannakos, Laurent Gourvès, Jérôme Monnot, Vangelis Th. Paschos |
On the Performance of Congestion Games for Optimum Satisfiability Problems. |
WINE |
2007 |
DBLP DOI BibTeX RDF |
non oblivious local search, max sat, approximation algorithm, price of anarchy |
32 | Andreas Bauer 0002 |
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
formal specification, model based reasoning, system monitoring, model based diagnosis, SAT-solving |
32 | Guillermo De Ita Luna |
Polynomial Classes of Boolean Formulas for Computing the Degree of Belief. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
#SAT Problem, Updating Beliefs, Approximate Reasoning, Degree of Belief |
32 | Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov |
Exploiting structure in symmetry detection for CNF. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
abstract algebra, partition refinement, symmetry, backtrack search, graph automorphism, boolean satisfiability (SAT) |
32 | Michael Parker, Sat Gupta, Sadia Khalil |
A Mixture Quantitative Randomized Response Model That Improves Trust in RRT Methodology. |
Axioms |
2024 |
DBLP DOI BibTeX RDF |
|
32 | Javid Shabbir, Zahida Iqbal, Sat Gupta |
On distribution function under two-phase stratified sampling using two auxiliary variables for mean estimation. |
Commun. Stat. Simul. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Maxwell Lovig, Sadia Khalil, Sumaita Rahman, Pujita Sapra, Sat Gupta |
A mixture binary RRT model with a unified measure of privacy and efficiency. |
Commun. Stat. Simul. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Mustafa Sat, Fatih Ilhan, Erman Yükseltürk |
Comparison and evaluation of augmented reality technologies for designing interactive materials. |
Educ. Inf. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Aamir Sanaullah, Iram Saleem, Sat Gupta, Muhammad Hanif 0006 |
Mean estimation with generalized scrambling using two-phase sampling. |
Commun. Stat. Simul. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Dongbock Kim, Sat Byul Seo, NamHyun Yoo, Gisu Shin |
A Study on Sample Size Sensitivity of Factory Manufacturing Dataset for CNN-Based Defective Product Classification. |
Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Mustafa Sat, Kursat Cagiltay |
The design of educational wearable technologies with teachers: Issues, challenges, and suggestions. |
ICALT |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Deepti B. Upadhyaya, Jonathan Evans, Muddu Sekhar, Sat Kumar Tomer, Ahmad Al Bitar, Subash Yeggina, Thiyaku S, Ross Morrison, Matthew Fry, Sachchida Nand Tripathi, Milind Mujumdar, Mangesh Goswami, Naresh Ganeshi, Manish K. Nema, Sharad K. Jain, S. S. Angadi, B. S. Yenagi |
The Indian COSMOS Network (ICON): Validating L-Band Remote Sensing and Modelled Soil Moisture Data Products. |
Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Sadia Khalil, Qi Zhang, Sat Gupta |
Mean estimation of sensitive variables under measurement errors using optional RRT models. |
Commun. Stat. Simul. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Hina Khan, Sat Gupta, Habiba Farhat |
A ratio-cum-regression estimator of population mean in unequal probability sampling design. |
Commun. Stat. Simul. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
32 | K. Hari Kishore 0001, Prakash Sat, B. Kasi Raju, Venkataramani B |
Highly linear inductorless asymmetric capacitive cross-coupled wideband balun-LNAs. |
Comput. Electr. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Mehrez Zribi, Muddu Sekhar, Safa Bousbih, Ahmad Al Bitar, Sat Kumar Tomer, Nicolas N. Baghdadi, Soumya Bandyopadhyay |
Analysis of L-Band SAR Data for Soil Moisture Estimations over Agricultural Areas in the Tropics. |
Remote. Sens. |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Nick N. Maizlin, Nina P. Singh, Sat Somers |
Utilizing a Digital Multi-Language Patient Questionnaire for Diagnostic Imaging Examinations. |
J. Digit. Imaging |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Mehrez Zribi, Muddu Sekhar, Soumya Bandyopadhyay, Safa Bousbih, Ahmad Al Bitar, Sat Kumar Tomer, Nicolas N. Baghdadi |
Analysis of L Band Radar Data Over Tropical Agricultural Areas. |
IGARSS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Zaheen Khan, Javid Shabbir, Sat Gupta |
Circular versions of systematic sampling in the presence of linear trend. |
Commun. Stat. Simul. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Laurent Orgogozo, Nicolas Renon, Cyprien Soulaine, Florent Hénon, Sat Kumar Tomer, David Labat, Oleg S. Pokrovsky, Muddu Sekhar, Rachid Ababou, Michel Quintard |
An open source massively parallel solver for Richards equation: Mechanistic modelling of water fluxes at the watershed scale. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
32 | Javid Shabbir, Sat Gupta |
Estimation of finite population mean using two auxiliary variables in stratified two-phase sampling. |
Commun. Stat. Simul. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Sat Gupta, Geeta Kalucha, Javid Shabbir |
A regression estimator for finite population mean of a sensitive variable using an optional randomized response model. |
Commun. Stat. Simul. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Yunus Alkis, Zafer Kadirhan, Mustafa Sat |
Development and Validation of Social Anxiety Scale for Social Media Users. |
Comput. Hum. Behav. |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Sat Kumar Tomer, Ahmad Al Bitar, Muddu Sekhar, Mehrez Zribi, Soumya Bandyopadhyay, Yann Kerr |
MAPSM: A Spatio-Temporal Algorithm for Merging Soil Moisture from Active and Passive Microwave Remote Sensing. |
Remote. Sens. |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Sat Gupta, Javid Shabbir, Rita Sousa, Pedro Corte-Real |
Improved Exponential Type Estimators of the Mean of a Sensitive Variable in the Presence of Nonsensitive Auxiliary Information. |
Commun. Stat. Simul. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Christine Tanner, Y. Zur, Karen French, Golnoosh Samei, Jan Strehlow, G. Sat, Helen McLeod, Graeme Houston, Sebastian Kozerke, Gábor Székely, Andreas Melzer, Tobias Preußer |
In vivo validation of spatio-temporal liver motion prediction from motion tracked on MR thermometry images. |
Int. J. Comput. Assist. Radiol. Surg. |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Ali Moin, George Alexandrov, Benjamin C. Johnson, Igor I. Izyumin, Fred L. Burghardt, Kedar Shah, Sat Pannu, Elad Alon, Rikky Muller, Jan M. Rabaey |
Powering and communication for OMNI: A distributed and modular closed-loop neuromodulation device. |
EMBC |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Sat Kumar Tomer, Ahmad Al Bitar, Muddu Sekhar, Mehrez Zribi, Soumya Bandyopadhyay, K. Sreelash, Amit Kumar Sharma 0001, Samuel Corgne, Yann Kerr |
Retrieval and Multi-scale Validation of Soil Moisture from Multi-temporal SAR Data in a Semi-Arid Tropical Region. |
Remote. Sens. |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Niko E. C. Verhoest, Martinus Johannes van den Berg, Brecht Martens, Hans Lievens, Eric F. Wood, Ming Pan, Yann H. Kerr, Ahmad Al Bitar, Sat Kumar Tomer, Matthias Drusch, Hilde Vernieuwe, Bernard De Baets, Jeffrey P. Walker, Gift Dumedah, Valentijn R. N. Pauwels |
Copula-Based Downscaling of Coarse-Scale Soil Moisture Observations With Implicit Bias Correction. |
IEEE Trans. Geosci. Remote. Sens. |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Sat Gupta, Manohar Aggarwal |
Preface. |
Commun. Stat. Simul. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Jeong Sep Sihm, Sat Gupta |
A Two-stage Binary Optional Randomized Response Model. |
Commun. Stat. Simul. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Zaheen Khan, Javid Shabbir, Sat Gupta |
Generalized Systematic Sampling. |
Commun. Stat. Simul. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
|
|