Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Ramamohan Paturi, Pavel Pudlák, Francis Zane |
Satisfiability Coding Lemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 566-574, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
satisfying assignments, satisfying assignment, Satisfiability Coding Lemma, computability, randomized algorithm, satisfiability, deterministic algorithm, conjunctive normal form, Boolean formulae |
60 | Adam J. Lee, Marianne Winslett |
Towards an efficient and language-agnostic compliance checker for trust negotiation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008, pp. 228-239, 2008, ACM, 978-1-59593-979-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
compliance checker, satisfying sets, policy, trust negotiation |
41 | HoonSang Jin, Fabio Somenzi |
Prime clauses for fast enumeration of satisfying assignments to boolean circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 750-753, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AllSAT, minimal satisfying assignment, SAT, CNF |
41 | Christos H. Papadimitriou |
On Selecting a Satisfying Truth Assignment (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 163-169, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
2SAT, satisfying truth assignment selection, natural generalizations, default preference, polynomial-time randomized algorithm, complexity, satisfiability, minimality, circumscription, selection criteria |
41 | Svetlana P. Kartashev, Steven I. Kartashev |
On Modular Networks Satisfying the Shift-Register Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 27(12), pp. 1153-1176, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
modular network, Augnentation of original program, interconnections satisfying shift-register rule, modular decomposition of programs, computer-aided design |
34 | Mamoru Kutami |
Von Neumann Regular Rings Satisfying Weak Comparability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(1-2), pp. 183-194, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 16E50, 16D70 |
34 | HoonSang Jin, HyoJung Han, Fabio Somenzi |
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 287-300, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Kishan Chand Gupta, Palash Sarkar 0001 |
Construction of Perfect Nonlinear and Maximally Nonlinear Multi-output Boolean Functions Satisfying Higher Order Strict Avalanche Criteria (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2003, 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings, pp. 107-120, 2003, Springer, 3-540-20609-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bilinear form, symplectic matrix, nonlinearity, S-box, bent function, symmetric ciphers, SAC |
34 | Jie Tang 0001, Juan-Zi Li, Kehong Wang, Yue-Ru Cai |
Research of Satisfying Atomic and Anonymous Electronic Commerce Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (2) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, pp. 319-326, 2003, Springer, 3-540-21993-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Hui Yu, Hailiang Liu |
THIRD ORDER MAXIMUM-PRINCIPLE-SATISFYING DG SCHEMES Third Order Maximum-Principle-Satisfying DG schemes for Convection-Diffusion problems with Anisotropic Diffusivity DIFFUSIVITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.11844, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
29 | Jan Rauch |
Four-Fold Table Calculi for Discovery Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, First International Conference, DS '98, Fukuoka, Japan, December 14-16, 1998, Proceedings, pp. 405-406, 1998, Springer, 3-540-65390-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Jing He 0004, Yanchun Zhang, Yong Shi 0001, Guangyan Huang |
Domain-Driven Classification Based on Multiple Criteria and Multiple Constraint-Level Programming for Intelligent Credit Scoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 22(6), pp. 826-838, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
domain-driven classification, multiple criteria and multiple constraint-level programming, satisfying solution, mathematical programming, Credit scoring, fuzzy programming |
26 | Daniel Gross, Eric S. K. Yu |
From Non-Functional Requirements to Design through Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 6(1), pp. 18-36, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Architectural properties, Softgoal, Design patterns, Requirements, Satisfying, Non-functional requirements, Quality attributes, Quality requirements, Process-oriented, Rationale |
25 | Meikang Qiu, Edwin Hsing-Mean Sha |
Cost minimization while satisfying hard/soft timing constraints for heterogeneous embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(2), pp. 25:1-25:30, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Embedded Systems, real-time, high-level synthesis, heterogeneous |
25 | Jeff B. Paris, Alena Vencovská |
A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, pp. 379-388, 2009, Springer, 978-3-642-03072-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Polyadic Inductive Logic, Spectrum Exchangeability, Language Invariance |
25 | Shaoyuan Li, Chaofang Hu |
An Interactive Satisfying Method Based on Alternative Tolerance for Multiple Objective Optimization With Fuzzy Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(5), pp. 1151-1160, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Matthew Andrews, Lisa Zhang |
Satisfying Arbitrary Delay Requirements in Multihop Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, USA, pp. 116-120, 2008, IEEE, 978-1-4244-2026-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | R. Alex |
Fuzzy synthetic rating and a satisfying solution for Lee-Tanaka's LP problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(9), pp. 901-910, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Meikang Qiu, Zhiping Jia, Chun Xue, Zili Shao, Edwin Hsing-Mean Sha |
Voltage Assignment with Guaranteed Probability Satisfying Timing Constraint for Real-time Multiproceesor DSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 46(1), pp. 55-73, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
real-time, probability, DSP, DVS, assignment |
25 | Andrés Farías, Mario Südholt |
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings, pp. 995-1012, 2002, Springer, 3-540-00106-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Kazuo Iwama, Suguru Tamaki |
Exploiting Partial Knowledge of Satisfying Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAE ![In: Algorithm Engineering, 5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001, Proceedings, pp. 118-128, 2001, Springer, 3-540-42500-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Kwangjo Kim, Tsutomu Matsumoto, Hideki Imai |
A Recursive Construction Method of S-boxes Satisfying Strict Avalanche Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '90, 10th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11-15, 1990, Proceedings, pp. 564-574, 1990, Springer, 3-540-54508-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Gregory Piatetsky-Shapiro, Charles Connell |
Accurate Estimation of the Number of Tuples Satisfying a Condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD'84, Proceedings of Annual Meeting, Boston, Massachusetts, USA, June 18-21, 1984, pp. 256-276, 1984, ACM Press, 978-0-89791-128-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
20 | Jesús M. Carnicer, Carmen Godés |
Classification of sets satisfying the geometric characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 50(2), pp. 145-154, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 41A05, 65D05, 41A63 |
20 | Di Wu 0019, Predrag Spasojevic |
Complementary Set Matrices Satisfying a Column Correlation Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(7), pp. 3330-3339, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Zhou Xin-lian, Gong Bo |
Intra-cluster Nodes Scheduling Algorithm Satisfying Expected Coverage Degree of Application in Distributed Clustering WSNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (3) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 3: Grid Computing / Distributed and Parallel Computing / Information Security, December 12-14, 2008, Wuhan, China, pp. 332-335, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Takayuki Sato, Kazuyuki Amano, Eiji Takimoto, Akira Maruoka |
Monotone DNF Formula That Has a Minimal or Maximal Number of Satisfying Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 14th Annual International Conference, COCOON 2008, Dalian, China, June 27-29, 2008, Proceedings, pp. 191-203, 2008, Springer, 978-3-540-69732-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Koen V. Hindriks, M. Birna van Riemsdijk |
Satisfying Maintenance Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers, pp. 86-103, 2007, Springer, 978-3-540-77563-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Rachit Agarwal 0001, Emanuel M. Popovici, Brendan O'Flynn, Michael E. O'Sullivan |
A Parallel Architecture for Hermitian Decoders: Satisfying Resource and Throughput Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 1405-1408, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Joongman Kim, Seokung Yoon, Yoojae Won, Jaeil Lee |
VoIP Secure Communication Protocol satisfying Backward Compatibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSNC ![In: Proceedings of the Second International Conference on Systems and Networks Communications (ICSNC 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 43, 2007, IEEE Computer Society, 0-7695-2938-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Harald Zankl, Aart Middeldorp |
Satisfying KBO Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 389-403, 2007, Springer, 978-3-540-73447-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Roberto Cignoli, Antoni Torrens |
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 157-181, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
MTL-algebras, Glivenko MTL-algebras, Nilpotent Minimum algebras, DL-algebras, Boolean products, Boolean retraction property, free algebras |
20 | Mei Kang Qiu, Chun Xue, Qingfeng Zhuge, Zili Shao, Meilin Liu, Edwin Hsing-Mean Sha |
Voltage Assignment and Loop Scheduling for Energy Minimization while Satisfying Timing Constraint with Guaranteed Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 2006 IEEE International Conference on Application-Specific Systems, Architecture and Processors (ASAP 2006), 11-13 September 2006, Steamboat Springs, Colorado, USA, pp. 178-181, 2006, IEEE Computer Society, 0-7695-2682-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Frederick R. Reiss, Tapas Kanungo |
Satisfying Database Service Level Agreements while Minimizing Cost through Storage QoS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2005 IEEE International Conference on Services Computing (SCC 2005), 11-15 July 2005, Orlando, FL, USA, pp. 13-21, 2005, IEEE Computer Society, 0-7695-2408-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Seunghoon Choi, Kyeongcheol Yang |
Autocorrelation Properties of Resilient Functions and Three-Valued Almost-Optimal Functions Satisfying PC( p). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETA ![In: Sequences and Their Applications - SETA 2004, Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers, pp. 425-436, 2004, Springer, 3-540-26084-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Neeraj Mittal, Alper Sen 0001, Vijay K. Garg, Ranganath Atreya |
Finding Satisfying Global States: All for One and One for All. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Debasish Chakraborty, Goutam Chakraborty, Norio Shiratori |
A dynamic multicast routing satisfying multiple QoS constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 13(5), pp. 321-335, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Selçuk Kavut, Melek D. Yücel |
Improved Cost Function in the Design of Boolean Functions Satisfying Multiple Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2003, 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings, pp. 121-134, 2003, Springer, 3-540-20609-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bent Boolean functions, Simulated annealing, nonlinearity, autocorrelation, Walsh-Hadamard transforms |
20 | Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2002 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2002), 25-26 April 2002, Pittsburgh, PA, USA, pp. 151-158, 2002, IEEE Computer Society, 0-7695-1486-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström |
Counting Satisfying Assignments in 2-SAT and 3-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings, pp. 535-543, 2002, Springer, 3-540-43996-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Brad T. Vander Zanden |
An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(1), pp. 30-72, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
incremental constraint satisfaction, constraints, interactive systems |
20 | Scott Henninger |
Supporting the Process of Satisfying Information Needs with Reusable Software Libraries: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSR ![In: Proceedings of the ACM SIGSOFT Symposium on Software Reusability, SSR@ICSE 1995, April 23-30, 1995, Seattle, WA, USA, pp. 267-270, 1995, ACM, 0-89791-739-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | N. W. Holloway, Somasundaram Ravindran, Alan Gibbons |
Approximating Minimum Weight Perfect Matchings for Complete Graphs Satisfying the Triangle Inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993, Proceedings, pp. 11-20, 1993, Springer, 3-540-57899-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
parallel algorithms, approximation algorithms, matching |
20 | Bart Preneel, René Govaerts, Joos Vandewalle |
Boolean Functions Satisfying Higher Order Propagation Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '91, Workshop on the Theory and Application of of Cryptographic Techniques, Brighton, UK, April 8-11, 1991, Proceedings, pp. 141-152, 1991, Springer, 3-540-54620-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Tran Khanh Dang, Phat T. Tran Truong |
A Pragmatic Privacy-Preserving Deep Learning Framework Satisfying Differential Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 5(1), pp. 130, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Mihaela Todorova Tomova, Martin Hofmann 0019, Constantin Hütterer, Patrick Mäder |
Assessing the utility of text-to-SQL approaches for satisfying software developer information needs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 29(1), pp. 15, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | James M. Foster, Gonçalo Dos Reis, Calum Strange |
High Order Splitting Methods for SDEs Satisfying a Commutativity Condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 62(1), pp. 500-532, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Seong Hwan Kim 0001, Hu Jin |
Hybrid Beamforming Based SWIPT System Satisfying Individual Rate and Energy Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 5617-5629, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Dingwen Deng, Xiaohong Xiong |
Explicit, non-negativity-preserving and maximum-principle-satisfying finite difference scheme for the nonlinear Fisher's equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 466, pp. 128467, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | S. Alagu Rani, C. Akila, S. P. Raja 0001 |
Guided Intelligent Hyper-Heuristic Algorithm for Critical Software Application Testing Satisfying Multiple Coverage Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 33(2), January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | James Jackaman, Scott P. MacLachlan |
Constraint-Satisfying Krylov Solvers for Structure-Preserving Discretizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 45(1), pp. 327-352, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Arash Shahmansoori |
Concurrent Brainstorming & Hypothesis Satisfying: An Iterative Framework for Enhanced Retrieval-Augmented Generation (R2CBR3H-SR). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01835, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Ruiwei Wang |
Encoding Constraints as Binary Constraint Networks Satisfying BTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 8172-8181, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Kyoka Ishigami, Miki Enoki, Masato Oguchi |
Event Retrieval from Mobile Devices with Location Anonymization Satisfying Geo-Indistinguishability Using Real Population Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE ![In: IEEE International Conference on Consumer Electronics, ICCE 2024, Las Vegas, NV, USA, January 6-8, 2024, pp. 1-6, 2024, IEEE, 979-8-3503-2413-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Oded Yaniv, Stanimir Mollov |
Synthesizing All Filtered Proportional-Integral and PID Controllers Satisfying Gain, Phase, and Sensitivity Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 70(3), pp. 2939-2947, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Saul D. Freedman, Andrea Lucchini, Daniele Nemmi, Colva M. Roney-Dougal |
Finite groups satisfying the independence property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 33(3), pp. 509-545, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sonam, Vandana Rathore, Amita Pal, Ramakant Bhardwaj, Satyendra Narayan |
Fixed-Point Results for Mappings Satisfying Implicit Relation in Orthogonal Fuzzy Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Fuzzy Syst. ![In: Adv. Fuzzy Syst. 2023, pp. 5037401:1-5037401:8, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Volker John, Petr Knobloch, Ondrej Pártl |
A Numerical Assessment of Finite Element Discretizations for Convection-Diffusion-Reaction Equations Satisfying Discrete Maximum Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Methods Appl. Math. ![In: Comput. Methods Appl. Math. 23(4), pp. 969-988, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kyungwoon Lee, Kwanhoon Lee, Hyunchan Park, Jaehyun Hwang, Chuck Yoo |
Autothrottle: Satisfying Network Performance Requirements for Containers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cloud Comput. ![In: IEEE Trans. Cloud Comput. 11(2), pp. 2096-2109, April - June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shengliang Deng, Xiuxian Guan, Zekai Sun, Shixiong Zhao, Tianxiang Shen, Xusheng Chen, Tianyang Duan, Yuexuan Wang, Jia Pan, Yanjun Wu, Libo Zhang 0001, Heming Cui |
Coorp: Satisfying Low-Latency and High-Throughput Requirements of Wireless Network for Coordinated Robotic Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 10(3), pp. 1946-1960, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | P. Poornima, Murugesan Kuppusamy |
Standard pairs and construction of multiwavelets using refinement masks satisfying sum rules of order one. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Wavelets Multiresolution Inf. Process. ![In: Int. J. Wavelets Multiresolution Inf. Process. 21(4), pp. 2250060:1-2250060:20, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Qiaofeng Wen, Leipo Liu, Dexin Fu, Yilin Shang, Zhumu Fu |
Periodically Intermittent Controller Design for H∞ Synchronization of Nonlinear Descriptor Systems Satisfying Incremental Quadratic Constraints Under Stochastic Disturbance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Circuits Syst. Signal Process. ![In: Circuits Syst. Signal Process. 42(5), pp. 2654-2674, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ibtisam Aldawish, Mohamed Jleli, Bessem Samet |
On Hermite-Hadamard-Type Inequalities for Functions Satisfying Second-Order Differential Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(5), pp. 443, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xiaolong Shi, Saira Hameed, Sadia Akhter, Aysha Khan, Maryam Akhoundi |
Conversion of Unweighted Graphs to Weighted Graphs Satisfying Properties R and -SR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(11), pp. 1043, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexander I. Aptekarev, Alexander Dyachenko, Vladimir G. Lysov |
On Perfectness of Systems of Weights Satisfying Pearson's Equation with Nonstandard Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(1), pp. 89, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wen-Huang Li, Feng Qin, Ting-Hai Zhang |
Investigations of T-power based implications satisfying some functional equations related to reasoning schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 158, pp. 108918, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hassan Al-Zoubi, Tareq Hamadneh, Ma'mon Abu Hammad, Mutaz Al-Sabbagh, Mehmet Özdemir |
Ruled and Quadric Surfaces Satisfying ΔIIN = ΛN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(2), pp. 300, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yuchen Qian, Zhonghua Miao, Jin Zhou, Xiaojin Zhu 0002 |
On consensus control of nonlinear multiagent systems satisfying incremental quadratic constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 360(12), pp. 9240-9264, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Andries E. Brouwer, Ferdinand Ihringer, William M. Kantor |
Strongly Regular Graphs Satisfying the 4-Vertex Condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 43(2), pp. 257-276, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yuanhong Ren, Wuneng Zhou, Zhiwei Li, Ling Liu, Yuqing Sun 0003 |
Prescribed-Time Consensus Tracking of Multiagent Systems With Nonlinear Dynamics Satisfying Time-Varying Lipschitz Growth Rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cybern. ![In: IEEE Trans. Cybern. 53(4), pp. 2097-2109, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Javad Kazemitabar 0001 |
A general framework for constructing distributions satisfying Benford's law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 52(12), pp. 6160-6167, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Michael J. Gill, Ian M. Wanless |
Pairs of MOLS of order ten satisfying non-trivial relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 91(4), pp. 1293-1313, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Dechao Li, Qiannan Guo |
MISO hierarchical inference engine satisfying the law of importation with aggregation functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 56(10), pp. 10961-10986, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yeyuan Chen, Yizhi Huang, Jiatu Li, Hanlin Ren |
Range Avoidance, Remote Point, and Hard Partial Truth Tables via Satisfying-Pairs Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR23, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Onur Berkay Gamgam, Ezhan Karasan |
Satisfying strict deadlines for cellular Internet of Things through hybrid multiple access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Emerg. Telecommun. Technol. ![In: Trans. Emerg. Telecommun. Technol. 34(8), August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Robert C. Kirby, Daniel Shapero |
High-order bounds-satisfying approximation of partial differential equations via finite element variational inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.05880, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Federico Benzi, Federica Ferraguti, Cristian Secchi |
Energy Tank-based Control Framework for Satisfying the ISO/TS 15066 Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.14059, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Adel Nikfarjam, Ralf Rothenberger, Frank Neumann 0001, Tobias Friedrich 0001 |
Evolutionary Diversity Optimisation in Constructing Satisfying Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.11457, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexandr Polujan, Enes Pasalic, Sadmir Kudin, Fengrong Zhang |
Bent functions satisfying the dual bent condition and permutations with the Am property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.10162, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Na Yang, Jian-Hua Yin |
Group connectivity of graphs satisfying the Chvátal-condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 341, pp. 212-217, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Chein-Shan Liu, Lin Qiu |
Solving Nonlinear Elliptic Inverse Source, Coefficient and Conductivity Problems by the Methods with Bases Satisfying the Boundary Conditions Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 95(2), pp. 42, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mathieu Lajante, Dewi Tojib, TingHin (Ivan) Ho |
When interacting with a service robot is (not) satisfying: The role of customers' need for social sharing of emotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 146, pp. 107792, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | A. A. Illarionov |
Existence of Sequences Satisfying Bilinear Type Recurrence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probl. Inf. Transm. ![In: Probl. Inf. Transm. 59(2), pp. 163-180, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Anshuman Misra, Ajay D. Kshemkalyani |
Byzantine Fault-Tolerant Causal Order Satisfying Strong Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings, pp. 111-125, 2023, Springer, 978-3-031-44273-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Luyao Niu, Andrew Clark 0001, Radha Poovendran |
Necessary and Sufficient Conditions for Satisfying Linear Temporal Logic Constraints Using Control Barrier Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 8589-8595, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff |
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 4372-4378, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Takuto Yanagida, Jean Vanderdonckt, Nicolas Burny |
Adaptive GUI Layout by Satisfying Fuzzy Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS (Companion) ![In: Companion Proceedings of the 2023 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2023, Swansea, United Kingdom, June 27-30, 2023, pp. 70-72, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Adel Nikfarjam, Ralf Rothenberger, Frank Neumann 0001, Tobias Friedrich 0001 |
Evolutionary Diversity Optimisation in Constructing Satisfying Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023, pp. 938-945, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hassan Alzoubi, Waseem Al-Mashaleh, Haitham Qawaqneh, Mohammad Al-kafaween |
Helicoidal Surfaces Satisfying $\boldsymbol{\varDelta}^{\boldsymbol{III}} \boldsymbol{r}=\boldsymbol{Ar}$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: International Conference on Information Technology, ICIT 2023, Amman, Jordan, August 9-10, 2023, pp. 705-708, 2023, IEEE, 979-8-3503-2006-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yeyuan Chen, Yizhi Huang, Jiatu Li, Hanlin Ren |
Range Avoidance, Remote Point, and Hard Partial Truth Table via Satisfying-Pairs Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023, pp. 1058-1066, 2023, ACM, 978-1-4503-9913-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Naoto Izumi, Tsuyoshi Kiyama, Shun Iriya |
Model Predictive Control Satisfying Constraints of Intersample Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SICE ![In: 62nd Annual Conference of the Society of Instrument and Control Engineers, SICE 2023, Tsu, Japan, September 6-9, 2023, pp. 459-464, 2023, IEEE, 978-4-9077-6480-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Michal Baczynski 0001, Wlodzimierz Fechner, Mateusz Pieszczek, Sebastià Massanet |
The Form of Fuzzy Implication Functions Satisfying a Multiplicative Sincov's Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT/AGOP ![In: Fuzzy Logic and Technology, and Aggregation Operators - 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings, pp. 689-697, 2023, Springer, 978-3-031-39964-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Eden Chlamtác, Yury Makarychev, Ali Vakilian |
Approximating Red-Blue Set Cover and Minimum Monotone Satisfying Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX/RANDOM ![In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, September 11-13, 2023, Atlanta, Georgia, USA, pp. 11:1-11:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-296-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hsiu-Chunj Pan, Hsun Su, Shin-Shin Kao |
On the 2-Vertex-Fault Hamiltonicity for Graphs Satisfying Ore's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. Eng. ![In: J. Inf. Sci. Eng. 38(4), pp. 833-857, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | N. K. Arutyunova, Aidar M. Dulliev, Vladislav I. Zabotin |
Global optimization of multivariable functions satisfying the Vanderbei condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. Comput. ![In: J. Appl. Math. Comput. 68(2), pp. 1135-1161, April 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sang Hyun Park, Maolin Jin, Sang Hoon Kang |
Efficient Acceleration-Level Formula of Bias Acceleration Satisfying Time Precedence for Operational Space Formulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 65533-65547, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Leipo Liu, Yilin Shang, Yifan Di, Zhumu Fu, Xiushan Cai |
Impulsive Functional Observer Design for Fractional-Order Nonlinear Systems Satisfying Incremental Quadratic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Circuits Syst. Signal Process. ![In: Circuits Syst. Signal Process. 41(6), pp. 3130-3152, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Elvis Aponte, Narayanapillai Jayanthi, Domingo Quiroz, Ponraj Vasanthakumar |
Tensor Product of Operators Satisfying Zariouh's Property (gaz), and Stability under Perturbations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(5), pp. 225, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Salvatore Sessa 0002, Mohamed Akkouchi |
Coincidence Points for Mappings in Metric Spaces Satisfying Weak Commuting Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(3), pp. 504, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Nannan Zhou, Shigong Long, Hai Liu 0007, Hai Liu |
Structure-Attribute Social Network Graph Data Publishing Satisfying Differential Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(12), pp. 2531, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|