Search results for "Opacity"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Yifan Xie, Xiang Yin 0003, Shaoyuan Li	Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications.	CoRR	2021	DBLP BibTeX RDF
17	Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie	Using Subobservers to Synthesize Opacity-Enforcing Supervisors.	CoRR	2021	DBLP BibTeX RDF
17	Jirí Balun, Tomás Masopust	K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations.	CoRR	2021	DBLP BibTeX RDF
17	Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay	A General Language-Based Framework for Specifying and Verifying Notions of Opacity.	CoRR	2021	DBLP BibTeX RDF
17	Xiaoguang Han 0001, Kuize Zhang, Jiahui Zhang, Zhiwu Li 0001, Zengqiang Chen 0001	Strong current-state and initial-state opacity of discrete-event systems.	CoRR	2021	DBLP BibTeX RDF
17	Siyuan Liu, Majid Zamani 0001	Verification of Approximate Opacity via Barrier Certificates.	CoRR	2021	DBLP BibTeX RDF
17	Lane A. Hemaspaandra, David E. Narváez	Existence versus exploitation: the opacity of backdoors and backbones.	Prog. Artif. Intell.	2021	DBLP DOI BibTeX RDF
17	Shingo Mabu, Masashi Miyake, Takashi Kuremoto, Shoji Kido	Semi-supervised CycleGAN for domain transformation of chest CT images and its application to opacity classification of diffuse lung diseases.	Int. J. Comput. Assist. Radiol. Surg.	2021	DBLP DOI BibTeX RDF
17	Qian Xu, Zhipeng Zhang, Yongyi Yan, Chengyi Xia	Security and privacy with K-step opacity for finite automata via a novel algebraic approach.	Trans. Inst. Meas. Control	2021	DBLP DOI BibTeX RDF
17	Shuo Yang 0007, Junyao Hou, Xiang Yin 0003, Shaoyuan Li	Opacity of Networked Supervisory Control Systems Over Insecure Communication Channels.	IEEE Trans. Control. Netw. Syst.	2021	DBLP DOI BibTeX RDF
17	Weilin Deng, Daowen Qiu, Jingkai Yang	Opacity Measures of Fuzzy Discrete Event Systems.	IEEE Trans. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
17	Lane A. Hemaspaandra, David E. Narváez	The opacity of backbones.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
17	Yiting Xie, Deepta Rajan, Larissa C. Schudlo, Yusuke Takeuchi, Benedikt Graf, Adam Coy, Mohammadreza Negahdar, Vandana V. Mukherjee, David Beymer, Arun Krishnan	Automatic localization of lung opacity in chest CT images: a real-world study.	Medical Imaging: Computer-Aided Diagnosis	2021	DBLP DOI BibTeX RDF
17	Nimrod Sagie, Shiri Almog, Ayelet Talby, Hayit Greenspan	COVID-19 opacity segmentation in chest CT via HydraNet: a joint learning multi-decoder network.	Medical Imaging: Computer-Aided Diagnosis	2021	DBLP DOI BibTeX RDF
17	Yuichiro Koizumi, Tohru Kamiya, Takatoshi Aoki, Shoji Kido	Detection of Abnormal Opacity on Chest CT Images Using A 3D-CNN.	ICBBE	2021	DBLP DOI BibTeX RDF
17	Kuize Zhang	State-Based Opacity of Real-Time Automata.	AUTOMATA	2021	DBLP DOI BibTeX RDF
17	Sk Subidh Ali, Yogendra Sao, Santosh Biswas	Opacity preserving Countermeasure using Finite State Machines against Differential Scan Attacks.	ETS	2021	DBLP DOI BibTeX RDF
17	Siyuan Liu, Majid Zamani 0001	Verification of Approximate Opacity via Barrier Certificates.	ACC	2021	DBLP DOI BibTeX RDF
17	Sasinee Pruekprasert, Kai Cai	Local Opacity Verification for Distributed Discrete Event Systems.	CDC	2021	DBLP DOI BibTeX RDF
17	Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay	Enforcement of K-Step Opacity with Edit Functions.	CDC	2021	DBLP DOI BibTeX RDF
17	Jaime A. Dulce-Galindo, Lucas V. R. Alves, Guilherme V. Raffo, Patrícia N. Pena	Enforcing State-Based Opacity using Synchronizing Automata.	CDC	2021	DBLP DOI BibTeX RDF
17	Damas P. Gruska, M. Carmen Ruiz	Process Opacity and Insertion Functions.	CS&P	2021	DBLP BibTeX RDF
17	Michael Pregenzer, Florian Wieser, Renata Santiago Walser, Ulrich Remus	Obscure Oversight: Opacity Drives Sensemaking and Resistance Behavior in Algorithmic Management.	ICIS	2021	DBLP BibTeX RDF
17	Haimin Luo, Anpei Chen, Qixuan Zhang, Bai Pang, Minye Wu, Lan Xu, Jingyi Yu	Convolutional Neural Opacity Radiance Fields.	ICCP	2021	DBLP DOI BibTeX RDF
17	Pawel Stacewicz, Hajo Greif	Concepts as decision functions. The issue of epistemic opacity of conceptual representations in artificial computing systems.	KES	2021	DBLP DOI BibTeX RDF
17	Qingyun Yan, Shuanggen Jin, Weimin Huang 0001, Yan Jia 0004	Stand-Alone Retrievals of Soil Moisture and Vegetation Opacity Using the CyGNSS Data.	IGARSS	2021	DBLP DOI BibTeX RDF
17	Nour Elhouda Souid, Kais Klai	A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems.	ICICS (2)	2021	DBLP DOI BibTeX RDF
17	Andrea Agiollo, Giovanni Ciatto, Andrea Omicini	Shallow2Deep: Restraining Neural Networks Opacity Through Neural Architecture Search.	EXTRAAMAS@AAMAS	2021	DBLP DOI BibTeX RDF
17	Ye Guo, Xiaoning Jiang, Chen Guo, Shouguang Wang, Oussama Karoui	Overview of Opacity in Discrete Event Systems.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Sahar Mohajerani, Yiding Ji, Stéphane Lafortune	Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
17	Liwei An, Guang-Hong Yang	Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
17	Xiang Yin 0003, Shaoyuan Li	Synthesis of Dynamic Masks for Infinite-Step Opacity.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
17	Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus	Notions of Centralized and Decentralized Opacity in Linear Systems.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
17	Sahar Mohajerani, Stéphane Lafortune	Transforming Opacity Verification to Nonblocking Verification in Modular Systems.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
17	Hao Lan, Yin Tong, Jin Guo, Alessandro Giua	Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171].	Autom.	2020	DBLP DOI BibTeX RDF
17	Ikram Saadaoui, Zhiwu Li 0001, Naiqi Wu	Current-state opacity modelling and verification in partially observed Petri nets.	Autom.	2020	DBLP DOI BibTeX RDF
17	Irene Baeza Rojo, Markus H. Gross, Tobias Günther	Fourier Opacity Optimization for Scalable Exploration.	IEEE Trans. Vis. Comput. Graph.	2020	DBLP DOI BibTeX RDF
17	Holger Grün, Carsten Benthin, Sven Woop	Sub-triangle opacity masks for faster ray tracing of transparent objects.	Proc. ACM Comput. Graph. Interact. Tech.	2020	DBLP DOI BibTeX RDF
17	Shuo Yang 0007, Xiang Yin 0003	Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems.	CoRR	2020	DBLP BibTeX RDF
17	Yaoyi Li, Qingyao Xu, Hongtao Lu	Hierarchical Opacity Propagation for Image Matting.	CoRR	2020	DBLP BibTeX RDF
17	Alexander Wong, Zhong Qiu Lin, Linda Wang, Audrey G. Chung, Beiyi Shen, Almas Abbasi, Mahsa Hoshmand-Kochi, Timothy Q. Duong	Towards computer-aided severity assessment: training and validation of deep neural networks for geographic extent and opacity extent scoring of chest X-rays for SARS-CoV-2 lung disease severity.	CoRR	2020	DBLP BibTeX RDF
17	Yifan Xie, Xiang Yin 0003, Shaoyuan Li	Opacity Enforcing Supervisory Control using Non-deterministic Supervisors.	CoRR	2020	DBLP BibTeX RDF
17	Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim	Modularising Verification Of Durable Opacity.	CoRR	2020	DBLP BibTeX RDF
17	Alireza Partovi, Taeho Jung, Hai Lin 0002	Opacity of Discrete Event Systems with Active Intruder.	CoRR	2020	DBLP BibTeX RDF
17	Jan N. Hombeck, Li Ji, Kai Lawonn, Charles Perin	A Study of Opacity Ranges for Transparent Overlays in 3D Landscapes.	CoRR	2020	DBLP BibTeX RDF
17	Junyao Hou, Xiang Yin 0003, Shaoyuan Li	A Framework for Current-State Opacity under Dynamic Information Release Mechanism.	CoRR	2020	DBLP BibTeX RDF
17	James Wright	Suspect AI: Vibraimage, Emotion Recognition Technology, and Algorithmic Opacity.	CoRR	2020	DBLP BibTeX RDF
17	Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Anders T. Gjerdrum, Dan Alistarh, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro 0001	Fast General Distributed Transactions with Opacity using Global Time.	CoRR	2020	DBLP BibTeX RDF
17	Siyuan Liu, Majid Zamani 0001	Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems.	CoRR	2020	DBLP BibTeX RDF
17	Siyuan Liu, Abdalla Swikir, Majid Zamani 0001	Verification of Initial-State Opacity for Switched Systems: A Compositional Approach.	CoRR	2020	DBLP BibTeX RDF
17	Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li 0001	Extended Insertion Functions for Opacity Enforcement.	CoRR	2020	DBLP BibTeX RDF
17	Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim	Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.	CoRR	2020	DBLP BibTeX RDF
17	Cen Wang, Minye Wu, Ziyu Wang, Liao Wang, Hao Sheng 0001, Jingyi Yu	Neural Opacity Point Cloud.	IEEE Trans. Pattern Anal. Mach. Intell.	2020	DBLP DOI BibTeX RDF
17	Alin Khaliduzzaman, Ayuko Kashimori, Tetsuhito Suzuki, Yuichi Ogawa, Naoshi Kondo	Chick Embryo Growth Modeling Using Near-Infrared Sensor and Non-Linear Least Square Fitting of Egg Opacity Values.	Sensors	2020	DBLP DOI BibTeX RDF
17	Rongjian Liu, Liujuan Mei, Jianquan Lu	K-memory-embedded insertion mechanism for opacity enforcement.	Syst. Control. Lett.	2020	DBLP DOI BibTeX RDF
17	Yifan Xie, Xiang Yin	Note that each information-Supervisory Control of Discrete-Event Systems for Infinite-Step Opacity.	ACC	2020	DBLP DOI BibTeX RDF
17	Siyuan Liu, Xiang Yin 0003, Majid Zamani 0001	On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems.	ACC	2020	DBLP DOI BibTeX RDF
17	Siyuan Liu, Abdalla Swikir, Majid Zamani 0001	Compositional Verification of Initial-State Opacity for Switched Systems.	CDC	2020	DBLP DOI BibTeX RDF
17	Jan N. Hombeck, Li Ji, Kai Lawonn, Charles Perin	A Study of Opacity Ranges for Transparent Overlays in 3D Landscapes.	IEEE VIS (Short Papers)	2020	DBLP DOI BibTeX RDF
17	Mahmoud Zeidan, Tobias Rapp, Christoph Peters 0002, Carsten Dachsbacher	Moment-Based Opacity Optimization.	EGPGV@Eurographics/EuroVis	2020	DBLP DOI BibTeX RDF
17	Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim	Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.	FORTE	2020	DBLP DOI BibTeX RDF
17	Weiwei Du, Dandan Yuan, Jianming Wang, Xiaojie Duan, Yanhe Ma, Hong Zhang	Label Propagation Algorithm for the Slices Detection of a Ground-Glass Opacity Nodule.	Int. J. Softw. Innov.	2019	DBLP DOI BibTeX RDF
17	Roberta Gori, Damas P. Gruska, Paolo Milazzo	Studying Opacity of Reaction Systems through Formula Based Predictors.	Fundam. Informaticae	2019	DBLP DOI BibTeX RDF
17	Alin Khaliduzzaman, Shinichi Fujitani, Ayuko Kashimori, Tetsuhito Suzuki, Yuichi Ogawa, Naoshi Kondo	Non-invasive broiler chick embryo sexing based on opacity value of incubated eggs.	Comput. Electron. Agric.	2019	DBLP DOI BibTeX RDF
17	Rui Zhao 0026, Fuchun Liu, Jianxin Tan	Relative predictability of failure event occurrences and its opacity-based test algorithm.	Int. J. Control	2019	DBLP DOI BibTeX RDF
17	Yiding Ji, Xiang Yin 0003, Stéphane Lafortune	Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions.	IEEE Trans. Autom. Control.	2019	DBLP DOI BibTeX RDF
17	Kuize Zhang, Xiang Yin 0003, Majid Zamani 0001	Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.	IEEE Trans. Autom. Control.	2019	DBLP DOI BibTeX RDF
17	Tomás Masopust, Xiang Yin 0003	Complexity of detectability, opacity and A-diagnosability for modular discrete event systems.	Autom.	2019	DBLP DOI BibTeX RDF
17	Yiding Ji, Xiang Yin 0003, Stéphane Lafortune	Enforcing opacity by insertion functions under multiple energy constraints.	Autom.	2019	DBLP DOI BibTeX RDF
17	Tudor B. Ionescu	Simulation, Epistemic Opacity, and 'Envirotechnical Ignorance' in Nuclear Crisis.	Minds Mach.	2019	DBLP DOI BibTeX RDF
17	Jirí Balun, Tomás Masopust	On Opacity Verification for Discrete-Event Systems.	CoRR	2019	DBLP BibTeX RDF
17	Étienne André, Jun Sun 0001	Parametric Timed Model Checking for Guaranteeing Timed Opacity.	CoRR	2019	DBLP BibTeX RDF
17	Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus	Notions of Centralized and Decentralized Opacity in Linear Systems.	CoRR	2019	DBLP BibTeX RDF
17	Juan M. Durán, Nico Formanek	Grounds for trust: Essential Epistemic Opacity and Computational Reliabilism.	CoRR	2019	DBLP BibTeX RDF
17	Sahar Mohajerani, Stéphane Lafortune	Transforming opacity verification to nonblocking verification in modular systems.	CoRR	2019	DBLP BibTeX RDF
17	Hao Lan, Yin Tong, Jin Guo, Carla Seatzu	Verification of infinite-step and K-step opacity Using Petri Nets.	CoRR	2019	DBLP BibTeX RDF
17	Xiang Yin 0003, Majid Zamani 0001	On Approximate Opacity of Cyber-Physical Systems.	CoRR	2019	DBLP BibTeX RDF
17	Sahar Mohajerani, Yiding Ji, Stéphane Lafortune	Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement.	CoRR	2019	DBLP BibTeX RDF
17	George Berry, Christopher J. Cameron, Patrick Park, Michael Macy	The opacity problem in social contagion.	Soc. Networks	2019	DBLP DOI BibTeX RDF
17	Behnam Behinaein, Feng Lin 0001, Karen Rudie	Optimal Information Release for Mixed Opacity in Discrete-Event Systems.	IEEE Trans Autom. Sci. Eng.	2019	DBLP DOI BibTeX RDF
17	Davit Gigilashvili, Fereshteh Mirjalili, Jon Yngve Hardeberg	Illuminance Impacts Opacity Perception of Textile Materials.	CIC	2019	DBLP DOI BibTeX RDF
17	Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois	A Graph Transformation System formalism for Software Transactional Memory Opacity.	SBLP	2019	DBLP DOI BibTeX RDF
17	Dimitri Lefebvre, Christoforos N. Hadjicostis	Exposure Time as a Measure of Opacity in Timed Discrete Event Systems.	ECC	2019	DBLP DOI BibTeX RDF
17	Étienne André, Jun Sun 0001	Parametric Timed Model Checking for Guaranteeing Timed Opacity.	ATVA	2019	DBLP DOI BibTeX RDF
17	Xiangxia Li, Fang Liu 0030	Random Walks with GMM Statistical Inference Algorithm for Segmentation of Ground Glass Opacity Pulmonary Nodules.	ISCID (2)	2019	DBLP DOI BibTeX RDF
17	Yin Tong, Hao Lan	Current-State Opacity Verification in Modular Discrete Event Systems.	CDC	2019	DBLP DOI BibTeX RDF
17	Xiang Yin 0003, Shaoyuan Li	Opacity of Networked Supervisory Control Systems over Insecure Multiple Channel Networks.	CDC	2019	DBLP DOI BibTeX RDF
17	Jingkai Yang, Weilin Deng, Cheng Jiang, Daowen Qiu	Opacity of Networked Discrete Event Systems.	CDC	2019	DBLP DOI BibTeX RDF
17	Junyao Hou, Xiang Yin 0003, Shaoyuan Li, Majid Zamani 0001	Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations.	CDC	2019	DBLP DOI BibTeX RDF
17	Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro 0001	Fast General Distributed Transactions with Opacity.	SIGMOD Conference	2019	DBLP DOI BibTeX RDF
17	François A. Marshall, David J. Thomson, Glen Takahara, Robyn A. Fiori	A Multitaper Model for Quiet Voltage in Relative Ionospheric Opacity Meters.	GlobalSIP	2019	DBLP DOI BibTeX RDF
17	Motahhare Eslami, Kristen Vaccaro, Min Kyung Lee, Amit Elazari Bar On, Eric Gilbert, Karrie Karahalios	User Attitudes towards Algorithmic Opacity and Transparency in Online Reviewing Platforms.	CHI	2019	DBLP DOI BibTeX RDF
17	Riccardo Colelli, Chiara Foglietta, Stefano Panzieri, Federica Pascucci	An opacity approach for security exposure of IoT components in critical infrastructures.	SMC	2019	DBLP DOI BibTeX RDF
17	Dimitri Lefebvre, Christoforos N. Hadjicostis	Revelation Time for Initial-State Opacity Measurement in Timed Discrete Event Systems.	SMC	2019	DBLP DOI BibTeX RDF
17	Xiang Yin 0003, Majid Zamani 0001	Towards approximate opacity of cyber-physical system: WIP abstract.	ICCPS	2019	DBLP DOI BibTeX RDF
17	T. J. Rhodes, Gavin Miller, Qi Sun, Daichi Ito, Li-Yi Wei	A transparent display with per-pixel color and opacity control.	SIGGRAPH Emerging Technologies	2019	DBLP DOI BibTeX RDF
17	Lane A. Hemaspaandra, David E. Narváez	Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption.	SOFSEM	2019	DBLP DOI BibTeX RDF
17	Yucheng Fang, Huibiao Zhu, Jiaqi Yin	Verifying Opacity of a Modified PSTM.	TASE	2019	DBLP DOI BibTeX RDF
17	Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane	Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach.	ICECCS	2019	DBLP DOI BibTeX RDF
17	Aiwen Lai	State Estimation and Verification of Detectability and Opacity in Weighted Automata. (Estimation d'état et vérification de la détectabilité et de l'opacité dans les automates pondérés).		2019	RDF