|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1026 occurrences of 508 keywords
|
|
|
Results
Found 1679 publication records. Showing 1679 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Ali Salamati, Majid Zamani 0001 |
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach. |
L4DC |
2022 |
DBLP BibTeX RDF |
|
15 | Thomas T. C. K. Zhang, Stephen Tu, Nicholas M. Boffi, Jean-Jacques E. Slotine, Nikolai Matni |
Adversarially Robust Stability Certificates can be Sample-Efficient. |
L4DC |
2022 |
DBLP BibTeX RDF |
|
15 | Marcel Bezdrighin, Michael Elkin, Mohsen Ghaffari 0001, Christoph Grunau, Bernhard Haeupler, Saeed Ilchi, Václav Rozhon |
Deterministic Distributed Sparse and Ultra-Sparse Spanners and Connectivity Certificates. |
SPAA |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jun Xia, Ming Hu 0003, Xin Chen, Mingsong Chen |
Accelerated synthesis of neural network-based barrier certificates using collaborative learning. |
DAC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Panos Kampanakis, Michael G. Kallitsis |
Faster Post-Quantum TLS Handshakes Without Intermediate CA Certificates. |
CSCML |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tareq Hamadneh, Jochen Merker, Willi Schimmel, Gregor Schuldt |
Simplicial Bernstein form and positivity certificates for solutions obtained in a stationary digital twin by Bernstein Bubnov-Galerkin method. |
ICoMS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Simon Jantsch |
Certificates and Witnesses for Probabilistic Model Checking. |
|
2022 |
RDF |
|
15 | Ngoc Hoang Anh Mai |
Practical polynomial optimization through positivity certificates with and without denominators. (Optimisation polynomiale effective via des certificats de positivité avec ou sans dénominateurs). |
|
2022 |
RDF |
|
15 | Siyuan Liu, Majid Zamani 0001 |
Verification of Approximate Opacity via Barrier Certificates. |
IEEE Control. Syst. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Ulrich Gallersdörfer, Jan-Niklas Strugala, Florian Matthes |
Efficient Onboarding and Management of Members in Permissioned Blockchain Networks Utilizing TLS Certificates. |
Frontiers Blockchain |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Paulino José García Nieto, Esperanza García Gonzalo, José Pablo Paredes-Sánchez, Antonio Bernardo Sánchez |
A new hybrid model to foretell thermal power efficiency from energy performance certificates at residential dwellings applying a Gaussian process regression. |
Neural Comput. Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Sebastiano Vitali, Vittorio Moriggia |
Pension fund management with investment certificates and stochastic dominance. |
Ann. Oper. Res. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | María Pérez-Ortiz 0001, Omar Rivasplata, John Shawe-Taylor, Csaba Szepesvári |
Tighter Risk Certificates for Neural Networks. |
J. Mach. Learn. Res. |
2021 |
DBLP BibTeX RDF |
|
15 | Hayato Dan, Takeshi Hatanaka, Junya Yamauchi, Takumi Shimizu, Masayuki Fujita |
Persistent Object Search and Surveillance Control With Safety Certificates for Drone Networks Based on Control Barrier Functions. |
Frontiers Robotics AI |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Majid Jahani, Naga Venkata C. Gudapati, Chenxin Ma, Rachael Tappenden, Martin Takác 0001 |
Fast and safe: accelerated gradient methods with optimality certificates and underestimate sequences. |
Comput. Optim. Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yuji Sakurai, Takuya Watanabe 0001, Tetsuya Okuda, Mitsuaki Akiyama, Tatsuya Mori |
Identifying the Phishing Websites Using the Patterns of TLS Certificates. |
J. Cyber Secur. Mobil. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Georgios Karopoulos, José Luis Hernández Ramos, Vasileios Kouliaridis, Georgios Kambourakis |
A Survey on Digital Certificates Approaches for the COVID-19 Pandemic. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Gawlik, Jürgen Marchgraber, Yi Guo |
Inertia Certificates - Möglichkeiten zur Gewährleistung von ausreichender Momentanreserve im Verbundsystem. |
Elektrotech. Informationstechnik |
2021 |
DBLP DOI BibTeX RDF |
|
15 | María A. Baamonde-Seoane, María del Carmen Calvo-Garrido, Michael Coulon, Carlos Vázquez 0002 |
Numerical solution of a nonlinear PDE model for pricing Renewable Energy Certificates (RECs). |
Appl. Math. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Minmei Wang, Chen Qian 0001, Xin Li 0057, Shouqian Shi, Shigang Chen |
Collaborative Validation of Public-Key Certificates for IoT by Distributed Caching. |
IEEE/ACM Trans. Netw. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Pushpak Jagtap, Sadegh Soudjani, Majid Zamani 0001 |
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. |
IEEE Trans. Autom. Control. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | José Luis Hernández Ramos, Georgios Karopoulos, Dimitris Geneiatakis, Tania Martin, Georgios Kambourakis, Igor Nai Fovino |
Sharing Pandemic Vaccination Certificates through Blockchain: Case Study and Performance Evaluation. |
Wirel. Commun. Mob. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Maria Papadaki, Ioannis Karamitsos, Marinos Themistocleous |
ViewpointCovid-19 digital test certificates and blockchain. |
J. Enterp. Inf. Manag. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Tim Mitchell |
Fast Interpolation-Based Globality Certificates for Computing Kreiss Constants and the Distance to Uncontrollability. |
SIAM J. Matrix Anal. Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Amitabh Basu, Tongtong Chen, Michele Conforti, Hongyi Jiang |
Helly systems and certificates in optimization. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Zengyi Qin, Kaiqing Zhang, Yuxiao Chen 0001, Jingkai Chen, Chuchu Fan |
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Dmitry Chistikov 0001, Rupak Majumdar, Philipp Schepper |
Subcubic Certificates for CFL Reachability. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Yuping Luo, Tengyu Ma 0001 |
Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Mahathi Anand, Abolfazl Lavaei, Majid Zamani 0001 |
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Mahathi Anand, Abolfazl Lavaei, Majid Zamani 0001 |
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Christian Sprecher, Marc Fischer 0002, Dimitar I. Dimitrov, Gagandeep Singh 0001, Martin T. Vechev |
Shared Certificates for Neural Network Verification. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Saber Jafarpour, Matthew Abate, Alexander Davydov 0001, Francesco Bullo, Samuel Coogan 0001 |
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Mwrwan Abubakar, Pádraig McCarron, Zakwan Jaroucheh, Ahmed Al-Dubai 0001, William J. Buchanan |
Blockchain-based Platform for Secure Sharing and Validation of Vaccination Certificates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Dimitrios Georgoulias, Jens Myrup Pedersen, Morten Falch, Emmanouil Vasilomanolakis |
COVID-19 vaccination certificates in the Darkweb. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Filippo Fabiani, Kostas Margellos, Paul J. Goulart |
Probabilistic stabilizability certificates for a class of black-box linear systems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | François Bachoc, Tommaso Renato Cesari, Sébastien Gerchinovitz |
Instance-Dependent Bounds for Zeroth-order Lipschitz Optimization with Error Certificates. |
CoRR |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Data-driven verification and synthesis of stochastic systems through barrier certificates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | José Luis Hernández Ramos, Georgios Karopoulos, Dimitris Geneiatakis, Tania Martin, Georgios Kambourakis, Igor Nai Fovino |
Sharing pandemic vaccination certificates through blockchain: Case study and performance evaluation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Marvin Kowalewski, Franziska Herbert, Theodor Schnitzler, Markus Dürmuth |
Proof-of-Vax: Studying User Preferences and Perception of Covid Vaccination Certificates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Mahathi Anand, Pushpak Jagtap, Majid Zamani 0001 |
Verification of Switched Stochastic Systems via Barrier Certificates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Mahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Yue Meng, Zengyi Qin, Chuchu Fan |
Reactive and Safe Road User Simulations using Neural Barrier Certificates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Athindran Ramesh Kumar, Sulin Liu, Jaime F. Fisac, Ryan P. Adams, Peter J. Ramadge |
ProBF: Learning Probabilistic Safety Certificates with Barrier Functions. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Thomas T. C. K. Zhang, Stephen Tu, Nicholas M. Boffi, Jean-Jacques E. Slotine, Nikolai Matni |
Adversarially Robust Stability Certificates can be Sample-Efficient. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Ilias Politis, Christos Xenakis, Adarbad Master, John Polley |
On an innovative architecture for digital immunity passports and vaccination certificates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Qiuye Wang, Mingshuai Chen, Bai Xue 0001, Naijun Zhan, Joost-Pieter Katoen |
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Amin Gholami, Xu Andy Sun |
Stability of Multi-Microgrids: New Certificates, Distributed Control, and Braess's Paradox. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Azad Ghaffari, Manavendra Desai |
Safety-Control of Mobile Robots Under Time-Delay Using Barrier Certificates and a Two-Layer Predictor. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Siyuan Liu, Majid Zamani 0001 |
Verification of Approximate Opacity via Barrier Certificates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar |
Algorithms and Certificates for Boolean CSP Refutation: "Smoothed is no harder than Random". |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Jinnan Fan, Fabian Willems, Jafar Zahed, John Gray, Serge Mister, Mike Ounsworth, Carlisle Adams |
Impact of post-quantum hybrid certificates on PKI, common libraries, and protocols. |
Int. J. Secur. Networks |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yaron Sheffer, Diego R. López, Antonio Pastor Perales, Thomas Fossati |
An Automatic Certificate Management Environment (ACME) Profile for Generating Delegated Certificates. |
RFC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Russ Housley |
Enhanced JSON Web Token (JWT) Claim Constraints for Secure Telephone Identity Revisited (STIR) Certificates. |
RFC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Alexey Melnikov 0001 |
Extensions to Automatic Certificate Management Environment for End-User S/MIME Certificates. |
RFC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Luis Adrián Lizama-Pérez, José Mauricio López-Romero |
Non-Invertible Public Key Certificates. |
Entropy |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock 0001 |
Learning safe neural network controllers with barrier certificates. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Zhiqiang Gao, Shufei Zhang, Kaizhu Huang, Qiufeng Wang, Chaoliang Zhong |
Gradient Distribution Alignment Certificates Better Adversarial Domain Adaptation. |
ICCV |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Faraz Masood, Arman Rasool Faridi |
A Blockchain Framework to Increase the Security and Verifiability of Educational Certificates. |
ACeS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Qiuye Wang, Mingshuai Chen, Bai Xue 0001, Naijun Zhan, Joost-Pieter Katoen |
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. |
CAV (1) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mwrwan Abubakar, Pádraig McCarron, Zakwan Jaroucheh, Ahmed Yassin Al-Dubai, Bill Buchanan 0001 |
Blockchain-based Platform for Secure Sharing and Validation of Vaccination Certificates. |
SIN |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yue Meng, Zengyi Qin, Chuchu Fan |
Reactive and Safe Road User Simulations using Neural Barrier Certificates. |
IROS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Wanling Huang, Jingqiang Lin, Qiongxiao Wang, Yajun Teng, Huiqing Wan, Wei Wang 0314 |
Certificate Transparency for ECQV Implicit Certificates. |
ICC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Pengcheng You, Enrique Mallada |
Saddle Flow Dynamics: Observable Certificates and Separable Regularization. |
ACC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Azad Ghaffari |
Modular Safety Control for Mobile Robots Using Barrier Certificates and Modified Feedback. |
ACC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Siyuan Liu, Majid Zamani 0001 |
Verification of Approximate Opacity via Barrier Certificates. |
ACC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Hoang Hai Nguyen, Tim Zieger, Sandra C. Wells, Anastasia Nikolakopoulou, Richard D. Braatz, Rolf Findeisen |
Stability Certificates for Neural Network Learning-based Controllers using Robust Control Theory. |
ACC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Qingye Zhao, Xin Chen 0027, Yifan Zhang 0005, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li |
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo |
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo |
A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. |
OVERLAY@GandALF |
2021 |
DBLP BibTeX RDF |
|
15 | Mahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. |
CDC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Wenya Wang, Yakang Li, Chao Wang, Yuan Yan, Juanru Li, Dawu Gu |
Re-Check Your Certificates! Experiences and Lessons Learnt from Real-World HTTPS Certificate Deployments. |
NSS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess |
Proof Search and Certificates for Evidential Transactions. |
CADE |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Khaled Hamouid, Mawloud Omar, Kamel Adi |
A Privacy-Preserving Authentication Model Based on Anonymous Certificates in IoT. |
WD |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Marco Oliveira, Tomás Honório, Catarina I. Reis, Marisa Maximiano |
Immunity Passport Ledger - Digital Certificates Implemented on a Permissioned Blockchain. |
IBICA |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Peruffo, Daniele Ahmed, Alessandro Abate |
Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models. |
TACAS (1) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Manohar Raavi, Pranav Chandramouli, Simeon Wuthier, Xiaobo Zhou 0002, Sang-Yoon Chang |
Performance Characterization of Post-Quantum Digital Certificates. |
ICCCN |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Diana Berbecaru |
Verification of X.509 Attribute Certificates for Attribute-based Authorization: A Practical Approach. |
ICSTCC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Wei Xia, Wei Wang 0314, Xin He, Gang Xiong 0001, Gaopeng Gou, Zhenzhen Li, Zhen Li 0011 |
Old Habits Die Hard: A Sober Look at TLS Client Certificates in the Real World. |
TrustCom |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Gazi Abdur Rakib, Mohammad Saiful Islam, Md. Abdur Rahman, Syed Maruf Abdullah, M. Shamim Hossain, Nabil Ali Alrajeh, Abdulmotaleb El-Saddik |
DeepHealth: A Secure Framework to Manage Health Certificates Through Medical IoT, Blockchain and Deep Learning. |
MeMeA |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mark Foy, Dolores Martyn, Debra Daly, Aoife Byrne, Chinwe Aguneche, Rob Brennan |
Blockchain-based governance models for COVID-19 digital health certificates: A legal, technical, ethical and security requirements analysis. |
EUSPN/ICTH |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Maria Macchiaroli, Luigi Dolores, Luigi Nicodemo, Gianluigi De Mare |
Energy Efficiency in the Management of the Integrated Water Service. A Case Study on the White Certificates Incentive System. |
ICCSA (8) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | François Bachoc, Tommaso Cesari, Sébastien Gerchinovitz |
Instance-Dependent Bounds for Zeroth-order Lipschitz Optimization with Error Certificates. |
NeurIPS |
2021 |
DBLP BibTeX RDF |
|
15 | Yuping Luo, Tengyu Ma 0001 |
Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations. |
NeurIPS |
2021 |
DBLP BibTeX RDF |
|
15 | Ioannis Karamitsos, Maria Papadaki |
Blockchain Digital Test Certificates for COVID-19. |
MMBD/MLIS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Shahriar Karim Shawon, Hosnain Ahammad, Shumrose Zaman Shetu, Md. Mahfujur Rahman, Syed Akhter Hossain |
DIUcerts DApp: A Blockchain-based Solution for Verification of Educational Certificates. |
ICCCNT |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich |
Compact Certificates of Collective Knowledge. |
SP |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Xiongfei Zhao, Yain-Whar Si |
NFTCert: NFT-Based Certificates With Online Payment Gateway. |
Blockchain |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Zengyi Qin, Kaiqing Zhang, Yuxiao Chen 0001, Jingkai Chen, Chuchu Fan |
Learning Safe Multi-agent Control with Decentralized Neural Barrier Certificates. |
ICLR |
2021 |
DBLP BibTeX RDF |
|
15 | Jan Schuchardt, Aleksandar Bojchevski, Johannes Klicpera, Stephan Günnemann |
Collective Robustness Certificates: Exploiting Interdependence in Graph Neural Networks. |
ICLR |
2021 |
DBLP BibTeX RDF |
|
15 | Meng Sha, Xin Chen 0027, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li |
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. |
DAC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Matthieu Py |
Inférence et certificats pour le problème de satisfiabilité maximum. (Inference and certificates for the maximum satisfiability problem). |
|
2021 |
RDF |
|
15 | Ameneh Nejati, Sadegh Soudjani, Majid Zamani 0001 |
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. |
IEEE Control. Syst. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Muhamed Turkanovic, Blaz Podgorelec |
Signing Blockchain Transactions Using Qualified Certificates. |
IEEE Internet Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Chris Coey, Miles Lubin, Juan Pablo Vielma |
Outer approximation with conic certificates for mixed-integer convex problems. |
Math. Program. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Haya R. Hasan, Khaled Salah 0001, Raja Jayaraman, Junaid Arshad, Ibrar Yaqoob, Mohammed A. Omar, Samer Ellahham |
Blockchain-Based Solution for COVID-19 Digital Medical Passports and Immunity Certificates. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Linbin Huang, Huanhai Xin, Florian Dörfler |
H∞-Control of Grid-Connected Converters: Design, Objectives and Decentralized Stability Certificates. |
IEEE Trans. Smart Grid |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Patrick L. Combettes, Jean-Christophe Pesquet |
Lipschitz Certificates for Layered Network Structures Driven by Averaged Activation Operators. |
SIAM J. Math. Data Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Peruffo, Daniele Ahmed, Alessandro Abate |
Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
Displaying result #501 - #600 of 1679 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|