Thermobar: An open-source Python3 tool for thermobarometry and hygrometry von Wieser, Penny, Petrelli, Maurizio, Lubbers, Jordan, Wieser, Eric, Ozaydin, Sinan, Kent, Adam, Till, Christy

Volltext

Perioperative participation of orthopedic patients and surgical staff in a nasal decolonization intervention to reduce Staphylococcus spp surgical site infections von Mullen, Anildaliz, RN, BSN, Wieland, Helen J., RN, Wieser, Eric S., MD, ABOS, Spannhake, Ernst W., PhD, Marinos, Rebecca S., PhD, CNO

Volltext

Chaining Extensionality Lemmas in Lean’s Mathlib von Wieser, Eric

Volltext

Surgery for neck pain von Wieser, Eric S, Wang, Jeffrey C

Volltext

Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies von Wieser, Eric

Volltext

SciPy 1.0: fundamental algorithms for scientific computing in Python von Virtanen, Pauli, Gommers, Ralf, Oliphant, Travis E., Haberland, Matt, Reddy, Tyler, Cournapeau, David, Burovski, Evgeni, Peterson, Pearu, Weckesser, Warren, Bright, Jonathan, van der Walt, Stéfan J., Brett, Matthew, Wilson, Joshua, Millman, K. Jarrod, Mayorov, Nikolay, Nelson, Andrew R. J., Jones, Eric, Kern, Robert, Larson, Eric, Carey, C J, Polat, İlhan, Feng, Yu, Moore, Eric W., VanderPlas, Jake, Laxalde, Denis, Perktold, Josef, Cimrman, Robert, Henriksen, Ian, Quintero, E. A., Harris, Charles R., Archibald, Anne M., Ribeiro, Antônio H., Pedregosa, Fabian, van Mulbregt, Paul

Volltext

Array programming with NumPy von Harris, Charles R., Millman, K. Jarrod, van der Walt, Stéfan J., Gommers, Ralf, Virtanen, Pauli, Cournapeau, David, Wieser, Eric, Taylor, Julian, Berg, Sebastian, Smith, Nathaniel J., Kern, Robert, Picus, Matti, Hoyer, Stephan, van Kerkwijk, Marten H., Brett, Matthew, Haldane, Allan, del Río, Jaime Fernández, Wiebe, Mark, Peterson, Pearu, Gérard-Marchant, Pierre, Sheppard, Kevin, Reddy, Tyler, Weckesser, Warren, Abbasi, Hameer, Gohlke, Christoph, Oliphant, Travis E.

Volltext

Improvement of operating room air quality and sustained reduction of surgical site infections in an orthopedic specialty hospital von Mullen, Anildaliz N, Wieser, Eric

Volltext

Formalizing Clifford algebras and related constructions in the Lean theorem prover von Wieser, Eric

Volltext bestellen

Formalizing Geometric Algebra in Lean von Wieser, Eric, Song, Utensil

Volltext

Computing with the Universal Properties of the Clifford Algebra and the Even Subalgebra von Wieser, Eric, Lasenby, Joan

Volltext

Graded Rings in Lean's Dependent Type Theory von Wieser, Eric, Zhang, Jujian

Volltext

Entrainment to the CIECAM02 and CIELAB colour appearance models in the human cortex von Thwaites, Andrew, Wingfield, Cai, Wieser, Eric, Soltan, Andrew, Marslen-Wilson, William D., Nimmo-Smith, Ian

Volltext

Multiple-inheritance hazards in dependently-typed algebraic hierarchies von Wieser, Eric

Volltext bestellen

The difficult legacy of Turing’s wager von Thwaites, Andrew, Soltan, Andrew, Wieser, Eric, Nimmo-Smith, Ian

Volltext

Scalar actions in Lean's mathlib von Wieser, Eric

Volltext bestellen

Author Correction: SciPy 1.0: fundamental algorithms for scientific computing in Python von Virtanen, Pauli, Gommers, Ralf, Oliphant, Travis E., Haberland, Matt, Reddy, Tyler, Cournapeau, David, Burovski, Evgeni, Peterson, Pearu, Weckesser, Warren, Bright, Jonathan, van der Walt, Stéfan J., Brett, Matthew, Wilson, Joshua, Millman, K. Jarrod, Mayorov, Nikolay, Nelson, Andrew R. J., Jones, Eric, Kern, Robert, Larson, Eric, Carey, C J, Polat, İlhan, Feng, Yu, Moore, Eric W., VanderPlas, Jake, Laxalde, Denis, Perktold, Josef, Cimrman, Robert, Henriksen, Ian, Quintero, E. A., Harris, Charles R., Archibald, Anne M., Ribeiro, Antônio H., Pedregosa, Fabian, van Mulbregt, Paul

Volltext

Bone plate von Wieser, Eric

Volltext bestellen

Multiple-inheritance hazards in dependently-typed algebraic hierarchies von Wieser, Eric

Volltext

Formalizing Geometric Algebra in Lean von Wieser, Eric, Song, U

Volltext bestellen