Search results for "Opacity"

Hits ?▲	Authors	Title	Venue	Year	Link
17	M. M. Sebatubun, C. Haryawan, B. Windarta	Classification of ground glass opacity lesion characteristic based on texture feature using lung CT image.	J. Exp. Theor. Artif. Intell.	2018	DBLP DOI BibTeX RDF
17	Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon	The Complexity of Diagnosability and Opacity Verification for Petri Nets.	Fundam. Informaticae	2018	DBLP DOI BibTeX RDF
17	Christoforos Keroglou, Christoforos N. Hadjicostis	Probabilistic system opacity in discrete event systems.	Discret. Event Dyn. Syst.	2018	DBLP DOI BibTeX RDF
17	Yin Tong, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua	Current-state opacity enforcement in discrete event systems under incomparable observations.	Discret. Event Dyn. Syst.	2018	DBLP DOI BibTeX RDF
17	Christos G. Cassandras, Alessandro Giua	Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems.	Discret. Event Dyn. Syst.	2018	DBLP DOI BibTeX RDF
17	Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas	Opacity for linear constraint Markov chains.	Discret. Event Dyn. Syst.	2018	DBLP DOI BibTeX RDF
17	Jaime A. Teixeira da Silva	The opacity of the PubPeer Foundation: what PubPeer's "About" page tells us.	Online Inf. Rev.	2018	DBLP DOI BibTeX RDF
17	Lifeng Zhu, Weiwei Xia, Jia Liu, Aiguo Song	Visualizing fuzzy sets using opacity-varying freeform diagrams.	Inf. Vis.	2018	DBLP DOI BibTeX RDF
17	Sarah T. Roberts	Digital detritus: 'Error' and the logic of opacity in social media content moderation.	First Monday	2018	DBLP DOI BibTeX RDF
17	Yiding Ji, Yi-Chin Wu, Stéphane Lafortune	Enforcement of opacity by public and private insertion functions.	Autom.	2018	DBLP DOI BibTeX RDF
17	Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li 0001	On-line verification of current-state opacity by Petri nets and integer linear programming.	Autom.	2018	DBLP DOI BibTeX RDF
17	Stéphane Lafortune, Feng Lin 0001, Christoforos N. Hadjicostis	On the history of diagnosability and opacity in discrete event systems.	Annu. Rev. Control.	2018	DBLP DOI BibTeX RDF
17	Juan Manuel Durán, Nico Formanek	-Grounds for Trust: Essential Epistemic Opacity and Computational Reliabilism.	Minds Mach.	2018	DBLP DOI BibTeX RDF
17	Lingtai Wang, Naijun Zhan, Jie An 0001	The Opacity of Real-Time Automata.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2018	DBLP DOI BibTeX RDF
17	Mona Noori Hosseini, Bengt Lennartson, Christoforos N. Hadjicostis	Incremental Observer Reduction Applied to Opacity Verification and Synthesis.	CoRR	2018	DBLP BibTeX RDF
17	Bo Wu 0005, Zhiyu Liu, Hai Lin 0002	Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems.	CoRR	2018	DBLP BibTeX RDF
17	Christina Boyce-Jacino, Simon DeDeo	Opacity, Obscurity, and the Geometry of Question-Asking.	CoRR	2018	DBLP BibTeX RDF
17	Bo Wu 0005, Jin Dai, Hai Lin 0002	Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems.	CoRR	2018	DBLP BibTeX RDF
17	Kuize Zhang, Xiang Yin 0003, Majid Zamani 0001	Opacity of nondeterministic transition systems: A (bi)simulation relation approach.	CoRR	2018	DBLP BibTeX RDF
17	Ismail Cantürk, Lale Özyilmaz	A computational approach to estimate postmortem interval using opacity development of eye for human subjects.	Comput. Biol. Medicine	2018	DBLP DOI BibTeX RDF
17	John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim	Mechanized proofs of opacity: a comparison of two techniques.	Formal Aspects Comput.	2018	DBLP DOI BibTeX RDF
17	Helene Midtfjord, Phil J. Green, Peter Nussbaum	A Model of Visual Opacity for Translucent Colorants.	Material Appearance	2018	DBLP DOI BibTeX RDF
17	Shingo Mabu, Shoji Kido, Noriaki Hashimoto, Yasushi Hirano, Takashi Kuremoto	Opacity annotation of diffuse lung diseases using deep convolutional neural network with multi-channel information.	Medical Imaging: Computer-Aided Diagnosis	2018	DBLP DOI BibTeX RDF
17	Bo Wu 0005, Zhiyu Liu, Hai Lin 0002	Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems.	ACC	2018	DBLP DOI BibTeX RDF
17	Bo Wu 0005, Jin Dai, Hai Lin 0002	Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems.	ACC	2018	DBLP DOI BibTeX RDF
17	Lingtai Wang, Naijun Zhan	Decidability of the Initial-State Opacity of Real-Time Automata.	Symposium on Real-Time and Hybrid Systems	2018	DBLP DOI BibTeX RDF
17	Xiang Yin 0003, Shaoyuan Li	Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels.	CDC	2018	DBLP DOI BibTeX RDF
17	Sahar Mohajerani, Yiding Ji, Stéphane Lafortune	Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions.	CDC	2018	DBLP DOI BibTeX RDF
17	Damas P. Gruska, M. Carmen Ruiz	Opacity-enforcing for Process Algebras.	CS&P	2018	DBLP BibTeX RDF
17	Christoforos N. Hadjicostis	Distributed Algorithms for Estimation and Inference in Discrete Event Systems: Implications to Diagnosability and Opacity.	CoDIT	2018	DBLP DOI BibTeX RDF
17	Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim	FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity.	SEFM	2018	DBLP DOI BibTeX RDF
17	Francesco Sangiorgi, Chester Spatt	Opacity, Credit Rating Shopping, and Bias.	Manag. Sci.	2017	DBLP DOI BibTeX RDF
17	Gregor Jost, Jernej Huber, Marjan Hericko, Gregor Polancic	Improving cognitive effectiveness of business process diagrams with opacity-driven graphical highlights.	Decis. Support Syst.	2017	DBLP DOI BibTeX RDF
17	Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane, Yamen El Touati	On the Verification of Opacity in Web Services and Their Composition.	IEEE Trans. Serv. Comput.	2017	DBLP DOI BibTeX RDF
17	Yin Tong, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua	Verification of State-Based Opacity Using Petri Nets.	IEEE Trans. Autom. Control.	2017	DBLP DOI BibTeX RDF
17	Yin Tong, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua	Decidability of opacity verification problems in labeled Petri net systems.	Autom.	2017	DBLP DOI BibTeX RDF
17	Xiang Yin 0003, Stéphane Lafortune	A new approach for the verification of infinite-step and K-step opacity using two-way observers.	Autom.	2017	DBLP DOI BibTeX RDF
17	Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski	Relaxing real-time order in opacity and linearizability.	J. Parallel Distributed Comput.	2017	DBLP DOI BibTeX RDF
17	Michael Veale	Logics and practices of transparency and opacity in real-world applications of public sector machine learning.	CoRR	2017	DBLP BibTeX RDF
17	Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane	Checking and Enforcing Security through Opacity in Healthcare Applications.	CoRR	2017	DBLP BibTeX RDF
17	Tomás Masopust, Xiang Yin 0003	Complexity of Detectability, Opacity and A-Diagnosability for Modular Discrete Event Systems.	CoRR	2017	DBLP BibTeX RDF
17	Aleksei Nazarov, Joe Pater	Learning opacity in Stratal Maximum Entropy Grammar.	CoRR	2017	DBLP BibTeX RDF
17	Lane A. Hemaspaandra, David E. Narváez	The Opacity of Backbones and Backdoors Under a Weak Assumption.	CoRR	2017	DBLP BibTeX RDF
17	Wanjun Zhang, Huiqi Li	Lens opacity detection for serious posterior subcapsular cataract.	Medical Biol. Eng. Comput.	2017	DBLP DOI BibTeX RDF
17	Lu Li, Hu Peng, Xun Chen 0001, Juan Cheng, Dayong Gao	Opacity specification based on visibility ratio and occlusion vector in direct volume rendering.	Biomed. Signal Process. Control.	2017	DBLP DOI BibTeX RDF
17	Ohjae Kwon, Jeongjin Lee, Bo Hyoung Kim, Juneseuk Shin, Yeong-Gil Shin	Efficient blood flow visualization using flowline extraction and opacity modulation based on vascular structure analysis.	Comput. Biol. Medicine	2017	DBLP DOI BibTeX RDF
17	Hanung Adi Nugroho, M. M. Sebatubun, Teguh Bharata Adji	Ground glass opacity lesion morphology extraction in primary lung cancer.	Int. J. Medical Eng. Informatics	2017	DBLP DOI BibTeX RDF
17	Tobias Günther, Holger Theisel, Markus H. Gross	Decoupled Opacity Optimization for Points, Lines and Surfaces.	Comput. Graph. Forum	2017	DBLP DOI BibTeX RDF
17	Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane	Checking and Enforcing Security Through Opacity in Healthcare Applications.	ICSOC Workshops	2017	DBLP DOI BibTeX RDF
17	Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon	The Complexity of Diagnosability and Opacity Verification for Petri Nets.	Petri Nets	2017	DBLP DOI BibTeX RDF
17	Jürgen König, Heike Wehrheim	Value-Based or Conflict-Based? Opacity Definitions for STMs.	ICTAC	2017	DBLP DOI BibTeX RDF
17	Xiang Yin 0003, Zhaojian Li, Weilin Wang, Shaoyuan Li	Infinite-step opacity of stochastic discrete-event systems.	ASCC	2017	DBLP DOI BibTeX RDF
17	Christoforos Keroglou, Stéphane Lafortune	Verification and synthesis of embedded insertion functions for opacity enforcement.	CDC	2017	DBLP DOI BibTeX RDF
17	Kuize Zhang, Majid Zamani 0001	Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach.	CDC	2017	DBLP DOI BibTeX RDF
17	Yiding Ji, Stéphane Lafortune	Enforcing opacity by publicly known edit functions.	CDC	2017	DBLP DOI BibTeX RDF
17	Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus	Opacity for switched linear systems: Notions and characterization.	CDC	2017	DBLP DOI BibTeX RDF
17	Lane A. Hemaspaandra, David E. Narváez	The Opacity of Backbones.	AAAI	2017	DBLP DOI BibTeX RDF
17	Shiva Taslimipoor, Omid Rohanian, Ruslan Mitkov, Afsaneh Fazly	Investigating the Opacity of Verb-Noun Multiword Expression Usages in Context.	MWE@EACL	2017	DBLP DOI BibTeX RDF
17	Dandan Yuan, Weiwei Du, Xiaojie Duan, Jianming Wang, Yanhe Ma, Hong Zhang	Detection of slices including a ground-glass opacity nodule in CT volume data with semi-supervised learning.	SNPD	2017	DBLP DOI BibTeX RDF
17	Dandan Yuan, Weiwei Du, Jianming Wang, Xiaojie Duan, Yanhe Ma, Hong Zhang	Development of an interface for detection of slices with ground-glass opacity nodule by using the nearest neighbor algorithm.	CISP-BMEI	2017	DBLP DOI BibTeX RDF
17	Alasdair Armstrong, Brijesh Dongol, Simon Doherty	Proving Opacity via Linearizability: A Sound and Complete Method.	FORTE	2017	DBLP DOI BibTeX RDF
17	Alasdair Armstrong, Brijesh Dongol	Modularising Opacity Verification for Hybrid Transactional Memory.	FORTE	2017	DBLP DOI BibTeX RDF
17	Dara Entekhabi, Alexandra Georges Konings, Maria Piles, Narendra N. Das	Smap-based retrieval of vegetation opacity and albedo.	IGARSS	2017	DBLP DOI BibTeX RDF
17	Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane	Measuring opacity in web services.	iiWAS	2017	DBLP DOI BibTeX RDF
17	Amina Burouis, Nejib Ben Hadj-Alouane, Kais Klai	Computing Quantified Opacity for SOG-Abstracted Web Services.	SCC	2017	DBLP DOI BibTeX RDF
17	Jenna Burrell	How the machine 'thinks': Understanding opacity in machine learning algorithms.	Big Data Soc.	2016	DBLP DOI BibTeX RDF
17	Yi-Chin Wu, Stéphane Lafortune	Synthesis of Optimal Insertion Functions for Opacity Enforcement.	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF
17	Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure	Overview of discrete event systems opacity: Models, validation, and quantification.	Annu. Rev. Control.	2016	DBLP DOI BibTeX RDF
17	Guo Zhou, Dengming Zhu, Yi Wei, Zhaoqi Wang, Yongquan Zhou	Real-time online learning of Gaussian mixture model for opacity mapping.	Neurocomputing	2016	DBLP DOI BibTeX RDF
17	Lane A. Hemaspaandra, David E. Narváez	The Opacity of Backbones.	CoRR	2016	DBLP BibTeX RDF
17	Alasdair Armstrong, Brijesh Dongol, Simon Doherty	Reducing Opacity to Linearizability: A Sound and Complete Method.	CoRR	2016	DBLP BibTeX RDF
17	Mohamadou Lamine Diouf, Sophie Pinchinat	Complexity of Opacity algorithm in data-centric workflow system [Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents].	ARIMA J.	2016	DBLP DOI BibTeX RDF
17	Yin Tong, Ziyue Ma, ZhiWu Li 0001, Carla Seatzu, Alessandro Giua	Verification of language-based opacity in Petri nets using verifier.	ACC	2016	DBLP DOI BibTeX RDF
17	Yi-Chin Wu, Gil Lederman, Stéphane Lafortune	Enhancing opacity of stochastic discrete event systems using insertion functions.	ACC	2016	DBLP DOI BibTeX RDF
17	Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus	A framework for opacity in linear systems.	ACC	2016	DBLP DOI BibTeX RDF
17	Anshu S. Anand, R. K. Shyamasundar, Sathya Peri	Opacity proof for CaPR+ algorithm.	ICDCN	2016	DBLP DOI BibTeX RDF
17	Damas P. Gruska	Process Environment Opacity.	CS&P	2016	DBLP BibTeX RDF
17	Sandeep Hans, Ahmed Hassan, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran	Opacity vs TMS2: Expectations and Reality.	DISC	2016	DBLP DOI BibTeX RDF
17	Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas	Preserving opacity on Interval Markov Chains under simulation.	WODES	2016	DBLP DOI BibTeX RDF
17	Christoforos Keroglou, Christoforos N. Hadjicostis	Probabilistic system opacity in discrete event systems.	WODES	2016	DBLP DOI BibTeX RDF
17	Xiang Yin 0003, Stéphane Lafortune	On two-way observer and its application to the verification of infinite-step and K-step opacity.	WODES	2016	DBLP DOI BibTeX RDF
17	Yin Tong, Ziyue Ma, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua	Supervisory enforcement of current-state opacity with uncomparable observations.	WODES	2016	DBLP DOI BibTeX RDF
17	Moez Yeddes	Enforcing opacity with Orwellian observation.	WODES	2016	DBLP DOI BibTeX RDF
17	Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus	A framework for decentralized opacity in linear systems.	Allerton	2016	DBLP DOI BibTeX RDF
17	Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Opacity of a Pessimistic STM.	OPODIS	2016	DBLP DOI BibTeX RDF
17	Alberto Alonso Arroyo, Jorge Querol, Adriano Camps, Raul Onrubia, Hyuk Park 0001, Daniel Pascual	Can we measure vegetation water content and vegetation opacity at L-band with a single GPS receiver?	IGARSS	2016	DBLP DOI BibTeX RDF
17	Alejandro Rodríguez Aguilera, Alejandro León	Spatial Opacity Maps for Direct Volume Rendering of Regions of Interest.	CEIG	2016	DBLP DOI BibTeX RDF
17	Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand	Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems.	Discret. Event Dyn. Syst.	2015	DBLP DOI BibTeX RDF
17	Yliès Falcone, Hervé Marchand	Enforcement and validation (at runtime) of various notions of opacity.	Discret. Event Dyn. Syst.	2015	DBLP DOI BibTeX RDF
17	Philippe Darondeau, Hervé Marchand, S. Laurie Ricker	Enforcing opacity of regular predicates on modal transition systems.	Discret. Event Dyn. Syst.	2015	DBLP DOI BibTeX RDF
17	Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder	Probabilistic opacity for Markov decision processes.	Inf. Process. Lett.	2015	DBLP DOI BibTeX RDF
17	Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane	Checking Opacity of Vulnerable Critical Systems On-The-Fly.	Int. J. Inf. Technol. Web Eng.	2015	DBLP DOI BibTeX RDF
17	Béatrice Bérard, John Mullins, Mathieu Sassolas	Quantifying opacity.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
17	Konrad Siek, Pawel T. Wojciechowski	Last-use Opacity: A Strong Safety Property for Transactional Memory with Early Release Support.	CoRR	2015	DBLP BibTeX RDF
17	Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas	Probabilistic Opacity in Refinement-Based Modeling.	CoRR	2015	DBLP BibTeX RDF
17	Anshu S. Anand, R. K. Shyamasundar, Sathya Peri	Opacity Proof for CaPR+ Algorithm.	CoRR	2015	DBLP BibTeX RDF
17	Bo Zhang 0021, Shaolong Shu, Feng Lin 0001	Maximum Information Release While Ensuring Opacity in Discrete Event Systems.	IEEE Trans Autom. Sci. Eng.	2015	DBLP DOI BibTeX RDF
17	Damas P. Gruska	Dynamics Security Policies and Process Opacity for Timed Process Algebras.	Ershov Memorial Conference	2015	DBLP DOI BibTeX RDF
17	Vitaly Petrov, Sergey Bezzateev, Vladimir Zybin	Wireless authentication using OPACITY protocol.	ICUMT	2015	DBLP DOI BibTeX RDF
17	Daniel Schoepe, Andrei Sabelfeld	Understanding and Enforcing Opacity.	CSF	2015	DBLP DOI BibTeX RDF