Results 71 to 80 of about 25,005,250 (309)

Formal Modeling and Analysis of Organizations

, 2006
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organizational model and includes the (frequently ignored) environment. The transition is described from a generic framework of an organization to its deployed model and to the ...
Broek, E.L. van den, Jonker, C.M., Sharpanskykh, A., Treur, J., Yolum, P.   +4 more
openaire   +7 more sources

Forecasting the Dialysis Burden in Japan: Validation‐Based Projections of Prevalence and Incidence Through 2050

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Japan has one of the highest dialysis prevalence rates worldwide and a shrinking, aging population. Whether dialysis burden has entered a sustained post‐peak phase or whether recent declines partly reflect pandemic‐related disruptions remains uncertain.
Hatice Şahin, Berrak Itır Aylı, Nüket Paksoy   +2 more
wiley   +1 more source

Formal modeling and initial analysis of the 4SECURail case study

, 2022
We present the case study developed in the context of the 4SECURail project and the approach used for its formal modeling and analysis. Starting from a simple SysML/UML behavioral model of the system requirements, three formal models have been developed ...
Belli D, Mazzanti F
core   +1 more source

A Formal Analysis of Authentication in the TPM [PDF]

, 2011
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM provides a way to store cryptographic keys and other sensitive data in its shielded memory. Through its API, one can use those keys to achieve some security goals. The TPM is a
Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel   +3 more
openaire   +2 more sources

A formal analysis of blockchain consensus [PDF]

, 2023
In this thesis, we analyse these protocols using PRISM+, our extension of the probabilistic model checker PRISM with blockchain types and operations upon them. This allows us to model the behaviour of key participants in the protocols and describe the protocols as a parallel composition of PRISM+ processes. Through our analysis of the Bitcoin model, we
openaire   +2 more sources

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

Meala Fîrûz Adlı Kürtçe Meâlin Biçimsel ve Dilsel Tahlili

Artuklu Akademi, 2016
: Molla Muhammed Garsî Farqînî (Mehmet Demirdağ) pek çok sıkıntı ve ekonomik zorluklara göğüs gererek 2003 yılında Meala Fîrûz Şerha Qur’ana Pîroz adıyla Kur’ân-ı Kerim’in Kürtçe meâlini hazırlamıştır.
Haşim Özdaş
doaj  

The planar cell polarity protein Vangl2 interacts with the PDZ‐domains of Scribble but not with a unique PDZ‐like domain in Inturned

FEBS Letters, EarlyView.
Structural and biochemical characterisations show that the planar cell polarity (PCP) protein Inturned harbours a unique PDZ‐like domain that does not bind canonical PDZ‐binding motifs (PBMs) like that of another PCP protein Vangl2. In contrast, the apical‐basal polarity protein Scribble contains four PDZ domains that bind Vangl2, but one PDZ domain ...
Stephan Wilmes, Jan Brysch, Carmen Gelze, Lilli Meier, Daniel Kümmel   +4 more
wiley   +1 more source

Developing corpus-based translation methods between informal and formal mathematics : project description

, 2014
The goal of this project is to (i) accumulate annotated informal/formal mathematical corpora suitable for training semi-automated translation between informal and formal mathematics by statistical machine-translation methods, (ii) to develop such methods
Urban, J., Davenport, J.H., Sexton, A.P., Vyskocil, J., Watt, S.M., Kaliszyk, C., Geuvers, J.H., Sojka, P.   +7 more
core   +1 more source

Enhancing nitrogen management in corn silage: insights from field-level nutrient use indicators

Frontiers in Sustainable Food Systems
Corn (Zea mays L.) silage is an important feed ingredient in dairy cow diets in New York (NY). Improving corn nitrogen (N) management will help increase farm profitability while reducing environmental impacts from N losses.
Agustin J. Olivo, Kirsten Workman, Kirsten Workman, Quirine M. Ketterings   +3 more
doaj   +1 more source