Results 51 to 60 of about 2,427,716 (339)

Formal Choreographic Languages

, 2022
We introduce formal choreography languages as a meta-model to study message-passing systems. This allows us to compare and generalise standard constructions and properties from the literature. In particular, we consider notions such as global view, local view, and projections from the former to the latter.
Barbanera, F, Lanese, I, Tuosto, E
openaire   +4 more sources

Formal Language Identity-based Cryptography

Rad Hrvatske akademije znanosti i umjetnosti Matematičke znanosti, 2021
Summary: The rapid growth of the digital economy makes finegrained access control more and more challenging. One of the most impacted areas is cloud computing, which for security purposes requires cryptographic access control. Currently, the best solution for that is the use of Attribute-based Cryptography, which allows the definition of access ...
Vécsi, Ádám, Pethő, Attila
openaire   +2 more sources

LDAcoop: Integrating non‐linear population dynamics into the analysis of clonogenic growth in vitro

Molecular Oncology, EarlyView.
Limiting dilution assays (LDAs) quantify clonogenic growth by seeding serial dilutions of cells and scoring wells for colony formation. The fraction of negative wells is plotted against cells seeded and analyzed using the non‐linear modeling of LDAcoop.
Nikko Brix, Daniel Samaga, Katharina Gehr, Benedek Dankó, Mohamed Schumann, Guido Drexler, Ahmed Alnatsha, Georg Beyer, Ujjwal Mahajan, Martin Selmansberger, Julia Mayerle, Claus Belka, Horst Zitzelsberger, Kirsten Lauber   +13 more
wiley   +1 more source

Formal Languages in Dynamical Systems [PDF]

, 1993
We treat here the interrelation between formal languages and those dynamical systems that can be described by cellular automata (CA). There is a well-known injective map which identifies any CA-invariant subshift with a central formal language.
Troll, G.
core   +1 more source

Basroparib inhibits YAP‐driven cancers by stabilizing angiomotin

Molecular Oncology, EarlyView.
Basroparib, a selective tankyrase inhibitor, suppresses Wnt signaling and attenuates YAP‐driven oncogenic programs by stabilizing angiomotin. It promotes AMOT–YAP complex formation, enforces cytoplasmic YAP sequestration, inhibits YAP/TEAD transcription, and sensitizes YAP‐active cancers, including KRAS‐mutant colorectal cancer, to MEK inhibition.
Young‐Ju Kwon, Dong Young Kim, Yuna Kim, Uk‐Il Kim, Jae‐Sung Kim   +4 more
wiley   +1 more source

A Comprehensive Overview of the Clinical, Electrophysiological, and Neuroimaging Features of BPAN: Insights From a New Case Series

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Neurodegeneration with brain iron accumulation (NBIA) comprises a genetically and clinically heterogeneous group of rare neurological disorders characterized particularly by iron accumulation in the basal ganglia. To date, 15 genes have been associated with NBIA.
Seda Susgun, Ozgu Kizek, Sibel Aylin Ugur Iseri, Ibrahim Kamaci, Ayse Deniz Elmali, Pinar Iscen, Berfin Gulkaya Guzel, Gul Yalcin Cakmakli, Bulent Elibol, Berril Donmez, Raif Cakmur, Pinar Topaloglu, Turkish NBIA Study Group, Abdullah Acar, Ahmet Acarer, Arzu Karabay, Asuman Ali, Ayla Barlas, Aysegul Gunduz, Banu Ozen Barut, Baris Baslo, Bilge Kocer, Bilgehan Mus, Birsen Karaman, Burcu Gokce Cokal, Cem Ismail Kucukali, Cenk Akbostanci, Ceyhun Sayman, Cagla Turan, Dilek Ince Gunal, Ebru Bilge Dirik, Ebru Erzurumluoglu, Elif Kocasoy Orhan, Enes Demiryurek, Emrah Yucesan, Ercan Kose, Erdem Tuzun, Esen Saka Topcuoglu, Esra Okuyucu, Fatma Betul Ozdilek, Feriha Ozer, Gencer Genc, Gozde Unal, Gulay Kenangil, Gullu Tarhan, Gunes Kiziltan, Halil Onder, Hamit Genc, Hasmet Hanagasi, Hatice Yuksel, Hulya Apaydin, Koray Kirimtay, Mehmet Guney Senol, Melisa Kilic, Meltem Demirkiran, Mert Karaca, Miray Erdem, Muhammet Bilgehan Mus, Murat Gultekin, Nalan Capan, Nazan Karagoz Sakalli, Nazli Basak, Nihan Hande Akcakaya, Ozan Ezer, Ozge Uygun, Ozge Yilmaz Kuspeci, Ozgur Oztop Cakmak, Pervin Iseri, Petek Ballar Kirmizibayrak, Pinar Elkoca, Recep Alp, Remzi Yigiter, Rezzak Yilmaz, Sadika Ozdemir, Selda Keskin, Selen Ilhan Alp, Selen Soylu, Serdar Ceylaner, Serhat Ozkan, Sevda Erer Ozbek, Sevgin Gundogan, Sevil Yasufli, Sezin Alpaydin Baslo, Sibel Ertan, Sultan Cagirici, Seyma Aykac, Vuslat Yilmaz, Yaprak Secil, Yasar Kutukcu, Yeliz Ciftci, Yesim Sucullu Karadag, Yildiz Değirmenci, Zeliha Matur, Nerses Bebek, Murat Emre, Zuhal Yapici   +95 more
wiley   +1 more source

A State-Based Language for Enhanced Video Surveillance Modeling (SEL)

Modelling
SEL, a State-based Language for Video Surveillance Modeling, is a formal language designed to represent and identify activities in surveillance systems through scenario semantics and the creation of motion primitives structured in programs.
Selene Ramirez-Rosales, Luis-Antonio Diaz-Jimenez, Daniel Canton-Enriquez, Jorge-Luis Perez-Ramos, Herlindo Hernandez-Ramirez, Ana-Marcela Herrera-Navarro, Gabriela Xicotencatl-Ramirez, Hugo Jimenez-Hernandez   +7 more
doaj   +1 more source

Formal Language Decomposition into Semantic Primes

Advances in Distributed Computing and Artificial Intelligence Journal, 2014
This paper describes an algorithm for semantic decomposition. For that we surveys languages used to enrich contextual information with semantic descriptions. Such descriptions can be e.g.
Johannes FÄHNDRICH, Sebastian AHRNDT, Sahin ALBAYRAK   +2 more
doaj   +1 more source

On the Expressive Power of Multiple Heads in CHR

, 2011
Constraint Handling Rules (CHR) is a committed-choice declarative language which has been originally designed for writing constraint solvers and which is nowadays a general purpose language.
Di Giusto, Cinzia, Gabbrielli, Maurizio, Meo, Maria Chiara   +2 more
core   +3 more sources

Decreased Serum 5‐HT: Clinical Correlates and Regulatory Role in NMJ of MG

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Although 5‐Hydroxytryptamine (5‐HT) indirectly stimulates muscle contraction and participates in regulating Acetylcholine receptor (AChR) cluster homeostasis in cellular, animal, and clinical studies, evidence regarding its potential to modulate muscle contraction in myasthenia gravis (MG) remains limited.
Xinru Shen, Jing Zhang, Xinyue Zhou, Xiaoxiao Yu, Haodong Shang, Shufan Chen, Lulu Zhen, Jinru Wu, Guanlian Hu, Xiaoyan Zhu, Zhan Sun, Yiren Wang, Jiahui Wang, Jie Lv, Xue Zhao, Yingna Zhang, Wei Guo, Ying Peng, Feng Gao   +18 more
wiley   +1 more source