Abstract: Disclosed are improved methods and structures for verifying integrated circuits and in particular systems-on-a-chip constructed therefrom. We call methods and structures according to the present disclosure Symbolic Quick Error Detection or Symbolic QED, Illustrative characteristics of Symbolic QED include: 1) It is applicable to any System-on-Chip (SoC) design as long as it contains at least one programmable processor; 2) It is broadly applicable for logic bugs inside processor cores, accelerators, and uncore components; 3) It does not require failure reproduction; 4) It does not require human intervention during bug localization; 5) It does not require trace buffers, 6) It does not require assertions; and 7) It uses hardware structures called “change detectors” which introduce only a small area overhead.

Abstract: At least one location of interest for perpetuation or persistence of arrhythmia or atrial fibrillation is identified by determining a repeatability of electrogram morphologies from electrical recordings within at least one atrium.

Abstract: The present invention relates to methods of inhibiting neurodegeneration in a subject suffering from or genetically at risk and/or destined to develop Huntington's Disease comprising increasing, in neurons of the subject, the activity of the TIM23 mitochondrial protein import complex.

Abstract: Air filters formed from mats of protein-containing nanowires are provided. The nanowires are formed into a mat with pores that allow air to pass through while physically filtering particulate matter. The protein in the protein-containing nanowires also serves to chemically filter polluted air passed through the filter. Specifically, chemical functional groups from the many amino acids that comprise the protein of the protein-containing nanowire react with certain chemical pollutants (e.g., carbon monoxide and formaldehyde) in order to capture or otherwise neutralize the pollutant. Accordingly, the single nanofiber mat performs two filtering functions. Methods of filtering air using the provided air filters are also disclosed, as well as methods for making the air filters from protein-containing nanofibers.

Abstract: Compositions and methods for modulating root hair production and stress responses in plants are provided.

Abstract: A method and a device for information system access authentication are disclosed. The method includes: performing anonymous authentication to a random verification code generated according to a login request for accessing an information system of a client, and authenticating acquired user name and password information when the anonymous authentication is successful. The device includes an verification code authentication module and a user name and password authentication module connected to the verification code authentication module, wherein the verification code authentication module is configured to perform anonymous authentication to a random verification code generated according to a login request for accessing an information system of client; and the user name and password authentication module is configured to authenticate acquired user name and password information when the anonymous authentication is successful.

Abstract: A stacked body includes: a substrate made of silicon carbide and having a first main surface forming an angle of 20° or less with a carbon plane; and a graphene film disposed on the first main surface and having an atomic arrangement oriented in relation to an atomic arrangement of silicon carbide forming the substrate. In an exposed surface of the graphene film as seen in plan view, 10 or less regions are present per 1 mm2, the exposed surface being a main surface opposite to the substrate, and the regions each including 10 or more graphene layers and having a circumcircle with a diameter of 5 ?m or more and 100 ?m or less. Accordingly, the stacked body is provided that enables a high mobility to be stably ensured in an electronic device manufactured to include the graphene film forming an electrically conductive portion.

Abstract: Aspects of the present disclosure include methods that include co-culturing a cell and a microparticle that includes a capture ligand, in a culture medium under conditions in which a biomarker produced by the cell is bound by the capture ligand. Such methods may further include detecting (e.g., by flow or mass cytometry) complexes that include the microparticle, the capture ligand, the biomarker, and a detection reagent. The methods may further include determining the proportion or number of cells among a heterogeneous cell population that produced the biomarker and/or the level of biomarker secreted by such cells. Compositions, systems and kits are also provided.

Abstract: The present invention relates generally to a three-dimensional cell and tissue culture system for the female reproductive tract. In particular provided herein the system includes individual female reproductive cultures in a dynamic microfluidic setting or integrated using a microfluidic microphysiologic system. In some embodiments, the present invention provides ex-vivo female reproductive tract integration in a three dimensional (3D) microphysiologic system.

Abstract: Apparatus, methods, and systems for automated liquid droplet manipulation include an open droplet supporting surface. An actuator can translate the surface in space with at least one degree freedom of movement to influence movement of one or more droplets on the surface. In one embodiment, the surface is patterned with areas that attract the droplets and interstitial areas that repel the droplets to enhance transport of droplets. For example, for water-based droplets the attracting areas can be hydrophilic and the repelling hydrophobic. In one embodiment, the repelling areas are superhydrophobic. Electromechanical movement of the surface avoids expensive and complex microfluidic fabrication and components, and avoids electrowetting requirements.

Abstract: Provided is a device configured to perform a convolution operation. The device includes bi-directional First In First Out memory including bi-directional latches configured to transfer data in a first direction or a second direction depending on a clock signal and connected to each other and performs a convolution operation of an input value and a filter. The device stores first input values corresponding to a window equivalent to a size of the filter from a input value matrix in the bi-directional First In First Out memory in response to a first convolution operation and stores second input values corresponding to a location of the window which is moved in the first direction or the second direction by a predetermined amount from locations of the first input values in the bi-directional First In First Out memory in response to a second convolution operation subsequent to the first convolution operation.

Abstract: The present disclosure relates generally to method of preparing aptamers, aptamers, and uses thereof.

Abstract: The present invention provides methods for treating, preventing or reducing the severity of cerebral malaria. The methods of the present invention comprise administering to a subject in need thereof a therapeutically effective amount of a pharmaceutical composition comprising a modified angiopoietin molecule such as AngF1-Fc-F1.

Abstract: The invention provides compositions and methods for treating diseases associated with expression of CD20 or CD22. The invention also relates to chimeric antigen receptor (CAR) specific to CD20 or CD22, vectors encoding the same, and recombinant T or natural killer (NK) cells comprising the CD20 CAR or CD22 CAR. The invention also includes methods of administering a genetically modified T cell or NK cell expressing a CAR that comprises a CD20 or CD22 binding domain.

Abstract: The present invention provides a novel target analysis chip and analysis method for directly detecting a target such as a microRNA without performing PCR.

Abstract: Provided is a nitrided metal surface functionalized with molecules, each molecule comprising at least one binding group and an antimicrobial moiety. The molecules are immobilized on the surface by only covalent interactions between the binding groups of the molecules and nitrogen atoms within the nitrided metal surface. Articles comprising the functionalized nitrided surface find use in inhibiting or reducing the growth of microorganisms on surfaces that are frequently touched. A method for preparing the functionalized nitrided surface comprises contacting a nitrided metal surface with molecules so as to form covalent bonds between the binding groups of the molecules and the nitrogen atoms in the surface, thereby immobilising the molecules on the metal surface.

Abstract: A gate system includes a first fixed support structure having a plurality of fixed rails defining respective passageways and a gate that moves relative to the fixed support structure between an open position and a closed position. The gate includes a plurality of gate rails that slide within the respective passageways as the gate moves between the open position and the closed position. Furthermore, the gate includes one or more compressible sheets coupled to the plurality of gate rails, and the one or more compressible sheets are configured to move from a compressed position to an expanded position as the gate moves from the open position to the closed position.

Abstract: The present invention discloses a blind bolt fastening device, and belongs to the technical field of bolts. The blind bolt fastening device includes Z-shaped gaskets, a fixed plate, elastic hinges, a screw cap, a nut, an integrated gasket and the like. The top end of the screw cap is connected to the fixed plate in a spot welding manner. A plurality of elastic hinges is uniformly mounted on the fixed plate. One end of each elastic hinge is rotatably fixed on the fixed plate. Connection points of the elastic hinges and the fixed plate do not exceed the outer edge of the fixed plate. The other end of each elastic hinge is connected to one Z-shaped gasket in a spot welding manner. In an initial state, the plurality of Z-shaped gaskets are uniformly distributed and fitted onto the outer wall of the screw cap along a circumferential direction.

Abstract: Methods of treating a valvular heart disease are provided. Methods for treating valvular heard disease include administering to a subject a therapeutically effective amount of at least one hedgehog pathway inhibitor. Also provided are methods for reducing fibrosis in a subject, which comprise administering to the subject a therapeutically effective amount of at least one hedgehog pathway inhibitor.

Abstract: Disclosed are oxazolidinone compounds of Formula I: (I) salts thereof, antibacterial pharmaceutical compositions containing them, and use of the compounds to inhibit bacterial growth in mammals, including humans.