|
Automated verification and control of infinite state stochastic systems by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Institute of Science and Technology Austria 2023
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Automatic synthesis of synchronisation primitives for concurrent programs by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2016
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Automatic time-unbounded reachability analysis of hybrid systems by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2019
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Institute of Science and Technology Austria 2022
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Bacterial herd and social immunity to phages by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2017
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Biochemical and structural insights into ADAR1 RNA editing by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Institute of Science and Technology Austria 2024
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2020
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Biology of restriction-modification systems at the single-cell and population level by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2017
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Boundary superconductivity in BCS theory by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Institute of Science and Technology Austria 2023
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Branched Actin networks in dendritic cell biology by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2018
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Brittle fracture simulation with boundary elements for computer graphics by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2017
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Bulk actin dynamics drive phase segregation in zebrafish oocytes by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2020
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Cavity quantum electrooptics by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Institute of Science and Technology Austria 2023
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2017
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Institute of Science and Technology Austria 2021
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Cell-Surface Auxin Signaling: Linking molecular pathways to plant development by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Institute of Science and Technology Austria 2025
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Central limit theorems for random matrices: From resolvents to free probability by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Institute of Science and Technology Austria 2024
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Institute of Science and Technology Austria 2024
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Charge sensing and spin relaxation times of holes in Ge hut wires by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2018
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|
|
Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Institute of Science and Technology Austria 2022
Availability: Items available for loan: Library (1)Call number: Quiet Room.
|