搜索结果：Family Practice

Practice-based perspectives in information systems have established how, in every instance of use i.e., work practices, the user exercises considerable discretion in their appropriation of the technology with local workarounds and situated improvisations. We analyse the relationship between technologically mediated work practices separated in time and space. Specifically, we analyse how similarity in work practices is achieved. Achieving absolutely similar or best practices is unattainable. Drawing on a longitudinal 2007 to 2011 case of ambulatory maintenance work in the oil and gas sector, we identify and discuss three constituting strategies called differentiation, assembling and punctuation through which a family resemblance of similar but not the same work practices is crafted. We discuss how, in the absence of an essentialist criterion, similarity is subject to pragmatic but also political negotiations.

The COVID-19 pandemic has permanently altered workplace structures, making remote work a widespread practice. While many employees advocate for flexibility, many employers reconsider their attitude toward remote work and opt for structured return-to-office mandates. Media headlines repeatedly emphasize that the corporate world is returning to full-time office work. This study examines how companies employing software engineers and supporting roles regulate work location, whether corporate policies have evolved in the last five years, and, if so, how, and why. We collected data on remote work regulation from corporate HR and/or management representatives from 68 corporate entities that vary in size, location, and orientation towards remote or office work. Our findings reveal that although many companies prioritize office-centred working (50%), most companies in our sample permit hybrid working to varying degrees (85%). Remote work regulation does not reveal any particular new "best practice" as policies differ greatly, but the single most popular arrangement was the three in-office days per week. More than half of the companies (51%) encourage or mandate office days, and more than q

Motivated by the commitments from the Talmud in Judaism, we consider the family planning rules which require a couple to get children till certain numbers of boys and girls are reached. For example, the rabbinical school of Beit Hillel says that one boy and one girl are necessary, whereas Beit Shammai urges for two boys. Surprisingly enough, although the corresponding average family sizes differ in both cases, the gender ratios remain constant. We show more that for any family planning rule the gender ratio is equal to the birth odds. The proof of this result is given by using different mathematical techniques, such as induction principle, Doob's optional-stopping theorem, and brute-force. We conclude that, despite possible asymmetries in the religiously motivated family planning rules, they discriminate neither boys nor girls.

It is becoming increasingly important that physics educators equip their students with the skills to work with data effectively. However, many educators may lack the necessary training and expertise in data science to teach these skills. To address this gap, we created the Data Science Education Community of Practice (DSECOP), bringing together graduate students and physics educators from different institutions and backgrounds to share best practices and lessons learned from integrating data science into undergraduate physics education. In this article we present insights and experiences from this community of practice, highlighting key strategies and challenges in incorporating data science into the introductory physics curriculum. Our goal is to provide guidance and inspiration to educators who seek to integrate data science into their teaching, helping to prepare the next generation of physicists for a data-driven world.

In this paper, we introduce the notion of a nested family of torsion pairs. We show that every stratifying system induces a nested family of torsion pairs and, conversely, that such a family together with a suitable object gives rise to a stratifying system; in particular, every stratifying system arises in this way. As an application, we present a stratifying system of infinite size that cannot be indexed by $(\mathbb{N}, \leq)$, where $\leq$ is the natural order.

Gillikin (2017) defines a 'practice standard' as a document to 'define the way the profession's body of knowledge is ethically translated into day-to-day activities' (Gillikin 2017, p. 1). Such documents fulfill three objectives: they 1) define the profession; 2) communicate uniform standards to stakeholders; and 3) reduce conflicts between personal and professional conduct (Gillikin, 2017 p. 2). However, there are many guidelines - this is due to different purposes that guidance writers may have, as well as to the fact that there are different audiences for the many guidance documents. The existence of diverse statements do not necessarily make it clear that there are commonalities; and while some statements are explicitly aspirational, professionals as well as the public need to know that ethically-trained practitioners follow accepted practice standards. This paper applies the methodological approach described in Tractenberg (2023) and demonstrated in Park and Tractenberg (2023) to study alignment among international guidance for official statistics, and between these guidance documents and the ASA Ethical Guidelines for Statistical Practice functioning as an ethical practice st

Code review is a widespread practice to improve software quality and transfer knowledge. It is often seen as time-consuming due to the need for manual effort and potential delays. Several AI-assisted tools, such as Qodo, GitHub Copilot, and Coderabbit, provide automated reviews using large language models (LLMs). The effects of such tools in the industry are yet to be examined. This study examines the impact of LLM-based automated code review tools in an industrial setting. The study was conducted within a software development environment that adopted an AI-assisted review tool (based on open-source Qodo PR Agent). Around 238 practitioners across ten projects had access to the tool. We focused on three projects with 4,335 pull requests, 1,568 of which underwent automated reviews. Data collection comprised three sources: (1) a quantitative analysis of pull request data, including comment labels indicating whether developers acted on the automated comments, (2) surveys sent to developers regarding their experience with reviews on individual pull requests, and (3) a broader survey of 22 practitioners capturing their general opinions on automated reviews. 73.8% of automated comments we

In the paper we formulate and derive the family blowup formula of family Seiberg-Witten invariants. The formula has been used in the enumerative application of counting singular curves on algebraic surfaces. We first give a topological derivation of the formula by using family index theorem. Then we define the algebraic (family) Seiberg-Witten invariants for algebraic surfaces and then give an algebraic derivation of the family blowup formula for the algebraic family Seiberg-Witten invariants.

We consider the classical problem of learning, with arbitrary accuracy, the natural parameters of a $k$-parameter truncated \textit{minimal} exponential family from i.i.d. samples in a computationally and statistically efficient manner. We focus on the setting where the support as well as the natural parameters are appropriately bounded. While the traditional maximum likelihood estimator for this class of exponential family is consistent, asymptotically normal, and asymptotically efficient, evaluating it is computationally hard. In this work, we propose a novel loss function and a computationally efficient estimator that is consistent as well as asymptotically normal under mild conditions. We show that, at the population level, our method can be viewed as the maximum likelihood estimation of a re-parameterized distribution belonging to the same class of exponential family. Further, we show that our estimator can be interpreted as a solution to minimizing a particular Bregman score as well as an instance of minimizing the \textit{surrogate} likelihood. We also provide finite sample guarantees to achieve an error (in $\ell_2$-norm) of $α$ in the parameter estimation with sample compl

Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of mathematical reasoning closely resemble patterns of reasoning in nonmathematical domains. Hence the tools developed to understand informal reasoning, collectively known as argumentation theory, are also applicable to much mathematical argumentation. This chapter investigates some of the details of that application. Consideration is given to the many contrasting meanings of the word ``argument''; to some of the specific argumentation-theoretic tools that have been applied to mathematics, notably Toulmin layouts and argumentation schemes; to some of the different ways that argumentation is implicated in mathematical practices; and to the social aspects of mathematical argumentation.

This paper deals with the importance of developing codes of conduct for practitioners--be it journalists, doctors, attorneys, or other professions--that are encountering ethical issues when using computation, but do not have access to any framework of reference as to how to address those. At the same time, legal and technological developments are calling for establishing such guidelines, as shown in the European Union's and the United States' efforts in regulating a wide array of artificial intelligence systems, and in the resurgence of rule-based models through 'neurosymbolic' AI, a hybrid format that combines them with neural methods. Against this backdrop, we argue for taking a design-inspired approach when encoding professional ethics into a computational form, so as to co-create codes of conduct for computational practice across a wide range of fields.

In this paper, we first construct the free Rota-Baxter family algebra generated by some set $X$ in terms of typed angularly $X$-decorated planar rooted trees. As an application, we obtain a new construction of the free Rota-Baxter algebra only in terms of angularly decorated planar rooted trees (not forests), which is quite different from the known construction via angularly decorated planar rooted forests by K. Ebrahimi-Fard and L. Guo. We then embed the free dendriform (resp. tridendriform) family algebra into the free Rota-Baxter family algebra of weight zero (resp. one). Finally, we prove that the free Rota-Baxter family algebra is the universal enveloping algebra of the free (tri)dendriform family algebra.

The Gaia Data Release 3 (DR3) contains reflectance spectra at visible wavelengths for 60,518 asteroids over the range between 374-1034 nm, representing a large sample that is well suited to studies of asteroid families. We want to assess the potential of Gaia spectra in identifying asteroid family members. Here, we focus on two L-type families, namely Tirela/Klumpkea and Watsonia. These families are known for their connection to Barbarian asteroids, which are potentially abundant in calcium-aluminum rich inclusions (CAIs). Our method is based (1) on a color taxonomy specifically built on Gaia data and (2) the similarity of spectra of candidate members with the template spectrum of a specific family. We identified objects in the halo of Tirela/Klumpkea, along with possible interlopers. We also found an independent group of eight asteroids erroneously linked to the family by the hierarchical clustering method (HCM). Consequently, the knowledge of the size distribution of the family has been significantly improved, with a more consistent shape at the larger end. The Watsonia family is a more intricate case, mainly due to its smaller size and the less marked difference between the spec

The chapter advances a reformulation of the classical problem of the nature of mathematical objects (if any), here called "Plato's problem," in line with the program of a philosophy of mathematical practice. It then provides a sketch of a platonist solution, following the same perspective. This solution disregards as nonsensical the question of the existence of abstract, and specifically mathematical, objects, by rather focusing on the modalities of our access to them: objects (in general, both concrete and abstract) are regarded as individual contents that we have (or can have) a de re epistemic access to. The question of the existence of mathematical objects is then replaced by that of the modalities of our de re epistemic access to individual mathematical contents.

Family mementos document events shaping family life, telling a story within and between family members. The elderly collected some mementos for children, but never recorded stories related to those objects. In this paper, in order to understand the status quo of memento storytelling and sharing of elderly people, contextual inquiry was conducted, which further helped us to identify design opportunities and requirements. Resulting design was defined after brainstorm and user consultation, which was Slots- Memento, a system consisting a slot machine-like device used by the elderly and a flash drive used by the young. The Slots machine-like device utilizes with the metaphor of slots machine, which integrates functions of memento photo displaying, story recording, and preservation. In the flash disk, the young could copy memento photos to it. The system aims to facilitate memento story sharing and preservation within family members. Preliminary evaluation and user test were conducted in evaluation section, the results showed that Slots-Memento was understood and accepted by the elderly users. Photos of mementos were easy to recall memories. It enabled the elderly people to be aware of

We construct a stable homotopy type invariant for any Legendrian submanifold in a jet bundle equipped with a linear-at-infinity generating family. We show that this spectrum lifts the generating family homology groups. When the generating family extends to a generating family for an embedded Lagrangian filling, we lift the Seidel isomorphism to the spectrum level. As applications, we establish topological constraints on Lagrangian fillings arising from generating families, algebraic constraints on whether generating families admit fillings, and lower bounds on how many fiber dimensions are needed to construct a generating family for a Legendrian.

Various quadruped robots have been developed to date, and thanks to reinforcement learning, they are now capable of traversing diverse types of rough terrain. In parallel, there is a growing trend of releasing these robot designs as open-source, enabling researchers to freely build and modify robots themselves. However, most existing open-source quadruped robots have been designed with 3D printing in mind, resulting in structurally fragile systems that do not scale well in size, leading to the construction of relatively small robots. Although a few open-source quadruped robots constructed with metal components exist, they still tend to be small in size and lack multimodal sensors for perception, making them less practical. In this study, we developed MEVIUS2, an open-source quadruped robot with a size comparable to Boston Dynamics' Spot, whose structural components can all be ordered through e-commerce services. By leveraging sheet metal welding and metal machining, we achieved a large, highly durable body structure while reducing the number of individual parts. Furthermore, by integrating sensors such as LiDARs and a high dynamic range camera, the robot is capable of detailed perc

The received Hilbert-style axiomatic foundations of mathematics has been designed by Hilbert and his followers as a tool for meta-theoretical research. Foundations of mathematics of this type fail to satisfactory perform more basic and more practically-oriented functions of theoretical foundations such as verification of mathematical constructions and proofs. Using alternative foundations of mathematics such as the Univalent Foundations is compatible with using the received set-theoretic foundations for meta-mathematical purposes provided the two foundations are mutually interpretable. Changes in foundations of mathematics do not, generally, disqualify mathematical theories based on older foundations but allow for reconstruction of these theories on new foundations. Mathematics is one but its foundations are many.

The dynamical evolution of Classical Kuiper Belt Objects (CKBOs) divides into two parts, according to the secular theory of test particle orbits. The first part is a forced oscillation driven by the planets, while the second part is a free oscillation whose amplitude is determined by the initial orbit of the test particle. We extract the free orbital inclinations and free orbital eccentricities from the osculating elements of 125 known CKBOs. The free inclinations of 32 CKBOs strongly cluster about 2 degrees at orbital semi-major axes between 44 and 45 AU. We propose that these objects comprise a collisional family, the first so identified in the Kuiper Belt. Members of this family are plausibly the fragments of an ancient parent body having a minimum diameter of \~800 km. This body was disrupted upon colliding with a comparably sized object, and generated ejecta having similar free inclinations. Our candidate family is dynamically akin to a sub-family of Koronis asteroids located at semi-major axes less than 2.91 AU; both families exhibit a wider range in free eccentricity than in free inclination, implying that the relative velocity between parent and projectile prior to impact l