مكتبة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Linearization-based direct reconstruction for EIT using triangular Zernike decompositions

Authors : Autio, Antti; Garde, Henrik; Hirvensalo, Markus

Subjects: Electrical impedance tomography; Zernike polynomials; direct reconstruction

Source: Autio, A, Garde, H, Hirvensalo, M & Hyvönen, N 2025, 'Linearization-based direct reconstruction for EIT using triangular Zernike decompositions', Inverse Problems and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Linearization-based direct reconstruction for EIT using triangular Zernike decompositions

Authors : Autio, Antti; Garde, Henrik; Hirvensalo, Markus

Subjects: Electrical impedance tomography; Zernike polynomials; direct reconstruction

Source: Autio, A, Garde, H, Hirvensalo, M & Hyvönen, N 2025, 'Linearization-based direct reconstruction for EIT using triangular Zernike decompositions', Inverse Problems and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Rapid one-step CRISPR-cas vector assembly by isothermal spacer removal linearization and sequence-ligation independent cloning (ISRL-SLIC)

Authors : Madsen, Claus Krogh; Hanak, Tobias; Aronsson, Henrik

Subjects: CRISPR-Cas; Ligation independent; New genomic techniques

Source: Madsen, C K, Hanak, T, Aronsson, H & Brinch-Pedersen, H 2025, 'Rapid one-step CRISPR-cas vector assembly by isothermal spacer removal linearization and sequence-ligation

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Robust Tracking Control of Aerial Robots Via a Simple Learning Strategy-Based Feedback Linearization

Authors : Mehndiratta, Mohit; Kayacan, Erkan; Reyhanoglu, Mahmut

Subjects: Feedback linearization control; learning control; nonlinear system

Source: Mehndiratta, M, Kayacan, E, Reyhanoglu, M & Kayacan, E 2020, 'Robust Tracking Control of Aerial Robots Via a Simple Learning Strategy-Based Feedback Linearization', IEEE

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Linearized Calderón problem: Reconstruction of unbounded perturbations in three dimensions

Authors : Garde, Henrik; Hirvensalo, Markus

Subjects: Calderón problem; linearization; reconstruction

Source: Garde, H & Hirvensalo, M 2025, 'Linearized Calderón problem: Reconstruction of unbounded perturbations in three dimensions', SIAM Journal on Applied Mathematics, vol. 85, no. 1, pp. 210-223.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Linearized Calderón problem: Reconstruction of unbounded perturbations in three dimensions

Authors : Garde, Henrik; Hirvensalo, Markus

Subjects: Calderón problem; linearization; reconstruction

Source: Garde, H & Hirvensalo, M 2025, 'Linearized Calderón problem: Reconstruction of unbounded perturbations in three dimensions', SIAM Journal on Applied Mathematics, vol. 85, no. 1, pp. 210-223.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

A novel approach to the generation of seamless constructs for plant transformation

Authors : Kronbak, Remy; Ingvardsen, Christina R.; Madsen, Claus K.

Subjects: Biolistics; Cereals; In-Fusion™

Source: Kronbak, R, Ingvardsen, C R, Madsen, C K & Gregersen, P L 2014, 'A novel approach to the generation of seamless constructs for plant transformation', Plant Methods, vol. 10, no. 1, 10, pp. 1-10.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

A novel approach to the generation of seamless constructs for plant transformation

Authors : Kronbak, Remy; Ingvardsen, Christina R.; Madsen, Claus K.

Subjects: Biolistics; Cereals; In-Fusion™

Source: Kronbak, R, Ingvardsen, C R, Madsen, C K & Gregersen, P L 2014, 'A novel approach to the generation of seamless constructs for plant transformation', Plant Methods, vol. 10, no. 1, 10, pp. 1-10.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library

Authors : Vindum, Simon Friis; Frumin, Dan; Birkedal, Lars ...

Subjects: concurrent data structures; Coq; separation logic

Source: Vindum, S F, Frumin, D & Birkedal, L 2022, Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library. in A Popescu & S Zdancewic (eds), CPP 2022 : Proceedings of the 11th

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library

Authors : Vindum, Simon Friis; Frumin, Dan; Birkedal, Lars ...

Subjects: concurrent data structures; Coq; separation logic

Source: Vindum, S F, Frumin, D & Birkedal, L 2022, Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library. in A Popescu & S Zdancewic (eds), CPP 2022 : Proceedings of the 11th

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Linearization-based direct reconstruction for EIT using triangular Zernike decompositions

Linearization-based direct reconstruction for EIT using triangular Zernike decompositions

Rapid one-step CRISPR-cas vector assembly by isothermal spacer removal linearization and sequence-ligation independent cloning (ISRL-SLIC)

Robust Tracking Control of Aerial Robots Via a Simple Learning Strategy-Based Feedback Linearization

Linearized Calderón problem: Reconstruction of unbounded perturbations in three dimensions

Linearized Calderón problem: Reconstruction of unbounded perturbations in three dimensions

A novel approach to the generation of seamless constructs for plant transformation

A novel approach to the generation of seamless constructs for plant transformation

Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library

Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library

اتصل بنا

اتبع