Search Results

Prior knowledge and verification in macromolecular crystallography

• Authors : Jiménez Mellado, Elisabet; University/Department: Universitat de Barcelona. Facultat de Farmàcia i Ciències de l'Alimentació; ...

Subjects: Macromolècules; Macromoléculas; Macromolecules

• Source: TDX (Tesis Doctorals en Xarxa)

Record details

A large area MAPS-based upstream device for radiotherapy verification

• Authors : Pritchard, Jordan L.; Velthuis, Jaap

Subjects: CMOS; MAPS; Active-pixel sensors

Record details

Deep learning methods for speaker verification and diarization

• Authors : India Massana, Miquel Àngel; University/Department: Universitat Politècnica de Catalunya. Departament de Teoria del Senyal i Comunicacions; ...

Subjects: Àrees temàtiques de la UPC::Enginyeria de la telecomunicació; Àrees temàtiques de la UPC::Informàtica; 621.3 - Enginyeria elèctrica. Electrotècnia. Telecomunicacions

• Source: TDX (Tesis Doctorals en Xarxa)

Record details

Machine-checked verification of digital signature schemes in EasyCrypt

• Authors : Zain, Sara; Dupressoir, Francois

Subjects: Machine-checked proofs; Formal verification; EasyCrypt Proof assistant

Record details

End-to-end dosimetric verification of cardiac Stereotactic Ablative Body Radiotherapy using a novel dynamic anthropomorphic cardiac model

• Authors : Dean, Christopher; Taylor, Michael

Subjects: cardiac; verification; ventricular tachycardia

Record details

Symbolic techniques for parameterised verification

• Authors : Hong, Chih-Duo;

Subjects: Computer systems--Verification; Computational logic; Formal methods (Computer science)

Record details

On the digital design and verification of pixel detector ASICs for fast timing applications and other fields of science

• Authors : Egidos Plaja, Núria; University/Department: Universitat de Barcelona. Facultat de Física; ...

Subjects: Sincronització; Sincronización; Synchronization

• Source: TDX (Tesis Doctorals en Xarxa)

Record details

Evidence-based verification and correction of textual claims

• Authors : Thorne, James; Vlachos, Andreas

Subjects: natural language processing; machine learning; fact verification

Record details

Towards automated performance analysis of programs by runtime verification

• Authors : Dawes, Joshua; Reger, Giles

Subjects: Static Analysis; Performance Analysis; Runtime Verification

Record details

Modeling, Specification and Verification of Smart Contract Applications ...

• Authors : Schiffl, Jonas

Subjects: Smart Contracts; Formal Verification; Formal Modeling

Record details