Abstract: A system performs logic simulation of a circuit design specified using a hardware description language such as Verilog. The system performs constraint solving based on an expression specified in the specification of the circuit design. The system identifies required bits for each variable in the expression. The number of required bits is less than the number of bits specified in the variable declaration. The system performs bit-level constraint solving by performing a bit operation on the set of required bits and a simplified processing of the remaining bits of the variable. Since the original circuit design is preserved with the original bit-widths for simulation, those required bits are used on the fly internally during constraint solving. Furthermore, dynamic bit reductions on arithmetic operations are performed on the fly. The system improves computational efficiency by restricting bit operations to fewer bits of variables and operators of the expression.

Abstract: The present invention relates to a composition, a kit, a nucleic acid, and a method capable of diagnosing bladder cancer by detecting the methylation level of a CpG site of at least one gene selected from the group consisting of IFFO1, MARCH11, BARHL2, NR2E1, KCNA3, and BOLL. According to the present invention, since the hypermethylation of a CpG site of a gene is specifically exhibited in bladder cancer, a composition, a kit, a chip, or a method according to the present invention can be used to accurately and rapidly diagnose bladder cancer and to be used for early diagnosis and monitoring recurrence.

Abstract: A method of manufacturing a display device includes providing a display panel including a folding area at which the display panel is foldable, and a flat area which is adjacent to the folding area; providing a protective film on both the flat area and the folding area of the display panel; removing a portion of the protective film which corresponds to the folding area, from the display panel, to expose the folding area outside a remaining portion of the protective film, where the remaining portion of the protective film defines a bump of the protective film at a portion of the flat area which is closest to the folding area; and removing a portion of the bump from the portion of the flat area.

Abstract: An organic light emitting diode display includes a substrate, a semiconductor layer disposed on the substrate, a first insulating layer which covers the semiconductor layer, a first conductive layer disposed on the first insulating layer, a second insulating layer which covers the first conductive layer, a second conductive layer disposed on the second insulating layer, a third insulating layer which covers the second conductive layer, a third conductive layer disposed on the third insulating layer, a first organic layer which covers the third conductive layer, and a fourth conductive layer disposed on the first organic layer, where the fourth conductive layer includes a lower layer, a middle layer, and an upper layer, and the lower layer is disposed between the first organic layer and the middle layer, and includes a transparent conductive oxidization film.

Abstract: A display device includes: a substrate including a display area configured to display images and a non-display area around the display area; a plurality of driving voltage lines in the display area; a plurality of initialization voltage lines in the display area; a plurality of driving voltage transmission lines in the non-display area and configured to transmit a driving voltage to the driving voltage line, and including a first driving voltage transmission line and a second driving voltage transmission line adjacent to each other; an initialization voltage transmission line in the non-display area and configured to transmit an initialization voltage to the initialization voltage line; and a bridge connecting the first driving voltage transmission line and the second driving voltage transmission line and overlapping the initialization voltage transmission line.

Abstract: A display device includes an organic light emitting diode, a first transistor driving the organic light emitting diode, a second transistor transmitting a data signal to the first transistor, a third transistor transmitting a first power voltage to the first transistor, wherein a semiconductor pattern of the first transistor is disposed over a semiconductor pattern of the second transistor, a semiconductor pattern of the third transistor is disposed over the semiconductor pattern of the first transistor, a lower transistor insulating film is disposed between the semiconductor pattern of the first transistor and the semiconductor pattern of the second transistor, and an upper transistor insulating film is disposed between the semiconductor pattern of the first transistor and the semiconductor pattern of the third transistor.

Abstract: A sliding apparatus for durability evaluation of a flexible material includes a base unit having a folding space formed therethrough, a sliding unit which is coupled to the base unit to be slidably movable and to which one side of a flexible material to be evaluated is fixed, and a folding unit which is arranged to be apart from the sliding unit, to which the other side of the flexible material is fixed, and which rotates with respect to the sliding unit to in-fold or out-fold the flexible material in an unfolded state. The sliding unit changes the position of the bent portion formed in the flexible material as the sliding unit slidably moves on the base unit with the flexible material in an in-folded state or out-folded state.

Abstract: A rolling apparatus for evaluating durability of a flexible material includes a base unit, a rolling unit rotatably coupled to the base unit and around which the flexible material is wound, and a sliding unit which grips an end of the flexible material wound around the rolling unit and is spaced apart from the rolling unit to be slidably coupled to the base unit. The sliding unit is set to at least one of a preset speed and torque in the direction in which the flexible material is pulled, and at least one of the speed and torque of the rolling unit for an unrolling operation of the rolling unit and a rolling operation of the rolling unit is controlled such that the flexible material can maintain a flat state.

Abstract: The subject invention provides materials and methods for intracellular deliver of molecules and/or therapeutic agents. The subject invention also provides methods for synthesizing polymeric systems and nanomaterials that enhance or assist the passage of molecules and/or therapeutic agents across biological membranes. The compound, polymer or nanoparticle of the subject invention comprises a modified guanidine moiety in a plurality of repeating units of a polymer or on the surface of a nanoparticle where the guanidine moiety comprises, for example, a carbamoyl or thiourea modification. The polymer or nanoparticle can be used in a cancer treatment formulation.

Abstract: Disclosed are a memory device and an operating method thereof. The memory device includes a bitline sense amplifier connected to a bitline and a complementary bitline connected to a memory cell, and a sense amplifier driver circuit. The bitline sense amplifier senses and amplifies a voltage difference by developing a voltage of the bitline and a voltage of the complementary bitline. The sense amplifier driver circuit includes a pull-up circuit adjusting a level of a bitline low-level voltage developed by the bitline sense amplifier to be higher than a ground voltage in response to a first pull-up pulse, and a pull-down circuit adjusting the level of the bitline low level adjusted by the pull-up circuit to be equal to the ground voltage in response to a pull-down pulse. A pulse generator generates the first pull-up pulse and the pull-down pulse based on a command received from a host.

Abstract: Provided are an underwater radiation monitoring system and method. The monitoring system includes a plurality of sensors configured to measure a value of underwater radiation in a measurement area in which underwater radiation is to be measured, the plurality of sensors being installed in the measurement area by being arranged in a form which is set on the basis of information about the measurement area; and an electronic device configured to identify a value of underwater radiation in the measurement area on the basis of the values of underwater radiation measured by the plurality of sensors, wherein at least one first sensor among the plurality of sensors is connected to the electronic device to collect measured values obtained from the at least one first sensor and a plurality of second sensors excluding the at least one first sensor and to transmit the collected measured values to the electronic device.

Abstract: An electrochemical electrode according to the present invention may prevent agglomeration and desorption of a catalyst even when a catalyst in a particle form is used, because a protective layer containing hydrogel is used, such that stability may be secured, thereby implementing an electrode having a long duration.

Abstract: A display device includes: a substrate; an insulating layer on the substrate and including a first opening; a first panel pad on the substrate and the insulating layer; and an anisotropic conductive film on the first panel pad, and the first panel pad includes a center area located at a center of the first opening, and a first edge area and a second edge area arranged along a lateral side of the insulating layer and located on respective sides of the center area with respect to a first direction, and the anisotropic conductive film overlaps at least one of the center area, the first edge area, and the second edge area of the first panel pad.

Abstract: Proposed is a rehabilitation exercise device for upper and lower limbs. The rehabilitation exercise device is characterized by including: a first support supporting a user's hand or foot; a second support supporting a user's forearm or calf; a pair of first hinges rotatably connecting the first support and the second support to each other; a third support supporting a user's upper arm or thigh; a pair of second hinges rotatably connecting the second support and the third support to each other; and a distance adjustment part configured to adjust a distance between the first support and the third support by adjusting length of the second support.

Abstract: A phenyleneethynylene macrocycle (PEMC) is constructed that is a cyclic or polycyclic oligo (oligophenyleneethynylene-co-polyamine) where a monodispersed oligophenyleneethynylene is coupled with a polyamine. The PEMC is formed by coupling a monodispersed di-aldehyde end-capped oligophenyleneethynylene with a polyamine to form a macrocyclic imine and reducing the imine to an amine. The PEMC is useful at entering living cells for the fluorescence imaging of the living cells without toxicity to the cells.

Abstract: A deposition mask unit includes a deposition mask sheet including a plurality of openings, and a deposition mask frame including a raised portion at which the deposition mask sheet is attachable to the deposition mask frame. The raised portion includes a support portion, and a bonding portion protruding from an upper surface of the support portion, an upper surface of the bonding portion being curved.

Abstract: A display device includes a display panel including a main area, a bending area at which the display panel is bendable, and a sub area, in order. The main area includes a display area and a non-display area which is adjacent to the display area. The bending area connects the sub area to the main area at the non-display area thereof, and is recessed from outer side surfaces of the main area and the sub area, to define a recess portion of the display panel at the bending area.

Abstract: An organic light emitting diode display includes a substrate, a semiconductor layer disposed on the substrate, a first insulating layer which covers the semiconductor layer, a first conductive layer disposed on the first insulating layer, a second insulating layer which covers the first conductive layer, a second conductive layer disposed on the second insulating layer, a third insulating layer which covers the second conductive layer, a third conductive layer disposed on the third insulating layer, a first organic layer which covers the third conductive layer, and a fourth conductive layer disposed on the first organic layer, where the fourth conductive layer includes a lower layer, a middle layer, and an upper layer, and the lower layer is disposed between the first organic layer and the middle layer, and includes a transparent conductive oxidization film.

Abstract: Proposed is a rehabilitation exercise device for upper and lower limbs. The rehabilitation exercise device is characterized by including: a first support supporting a user's hand or foot; a second support supporting a user's forearm or calf; a pair of first hinges rotatably connecting the first support and the second support to each other; a third support supporting a user's upper arm or thigh; a pair of second hinges rotatably connecting the second support and the third support to each other; and a drive module selectively mounted on any one of the pair of first hinges and the pair of second hinges, and configured to pivot the first support or the second support.

Abstract: The present invention relates to a wireless communication system. More specifically, the present invention relates to a method for transmitting control signal via a PUCCH in a wireless communication system, and to an apparatus for the method, wherein the method comprises the following steps: joint-coding a plurality of pieces of control information to obtain a single codeword; obtaining a first modulation symbol sequence from the single codeword; obtaining, from the first modulation symbol sequence, a plurality of second modulation symbol sequences corresponding to each slot in the PUCCH; cyclically shifting the plurality of second modulation symbol sequences in a time domain to obtain a plurality of third modulation symbol sequences; performing a discrete Fourier transform (DFT) precoding process on the plurality of third modulation symbol sequences to obtain a plurality of complex symbol sequences in a frequency domain; and transmitting the plurality of complex symbol sequences via the PUCCH.