Search results for " In C"
showing 10 items of 586 documents
Mathematical logic and quantum finite state automata
2009
AbstractThis paper is a review of the connection between formulas of logic and quantum finite-state automata in respect to the language recognition and acceptance probability of quantum finite-state automata. As is well known, logic has had a great impact on classical computation, it is promising to study the relation between quantum finite-state automata and mathematical logic. After a brief introduction to the connection between classical computation and logic, the required background of the logic and quantum finite-state automata is provided and the results of the connection between quantum finite-state automata and logic are presented.
Countering the negative image of women in computing
2019
A positive image would inspire the capable but underrepresented who might otherwise give up on computing.
Reforming the Teaching and Learning of Foundational Mathematics Courses: An Investigation into the Status Quo of Teaching, Feedback Delivery, and Ass…
2022
Several universities are witnessing an increase in students’ enrolment in mathematics-intensive programmes over the last decades. This increase has come with the price of high failure rates in foundational mathematics courses, which poses challenges to mathematics teaching and learning in higher education. It is therefore inevitable, for some universities, to transform the teaching and learning of mathematics to more student-centred approaches that engage the students mathematically and enhance their success rates. We approach this transformative effort by investigating students’ perception of teaching, feedback, and assessment as a first step in reforming the teaching of a firs…
Spacetime curvature and Higgs stability after inflation
2015
We investigate the dynamics of the Higgs field at the end of inflation in the minimal scenario consisting of an inflaton field coupled to the Standard Model only through the non-minimal gravitational coupling $\xi$ of the Higgs field. Such a coupling is required by renormalisation of the Standard Model in curved space, and in the current scenario also by vacuum stability during high-scale inflation. We find that for $\xi\gtrsim 1$, rapidly changing spacetime curvature at the end of inflation leads to significant production of Higgs particles, potentially triggering a transition to a negative-energy Planck scale vacuum state and causing an immediate collapse of the Universe.
Finiteness in a Minimalist Foundation
2008
We analyze the concepts of finite set and finite subset from the perspective of a minimalist foundational theory which has recently been introduced by Maria Emilia Maietti and the second author. The main feature of that theory and, as a consequence, of our approach is compatibility with other foundational theories such as Zermelo-Fraenkel set theory, Martin-Lof's intuitionistic Type Theory, topos theory, Aczel's CZF, Coquand's Calculus of Constructions. This compatibility forces our arguments to be constructive in a strong sense: no use is made of powerful principles such as the axiom of choice, the power-set axiom, the law of the excluded middle.
Connecting Granular and Topological Relations through Description Logics
2021
Granularity deals with organizing in greater or lesser detail data, information, and knowledge that resides at a granular level. This organization is carried out according to certain criteria, which thereby provide a context view or dimension also called granular perspective. Topological relations express spatial associations among geospatial features (points, polylines, and polygons); they represent a horizontal spatial analysis. The two domains allow scientists to conceive different perspectives of the world. In this article, we aim to combine the two representations through Description Logics (DL) rules to relate granular (vertical representation) and geospatial topological (horizontal r…
Improving childhood obesity treatment using new technologies: the ETIOBE System
2011
Childhood obesity is an increasing public health problem in western culture. Sedentary lifestyles and an “obesogenic environment” are the main influences on children leading to an increase in obesity. The objective of this paper is to describe an e-health platform for the treatment and prevention of childhood obesity called ETIOBE. This e-health platform is an e-therapy system for the treatment of obesity, aimed at improving treatment adherence and promoting the mechanisms of self-control in patients, to obtain weight loss maintenance and to prevent relapse by establishing healthy lifestyle habits. ETIOBE is composed of three different applications, the Clinician Support System (CSS), the H…
Utilizzo di tecniche di machine learning e previsioni stagionali per la stima dei volumi di invaso
GIUNZIONI BULLONATE FRA COMPOSITO E ALLUMINIO: STUDIO DEL GIOCO MEDIANTE FIBRE OTTICHE INGLOBATE NELLO SPESSORE
2010
Le giunzioni bullonate di elementi in composito sono state da sempre utilizzate per applicazioni impegnative. Sono stati annegati estensimetri a fibra ottica nello spessore di un pannello in composito in prossimità della superficie di contatto piastra-bullone in un giunto ibrido composito-alluminio. Sono state eseguite diverse prove di trazione su provini single-lap joint con differenti valori del gioco tra bullone e foro. Le prove consentono di determinare una relazione fra il gioco tra bullone e foro e i valori delle deformazioni misurate dagli estensimetri a fibra ottica. Risulta che ad un incremento dei valori del gioco corrisponde un incremento dei valori di deformazione in prossimità …
La giurisdizione nelle cause tra coniugi secondo la normativa europea
2014
L’articolo esamina la normativa comunitaria in materia di processo civile, con particolare riferimento alle controversie tra i coniugi. Nella prima parte, l’Autore illustra le competenze dell’Unione europea nel settore della cooperazione giudiziaria in materia civile ed esamina le disposizioni sulla competenza giurisdizionale nelle cause tra coniugi in materia di divorzio, separazione personale e annullamento del matrimonio, contenute nel regolamento (CE) n. 2201/2003, c.d. Bruxelles II bis. Nella seconda parte dell’articolo, l’Autore illustra le norme sulla competenza giurisdizionale contenute negli altri regolamenti rilevanti e procede ad un esame comparativo delle diverse disposizioni. I…