Search
Results: 15978
Direitos Sociais na Constituição Uma Análise da Constitucionalização dos Direitos Sociais em Portugal, 1975-76
Embora todas as constituições incluam direitos, e muitas delas incluam direitos sociais, a verdade é que algumas são mais generosas do que outras a este respeito. Mas nenhuma se aproxima da Constituição da República Portuguesa...
Certified Quantum Computation in Isabelle/HOL
Abstract: In this article we present an ongoing effort to formalise quantum algorithms and results in quantum information theory using the proof assistant Isabelle/HOL. Formal methods being critical for the safety and security...
From LCF to Isabelle/HOL
Interactive theorem provers have developed dramatically over the past four
decades, from primitive beginnings to today's powerful systems. Here, we focus
on Isabelle/HOL and its distinctive strengths. They include automatic...
An Isabelle/HOL formalisation of Green’s theorem
We formalise a statement of Green’s theorem in Isabelle/ HOL, which is its first formalisation to our knowledge. The theorem statement that we formalise is enough for most applications, especially in physics and engineering. An...
Attitudes of Costa Rican individuals towards donation of personal genetic data for research.
Gabriela Chavarria-Soley, Fernanda Francis-Cartin, Fabiola Jimenez-Gonzalez, Alejandro Ávila-Aguirre, Maria Jose Castro-Gomez, Lauren Robarts, Anna Middleton, Henriette Raventós
Mar 18, 2021
Aim: We explore attitudes from the public in Costa Rica regarding willingness to donate DNA data for research. Materials & methods: A total of 224 Costa Rican individuals answered the anonymous online survey 'Your DNA, Your...
Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL
Abstract We have formalised Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions, two major results in extremal graph theory and additive combinatorics, using the proof...
Attitudes of Costa Rican individuals towards donation of personal genetic data for research
Gabriela Chavarria-Soley, Fernanda Francis-Cartin, Fabiola Jimenez-Gonzalez, Alejandro Ávila-Aguirre, Maria Jose Castro-Gomez, Lauren Robarts, Anna Middleton, Henriette Raventós
Feb 12, 2021
Aim: We explore attitudes from the public in Costa Rica regarding willingness to donate DNA data for research. Materials & methods: A total of 224 Costa Rican individuals answered the anonymous online survey ‘Your DNA, Your...
Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started
Abstract This is an account of a mathematician’s first experiences with the proof assistant (interactive theorem prover) Isabelle/HOL, including a discussion on the rationale behind formalising...
A Koutsoukou-Argyraki
Oct 06, 2021
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL.
In complex analysis, the winding number measures the number of times a path (counter-clockwise) winds around a point, while the Cauchy index can approximate how the path winds. We formalise this approximation in the Isabelle...
Computer Algebra Winding Number Interactive theorem proving Root Counting Cauchy Index The Routh–hurwitz Stability Criterion
Published by: Journal of automated reasoning
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL
Abstract: In complex analysis, the winding number measures the number of times a path (counter-clockwise) winds around a point, while the Cauchy index can approximate how the path winds. We formalise this approximation in the...
Attitudes of Costa Rican individuals towards donation of personal genetic data for research
Gabriela Chavarria-Soley, Fernanda Francis-Cartin, Fabiola Jimenez-Gonzalez, Alejandro Ávila-Aguirre, Maria Jose Castro-Gomez, Lauren Robarts, Anna Middleton, Henriette Raventós
Feb 26, 2021
Aim: We explore attitudes from the public in Costa Rica regarding willingness to donate DNA data for research. Materials & methods: A total of 224 Costa Rican individuals answered the anonymous online survey ‘Your DNA, Your...
Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started
Angeliki Koutsoukou-Argyraki
Jan 21, 2021
Abstract: This is an account of a mathematician’s first experiences with the proof assistant (interactive theorem prover) Isabelle/HOL, including a discussion on the rationale behind formalising mathematics and the choice of...
A Hybrid Binary Bird Swarm Optimization (BSO) and Dragonfly Algorithm (DA) for VM Allocation and Load Balancing in Cloud
The cloud platform is becoming one of the fastest-rising environments in human activities, connecting the whole world in the upcoming decades. The three crucial aspects of cloud computing that enhance the quality of service are...
Published by: IGI Global Scientific Publishing
Los Matices Varios del Feminismo en las Comunidades Indígenas de América Latina: Yorkín, Costa Rica y Santa Anita, Guatemala
Roseangela G Hartford
Jan 01, 0001
This project investigates gender constructs and the complex assigned gender roles in settings of female indigenous leadership in Latin America. It examines two distinct indigenous communities, including the BriBri society in...
indigenous peoples Guatemala feminism masculine domination Femininity Costa Rica leadership Arts and Humanities Feminist, Gender, and Sexuality Studies Latin American Studies Leadership Studies Spanish and Portuguese Language and Literature
Published by: Ursinus College
Monitoring ash dieback (Hymenoscyphus fraxineus) in British forests using hyperspectral remote sensing
Abstract: Large‐scale dieback of ash trees (Fraxinus spp.) caused by the fungus Hymenoscyphus fraxineus is posing an immense threat to forest health in Europe, requiring effective monitoring at large scales. In this study, a...
Microarray screening reveals two non-conventional SUMO-binding modules linked to DNA repair by non-homologous end-joining.
Giovanni Canestrini’s models of Leonardo da Vinci’s friction experiments
IM Hutchings
Feb 16, 2017
Among the exhibits at the 2016 Leonardo da Vinci exhibition at the Science Museum, London, was one that purported to illustrate Leonardo’s experiments on friction. The models involved were the work of Giovanni Canestrini...
On the appearance of nitrite anion in [PdX(OAc)L<sub>2</sub>] and [Pd(X)(C∧N)L] syntheses (X = OAc or NO<sub>2</sub>)
S E Bajwa, T E Storr, Lauren E Hatcher, T J Williams, C G Baumann, A C Whitwood, D R Allan, S J Teat, Paul R Raithby, I J S Fairlamb
May 01, 2012
Pd 3(OAc) 5NO 2, an impurity in "Pd(OAc) 2" {formally Pd 3(OAc) 6}, emerges as a serious issue in the synthesis of pure Pd II complexes derived from Pd(OAc) 2, for example in our C-H activation precatalyst, Pd(OAc) 2(pip) 2 (pip...
Program for the Stage Production of Two One-Act Plays: She Was Only a Farmer's Daughter & Aria Da Capo
Curtain Club
Jan 01, 0001
This two-page program details the Curtain Club of Ursinus College's production of two one-act plays, "She Was Only a Farmer's Daughter" and "Aria Da Capo", held March 19, 1966. It includes information about the casting and...
She Was Only a Farmer's Daughter Aria Da Capo Millard Crosby Edna St. Vincent Millay Curtain Club Ursinus College theater program Theatre and Performance Studies Theatre History
Published by: Ursinus College
Selling Forbidden Books
A da Costa
Jun 07, 2018
Reformation scholars have tended to take for granted English demand for evangelical books without considering how writers and printers persuaded readers steeped in traditional religion to engage with verboten and challenging...
Bridging pre-surgical endocrine therapy for breast cancer during the COVID-19 pandemic
Rajiv V Dave, Beatrix Elsberger, Vicky P Taxiarchi, Ashu Gandhi, Cliona C Kirwan, Baek Kim, Elizabeth M Camacho, Charlotte E Coles, Ellen Copson, Alona Courtney, Kieran Horgan, Patricia Fairbrother, Chris Holcombe, Jamie J Kirkham, Daniel R Leff, Stuart A McIntosh, Rachel O'Connell, Ricardo Pardo, Shelley Potter, Tim Rattay, Nisha Sharma, Raghavan Vidya, Ramsey I Cutress, B-MaP-C study collaborative
Apr 17, 2023
PURPOSE: The B-MaP-C study investigated changes to breast cancer care that were necessitated by the COVID-19 pandemic. Here we present a follow-up analysis of those patients commenced on bridging endocrine therapy (BrET), whilst...
Geometric general solution to the U(1) anomaly equations
Abstract: Costa et al. [Phys. Rev. Lett.123 (2019) 151601] recently gave a general solution to the anomaly equations for n charges in a U(1) gauge theory. ‘Primitive’ solutions of chiral fermion charges were parameterised and it...
On the appearance of nitrite anion in [PdX(OAc)L<sub>2</sub>] and [Pd(X)(C∧N)L] syntheses (X = OAc or NO<sub>2</sub>)
S E Bajwa, T E Storr, Lauren E Hatcher, T J Williams, C G Baumann, A C Whitwood, D R Allan, S J Teat, Paul R Raithby, I J S Fairlamb
May 01, 2012
Pd 3(OAc) 5NO 2, an impurity in "Pd(OAc) 2" {formally Pd 3(OAc) 6}, emerges as a serious issue in the synthesis of pure Pd II complexes derived from Pd(OAc) 2, for example in our C-H activation precatalyst, Pd(OAc) 2(pip) 2 (pip...
The Teukolsky–Starobinsky constants
Abstract: The Teukolsky master equation describes the dynamics of massless fields with spin on a Kerr black hole. Under separation of variables, spin-reversal for this equation is accomplished through the so-called...
The Teukolsky–Starobinsky constants
Abstract: The Teukolsky master equation describes the dynamics of massless fields with spin on a Kerr black hole. Under separation of variables, spin-reversal for this equation is accomplished through the so-called...
|
|< |
< |
1 |