Results 41 to 50 of about 21,808,950 (255)

Towards a Formal Verification Methodology for Collective Robotic Systems [PDF]

, 2012
We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML.
Dorigo, Marco, R. Pugliese, Mauro Birattari, Rosario Pugliese, Marco Dorigo, E. Gjondrekaj, M. Dorigo, Loreti, Michele, Edmond Gjondrekaj, Michele Loreti, Manuele Brambilla, Birattari, Mauro, M. Brambilla, Pinciroli, Carlo, Pugliese, Rosario, Gjondrekaj, Edmond, Tiezzi, Francesco, M. Birattari, Brambilla, Manuele, Carlo Pinciroli, C. Pinciroli, Francesco Tiezzi, M. Loreti, Tiezzi, F.   +23 more
core   +1 more source

Association Between Individualized Education for Kidney Replacement Therapy Modality Selection and Peritoneal Dialysis Initiation: A Cross‐Sectional Study

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Peritoneal dialysis (PD) is an established home‐based kidney replacement therapy (KRT), but its uptake remains low in Japan. We evaluated whether individualized education in a dedicated outpatient clinic was associated with the initiation of PD.
Yasuko Ito, Ryuichi Yoshimura, Takaki Yamauchi, Yuta Funakoshi, Hirotaka Sonoda, Seiji Kobayashi, Hiroyuki Terawaki, Takafumi Ito   +7 more
wiley   +1 more source

Residual tail twisting in ascidian larvae is stabilized by asymmetric myofibrils that resist bilateral symmetry restoration

FEBS Letters, EarlyView.
Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure, Misaki K. Nishio, Satoru Okuda, Kohji Hotta   +3 more
wiley   +1 more source

Benefits of applying formal methods to industrial control software [PDF]

, 2011
Formal methods are being applied to the development of software of various applications at Philips Healthcare. In particular, the Analytical Software Design (ASD) method is being used as a formal technology for developing defect-free control software of ...
Osaiweran, A.A.H., Wesselius, J.H., Groote, J.F., Groote, J.F.; id_orcid   +3 more
core   +1 more source

Experiment design for formal verification via stochastic optimal control. [PDF]

, 2016
A measurement-based statistical verification approach is developed for systems with partly unknown dynamics. Grey-box systems, which are specified as a model class, are subject to identification experiments that enable accepting or rejecting system ...
Haesaert, S., S. Haesaert, Van den Hof, Paul, Abate, Alessandro, Van den Hof, P.M.J., Haesaert, S, P. M. J. Van den Hof, Haesaert, Sofie, Van den Hof, P.M.J.; id_orcid, A. Abate, Abate, A., Abate, A, Van den Hof, P   +12 more
core   +1 more source

An exploratory assessment model for preventing individual extreme violent crimes from a social control perspective—a qualitative study of four Chinese cases

Frontiers in Psychology
IntroductionIndividual extreme violent crimes pose a severe threat to public safety. From a social control perspective, this paper explores the dimensions of “formal control,” “informal control,” and “self-control”.
Gu Anqi
doaj   +1 more source

Degradation mechanism of the von Willebrand factor A2 domain by nattokinase

FEBS Letters, EarlyView.
Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto, Masatomo So, Ayako Furukawa, Kenji Sugase   +3 more
wiley   +1 more source

Nutrient/TOR signaling controls adipose mitochondrial transcription factor A (TFAM) to regulate organismal growth in Drosophila

FEBS Letters, EarlyView.
Animals must match their growth rate to available nutrients. We show that in Drosophila larvae, the nutrient‐sensing TOR kinase controls growth by regulating levels of TFAM, a key regulator of mitochondrial function, in the adipose tissue. When nutrients are abundant, high TOR activity suppresses TFAM, lowering mitochondrial bioenergetic activity and ...
Shrivani Sriskanthadevan‐Pirahas, Shahoon Khan, Abhishek Sharma, Byoungchun Lee, Savraj S. Grewal   +4 more
wiley   +1 more source

Tercer Foro Nacional de Control Social: "La importancia del control social para la democracia" [PDF]

, 2009
Gestión del conocimientoParticipación ciudadana en Colombia. Rol del sector privado en la promoción del control social - CCB. Enfoque del Modelo de Control Social de la CCB. Líneas de trabajo en Control Social.
Cámara de Comercio de Bogotá
core  

MOTIVATIONS, IMPORTANCE, CHALLENGES AND PERSPECTIVES OF SOCIAL CONTROL IN HEALTH

Cogitare Enfermagem, 2019
Purpose: To understand the motivations, importance, challenges and perspectives for acting as local health counselors in the Unified Health System.Method: A qualitative and descriptive study of the exploratory type conducted with 15 local health ...
Carlos Junglos, Felipa Rafaela Amadigi, Rosani Ramos Machado, Jacks Sorato   +3 more
doaj   +1 more source