Mechanical Transformation of Logic Definitions augmented with Type Information into Prolog Procedures: Some Experiments

Author(s):  
Pierre De Boeck ◽  
Baudouin Le Charlier
2021 ◽  
Vol 12 (1) ◽  
Author(s):  
Thomas Litschel ◽  
Charlotte F. Kelley ◽  
Danielle Holz ◽  
Maral Adeli Koudehi ◽  
Sven K. Vogel ◽  
...  

AbstractOne of the grand challenges of bottom-up synthetic biology is the development of minimal machineries for cell division. The mechanical transformation of large-scale compartments, such as Giant Unilamellar Vesicles (GUVs), requires the geometry-specific coordination of active elements, several orders of magnitude larger than the molecular scale. Of all cytoskeletal structures, large-scale actomyosin rings appear to be the most promising cellular elements to accomplish this task. Here, we have adopted advanced encapsulation methods to study bundled actin filaments in GUVs and compare our results with theoretical modeling. By changing few key parameters, actin polymerization can be differentiated to resemble various types of networks in living cells. Importantly, we find membrane binding to be crucial for the robust condensation into a single actin ring in spherical vesicles, as predicted by theoretical considerations. Upon force generation by ATP-driven myosin motors, these ring-like actin structures contract and locally constrict the vesicle, forming furrow-like deformations. On the other hand, cortex-like actin networks are shown to induce and stabilize deformations from spherical shapes.


Cortex ◽  
2021 ◽  
Vol 139 ◽  
pp. 152-165
Author(s):  
Fredrik Bergström ◽  
Moritz Wurm ◽  
Daniela Valério ◽  
Angelika Lingnau ◽  
Jorge Almeida
Keyword(s):  

Sensors ◽  
2021 ◽  
Vol 21 (9) ◽  
pp. 3026
Author(s):  
Minjae Lee ◽  
Sukwon Lee ◽  
Sungjoon Lim

Electromagnetic responses are generally controlled electrically or optically. However, although electrical and optical control allows fast response, they suffer from switching or tuning range limitations. This paper controls electromagnetic response by mechanical transformation. We introduce a novel kirigami-inspired structure for mechanical transformation with less strength, integrating a shape memory alloy actuator into the kirigami-inspired for mechanical transformation and hence electromagnetic control. The proposed approach was implemented for a reconfigurable antenna designed based on structural and electromagnetic analyses. The mechanical transformation was analyzed with thermal stimulus to predict the antenna geometry and electromagnetic analysis with different geometries predicted antenna performance. We numerically and experimentally verified that resonance response was thermally controlled using the kirigami-inspired antenna integrated with a shape memory alloy actuator.


2021 ◽  
Vol 11 (14) ◽  
pp. 6613
Author(s):  
Young-Bin Jo ◽  
Jihyun Lee ◽  
Cheol-Jung Yoo

Appropriate reliance on code clones significantly reduces development costs and hastens the development process. Reckless cloning, in contrast, reduces code quality and ultimately adds costs and time. To avoid this scenario, many researchers have proposed methods for clone detection and refactoring. The developed techniques, however, are only reliably capable of detecting clones that are either entirely identical or that only use modified identifiers, and do not provide clone-type information. This paper proposes a two-pass clone classification technique that uses a tree-based convolution neural network (TBCNN) to detect multiple clone types, including clones that are not wholly identical or to which only small changes have been made, and automatically classify them by type. Our method was validated with BigCloneBench, a well-known and wildly used dataset of cloned code. Our experimental results validate that our technique detected clones with an average rate of 96% recall and precision, and classified clones with an average rate of 78% recall and precision.


2021 ◽  
Vol 13 (10) ◽  
pp. 1863
Author(s):  
Caileigh Shoot ◽  
Hans-Erik Andersen ◽  
L. Monika Moskal ◽  
Chad Babcock ◽  
Bruce D. Cook ◽  
...  

Forest structure and composition regulate a range of ecosystem services, including biodiversity, water and nutrient cycling, and wood volume for resource extraction. Forest type is an important metric measured in the US Forest Service Forest Inventory and Analysis (FIA) program, the national forest inventory of the USA. Forest type information can be used to quantify carbon and other forest resources within specific domains to support ecological analysis and forest management decisions, such as managing for disease and pests. In this study, we developed a methodology that uses a combination of airborne hyperspectral and lidar data to map FIA-defined forest type between sparsely sampled FIA plot data collected in interior Alaska. To determine the best classification algorithm and remote sensing data for this task, five classification algorithms were tested with six different combinations of raw hyperspectral data, hyperspectral vegetation indices, and lidar-derived canopy and topography metrics. Models were trained using forest type information from 632 FIA subplots collected in interior Alaska. Of the thirty model and input combinations tested, the random forest classification algorithm with hyperspectral vegetation indices and lidar-derived topography and canopy height metrics had the highest accuracy (78% overall accuracy). This study supports random forest as a powerful classifier for natural resource data. It also demonstrates the benefits from combining both structural (lidar) and spectral (imagery) data for forest type classification.


Zoosymposia ◽  
2019 ◽  
Vol 13 (1) ◽  
pp. 14-43
Author(s):  
LINDSEY T. GROVES ◽  
DANIEL L. GEIGER ◽  
JANN E. VENDETTI ◽  
EUGENE V. COAN

A biography of the late James H. McLean, former Curator of Malacology at the Natural History Museum of Los Angeles County is provided. It is complemented with a full bibliography and list of 344 taxa named by him and co-authors (with type information and current status), as well as 40 patronyms.


1981 ◽  
Vol 11 (2) ◽  
pp. 104-106
Author(s):  
Peter Buneman ◽  
Ira Winston

1981 ◽  
Vol 1 (10) ◽  
pp. 958-960 ◽  
Author(s):  
J Rine ◽  
G F Sprague ◽  
I Herskowitz

Sporulation in Saccharomyces cerevisiae normally occurs only in MATa/MAT alpha diploids. We show that mutations in RME1 bypassed the requirements for both a and alpha mating type information in sporulation and therefore allowed MATa/MATa and MAT alpha/MAT alpha diploids to sporulate. RME1 was located on chromosome VII, between LEU1 and ADE6.


Sign in / Sign up

Export Citation Format

Share Document