Results 61 to 70 of about 5,079,467 (275)

Mapping RT-LOTOS specifications into Time Petri Nets [PDF]

, 2006
RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri ...
Boyer, Marc, Sadani, Tarek, Courtiat, Jean-Pierre, Jean-Pierre Courtiat, Tarek Sadani, Saqui-Sannes, Pierre de, Pierre de Saqui-Sannes, Marc Boyer   +7 more
core   +1 more source

Implantable Ionic Memristors Based on Natural Polymer Heterojunctions

Advanced Functional Materials, EarlyView.
We report an implantable natural polymer‐based ionic memristor composed of hyaluronic acid, chitosan, and PDMS. The device achieved 98.94% accuracy in MNIST classification while reducing training time by 36.8% compared with a conventional artificial neural network (ANN).
Dong‐yup Lee, Byung Ik Park, Gihyeon Yim, Hyunjae Yoo, Sangjun Ma, Jundong Park, Jeong‐Yun Sun   +6 more
wiley   +1 more source

Research on Plant Disease and Pest Diagnosis Model Based on Generalized Stochastic Petri Net

Applied Sciences
With the advancement of modern agricultural technology and the expansion of large-scale production, this article aims to solve the difficulties in plant disease and pest control through the application of artificial intelligence and automation technology,
Wenxue Ran, Qilian Tang
doaj   +1 more source

Functional Differentiation of Type II and Type I Collagen Articular Models in Synovial Fluid Film Formation and Recombinant Equine Lubricin Retention

Advanced Functional Materials, EarlyView.
Collagen II coatings support the formation of synovial fluid nanofilms, while collagen I coatings do not. Both bind recombinant equine lubricin similarly. These findings may help explain articular cartilage surface joint dysfunction, inform biomaterial design for synovial joint repair, and expand on lubricin‐based osteoarthritis therapies.
Diego R. Jaramillo Pinto, Nicolas L. Mendoza, Syeda Tajin Ahmed, Yidan Wen, Lenka Vitkova, Spencer M. Witt, Kaleb A. Cutter, Ummay Honey, Matthew J. Paszek, Heidi L. Reesink, Lawrence J. Bonassar, Kevin De France, Roberto C. Andresen Eguiluz   +12 more
wiley   +1 more source

Representation Theorems for Petri Nets

, 1997
This paper retraces, collects, summarises, and mildly extends the contributions of the authors --- both together and individually --- on the theme of representing the space of computations of Petri nets in its mathematical ...
Meseguer, J., Montanari, U., Sassone, V.
core   +1 more source

Engineered Microvascular Model of the Blood–Brain–Tumor Barrier Reveals Endothelial Remodeling in Diffuse Midline Glioma

Advanced Healthcare Materials, EarlyView.
We developed a patient‐derived, functional microfluidic model of the diffuse midline glioma (DMG) blood–brain–tumor barrier (BBTB) comprised of endothelial cells, astrocytes, pericytes, and tumor cells. The system forms perfusable microvasculature, reveals the BBTB retains vascular integrity, identifies DMG‐specific transcriptomic changes distinct from
Kimberly R. Bennett, Yann S. Vanrobaeys, Tessy Teboh, Zakiya Smith, Anderson Scott, Cynthia Hajal, Paula T. Hammond, Joelle P. Straehla   +7 more
wiley   +1 more source

Making the Case for Organ‐on‐Chip Platforms in Long‐Acting Therapeutics Development

Advanced Healthcare Materials, EarlyView.
LATs release drug from a tissue‐resident depot over weeks to months, improving adherence, but their development is hampered by preclinical models that cannot reproduce the coupled tissue processes, sustained release, local microenvironment change, interstitial transport, immune and foreign‐body responses, and clearance that govern depot performance in ...
Charlie Gowans, Abdulwahhab Khedr, Panagiotis G. Georgiou, Nehir Arik, Ozlem Sen, Steve P. Rannard, Tom O. McDonald, Christos Tapeinos   +7 more
wiley   +1 more source

Development of a monoclonal antibody TAS-ELISA assay for detection of Phaeomoniella chlamydospora

Phytopathologia Mediterranea, 2014
Phaeomoniella chlamydospora is an important tracheomycotic fungus involved in different syndromes of the esca disease complex affecting young and mature grapevine plants.
Fernando CARDOSO, Teresa NASCIMENTO, Helena OLIVEIRA   +2 more
doaj   +1 more source

Zwitterionic Polymer Coating Enabled Chronic Dopamine Sensing and Electrophysiology Recording in Free‐Moving Mice

Advanced Healthcare Materials, EarlyView.
Application of a zwitterionic poly(sulfobetaine methacrylate) (PSB) coating to microelectrode arrays and Ag/AgCl reference electrodes effectively inhibits biofouling and structural degradation. This strategy successfully enables simultaneous, long‐term electrophysiological recording and dopamine sensing in freely behaving mice, facilitating ...
Bingchen Wu, Cort Thompson, Thomas Deakin, Yan Xu, Colleen A. McClung, Xinyan Tracy Cui   +5 more
wiley   +1 more source

Functorial Models for Petri Nets [PDF]

, 2001
We show that although the algebraic semantics of place/transition Petri nets under the collective token philosophy can be fully explained in terms of strictly symmetric monoidal categories, the analogous construction under the individual token philosophy
Meseguer, J., Bruni, R., Montanari, U., Sassone, V.   +3 more
core   +2 more sources