Simulations of radiatively cooled magnetic reconnection driven by pulsed power by Datta, Rishabh, Crilly, Aidan, Chittenden, Jeremy P., Chowdhry, Simran, Chandler, Katherine, Chaturvedi, Nikita, Myers, Clayton E., Fox, William R., Hansen, Stephanie B., Jennings, Chris A., Ji, Hantao, Kuranz, Carolyn C., Lebedev, Sergey V., Uzdensky, Dmitri A., Hare, Jack D.

“…The reconnection layer undergoes radiative collapse when the radiative losses exceed the rates of ohmic and compressional heating (cooling rate/hydrodynamic transit rate = 𝜏−1cool/𝜏−1𝐻≈100 ); this generates a cold strongly compressed current sheet, leading to an accelerated reconnection rate, consistent with theoretical predictions. …”
Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…We prototyped our technique in the interactive proof assistant Coq, so our framework creates machine-checked proofs that the developed functions satisfy their specifications when executed according to the formal semantics of the source language. …”
Get full text

Predicted Losses of Sulfur and Selenium in European Soils Using Machine Learning: A 2 Call for Prudent Model Interrogation and Selection by Jones, Gerrad D., Insinga, Logan, Droz, Boris, Feinberg, Aryeh, Stenke, Andrea, Smith, Jo, Smith, Pete, Winkel, Lenny H. E.

“…Other models exhibited overfitting even when differences in training and testing performance were low or non-existent. …”
Get full text

Ex Post Path Choice Estimation for Urban Rail Systems Using Smart Card Data: An Aggregated Time-Space Hypernetwork Approach by Mo, Baichuan, Ma, Zhenliang, Koutsopoulos, Haris N, Zhao, Jinhua

“…We prove that the solution to the original problem is the same as the decomposed problem (i.e., the fixed point) when passenger path choices follow the predefined behavior model. …”
Get full text

Near-zero environmental impact aircraft by Prashanth, Prakash, Elmourad, Jad, Grobler, Carla, Isaacs, Stewart, Zahid, Syed Shayan, Abel, James, Falter, Christoph, Fritz, Thibaud, Allroggen, Florian, Sabnis, Jayant S., Eastham, Sebastian D., Speth, Raymond L., Barrett, Steven R. H.

“…Aviation's impact on surface air quality, which is comparable to aviation's climate impact when monetized, further heightens this challenge. …”
Get full text

A neural clock underlying the temporal dynamics of an auditory memory by Bahle, Andrew H.

“…In this thesis I study the neural control of vocal imitation in the songbird Taengiopia guttata, focusing on the first stage of imitation when animals must form a temporally structured sensory memory, or template, of the action to be imitated. …”
Get full text
Get full text

Orbital stability in a classical pilot-wave system by Liu, Nicholas Z.

“…We find that orbital quantisation is most pronounced when the waves generated by each bounce decay slowly. …”
Get full text

Regulation of microRNA degradation in Caenorhabditis elegans via the E3 ubiquitin ligase EBAX-1 by Stubna, Michael William

“…The requirement for 3′ pairing therefore varies between EBAX-1 sensitive miRNAs, raising questions about the molecular features of TDMD trigger RNAs that recruit EBAX-1 when extensive pairing is not crucial.…”
Get full text
Get full text

Emergence, Formation and Dynamics of Hot QCD Matter by Scheihing Hitschfeld, Bruno Sebastian

“…The hydrodynamic attractor is reached when only one low-energy state remains as the ground state, and the system approaches local thermal equilibrium following the adiabatic evolution of this low-energy state.…”
Get full text
Get full text

The Ethics within Metaphysics by Impagnatiello, Michele Odissea

“…Then, I argue that the Humean/Anti-Humean debate also arises when it comes to metaphysical and ethical laws. Finally, I argue in favor of the Anti-Humean conception of metaphysical and ethical laws, both adapting standard arguments used in the debates about laws of nature, and with new arguments specific to metaphysics and ethics. …”
Get full text

Arthroscopic Bone Block and Arthroscopic Latarjet for Anterior Shoulder Dislocation—Technical Note with Tricks and Tips for Conversion and Successful Surgery by Longo, Umile Giuseppe, Marcello, Gianmarco, Nazarian, Ara, DeAngelis, Joseph, D’Hooghe, Margaux, D’Hooghe, Pieter

“…Many factors should be considered when choosing the right surgical technique, and treatment plans must be customized for each patient. …”
Get full text

Computational Approaches for Understanding and Redesigning Enzyme Catalysis by Karvelis, Elijah

“…This thesis highlights the influence of conformational states that are visited during the dynamics of substrate turnover and their role on enzyme catalysis, and it furthermore suggests a framework with which researchers may consider and apply these effects when engineering catalytic function.…”
Get full text
Get full text

Empathy Toward Artificial Intelligence Versus Human Experiences and the Role of Transparency in Mental Health and Social Support Chatbot Design: Comparative Study by Shen, Jocelyn, DiPaola, Daniella, Ali, Safinah, Sap, Maarten, Park, Hae Won, Breazeal, Cynthia

“…We also found that participants reported greater willingness to empathize with AI-written stories when there was transparency about the story author (t494=–5.49, P<.001, Cohen d=0.36). …”
Get full text

Reducing the air travel hassle factor through self-service check-in process improvements by Miller, Jared Keith, 1977-

Get full text

Hydrate-phobic surfaces: fundamental studies in clathrate hydrate adhesion reduction by Smith, J. David, Meuler, Adam J., Bralower, Harrison L., Venkatesan, Rama, Subramanian, Sivakumar, Cohen, Robert E., McKinley, Gareth H., Varanasi, Kripa K.

“…A reduction in hydrate adhesion strength by more than a factor of four when compared to bare steel is achieved on surfaces characterized by low Lewis acid, Lewis base, and van der Waals contributions to surface free energy such that the practical work of adhesion is minimized. …”
Get full text
Get full text
Get full text
Get full text

A differential covariance matrix adaptation evolutionary algorithm for real parameter optimization by Ghosh, Saurav, Das, Swagatam, Roy, Subhrajit, Minhazul Islam, S. K., Suganthan, P. N.

“…Though CMA-ES has emerged itself as a very efficient global optimizer, its performance deteriorates when it comes to dealing with complicated fitness landscapes, especially landscapes associated with noisy, hybrid composition functions and many real world optimization problems. …”
Get full text
Get full text

A LDO regulator with weighted current feedback technique for 0.47nF-10nF capacitive load by Tan, Xiao Liang, Chong, Sau Siong, Chan, Pak Kwong, Dasgupta, Uday

“…At a supply of 0.75 V and a quiescent current of 15.9 μA, the proposed circuit can support a maximum load current (IL) of 50 mA. When IL switches from 0 to 50 mA in 100 ns, the output can settle within 400 ns for the whole CL range. …”
Get full text
Get full text

Desymmetrisation of 1,3-diols and their diacetates under enzymatic heterogeneous catalysis and synthesis of 1,3-diols under continuous flow conditions by Pamarthy, Varsha Siri

“…Under batch conditions, hydrolysis of 1,3- diacetate offered the (S)-monoacetate in up to 54% yield and 93% ee, and 57% yield and 93% ee, in 24 h each, when free lipase AK and immobilised lipase AK were used as the catalysts correspondingly. …”
Get full text
Get full text

A subquadratic-time algorithm for decremental single-source shortest paths by Nanongkai, Danupon, Henzinger, Monika, Krinninger, Sebastian

“…This running time is essentially tight when m = Ω(n1.8) since we need Ω(m) time even in the static setting. …”
Get full text
Get full text
Get full text

Punching shear strength analysis of corroded reinforcement concrete slab by Fu, Yibin

“…The research mainly focuses on the improvement of the punching shear behaviour when FRP were used. Another study on use of high strength concrete also produced similar conclusion [Y3]. …”
Get full text