Search
Results: 113
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
Abstract In 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...
Christian Esposito, Marco Gortan, Lorenzo Testa, Francesca Chiaromonte, Giorgio Fagiolo, Andrea Mina, Giulio Rossetti
Jun 29, 2022
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...
Chebyshev-tau method Inclined layer Instability analysis Nonlinear stability Penetrative convection porous media /dk/atira/pure/subjectarea/asjc/3100/3104 name=Condensed Matter Physics /dk/atira/pure/subjectarea/asjc/2200/2210 name=Mechanical Engineering /dk/atira/pure/subjectarea/asjc/1500/1507 name=Fluid Flow and Transfer Processes
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...
Chebyshev-tau method Inclined layer Instability analysis Nonlinear stability Penetrative convection porous media /dk/atira/pure/subjectarea/asjc/3100/3104 name=Condensed Matter Physics /dk/atira/pure/subjectarea/asjc/2200/2210 name=Mechanical Engineering /dk/atira/pure/subjectarea/asjc/1500/1507 name=Fluid Flow and Transfer Processes
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...
/dk/atira/pure/subjectarea/asjc/1400/1400 name=General Business,Management and Accounting /dk/atira/pure/subjectarea/asjc/1400/1408 name=Strategy and Management /dk/atira/pure/subjectarea/asjc/1400/1405 name=Management of Technology and Innovation /dk/atira/pure/sustainabledevelopmentgoals/responsible_consumption_and_production name=SDG 12 - Responsible Consumption and Production
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
Giulio Ferrero, Nicola Licheri, Lucia Coscujuela Tarrero, Carlo De Intinis, Valentina Miano, Raffaele Adolfo Calogero, Francesca Cordero, Michele De Bortoli, Marco Beccuti
Mar 23, 2020
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...
/dk/atira/pure/subjectarea/asjc/1400/1400 name=General Business,Management and Accounting /dk/atira/pure/subjectarea/asjc/1400/1408 name=Strategy and Management /dk/atira/pure/subjectarea/asjc/1400/1405 name=Management of Technology and Innovation /dk/atira/pure/sustainabledevelopmentgoals/responsible_consumption_and_production name=SDG 12 - Responsible Consumption and Production
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
Michele Porcu, Davide Craboledda, Paolo Garofalo, Giulio Columbano, Luigi Barberini, Roberto Sanfilippo, Fulvio Zaccagna, Max Wintermark, Roberto Montisci, Luca Saba
Oct 02, 2019
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...
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...
EEG functional connectivity metrics wPLI and wSMI account for distinct types of brain functional interactions.
Laura Sophie Imperatori, Monica Betta, Luca Cecchetti, Andrés Canales-Johnson, Emiliano Ricciardi, Francesca Siclari, Pietro Pietrini, Srivas Chennu, Giulio Bernardi
Sep 04, 2019
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...
EEG functional connectivity metrics wPLI and wSMI account for distinct types of brain functional interactions
Laura Sophie Imperatori, Monica Betta, Luca Cecchetti, Andrés Canales-Johnson, Emiliano Ricciardi, Francesca Siclari, Pietro Pietrini, Srivas Chennu, Giulio Bernardi
Jun 19, 2020
Abstract: 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...
|
|< |
< |
1 |