Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3390 Publications

2016 | Conference Paper | IST-REx-ID: 1205 | OA
Jiang, Yu, et al. Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller. Vol. 9995, Springer, 2016, pp. 757–63, doi:10.1007/978-3-319-48989-6_47.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1206 | OA
Redchenko, Elena, and Mikhail Lemeshko. “Libration of Strongly Oriented Polar Molecules inside a Superfluid.” ChemPhysChem, vol. 17, no. 22, Wiley-Blackwell, 2016, pp. 3649–54, doi:10.1002/cphc.201601042.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1209 | OA
Letts, James A., et al. “Purification of Ovine Respiratory Complex i Results in a Highly Active and Stable Preparation.” Journal of Biological Chemistry, vol. 291, no. 47, American Society for Biochemistry and Molecular Biology, 2016, pp. 24657–75, doi:10.1074/jbc.M116.735142.
View | DOI | Download Submitted Version (ext.)
 
2016 | Book Chapter | IST-REx-ID: 1210
Zhu, Qiang, et al. “Real Time Analysis of the Apical Hook Development.” Plant Hormones, vol. 1497, Humana Press, 2016, pp. 1–8, doi:10.1007/978-1-4939-6469-7_1.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1212 | OA
Rakusová, Hana, et al. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” Current Biology, vol. 26, no. 22, Cell Press, 2016, pp. 3026–32, doi:10.1016/j.cub.2016.08.067.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1214
Martius, Georg S., et al. Compliant Control for Soft Robots: Emergent Behavior of a Tendon Driven Anthropomorphic Arm. Vol. 2016–November, 7759138, IEEE, 2016, doi:10.1109/IROS.2016.7759138.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1216 | OA
Kasten, Jens, et al. “Acceleration Feature Points of Unsteady Shear Flows.” Archives of Mechanics, vol. 68, no. 1, Polish Academy of Sciences Publishing House, 2016, pp. 55–80.
View | Download Published Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1217
Sreeramkumar, Vinatha, et al. “Efficient T-Cell Priming and Activation Requires Signaling through Prostaglandin E2 (EP) Receptors.” Immunology and Cell Biology, vol. 94, no. 1, Nature Publishing Group, 2016, pp. 39–51, doi:10.1038/icb.2015.62.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1218 | OA
Angermayr, Andreas, et al. “Culturing Synechocystis Sp. Strain Pcc 6803 with N2 and CO2 in a Diel Regime Reveals Multiphase Glycogen Dynamics with Low Maintenance Costs.” Applied and Environmental Microbiology, vol. 82, no. 14, American Society for Microbiology, 2016, pp. 4180–89, doi:10.1128/AEM.00256-16.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1219 | OA
Lee, Jioon, et al. “Bulk Universality for Deformed Wigner Matrices.” Annals of Probability, vol. 44, no. 3, Institute of Mathematical Statistics, 2016, pp. 2349–425, doi:10.1214/15-AOP1023.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1220 | OA
Mikić, Gregor, et al. Fuselage Boundary Layer Ingestion Propulsion Applied to a Thin Haul Commuter Aircraft for Optimal Efficiency. AIAA, 2016, pp. 1–19, doi:10.2514/6.2016-3764.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1221 | OA
Michalko, Jaroslav, et al. “Strong Morphological Defects in Conditional Arabidopsis Abp1 Knock-down Mutants Generated in Absence of Functional ABP1 Protein.” F1000 Research , vol. 5, 86, F1000 Research Ltd. , 2016, doi:10.12688/f1000research.7654.1.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1222 | OA
Musin, Oleg, and Anton Nikitenko. “Optimal Packings of Congruent Circles on a Square Flat Torus.” Discrete & Computational Geometry, vol. 55, no. 1, Springer, 2016, pp. 1–20, doi:10.1007/s00454-015-9742-6.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1223 | OA
Froese, Richard, et al. “Localization for Transversally Periodic Random Potentials on Binary Trees.” Journal of Spectral Theory, vol. 6, no. 3, European Mathematical Society, 2016, pp. 557–600, doi:10.4171/JST/132.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1224
Teitel, Zachary, et al. “The Dynamics of Resource Allocation and Costs of Reproduction in a Sexually Dimorphic, Wind-Pollinated Dioecious Plant.” Plant Biology, vol. 18, no. 1, Wiley-Blackwell, 2016, pp. 98–103, doi:10.1111/plb.12336.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1225 | OA
Fuchsbauer, Georg, et al. Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions. Vol. 9841, Springer, 2016, pp. 391–408, doi:10.1007/978-3-319-44618-9_21.
View | Files available | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1226 | OA
Fiedorczuk, Karol, et al. “Atomic Structure of the Entire Mammalian Mitochondrial Complex I.” Nature, vol. 538, no. 7625, Nature Publishing Group, 2016, pp. 406–10, doi:10.1038/nature19794.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 1227 | OA
Kong, Hui, et al. Discrete Abstraction of Multiaffine Systems. Vol. 9957, Springer, 2016, pp. 128–44, doi:10.1007/978-3-319-47151-8_9.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah, Hamza M., et al. Offline Witness Encryption. Vol. 9696, Springer, 2016, pp. 285–303, doi:10.1007/978-3-319-39555-5_16.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1230 | OA
Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi:10.1007/978-3-662-49122-5_16.
View | Files available | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1231 | OA
Alwen, Joel F., et al. On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model. Vol. 9666, Springer, 2016, pp. 358–87, doi:10.1007/978-3-662-49896-5_13.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1232
Letts, James A., et al. “The Architecture of Respiratory Supercomplexes.” Nature, vol. 537, no. 7622, Nature Publishing Group, 2016, pp. 644–48, doi:10.1038/nature19774.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1233 | OA
Fuchsbauer, Georg, et al. Standard Security Does Imply Security against Selective Opening for Markov Distributions. Vol. 9562, Springer, 2016, pp. 282–305, doi:10.1007/978-3-662-49096-9_12.
View | DOI | Download Submitted Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1234 | OA
Daca, Przemyslaw, et al. Faster Statistical Model Checking for Unbounded Temporal Properties. Vol. 9636, Springer, 2016, pp. 112–29, doi:10.1007/978-3-662-49674-9_7.
View | Files available | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1235 | OA
Abusalah, Hamza M., and Georg Fuchsbauer. Constrained PRFs for Unbounded Inputs with Short Keys. Vol. 9696, Springer, 2016, pp. 445–63, doi:10.1007/978-3-319-39555-5_24.
View | Files available | DOI | Download Submitted Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1236 | OA
Abusalah, Hamza M., et al. Constrained PRFs for Unbounded Inputs. Vol. 9610, Springer, 2016, pp. 413–28, doi:10.1007/978-3-319-29485-8_24.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1237
Krcál, Marek, and Pawel Pilarczyk. Computation of Cubical Steenrod Squares. Vol. 9667, Springer, 2016, pp. 140–51, doi:10.1007/978-3-319-39441-1_13.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1238 | OA
von Wangenheim, Daniel, et al. “Endosomal Interactions during Root Hair Growth.” Frontiers in Plant Science, vol. 6, no. JAN2016, 1262, Frontiers Research Foundation, 2016, doi:10.3389/fpls.2015.01262.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1239
Callan Jones, Andrew, et al. “Cortical Flow-Driven Shapes of Nonadherent Cells.” Physical Review Letters, vol. 116, no. 2, 028102, American Physical Society, 2016, doi:10.1103/PhysRevLett.116.028102.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1240 | OA
Kornienko, Aleksandra, et al. “Long Non-Coding RNAs Display Higher Natural Expression Variation than Protein-Coding Genes in Healthy Humans.” Genome Biology, vol. 17, no. 1, 14, BioMed Central, 2016, doi:10.1186/s13059-016-0873-8.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1241 | OA
Uecker, Hildegard, and Joachim Hermisson. “The Role of Recombination in Evolutionary Rescue.” Genetics, vol. 202, no. 2, Genetics Society of America, 2016, pp. 721–32, doi:10.1534/genetics.115.180299.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1242 | OA
Sokolowski, Thomas R., et al. “Extending the Dynamic Range of Transcription Factor Action by Translational Regulation.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 93, no. 2, 022404, American Institute of Physics, 2016, doi:10.1103/PhysRevE.93.022404.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1243
Pleska, Maros, et al. “Bacterial Autoimmunity Due to a Restriction-Modification System.” Current Biology, vol. 26, no. 3, Cell Press, 2016, pp. 404–09, doi:10.1016/j.cub.2015.12.041.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1244 | OA
Recouvreux, Pierre, et al. “Chimera Proteins with Affinity for Membranes and Microtubule Tips Polarize in the Membrane of Fission Yeast Cells.” PNAS, vol. 113, no. 7, National Academy of Sciences, 2016, pp. 1811–16, doi:10.1073/pnas.1419248113.
View | DOI | Download Submitted Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1245
Pandey, Vineet, and Krishnendu Chatterjee. “Game-Theoretic Models Identify Useful Principles for Peer Collaboration in Online Learning Platforms.” Proceedings of the ACM Conference on Computer Supported Cooperative Work, vol. 26, no. Februar-2016, ACM, 2016, pp. 365–68, doi:10.1145/2818052.2869122.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1246 | OA
Kabakova, Irina, et al. “Imaging of Electric and Magnetic Fields near Plasmonic Nanowires.” Scientific Reports, vol. 6, 22665, Nature Publishing Group, 2016, doi:10.1038/srep22665.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1247 | OA
Karampelias, Michael, et al. “ROTUNDA3 Function in Plant Development by Phosphatase 2A-Mediated Regulation of Auxin Transporter Recycling.” PNAS, vol. 113, no. 10, National Academy of Sciences, 2016, pp. 2768–73, doi:10.1073/pnas.1501343112.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1248 | OA
Tkačik, Gašper, and William Bialek. “Information Processing in Living Systems.” Annual Review of Condensed Matter Physics, vol. 7, Annual Reviews, 2016, pp. 89–117, doi:10.1146/annurev-conmatphys-031214-014803.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1249 | OA
Saha, Arnab, et al. “Determining Physical Properties of the Cell Cortex.” Biophysical Journal, vol. 110, no. 6, Biophysical Society, 2016, pp. 1421–29, doi:10.1016/j.bpj.2016.02.013.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1251 | OA
Zhu J, Bailly A, Zwiewka M, Sovero V, Di Donato M, Ge P, Oehri J, Aryal B, Hao P, Linnert M, Burgardt N, Lücke C, Weiwad M, Michel M, Weiergräber O, Pollmann S, Azzarello E, Mancuso S, Ferro N, Fukao Y, Hoffmann C, Wedlich Söldner R, Friml J, Thomas C, Geisler M. 2016. TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics. Plant Cell. 28(4), 930–948.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1252 | OA
Harker, Shaun, et al. “Inducing a Map on Homology from a Correspondence.” Proceedings of the American Mathematical Society, vol. 144, no. 4, American Mathematical Society, 2016, pp. 1787–801, doi:10.1090/proc/12812.
View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1253 | OA
Tsai, Lihuei, and Sandra Siegert. “How MicroRNAs Are Involved in Splitting the Mind.” JAMA Psychiatry, vol. 73, no. 4, American Medical Association, 2016, pp. 409–10, doi:10.1001/jamapsychiatry.2015.3144.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1254 | OA
Golmakani, Ali, et al. “Uniform Expansivity Outside a Critical Neighborhood in the Quadratic Family.” Experimental Mathematics, vol. 25, no. 2, Taylor and Francis, 2016, pp. 116–24, doi:10.1080/10586458.2015.1048011.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1255 | OA
Peuß, Robert, et al. “Down Syndrome Cell Adhesion Molecule 1: Testing for a Role in Insect Immunity, Behaviour and Reproduction.” Royal Society Open Science, vol. 3, no. 4, 160138, Royal Society, The, 2016, doi:10.1098/rsos.160138.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1256 | OA
Jiang, Yu, et al. From Stateflow Simulation to Verified Implementation: A Verification Approach and a Real-Time Train Controller Design. 7461337, IEEE, 2016, doi:10.1109/RTAS.2016.7461337.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1257 | OA
Sadel, Christian, and Bálint Virág. “A Central Limit Theorem for Products of Random Matrices and GOE Statistics for the Anderson Model on Long Boxes.” Communications in Mathematical Physics, vol. 343, no. 3, Springer, 2016, pp. 881–919, doi:10.1007/s00220-016-2600-4.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1258
Gallemi, Marçal, et al. “DRACULA2 Is a Dynamic Nucleoporin with a Role in Regulating the Shade Avoidance Syndrome in Arabidopsis.” Development, vol. 143, no. 9, Company of Biologists, 2016, pp. 1623–31, doi:10.1242/dev.130211.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1259 | OA
Bräunlich, Gerhard, et al. “Bogolubov–Hartree–Fock Theory for Strongly Interacting Fermions in the Low Density Limit.” Mathematical Physics, Analysis and Geometry, vol. 19, no. 2, 13, Springer, 2016, doi:10.1007/s11040-016-9209-x.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1260 | OA
De Martino, Daniele. “The Dual of the Space of Interactions in Neural Network Models.” International Journal of Modern Physics C, vol. 27, no. 6, 1650067, World Scientific Publishing, 2016, doi:10.1142/S0129183116500674.
View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1261 | OA
Maas, Jan, and Daniel Matthes. “Long-Time Behavior of a Finite Volume Discretization for a Fourth Order Diffusion Equation.” Nonlinearity, vol. 29, no. 7, IOP Publishing Ltd., 2016, pp. 1992–2023, doi:10.1088/0951-7715/29/7/1992.
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications