2,468 research outputs found
The theory of the exponential differential equations of semiabelian varieties
The complete first order theories of the exponential differential equations
of semiabelian varieties are given. It is shown that these theories also arises
from an amalgamation-with-predimension construction in the style of Hrushovski.
The theory includes necessary and sufficient conditions for a system of
equations to have a solution. The necessary condition generalizes Ax's
differential fields version of Schanuel's conjecture to semiabelian varieties.
There is a purely algebraic corollary, the "Weak CIT" for semiabelian
varieties, which concerns the intersections of algebraic subgroups with
algebraic varieties.Comment: 53 pages; v3: Substantial changes, including a completely new
introductio
Igniting the Conversation: Embracing Legal Literacy as the Heart of the Profession
Law librarians are experts in instruction, databases, scholarship, and more. This broad expertise has exacerbated an identity crisis in the profession. The author argues that law librarians must develop a core identity, such as legal literacy, to navigate an ever-changing legal landscape that questions the future necessity of law librarians
Ethics-related practices in Internet-based applied linguistics research
Drawing on an analytic framework developed from ethical research guidelines and the relevant literature, this study analyzes and discusses the ways ethical issues were addressed by authors of 72 relevant journal articles on online self-representation in the field of applied linguistics. The results illustrate how researchers undertook efforts to fulfill ethical responsibilities in Internet-based research. They show how researchersâ self-narrated concerns and contextual conditions have mediated ethics-related research practices as reported in these studies. The results indicate the need for researchers to enhance critical awareness and assessment of potential ethical issues when conducting Internet-based research. Such critical awareness is essential for researchers to initiate and sustain an ongoing dialogue concerning ethics-related research practices in Internet-based applied linguistics research
Systemic therapies for intrahepatic cholangiocarcinoma
Intrahepatic cholangiocarcinoma (iCCA) is a highly lethal hepatobiliary neoplasm whose incidence is increasing. Largely neglected for decades as a rare malignancy and frequently misdiagnosed as carcinoma of unknown primary, considerable clinical and investigative attention has recently been focused on iCCA worldwide. The established standard of care includes first-line (gemcitabine and cisplatin), second-line (FOLFOX) and adjuvant (capecitabine) systemic chemotherapy. Compared to hepatocellular carcinoma, iCCA is genetically distinct with several targetable genetic aberrations identified to date. Indeed, FGFR2 and NTRK fusions, and IDH1 and BRAF targetable mutations have been comprehensively characterised and clinical data is emerging on targeting these oncogenic drivers pharmacologically. Also, the role of immunotherapy has been examined and is an area of intense investigation. Herein, in a timely and topical manner, we will review these advances and highlight future directions of research
Diet assessment of the Atlantic Sea Nettle Chrysaora quinquecirrha in Barnegat Bay, New Jersey, using next-generation sequencing
Next-generation sequencing (NGS) methodologies have proven useful in deciphering the food items of generalist predators, but have yet to be applied to gelatinous animal gut and tentacle content. NGS can potentially supplement traditional methods of visual identification. Chrysaora quinquecirrha (Atlantic sea nettle) has progressively become more abundant in Mid-Atlantic United Statesâ estuaries including Barnegat Bay (New Jersey), potentially having detrimental effects on both marine organisms and human enterprises. Full characterization of this predatorâs diet is essential for a comprehensive understanding of its impact on the food web and its management. Here, we tested the efficacy of NGS for prey item determination in the Atlantic sea nettle. We implemented a NGS âshotgunâ approach to randomly sequence DNA fragments isolated from gut lavages and gastric pouch/tentacle picks of eight and 84 sea nettles, respectively. These results were verified by visual identification and co-occurring plankton tows. Over 550 000 contigs were assembled from ~110 million paired-end reads. Of these, 100 contigs were confidently assigned to 23 different taxa, including soft-bodied organisms previously undocumented as prey species, including copepods, fish, ctenophores, anemones, amphipods, barnacles, shrimp, polychaete worms, flukes, flatworms, echinoderms, gastropods, bivalves and hemichordates. Our results not only indicate that a âshotgunâ NGS approach can supplement visual identification methods, but targeted enrichment of a specific amplicon/gene is not a prerequisite for identifying Atlantic sea nettle prey items
On the weights of binary irreducible cyclic codes
International audienceThis paper is devoted to the study of the weights of binary irreducible cyclic codes. We start from McEliece's interpretation of these weights by means of Gauss sums. Firstly, a dyadic analysis, using the Stickelberger congruences and the Gross-Koblitz formula, enables us to improve McEliece's divisibility theorem by giving results on the multiplicity of the weights. Secondly, in connection with a Schmidt and White's conjecture, we focus on binary irreducible cyclic codes of index two. We show, assuming the generalized Riemann hypothesis, that there are an infinite of such codes. Furthermore, we consider a subclass of this family of codes satisfying the quadratic residue conditions. The parameters of these codes are related to the class number of some imaginary quadratic number fields. We prove the non existence of such codes which provide us a very elementary proof, without assuming G.R.H, that any two-weight binary irreducible cyclic code c(m,v) of index two with v prime greater that three is semiprimitive
Vienna Circle and Logical Analysis of Relativity Theory
In this paper we present some of our school's results in the area of building
up relativity theory (RT) as a hierarchy of theories in the sense of logic. We
use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and
we build on experience gained in FOM.
The main aims of our school are the following: We want to base the theory on
simple, unambiguous axioms with clear meanings. It should be absolutely
understandable for any reader what the axioms say and the reader can decide
about each axiom whether he likes it. The theory should be built up from these
axioms in a straightforward, logical manner. We want to provide an analysis of
the logical structure of the theory. We investigate which axioms are needed for
which predictions of RT. We want to make RT more transparent logically, easier
to understand, easier to change, modular, and easier to teach. We want to
obtain deeper understanding of RT.
Our work can be considered as a case-study showing that the Vienna Circle's
(VC) approach to doing science is workable and fruitful when performed with
using the insights and tools of mathematical logic acquired since its formation
years at the very time of the VC activity. We think that logical positivism was
based on the insight and anticipation of what mathematical logic is capable
when elaborated to some depth. Logical positivism, in great part represented by
VC, influenced and took part in the birth of modern mathematical logic. The
members of VC were brave forerunners and pioneers.Comment: 25 pages, 1 firgure
Comparing theories: the dynamics of changing vocabulary. A case-study in relativity theory
There are several first-order logic (FOL) axiomatizations of special
relativity theory in the literature, all looking essentially different but
claiming to axiomatize the same physical theory. In this paper, we elaborate a
comparison, in the framework of mathematical logic, between these FOL theories
for special relativity. For this comparison, we use a version of mathematical
definability theory in which new entities can also be defined besides new
relations over already available entities. In particular, we build an
interpretation of the reference-frame oriented theory SpecRel into the
observationally oriented Signalling theory of James Ax. This interpretation
provides SpecRel with an operational/experimental semantics. Then we make
precise, "quantitative" comparisons between these two theories via using the
notion of definitional equivalence. This is an application of logic to the
philosophy of science and physics in the spirit of Johan van Benthem's work.Comment: 27 pages, 8 figures. To appear in Springer Book series Trends in
Logi
- âŠ