148 research outputs found
Reflecting on Mathematical Language through Paper Folding
No full textThe aim of the workshop activity is to reflect on the language of mathe- matics in a concrete way, without the need for prerequisites, and show the potential that this language can have in the design of technological objects, such as solar arrays and stents
Closed loop stabilization of planar bilinear switched systems
No full textIn this paper we address the closed loop switched stabilization problem for planar bilinear systems under the assumption that the control is one dimensional and takes only the values 0 and 1. We construct a class of state-static-memoryless stabilizing feedback laws which preserve the properties of open loop switching signals. In order to prove the stability of the implemented system, we use Lyapunov techniques for differential equations with discontinuous righthand side. Finally we point out some possible extensions of our result and compare it with related results previously proven by other author
Reflecting on Mathematical Language through Paper Folding
No full textThe aim of the workshop activity that we describe in this chapter is to reflect
on the language of mathematics in a concrete way, without the need
for prerequisites, as well as show the potential that this language can have
in the design of high-tech objects. Paper folding lends itself perfectly to these purposes
A Quick Look at Surfaces
No full textThe mathematical and educational goals of this workshop are to recognise and describe
some features of real surfaces; to build connections between equations, physical
and virtual models; and to work in groups, developing the ability to discuss mathematics
and share knowledge
MuAC: Access Control Language for Mutual Benefits
Get PDFIn a collaborative distributed environment, users own a set of private
resources that they possibly share with each other to achieve mutual advantages.
The access to resources is regulated by a policy defined by each user in
isolation, and independently of the others.
However, typical access control languages allow defining policies that only
check the roles or the attributes of the requesters and resources.
But they do not impose a fair exchange of access grants by taking into account what
requesters offer to others.
Here, we present MuAC, a logic-based access control language designed
for expressing mutuality. In particular, extit{MuAC} allows specifying conditions on what requesters must offer in exchange for using a particular resource
APPARENTE GUARIGIONE MACROSCOPICA DELL'EARLY GASTRIC CANCER ULCERATO (EGC tipo IIc-III)DOPO TERAPIA CON H2-ANTAGONISTI
No full text- …
