Search

Results: 374
Constructing differential categories and deconstructing categories of games
Differential categories were introduced by Blute, Cockett and Seely to axiomatize categorically Ehrhard and Regnierʼs syntactic differential operator. We present an abstract construction that takes a symmetric monoidal category...
Venture capital investments through the lens of network and functional data analysis
AbstractIn this paper we characterize the performance of venture capital-backed firms based on their ability to attract investment. The aim of the study is to identify relevant predictors of...
Abstract Machines for Open Call-by-Value
The theory of the call-by-value λ-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are...
Abstract Machines for Open Call-by-Value
The theory of the call-by-value λ-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are...
The onset of penetrative convection in an inclined porous layer

In the present article, a model for penetrative convection in a fluid-saturated inclined porous medium is analyzed. Penetrative convection occurs when an unstably stratified fluid moves into a stably stratified region. In...

Safe human-robot interaction in medical robotics
This paper presents a safety analysis of a Robotic Fracture Surgery System using the Systems-Theoretic Process Analysis (STPA). It focuses particularly on hazards caused by the human in the loop. The robotic system and operating...
Quantum communication through devices with indefinite input-output direction
Abstract Certain quantum devices, such as half-wave plates and quarter-wave plates in quantum optics, are bidirectional, meaning that the roles of their input and output ports can...
The onset of penetrative convection in an inclined porous layer

In the present article, a model for penetrative convection in a fluid-saturated inclined porous medium is analyzed. Penetrative convection occurs when an unstably stratified fluid moves into a stably stratified region. In...

Haven-Sent? Tax Havens, Corporate Social Irresponsibility and the Dark Side of Family Firm Internationalization

Family firms have been associated with an enhanced propensity for corporate social responsibility (CSR), but does this imply that family firms have a reduced propensity for corporate social irresponsibility (CSI)? Drawing on...

Robot-Assisted Fracture Surgery
The design of medical devices is a complex and crucial process to ensure patient safety. It has been shown that improperly designed devices lead to errors and associated accidents and costs. A key element for a successful design...
The Estrogen Receptor α Signaling Pathway Controls Alternative Splicing in the Absence of Ligands in Breast Cancer Cells.
BACKGROUND: The transcriptional activity of estrogen receptor α (ERα) in breast cancer (BC) is extensively characterized. Our group has previously shown that ERα controls the expression of a number of genes in its unliganded...
Robot-Assisted Fracture Surgery
The design of medical devices is a complex and crucial process to ensure patient safety. It has been shown that improperly designed devices lead to errors and associated accidents and costs. A key element for a successful design...
Docker4Circ
Recent improvements in cost-effectiveness of high-throughput technologies has allowed RNA sequencing of total transcriptomes suitable for evaluating the expression and regulation of circRNAs, a relatively novel class of...
Safe human-robot interaction in medical robotics
This paper presents a safety analysis of a Robotic Fracture Surgery System using the Systems-Theoretic Process Analysis (STPA). It focuses particularly on hazards caused by the human in the loop. The robotic system and operating...
Haven-Sent? Tax Havens, Corporate Social Irresponsibility and the Dark Side of Family Firm Internationalization

Family firms have been associated with an enhanced propensity for corporate social responsibility (CSR), but does this imply that family firms have a reduced propensity for corporate social irresponsibility (CSI)? Drawing on...

The Estrogen Receptor α Signaling Pathway Controls Alternative Splicing in the Absence of Ligands in Breast Cancer Cells.
BACKGROUND: The transcriptional activity of estrogen receptor α (ERα) in breast cancer (BC) is extensively characterized. Our group has previously shown that ERα controls the expression of a number of genes in its unliganded...
Constructing differential categories and deconstructing categories of games
Differential categories were introduced by Blute, Cockett and Seely to axiomatize categorically Ehrhard and Regnierʼs syntactic differential operator. We present an abstract construction that takes a symmetric monoidal category...
Connectometry evaluation in patients undergoing carotid endarterectomy
This research investigated local brain connectivity changes following Carotid Endarterectomy (CEA) by connectometry. Seventeen subjects (15 males and 2 females, mean age 74.1 years), all eligible for CEA, were prospectively...
EEG functional connectivity metrics wPLI and wSMI account for distinct types of brain functional interactions.
The weighted Phase Lag Index (wPLI) and the weighted Symbolic Mutual Information (wSMI) represent two robust and widely used methods for MEG/EEG functional connectivity estimation. Interestingly, both methods have been shown to...
Thermal Behavior of Iron Arsenides Under Non-Oxidizing Conditions.
Fe2As has been studied in situ by synchrotron powder X-ray diffraction (PXRD) over the range of temperatures 25-850 °C and under a neutral atmosphere to understand its thermal behavior, which is potentially important for gold...

|<

<

1

2

3

4

5

>

>|