搜索结果：Seminars in thrombosis and hemostasis

The rise of agentic AI is reshaping software engineering in two intertwined directions: agents are increasingly applied to support software engineering tasks, and Agentic AI systems themselves are complex systems that require re-thinking currently established software engineering practices. To chart a coherent research agenda covering the two directions, we organized the A2SE seminar in Rio de Janeiro, bringing together 18 experts from academia and industry. Through structured presentations, collaborative topic clustering, and focused group discussions, participants identified six thematic areas: Governance, Software Engineering for Agents, Agents for Software Architecture, Quality and Evaluation, Sustainability, and Code, and they prioritized short-term and long-term research directions for each. This paper presents the resulting community-driven, opinionated research agenda, offering the SE community a structured foundation for coordinating efforts at this critical juncture.

Primary hemostasis is initiated by platelet adhesion and aggregation at a site of vascular injury and is strongly regulated by local hydrodynamic conditions. At elevated shear rates, platelet capture is mediated by von Willebrand factor (vWF), a multimeric protein that undergoes shear-induced unfolding and becomes adhesive. We investigate early-stage clot formation under physiological high-shear-flow conditions by employing particle-based mesoscale hydrodynamics simulations with explicitly resolved red blood cells, platelets, and mechano-sensitive vWF in a microchannel geometry. The model incorporates vWF-mediated adhesion of platelets to a hemostatic surface, together with non-periodic inflow-outflow boundary conditions that allow continuous material supply and transport. We analyze the dynamics of platelet-vWF aggregation, clot growth dynamics, clot geometry and internal stresses, and thrombo-embolization across a range of elevated flow rates. Our results demonstrate that clot formation proceeds through the establishment of platelet-vWF aggregates at the hemostatic site, and that the clot reaches a finite size determined solely by hydrodynamic forces, without invoking biochemical

This report documents the program and the outcomes of Dagstuhl Seminar 23031 ``Frontiers of Information Access Experimentation for Research and Education'', which brought together 37 participants from 12 countries. The seminar addressed technology-enhanced information access (information retrieval, recommender systems, natural language processing) and specifically focused on developing more responsible experimental practices leading to more valid results, both for research as well as for scientific education. The seminar brought together experts from various sub-fields of information access, namely IR, RS, NLP, information science, and human-computer interaction to create a joint understanding of the problems and challenges presented by next generation information access systems, from both the research and the experimentation point of views, to discuss existing solutions and impediments, and to propose next steps to be pursued in the area in order to improve not also our research methods and findings but also the education of the new generation of researchers and developers. The seminar featured a series of long and short talks delivered by participants, who helped in setting a com

In recent times, discussions on social media platforms have increasingly come under scrutiny due to the proliferation of science denial and fake news. Traditional solutions, such as regulatory actions, have been implemented to mitigate the spread of misinformation; however, these measures alone are not sufficient. To complement these efforts, educational approaches are becoming essential in empowering users to critically engage with misinformation. Conversation training, through serious games or personalized methods, has emerged as a promising strategy to help users handle science denial and toxic conversation tactics. This paper suggests an interdisciplinary seminar to explore the suitability of Large Language Models (LLMs) acting as a persona of a science denier to support people in identifying misinformation and improving resilience against toxic interactions. In the seminar, groups of four to five students will develop an AI-based chatbot that enables realistic interactions with science-denial argumentation structures. The task involves planning the setting, integrating a Large Language Model to facilitate natural dialogues, implementing the chatbot using the RASA framework, an

Subclinical leaflet thrombosis (SLT) is a potentially serious complication of aortic valve replacement with a bioprosthetic valve in which blood clots form on the replacement valve. SLT is associated with increased risk of transient ischemic attacks and strokes and can progress to clinical leaflet thrombosis. SLT following aortic valve replacement also may be related to subsequent structural valve deterioration, which can impair the durability of the valve replacement. Because of the difficulty in clinical imaging of SLT, models are needed to determine the mechanisms of SLT and could eventually predict which patients will develop SLT. To this end, we develop methods to simulate leaflet thrombosis that combine fluid-structure interaction and a simplified thrombosis model that allows for deposition along the moving leaflets. Additionally, this model can be adapted to model deposition or absorption along other moving boundaries. We present convergence results and quantify the model's ability to realize changes in valve opening and pressures. These new approaches are an important advancement in our tools for modeling thrombosis in which they incorporate both adhesion to the surface of

Thrombosis under high-shear conditions is mediated by the mechanosensitive blood glycoprotein von Willebrand Factor (vWF). vWF unfolds in response to strong flow gradients and facilitates rapid recruitment of platelets in flowing blood. While the thrombogenic effect of vWF is well recognized, its conformational response in complex flows has largely been omitted from numerical models of thrombosis. We recently presented a continuum model for the unfolding of vWF, where we represented vWF transport and its flow-induced conformational change using convection-diffusion-reaction equations. Here, we incorporate the vWF component into our multi-constituent model of thrombosis, where the local concentration of stretched vWF amplifies the deposition rate of free-flowing platelets and reduces the shear cleaning of deposited platelets. We validate the model using three benchmarks: in vitro model of atherothrombosis, a stagnation point flow, and the PFA-100, a clinical blood test commonly used for screening for von Willebrand Disease (vWD). The simulations reproduced the key aspects of vWF-mediated thrombosis observed in these experiments, such as the thrombus location, thrombus growth dynamic

Deep Vein Thrombosis (DVT) is a common yet potentially fatal condition, often leading to critical complications like pulmonary embolism. DVT is commonly diagnosed using Ultrasound (US) imaging, which can be inconsistent due to its high dependence on the operator's skill. Robotic US Systems (RUSs) aim to improve diagnostic test consistency but face challenges with the complex scanning pattern needed for DVT assessment, where precise control over US probe pressure is crucial for indirectly detecting occlusions. This work introduces an imitation learning method, based on Kernelized Movement Primitives (KMP), to standardize DVT US exams by training an autonomous robotic controller using sonographer demonstrations. A new recording device design enhances demonstration ergonomics, integrating with US probes and enabling seamless force and position data recording. KMPs are used to capture scanning skills, linking scan trajectory and force, enabling generalization beyond the demonstrations. Our approach, evaluated on synthetic models and volunteers, shows that the KMP-based RUS can replicate an expert's force control and image quality in DVT US examination. It outperforms previous methods u

This paper describes the dynamic seminar management system named 'e-Sem', developed according to the opensource software philosophy. Due to its dynamic management functionality, it can equally adapt to any education environment (Primary, Secondary, Tertiary). The purpose of the proposed dynamic system is ease of use and handling, by any class of users, without the need of special guidance. Also, students are given the opportunity to: a) register as users; b) enroll in seminars in a simple way; c) receive e-learning material at any time of day any day of week, and d) be informed of new announcements concerning the seminar in which they are enrolled . In addition, the administrator and the tutors have a number of tools such as : management seminars and trainees in a friendly way, sending educational material as well as new announcements to the trainees; the possibility of electronic recording of presence or absence of the trainees in a seminar, and direct printing of a certificate of successful attendance of a seminar for each trainee. The application also offers features such as electronic organization, storage and presentation of educational material, overcoming the limiting factor

Deep Venous Thrombosis (DVT) is a common vascular disease with blood clots inside deep veins, which may block blood flow or even cause a life-threatening pulmonary embolism. A typical exam for DVT using ultrasound (US) imaging is by pressing the target vein until its lumen is fully compressed. However, the compression exam is highly operator-dependent. To alleviate intra- and inter-variations, we present a robotic US system with a novel hybrid force motion control scheme ensuring position and force tracking accuracy, and soft landing of the probe onto the target surface. In addition, a path-based virtual fixture is proposed to realize easy human-robot interaction for repeat compression operation at the lesion location. To ensure the biometric measurements obtained in different examinations are comparable, the 6D scanning path is determined in a coarse-to-fine manner using both an external RGBD camera and US images. The RGBD camera is first used to extract a rough scanning path on the object. Then, the segmented vascular lumen from US images are used to optimize the scanning path to ensure the visibility of the target object. To generate a continuous scan path for developing virtual

Materials science has a significant impact on society and its quality of life, e.g., through the development of safer, more durable, more economical, environmentally friendly, and sustainable materials. Visual computing in materials science integrates computer science disciplines from image processing, visualization, computer graphics, pattern recognition, computer vision, virtual and augmented reality, machine learning, to human-computer interaction, to support the acquisition, analysis, and synthesis of (visual) materials science data with computer resources. Therefore, visual computing may provide fundamentally new insights into materials science problems by facilitating the understanding, discovery, design, and usage of complex material systems. This seminar is considered as a follow-up of the Dagstuhl Seminar 19151 Visual Computing in Materials Sciences, held in April 2019. Since then, the field has kept evolving and many novel challenges have emerged, with regard to more traditional topics in visual computing, such as topology analysis or image processing and analysis, to recently emerging topics, such as uncertainty and ensemble analysis, and to the integration of new resear

Using a large dataset of research seminars held at US economics departments in 2018, I explore the factors that determine who is invited to present at a research seminar and whether the invitation is accepted. I find that high-quality scholars have a higher probability of being invited than low-quality scholars, and researchers are more likely to accept an invitation if it is issued by a top economics department. The probability of being invited increases with the size of the host department. Young and low-quality scholars have a higher probability of accepting an invitation. The distance between the host department and invited scholar reduces the probability of being invited and accepting the invitation. Female scholars do not have a lower probability of being invited to give a research seminar than men.

This report documents the program and the outcomes of GI-Dagstuhl Seminar 16394 "Software Performance Engineering in the DevOps World". The seminar addressed the problem of performance-aware DevOps. Both, DevOps and performance engineering have been growing trends over the past one to two years, in no small part due to the rise in importance of identifying performance anomalies in the operations (Ops) of cloud and big data systems and feeding these back to the development (Dev). However, so far, the research community has treated software engineering, performance engineering, and cloud computing mostly as individual research areas. We aimed to identify cross-community collaboration, and to set the path for long-lasting collaborations towards performance-aware DevOps. The main goal of the seminar was to bring together young researchers (PhD students in a later stage of their PhD, as well as PostDocs or Junior Professors) in the areas of (i) software engineering, (ii) performance engineering, and (iii) cloud computing and big data to present their current research projects, to exchange experience and expertise, to discuss research challenges, and to develop ideas for future collabora

High intensity focused ultrasound (HIFU) has many applications ranging from thermal ablation of cancer to hemostasis. Although focused ultrasound can seal a bleeding site, physical mechanisms of acoustic hemostasis are not fully understood yet. To understand better the interaction between different physical mechanisms involved in hemostasis a mathematical model of acoustic hemostasis is developed. This model comprises the nonlinear Westervelt equation and the bioheat equations in tissue and blood vessel. In the three dimensional domain, the nonlinear hemodynamic equations are coupled with the acoustic and thermal equations. Convected cooling and acoustic streaming effects are incorporated in the modeling study. Several sonication angles and two wound shapes have been studied. The optimal focal point location is at the rear of the wound and the optimal angle is 45$^0$.

Percutaneous catheter pumps are intraventricular temporary mechanical circulatory support (MCS) devices that are positioned across the aortic valve into the left ventricle (LV) and provide continuous antegrade blood flow from the LV into the ascending aorta (AA). MCS devices are most often computationally evaluated as isolated devices subject to idealized steady-state blood flow conditions. In clinical practice, MCS devices operate connected to or within diseased pulsatile native hearts and are often complicated by hemocompatibility related adverse events such as stroke, bleeding, and thrombosis. Whereas aspects of the human circulation are increasingly being simulated via computational methods, the precise interplay of pulsatile LV hemodynamics with MCS pump hemocompatibility remains mostly unknown and not well characterized. Technologies are rapidly converging such that next-generation MCS devices will soon be evaluated in virtual physiological environments that increasingly mimic clinical settings. The purpose of this brief communication is to report results and lessons learned from an exploratory CFD simulation of hemodynamics and thrombosis for a catheter pump situated within

Occlusive thrombosis in arteries causes heart attacks and strokes. The rapid growth of thrombus at elevated shear rates (~10,000 1/s) relies on shear-induced platelet aggregation (SIPA) thought to come about from the entanglement of von Willebrand factor (VWF) molecules. The mechanism for SIPA is not yet understood in terms of cell- and molecule-level dynamics in fast-flowing bloodstreams. Towards this end, we develop a multiscale computational model to recreate SIPA in silico, where the suspension dynamics and interactions of individual platelets and VWF multimers are resolved directly. The platelet-VWF interaction via GP1b-A1 bonds is prescribed with intrinsic binding rates theoretically derived and informed by single-molecule measurements. The model is validated against existing microfluidic SIPA experiments, showing good agreement with the in vitro observations in terms of the morphology, traveling distance, and capture time of the platelet aggregates. Particularly, the capture of aggregates can occur in a few milliseconds, comparable to the platelet transit time through pathologic arterial stenotic sections and much shorter than the time for shear-induced platelet activation.

We begin with proving a formula relating the Hilbert series of a graded algebra $A$ and the Poincaré series for $A$ in two variables. This gives the Fröberg formula in the case where the bigraded $Tor^A(k,k)$ is concentrated on the diagonal, which we take as definition of $A$ being "Koszul". We look at a resolution in the commutative case obtained from the Koszul complex in the "trivially Golod" case. The algebra structure of $Ext_A(k,k)$ is introduced in different ways. Its subalgebra generated by the one-dimensional elements is by definition the "Koszul" dual of $A$. We define the"generalized Koszul complex" and construct a minimal resolution in the case where the cube of the augmentation ideal of $A$ is zero. The above results are at least 45 years old and most of it can be found in my thesis. In the second part graded Lie algebras are defined. Free Lie algebras and enveloping algebras are introduced. The Koszul dual is looked upon as the enveloping algebra of a Lie algebra in the graded commutative case with examples. The Poincaré-Birkhoff-Witt theorem is stated giving a formula for the Hilbert series of the enveloping algebra. The homotopy Lie algebra is defined in different w

These notes describe our experience with running a student seminar on average-case complexity in statistical inference using the jigsaw learning format at ETH Zurich in Fall of 2024. The jigsaw learning technique is an active learning technique where students work in groups on independent parts of the task and then reassemble the groups to combine all the parts together. We implemented this technique for the proofs of various recent research developments, combined with a presentation by one of the students in the beginning of the session. We describe our experience and thoughts on such a format applied in a student research seminar: including, but not limited to, higher engagement, more accessible talks by the students, and increased student participation in discussions. In the Appendix, we include all the exercises sheets for the topic, which may be of independent interest for courses on statistical-to-computational gaps and average-case complexity.

A mathematical model of the metabolic process of formation of the hemostasis in a blood-carrying vessel is constructed. As distinct from the earlier developed model of the multienzyme prostacyclin-thromboxane system of blood, this model includes, for the first time, the influence of the level of "bad cholesterol", i.e., low-density lipoproteins (LDLs), on the hemostasis. The conditions, under which the self-organization of the system appears, and the modes of autooscillations and chaos in the metabolic process, which affects the formation of hemostasis and the development of thrombophilia, are found. With the aid of a phase-parametric diagram, the scenario of their appearance is studied. The bifurcations of doubling of a period and the transition to chaotic oscillations as a result of the intermittence are found. The obtained strange attractors are formed due to a mixing funnel. The full spectra of Lyapunov's indices, KS-entropies, "predictability horizons", and Lyapunov's dimensions of strange attractors are calculated. The reasons for a change in the cyclicity of the given metabolic process, its stability, and the physiological manifestation in the blood-carrying system are discu

The attrition of women in academic careers is a major concern, particularly in Science, Technology, Engineering, and Mathematics subjects. One factor that can contribute to the attrition is the lack of visible role models for women in academia. At early career stages, the behaviour of the local community may play a formative role in identifying ingroup role models, shaping women's impressions of whether or not they can be successful in academia. One common and formative setting to observe role models is the local departmental academic seminar, talk, or presentation. We thus quantified women's visibility through the question-asking behaviour of academics at seminars using observations and an online survey. From the survey responses of over 600 academics in 20 countries, we found that women reported asking fewer questions after seminars compared to men. This impression was supported by observational data from almost 250 seminars in 10 countries: women audience members asked absolutely and proportionally fewer questions than male audience members. When asked why they did not ask questions when they wanted to, women, more than men, endorsed internal factors (e.g., not working up the ne