362,014 Works

Can Neural Networks Learn Symbolic Rewriting?

Bartosz Piotrowski, Josef Urban, Chad Brown & Cezary Kaliszyk
This work investigates if the current neural architectures are adequate for learning symbolic rewriting. Two kinds of data sets are proposed for this research – one based on automated proofs and the other being a synthetic set of polynomial terms. The experiments with use of the current neural machine translation models are performed and its results are discussed. Ideas for extending this line of research are proposed and its relevance is motivated.

System Description: Statistical Parsing of Informalized Mizar Formulas

Cezary Kaliszyk, Josef Urban & Jiri Vyskocil
We describe a statistical system that learns parsing of ambiguous Mizar-like formulas from a large training corpus of aligned informal/formal formulas. We describe the methodology, the overall ideas, evaluate the performance of the system, and provide a web interface for using the system.

System Description: Statistical Parsing of Informalized Mizar Formulas

Cezary Kaliszyk, Josef Urban & Jiri Vyskocil
We describe a statistical system that learns parsing of ambiguous Mizar-like formulas from a large training corpus of aligned informal/formal formulas. We describe the methodology, the overall ideas, evaluate the performance of the system, and provide a web interface for using the system.

The alignment of Casamari Abbey along the moonrise azimuth on Easter 1203

Amelia Carolina Sparavigna
Casamari Abbey is a Cistercian abbey in Italy, about 10 kilometres from Veroli. The building of the church that we see today started in 1203. Here we show that a link can exist between the direction of the moonrise on Easter 1203 and that of the nave of the church. To determine the moonrise azimuth we use software CalSKY. To simulate it on satellite images, we use The Photographer’s Ephemeris.

The alignment of Casamari Abbey along the moonrise azimuth on Easter 1203

Amelia Carolina Sparavigna
Casamari Abbey is a Cistercian abbey in Italy, about 10 kilometres from Veroli. The building of the church that we see today started in 1203. Here we show that a link can exist between the direction of the moonrise on Easter 1203 and that of the nave of the church. To determine the moonrise azimuth we use software CalSKY. To simulate it on satellite images, we use The Photographer’s Ephemeris.

Praxisstudie Disruption

Sven Schimpf
Wie identifizieren Unternehmen potenziell disruptive Technologien? Wie werden diese bewertet? Und wie werden potenziell disruptive Technologien in Unternehmen entwickelt und umgesetzt? Diesen Fragestellungen widmet sich die Praxisstudie Disruption mit dem Ziel, Einblicke in den tatsächlichen Umgang von Unternehmen mit potenziell disruptiven Technologien zu gewähren.

Praxisstudie Disruption

Sven Schimpf
Wie identifizieren Unternehmen potenziell disruptive Technologien? Wie werden diese bewertet? Und wie werden potenziell disruptive Technologien in Unternehmen entwickelt und umgesetzt? Diesen Fragestellungen widmet sich die Praxisstudie Disruption mit dem Ziel, Einblicke in den tatsächlichen Umgang von Unternehmen mit potenziell disruptiven Technologien zu gewähren.

Prescient, Inconsistent, and Ignorant: Commentary on The Dispensation of Dynamite

Paul Gill, Nadine L. Salman & Caitlin Clemmow
The Dispensation of Dynamite is equal parts prescient, inconsistent, ignorant, and devoid of true context. Prescient, because it has a similar tone, note and body of recent terrorist act depictions in the West. 135 years ago, transnational terrorist attacks (and plots to use chemicals), centrally coordinated from afar, caused death and destruction across Europe. Sounds familiar. Inconsistent, because it waivers in whether such violence is an existential threat to Western democracy or not, and whether...

Prescient, Inconsistent, and Ignorant: Commentary on The Dispensation of Dynamite

Paul Gill, Nadine L. Salman & Caitlin Clemmow
The Dispensation of Dynamite is equal parts prescient, inconsistent, ignorant, and devoid of true context. Prescient, because it has a similar tone, note and body of recent terrorist act depictions in the West. 135 years ago, transnational terrorist attacks (and plots to use chemicals), centrally coordinated from afar, caused death and destruction across Europe. Sounds familiar. Inconsistent, because it waivers in whether such violence is an existential threat to Western democracy or not, and whether...

Impact of Guidelines on Diffusion of Medical Technology

Rucha Vadia & Tom Stargardt
Presentation at EuHEA 2018 Maastricht, Netherlands

Impact of Guidelines on Diffusion of Medical Technology

Rucha Vadia & Tom Stargardt
Presentation at EuHEA 2018 Maastricht, Netherlands

(PDF) The Cinderella Solution Review: Carly Donovan

Carly Donovan
Carly Donovan’s The Cinderella Solution is a unique online weight loss program. It will help you to lose 5-7 pounds every week. It’s designed specifically for women, which are having difficulties losing weight. Cinderella Solution Divided in 6 Different Section. Main Manual Quick Start Guide Cinderella University Movement Sequencing Guide Daily Nutrition Blue Print Video Exercise Guide Cinderella Solution Bonus 21 Day Kickstart Nutrition Guide The Movement Sequencing Guide Cinderella Solution is created by Carly...

(PDF) The Cinderella Solution Review: Carly Donovan

Carly Donovan
Carly Donovan’s The Cinderella Solution is a unique online weight loss program. It will help you to lose 5-7 pounds every week. It’s designed specifically for women, which are having difficulties losing weight. Cinderella Solution Divided in 6 Different Section. Main Manual Quick Start Guide Cinderella University Movement Sequencing Guide Daily Nutrition Blue Print Video Exercise Guide Cinderella Solution Bonus 21 Day Kickstart Nutrition Guide The Movement Sequencing Guide Cinderella Solution is created by Carly...

Douglas Rosenthal

Douglas Rosenthal
Biotechnology According to Douglas Rosenthal, biotechnology is the use of living organisms or their products to create or modify products for utilitarian purposes. In its simplest version, biotechnology is the technology based on biology. The human being uses biotechnology thousands of years ago. With recent advances in various scientific areas in relation to the functioning of DNA, organisms can be manipulated to obtain certain products and processes. As the scientist Douglas Rosenthal stresses out, all...

Douglas Rosenthal

Douglas Rosenthal
Biotechnology According to Douglas Rosenthal, biotechnology is the use of living organisms or their products to create or modify products for utilitarian purposes. In its simplest version, biotechnology is the technology based on biology. The human being uses biotechnology thousands of years ago. With recent advances in various scientific areas in relation to the functioning of DNA, organisms can be manipulated to obtain certain products and processes. As the scientist Douglas Rosenthal stresses out, all...

Ransac Based Motion Compensated Restoration for Colonoscopy Images

Nidhal Azawi & John Gauch
Colonoscopy is a procedure that has been used widely to detect the abnormality in a colon. Colonoscopy images suffer from a lot of problems that make it hard for the doctor to investigate/ understand a colon patient. Unfortunately, with the current technology, three is no way for doctors to know if the whole colon surface has been investigated or not. We have developed a method that utilizes RANSAC-based image registration to align sequences of any...

Ransac Based Motion Compensated Restoration for Colonoscopy Images

Nidhal Azawi & John Gauch
Colonoscopy is a procedure that has been used widely to detect the abnormality in a colon. Colonoscopy images suffer from a lot of problems that make it hard for the doctor to investigate/ understand a colon patient. Unfortunately, with the current technology, three is no way for doctors to know if the whole colon surface has been investigated or not. We have developed a method that utilizes RANSAC-based image registration to align sequences of any...

Biofield Energy Therapy: Role in Multiple Organ Health Specific Biomarkers in Cell-Based Assay

Sakina Aleemah Ansari, Mahendra Kumar Trivedi, Alice Branton, Dahryn Trivedi, Gopal Nayak, Mayank Gangwar & Snehasis Jana
The major cause of high rate of mortality is the multiple organ dysfunction among critical care healthcare services. The aim of the current study was to evaluate the impact of the Biofield Energy Treated test formulation using standard and specific cell lines related with vital organs functioning. The test formulation and the specific cell media was divided into two parts; one part was untreated (UT) and other part received the Biofield Energy Treatment remotely by...

Biofield Energy Therapy: Role in Multiple Organ Health Specific Biomarkers in Cell-Based Assay

Sakina Aleemah Ansari, Mahendra Kumar Trivedi, Alice Branton, Dahryn Trivedi, Gopal Nayak, Mayank Gangwar & Snehasis Jana
The major cause of high rate of mortality is the multiple organ dysfunction among critical care healthcare services. The aim of the current study was to evaluate the impact of the Biofield Energy Treated test formulation using standard and specific cell lines related with vital organs functioning. The test formulation and the specific cell media was divided into two parts; one part was untreated (UT) and other part received the Biofield Energy Treatment remotely by...

Comprehensive Vital Organ Biomarkers Analysis of the Consciousness Energy Healing Based Novel Test Formulation Using Various Cell-lines

Alan Joseph Balmer, Mahendra Kumar Trivedi, Alice Branton, Dahryn Trivedi, Gopal Nayak, Sambhu Charan Mondal & Snehasis Jana
The aim was to study the effect of the Consciousness Energy Treated test formulation on vital organ functions viz. bones, heart, liver, lungs, and brain in various cell-based assays. The test formulation and the cell media were divided into two parts; one untreated (UT) and other part received the Biofield Energy Treatment remotely by a renowned Biofield Energy Healer, Alan Joseph Balmer, USA and was labeled as the Biofield Energy Treated (BT) test formulation/media. Cell...

Comprehensive Vital Organ Biomarkers Analysis of the Consciousness Energy Healing Based Novel Test Formulation Using Various Cell-lines

Alan Joseph Balmer, Mahendra Kumar Trivedi, Alice Branton, Dahryn Trivedi, Gopal Nayak, Sambhu Charan Mondal & Snehasis Jana
The aim was to study the effect of the Consciousness Energy Treated test formulation on vital organ functions viz. bones, heart, liver, lungs, and brain in various cell-based assays. The test formulation and the cell media were divided into two parts; one untreated (UT) and other part received the Biofield Energy Treatment remotely by a renowned Biofield Energy Healer, Alan Joseph Balmer, USA and was labeled as the Biofield Energy Treated (BT) test formulation/media. Cell...

Protective Role of the Biofield Energy Treated Test Formulation on Vital Organs Function using Cell-Based Assays

Thomas Charles Slade, Mahendra Kumar Trivedi, Alice Branton, Dahryn Trivedi, Gopal Nayak, Sambhu Charan Mondal & Snehasis Jana
Dysfunction of vital organs is the main concern for human health. Therefore, it is necessary to homeostat the normal function of vital organs such as lungs, liver, brain and heart for better health. The aim of this study was to evaluate the effect of the Consciousness Energy Healing Treated test formulation on the function of vital organs in various cell-based assays. The test formulation and the cell media was divided into two parts; one untreated...

Protective Role of the Biofield Energy Treated Test Formulation on Vital Organs Function using Cell-Based Assays

Thomas Charles Slade, Mahendra Kumar Trivedi, Alice Branton, Dahryn Trivedi, Gopal Nayak, Sambhu Charan Mondal & Snehasis Jana
Dysfunction of vital organs is the main concern for human health. Therefore, it is necessary to homeostat the normal function of vital organs such as lungs, liver, brain and heart for better health. The aim of this study was to evaluate the effect of the Consciousness Energy Healing Treated test formulation on the function of vital organs in various cell-based assays. The test formulation and the cell media was divided into two parts; one untreated...

Analysis of Transient Responses of a Generic Type 3 WT Model

Raquel Villena-Ruiz, Alberto Lorenzo-Bonache, Andrés Honrubia-Escribano, Estefanía Artigao-Andicoberry & Emilio Gómez-Lázaro
Analysis of Transient Responses of a Generic Type 3 WT Model

Analysis of Transient Responses of a Generic Type 3 WT Model

Raquel Villena-Ruiz, Alberto Lorenzo-Bonache, Andrés Honrubia-Escribano, Estefanía Artigao-Andicoberry & Emilio Gómez-Lázaro
Analysis of Transient Responses of a Generic Type 3 WT Model

Registration Year

  • 2013
    261
  • 2014
    3,206
  • 2015
    17,453
  • 2016
    20,281
  • 2017
    61,457
  • 2018
    153,772
  • 2019
    105,566

Resource Types

  • Text
    362,014

Data Centers

  • Zenodo
    362,014