×

Found 84 Documents (Results 1–84)

A Probabilistic Neural Twin for Treatment Planning in Peripheral Pulmonary Artery Stenosis. arXiv:2312.00854

Preprint, arXiv:2312.00854 [physics.med-ph] (2023).
BibTeX Cite
Full Text: arXiv

Stratified abstraction of access control policies. (English) Zbl 1478.68029

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 165-176 (2020).
MSC:  68M25 68M11
PDFBibTeX XMLCite
Full Text: DOI

How long does it take to compute the eigenvalues of a random symmetric matrix? (English) Zbl 1326.65050

Deift, Percy (ed.) et al., Random matrix theory, interacting particle systems and integrable systems. New York, NY: Cambridge University Press (ISBN 978-1-107-07992-2/hbk). Mathematical Sciences Research Institute Publications 65, 411-442 (2014).
MSC:  65F15 15B52 60B20
PDFBibTeX XMLCite
Full Text: arXiv

Applications of sliding observers for FDI in aerospace systems. (English) Zbl 1291.93068

Bandyopadhyay, Bijnan (ed.) et al., Advances in sliding mode control. Concept, theory and implementation. Papers from the 12th IEEE international workshop on variable structure system, Mumbai, India, January 2012. Berlin: Springer (ISBN 978-3-642-36985-8/pbk; 978-3-642-36986-5/ebook). Lecture Notes in Control and Information Sciences 440, 341-360 (2013).
MSC:  93B12 93C95
PDFBibTeX XMLCite
Full Text: DOI

Accuracy, reliability and performance of spray combustion models in LES. (English) Zbl 1303.76067

Salvetti, Maria Vittoria (ed.) et al., Quality and reliability of large-eddy simulations II. Selected papers based on the presentations at the 2nd workshop (QLES 2009), Pisa, Italy, September 9–11, 2009. Dordrecht: Springer (ISBN 978-94-007-0230-1/hbk; 978-94-007-0231-8/ebook; 978-94-007-3415-9/pbk). ERCOFTAC Series 16, 211-220 (2011).
MSC:  76F65 76V05 80A25
PDFBibTeX XMLCite
Full Text: DOI

The edge \(C_4\) graph of a graph. (English) Zbl 1202.05116

Balakrishnan, R. (ed.) et al., Proceedings of the international conference on discrete mathematics (ICDM 2006), Bangalore, India, December 15–18, 2006. Mysore: Ramanujan Mathematical Society (ISBN 978-81-902545-7-1/hbk). Ramanujan Mathematical Society Lecture Notes Series 7, 245-248 (2008).
MSC:  05C75
PDFBibTeX XMLCite

A verifiable SSA program representation for aggressive compiler optimization. (English) Zbl 1369.68080

Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 397-408 (2006).
MSC:  68N15 68N20
PDFBibTeX XMLCite
Full Text: DOI

Estimation of unit values in cross sections without quantity information and implications for demand and welfare analysis. (English) Zbl 1066.91575

Dagum, Camilo (ed.) et al., Household behaviour, equivalence scales, welfare and poverty. Heidelberg: Physica-Verlag (ISBN 3-7908-0108-9/pbk). Contributions to Statistics, 195-220 (2004).
MSC:  91B42
PDFBibTeX XMLCite

Distributing relevance feedback in content based image retrieval systems. (English) Zbl 1031.68833

Lim, Ee-Peng (ed.) et al., Digital libraries: People, knowledge, and technology. 5th international conference on Asian digital libraries, ICADL 2002, Singapore, December 11-14, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2555, 179-181 (2002).
MSC:  68U99 68U35 68P20
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software