Search results for "admissibility"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Ewa Synówka-Bejenka, Stefan Zontek	On admissibility of linear estimators in models with finitely generated parameter space.	Kybernetika	2016	DBLP DOI BibTeX RDF
18	Aradhya Sethia	Rethinking admissibility of electronic evidence.	Int. J. Law Inf. Technol.	2016	DBLP DOI BibTeX RDF
18	Eugene B. Postnikov, Elena A. Lebedeva, Anastasia I. Lavrova	Computational implementation of the inverse continuous wavelet transform without a requirement of the admissibility condition.	Appl. Math. Comput.	2016	DBLP DOI BibTeX RDF
18	Yukang Cui, James Lam, Zhiguang Feng, Jun Shen 0002	Robust admissibility and admissibilisation of uncertain discrete singular time-delay systems.	Int. J. Syst. Sci.	2016	DBLP DOI BibTeX RDF
18	Florian Blachère, Rodolphe Turpault	An admissibility and asymptotic-preserving scheme for systems of conservation laws with source term on 2D unstructured meshes.	J. Comput. Phys.	2016	DBLP DOI BibTeX RDF
18	Yu Feng 0002, Mohamed Yagoubi	Comprehensive admissibility for descriptor systems.	Autom.	2016	DBLP DOI BibTeX RDF
18	Yi Zeng, Chunsong Han, Yuhong Na, Zhongda Lu	Fuzzy-model-based admissibility analysis for nonlinear discrete-time descriptor system with time-delay.	Neurocomputing	2016	DBLP DOI BibTeX RDF
18	Wenxing Li, Zhiguang Feng, Weichao Sun, Jiawei Zhang	Admissibility analysis for Takagi-Sugeno fuzzy singular systems with time delay.	Neurocomputing	2016	DBLP DOI BibTeX RDF
18	Jeroen P. Goudsmit	Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility.	Stud Logica	2016	DBLP DOI BibTeX RDF
18	Romain Brenguier, Guillermo A. Pérez 0001, Jean-François Raskin, Ocan Sankur	Admissibility in Quantitative Graph Games.	CoRR	2016	DBLP BibTeX RDF
18	Michael Bendersky, Israel David	Deciding kidney-offer admissibility dependent on patients' lifetime failure rate.	Eur. J. Oper. Res.	2016	DBLP DOI BibTeX RDF
18	Jian-Hua Chen 0007	Admissibility of the Observation Operators for Volterra systems with Exponential Kernels.	SIAM J. Control. Optim.	2016	DBLP DOI BibTeX RDF
18	Gustavo Adrian Bodanza, Fernando A. Tohmé, Guillermo Ricardo Simari	Beyond admissibility: accepting cycles in argumentation with game protocols for cogency criteria.	J. Log. Comput.	2016	DBLP DOI BibTeX RDF
18	Michal Stronko	Universal freeness and admissibility.	UNIF	2016	DBLP BibTeX RDF
18	Masako Kishida, Markus J. Kögel, Rolf Findeisen	Verifying robust forward admissibility for nonlinear systems using (skewed) structured singular values.	CDC	2016	DBLP DOI BibTeX RDF
18	Can Bikcora, Siep Weiland	A min-min approach to non-blind and blind parameter estimation under admissibility and domination constraints.	CDC	2016	DBLP DOI BibTeX RDF
18	Romain Brenguier, Guillermo A. Pérez 0001, Jean-François Raskin, Ocan Sankur	Admissibility in Quantitative Graph Games.	FSTTCS	2016	DBLP DOI BibTeX RDF
18	Chih-Chun Yang 0001	Weak assumption and iterative admissibility.	J. Econ. Theory	2015	DBLP DOI BibTeX RDF
18	Zhiguang Feng, Wenxing Li, James Lam	New admissibility analysis for discrete singular systems with time-varying delay.	Appl. Math. Comput.	2015	DBLP DOI BibTeX RDF
18	Denis Marcotte	TASC3D: A program to test the admissibility in 3D of non-linear models of coregionalization.	Comput. Geosci.	2015	DBLP DOI BibTeX RDF
18	Alexander V. Lyaletski	Admissibility, compatibility, and deducibility in first-order sequent logics.	Comput. Sci. J. Moldova	2015	DBLP BibTeX RDF
18	Leonardo Manuel Cabrer, George Metcalfe	Exact Unification and Admissibility.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
18	Jinxing Lin	New results on admissibility and L2 gain property of discrete-time switched singular state-delayed systems.	CCA	2015	DBLP DOI BibTeX RDF
18	Yongyun Shao, Xiaodong Liu 0001, Xin Sun, Qingling Zhang 0001	A delay decomposition approach to H∞ admissibility for discrete-time singular delay systems.	Inf. Sci.	2014	DBLP DOI BibTeX RDF
18	Xiuyong Ding, Xiu Liu, Shouming Zhong	Delay-independent criteria for exponential admissibility of switched descriptor delayed systems.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
18	Xin-zhuang Dong	Admissibility analysis of linear singular systems via a delta operator method.	Int. J. Syst. Sci.	2014	DBLP DOI BibTeX RDF
18	Vladimir V. Rybakov	Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility.	CoRR	2014	DBLP BibTeX RDF
18	Ming-Xiang Cao	Admissibility of linear estimators for the stochastic regression coefficient in a general Gauss-Markoff model under a balanced loss function.	J. Multivar. Anal.	2014	DBLP DOI BibTeX RDF
18	Changwei Liu, Anoop Singhal, Duminda Wijesekera	Relating Admissibility Standards for Digital Evidence to Attack Scenario Reconstruction.	J. Digit. Forensics Secur. Law	2014	DBLP DOI BibTeX RDF
18	Birgit Jacob, Jonathan R. Partington, Sandra Pott	Applications of Laplace-Carleson Embeddings to Admissibility and Controllability.	SIAM J. Control. Optim.	2014	DBLP DOI BibTeX RDF
18	Shaohua Long, Shouming Zhong, Hong Zhu 0001, Lianglin Xiong	Delay-dependent stochastic admissibility for a class of discrete-time nonlinear singular Markovian jump systems with time-varying delay.	Commun. Nonlinear Sci. Numer. Simul.	2014	DBLP DOI BibTeX RDF
18	Jeroen P. Goudsmit	Admissibility and refutation: some characterisations of intermediate logics.	Arch. Math. Log.	2014	DBLP DOI BibTeX RDF
18	Wagner de Campos Sanz, Thomas Piecha, Peter Schroeder-Heister	Constructive semantics, admissibility of rules and the validity of Peirce's law.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
18	Leonardo Manuel Cabrer, George Metcalfe	From Admissibility to a New Hierarchy of Unification Types.	UNIF	2014	DBLP BibTeX RDF
18	Martin Caminada	Strong Admissibility Revisited.	COMMA	2014	DBLP DOI BibTeX RDF
18	Guillaume Burel	Cut Admissibility by Saturation.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
18	Romain Brenguier, Jean-François Raskin, Mathieu Sassolas	The complexity of admissibility in Omega-regular games.	CSL-LICS	2014	DBLP DOI BibTeX RDF
18	Oriola Sallavaci, Carlisle Eldwidge George	Procedural aspects of the new regime for the admissibility of expert evidence: what the digital forensic expert needs to know.	Int. J. Electron. Secur. Digit. Forensics	2013	DBLP DOI BibTeX RDF
18	Oriola Sallavaci, Carlisle Eldwidge George	New admissibility regime for expert evidence: the likely impact on digital forensics.	Int. J. Electron. Secur. Digit. Forensics	2013	DBLP DOI BibTeX RDF
18	Rathinasamy Sakthivel, Srimanta Santra, K. Mathiyalagan	Admissibility analysis and control synthesis for descriptor systems with random abrupt changes.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
18	Youmei Zhang, Qingling Zhang 0001, Tamaki Tanaka, Min Cai	Admissibility for positive continuous-time descriptor systems.	Int. J. Syst. Sci.	2013	DBLP DOI BibTeX RDF
18	Romain Brenguier, Jean-François Raskin, Mathieu Sassolas	The Complexity of Admissibility in Omega-Regular Games	CoRR	2013	DBLP BibTeX RDF
18	Tianjiao Chu, Richard Scheines, Peter Spirtes	Semi-Instrumental Variables: A Test for Instrument Admissibility	CoRR	2013	DBLP BibTeX RDF
18	George Metcalfe, Christoph Röthlisberger	Admissibility in Finitely Generated Quasivarieties	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF
18	Paulo Barelli, Spyros Galanis	Admissibility and event-rationality.	Games Econ. Behav.	2013	DBLP DOI BibTeX RDF
18	Ori Lahav 0001, Arnon Avron	A semantic proof of strong cut-admissibility for first-order Gödel logic.	J. Log. Comput.	2013	DBLP DOI BibTeX RDF
18	Chuan Zhang 0009, Gerhard Dangelmayr, Iuliana Oprea	Storing cycles in Hopfield-type networks with pseudoinverse learning rule: Admissibility and network topology.	Neural Networks	2013	DBLP DOI BibTeX RDF
18	Karina A. Barbosa, Carlos E. de Souza, Daniel Ferreira Coutinho	Robust admissibility and H∞ performance of time-varying descriptor systems.	ICCA	2013	DBLP DOI BibTeX RDF
18	Xin-zhuang Dong, Wan-hu Tian, Qing-tang Mao, Dong-ging Wang	Robust admissibility analysis and synthesis of uncertain singular systems via delta operator approach.	ICCA	2013	DBLP DOI BibTeX RDF
18	Christoph Röthlisberger	TAFA - A Tool for Admissibility in Finite Algebras.	TABLEAUX	2013	DBLP DOI BibTeX RDF
18	Sylwia Polberg, Johannes Peter Wallner, Stefan Woltran	Admissibility in the Abstract Dialectical Framework.	CLIMA	2013	DBLP DOI BibTeX RDF
18	Philippe Balbiani, Çigdem Gencer	Admissibility and Unifiability in Contact Logics.	TbiLLC	2013	DBLP DOI BibTeX RDF
18	Yongyun Shao, Xiaodong Liu 0001, Xin Sun, Zhan Su	A new admissibility condition of discrete-time singular systems with time-varying delays.	Int. J. Autom. Comput.	2012	DBLP DOI BibTeX RDF
18	Zhengguang Wu, Ju H. Park 0001, Hongye Su, Jian Chu	Admissibility and dissipativity analysis for discrete-time singular systems with mixed time-varying delays.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
18	Shaohua Long, Shouming Zhong, Zijian Liu	Stochastic admissibility for a class of singular Markovian jump systems with mode-dependent time delays.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
18	Jinxing Lin, Zhifeng Gao	Exponential Admissibility and H∞ Control of Switched Singular Time-Delay Systems: An Average Dwell Time Approach.	J. Appl. Math.	2012	DBLP DOI BibTeX RDF
18	Takahiro Seki	An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics.	Stud Logica	2012	DBLP DOI BibTeX RDF
18	Chuan Zhang 0009, Gerhard Dangelmayr, Iuliana Oprea	Storing cycles in Hopfield-type networks with pseudoinverse learning rule: admissibility and network topology	CoRR	2012	DBLP BibTeX RDF
18	George Metcalfe, Christoph Röthlisberger	Admissibility in De Morgan algebras.	Soft Comput.	2012	DBLP DOI BibTeX RDF
18	Takéhiko Nakama, Michio Sugeno	Admissibility of preferences and modeling capabilities of fuzzy integrals.	FUZZ-IEEE	2012	DBLP DOI BibTeX RDF
18	Gustavo Adrian Bodanza, Fernando Tohmé, Guillermo Ricardo Simari	Argumentation Games for Admissibility and Cogency Criteria.	COMMA	2012	DBLP DOI BibTeX RDF
18	George Metcalfe, Christoph Röthlisberger	Unifiability and Admissibility in Finite Algebras.	CiE	2012	DBLP DOI BibTeX RDF
18	Chih-Peng Huang	Analysing robust D-admissibility for discrete singular systems subjected to parametric uncertainties in the difference matrix.	IMA J. Math. Control. Inf.	2011	DBLP DOI BibTeX RDF
18	Mohammed Chadli, Mohamed Darouach	Robust admissibility of uncertain switched singular systems.	Int. J. Control	2011	DBLP DOI BibTeX RDF
18	Takahiro Seki	The γ-admissibility of Relevant Modal Logics I - The Method of Normal Models.	Stud Logica	2011	DBLP DOI BibTeX RDF
18	Takahiro Seki	The γ-admissibility of Relevant Modal Logics II - The Method using Metavaluations.	Stud Logica	2011	DBLP DOI BibTeX RDF
18	Octavio A. González-Estrada, Juan José Ródenas, Stéphane P. A. Bordas, Marc Duflot, Pierre Kerfriden, Eugenio Giner	On the role of enrichment and statical admissibility of recovered fields in a-posteriori error estimation for enriched finite element methods.	CoRR	2011	DBLP BibTeX RDF
18		Sufficient and Necessary Condition of Admissibility for Fractional-order Singular System	CoRR	2011	DBLP BibTeX RDF
18	Sylvain Ervedoza	Spectral conditions for admissibility and observability of Schrödinger systems: Applications to finite element discretizations.	Asymptot. Anal.	2011	DBLP DOI BibTeX RDF
18	Arnon Avron	A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
18	Wenwen Yue, Weifan Huang	Admissibility of estimators for exponential distribution based on progressively Type-II censored sample.	EMEIT	2011	DBLP DOI BibTeX RDF
18	Du Li, Rui Li 0018	An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems.	Comput. Support. Cooperative Work.	2010	DBLP DOI BibTeX RDF
18	Zhan-Dong Mei, Ji-Gen Peng	On invariance of p-admissibility of control and observation operators to q-type of perturbations of generator of C0-semigroup.	Syst. Control. Lett.	2010	DBLP DOI BibTeX RDF
18	Guillaume Burel, Claude Kirchner	Regaining cut admissibility in deduction modulo using abstract completion.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
18	Dimitrie C. Popescu, Otilia Popescu, Octavia A. Dobre	User admissibility in uplink wireless systems with multipath and target SINR requirements.	IEEE Commun. Lett.	2010	DBLP DOI BibTeX RDF
18	Raphael C.-W. Phan, Ahmad Roshidi Amran, John N. Whitley, David J. Parish	Evidential Notions of Defensibility and Admissibility with Property Preservation.	iNetSec	2010	DBLP DOI BibTeX RDF
18	Maria Laura Cobo, Diego C. Martínez, Guillermo Ricardo Simari	On Admissibility in Timed Abstract Argumentation Frameworks.	ECAI	2010	DBLP DOI BibTeX RDF
18	Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky	A Tableau Method for Checking Rule Admissibility in S4.	M4M	2009	DBLP DOI BibTeX RDF
18	Wuneng Zhou, Jian-An Fang	Delay-Dependent Robust H ∞ Admissibility and Stabilization for Uncertain Singular System with Markovian Jumping Parameters.	Circuits Syst. Signal Process.	2009	DBLP DOI BibTeX RDF
18	Shengyuan Xu, James Lam, Yun Zou, Jianzhen Li	Robust admissibility of time-varying singular systems with commensurate time delays.	Autom.	2009	DBLP DOI BibTeX RDF
18	Sylvain Ervedoza	Spectral conditions for admissibility and observability of wave systems: applications to finite element schemes.	Numerische Mathematik	2009	DBLP DOI BibTeX RDF
18	Joseph Y. Halpern, Rafael Pass	A Logical Characterization of Iterated Admissibility	CoRR	2009	DBLP BibTeX RDF
18	Yuzo Maruyama	An admissibility proof using an adaptive sequence of smoother proper priors approaching the target improper prior.	J. Multivar. Anal.	2009	DBLP DOI BibTeX RDF
18	Wagner de Campos Sanz, Thomas Piecha	Inversion by Definitional Reflection and the Admissibility of Logical Rules.	Rev. Symb. Log.	2009	DBLP DOI BibTeX RDF
18	Birgit Jacob, Jonathan R. Partington, Sandra Pott	Zero-class admissibility of observation operators.	Syst. Control. Lett.	2009	DBLP DOI BibTeX RDF
18	Gen-Qi Xu, Ying Feng Shang	Characteristic of left invertible semigroups and admissibility of observation operators.	Syst. Control. Lett.	2009	DBLP DOI BibTeX RDF
18	Andrew Wynn	alpha-admissibility of the right-shift semigroup on L2(R+).	Syst. Control. Lett.	2009	DBLP DOI BibTeX RDF
18	Murdoch Watney	Admissibility of Electronic Evidence in Criminal Proceedings: An Outline of the South African Legal Position.	J. Inf. Law Technol.	2009	DBLP BibTeX RDF
18	Said Hadd, Said Boulite, Hazem N. Nounou, Mohamed N. Nounou	On the admissibility of control operators for perturbed semigroups and application to time-delay systems.	CDC	2009	DBLP DOI BibTeX RDF
18	Dirk Pattinson, Lutz Schröder	Admissibility of Cut in Coalgebraic Logics.	CMCS	2008	DBLP DOI BibTeX RDF
18	Vladimir V. Rybakov	Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification.	J. Log. Comput.	2008	DBLP DOI BibTeX RDF
18	Agata Wnukiewicz-Kozlowska	The Admissibility of Research in Emergency Medicine.	Sci. Eng. Ethics	2007	DBLP DOI BibTeX RDF
18	Bernhard H. Haak, Peer Christian Kunstmann	Weighted Admissibility and Wellposedness of Linear Systems in Banach Spaces.	SIAM J. Control. Optim.	2007	DBLP DOI BibTeX RDF
18	Rui-Yue Xu, Peng Zhang 0014, Shi-Qiang Dai, Sze Chun Wong	Admissibility of a Wide Cluster Solution in "Anisotropic" Higher-Order Traffic Flow Models.	SIAM J. Appl. Math.	2007	DBLP DOI BibTeX RDF
18	Fredesvinda Insa	The Admissibility of Electronic Evidence in Court (A.E.E.C.): Fighting against High-Tech Crime - Results of a European Study.	J. Digit. Forensic Pract.	2006	DBLP DOI BibTeX RDF
18	Luigi Sauro	Qualitative criteria of admissibility for enforced agreements.	Comput. Math. Organ. Theory	2006	DBLP DOI BibTeX RDF
18	Stacey Schesser	MySpace on the record: The admissibility of social website content under the Federal Rules of Evidence.	First Monday	2006	DBLP DOI BibTeX RDF
18	Frank Wolter, Michael Zakharyaschev	Undecidability of the unification and admissibility problems for modal and description logics	CoRR	2006	DBLP BibTeX RDF
18	Said Hadd, Abdelali Idrissi	On the admissibility of observation for perturbed C0-semigroups on Banach spaces.	Syst. Control. Lett.	2006	DBLP DOI BibTeX RDF
18	Richard Bonichon, Olivier Hermant	On Constructive Cut Admissibility in Deduction Modulo.	TYPES	2006	DBLP DOI BibTeX RDF