Results 61 to 70 of about 145,993 (337)
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
Research on Functional Hazard Analysis Method for IMA Reconfiguration [PDF]
Jisuanji gongcheng, 2016 The traditional hazard analysis methods for Integrated Modular Avionics(IMA) reconfiguration are static system structure hazard analysis method.It cannot make hazard analysis on the failure condition of the dynamic reconfiguration of IMA,and the ...
CHEN Long,WANG Lisong
doaj +1 more source
Membrane Systems and Petri Net Synthesis
, 2012 Automated synthesis from behavioural specifications is an attractive and powerful way of constructing concurrent systems. Here we focus on the problem of synthesising a membrane system from a behavioural specification given in the form of a transition ...
Kleijn, Jetty +3 more
core +2 more sources
Approximating Petri Net Reachability Along Context-free Traces [PDF]
, 2011 We investigate the problem asking whether the intersection of a context-free language (CFL) and a Petri net language (PNL) is empty. Our contribution to solve this long-standing problem which relates, for instance, to the reachability analysis of ...
Atig, Mohamed Faouzi, Ganty, Pierre
core +4 more sources
Advanced Functional Materials, EarlyView.The study presents biodegradable and recyclable mixed‐matrix membranes (MMMs), hydrogels, and cryogels using luminescent nanoscale metal‐organic frameworks (nMOFs) and biopolymers. These bio‐nMOF‐MMMs combine europium‐based nMOFs as probes for the status of the materials with the biopolymers agar and gelatine and present alternatives to conventional ...
Moritz Maxeiner +4 more
wiley +1 more source
Formal Description of Design Pattern Based on Petri Net [PDF]
Jisuanji gongcheng, 2016 It is very meaningful for software development to identify design patterns automatically from Unified Modeling Language(UML) models.Formalization is the base of automatic identification of design patterns,so a method based on Petri net is proposed to ...
WANG Lei,JIANG Jiulei,WANG Xiaofeng
doaj +1 more source
Laser‐Induced Graphene from Waste Almond Shells
Advanced Functional Materials, EarlyView.Almond shells, an abundant agricultural by‐product, are repurposed to create a fully bioderived almond shell/chitosan composite (ASC) degradable in soil. ASC is converted into laser‐induced graphene (LIG) by laser scribing and proposed as a substrate for transient electronics.
Yulia Steksova +9 more
wiley +1 more source
Representing Conversations for Scalable Overhearing
, 2011 Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent conversation protocols.
Gutnik, G., Kaminka, G. A.
core +1 more source
Substrate Stress Relaxation Regulates Cell‐Mediated Assembly of Extracellular Matrix
Advanced Functional Materials, EarlyView.Silicone‐based viscoelastic substrates with tunable stress relaxation reveal how matrix mechanics regulates cellular mechanosensing and cell‐mediated matrix remodelling in the stiff regime. High stress relaxation promotes assembly of fibronectin fibril‐like structures, increased nuclear localization of YAP and formation of β1 integrin‐enriched ...
Jonah L. Voigt +2 more
wiley +1 more source
PEMODELAN HYBRID SINTESIS PADA AUTOMATED MANUFACTURING SYSTEM (AMS) DENGAN MENGGUNAKAN PETRI NET
Barekeng, 2012 Dalam Jurnal ini dibahas masalah sistem even diskrit yang ada pada Automated Manufacturing System (AMS), khususnya menyangkut model, kedinamikan, dan mendesain sistem AMS dengan menggunakan tool matematik Petri net.
Dorteus L. Rahakbauw
doaj +1 more source