Abstract: Embodiments relate to traffic control resource planning. An aspect includes receiving information about available routes in a transportation network and receiving an estimate of a traffic demand in the transportation network. Traffic control planning is performed and it may include: simulating a traffic flow based on the available routes and the traffic demand; applying a model that varies traffic control agent (TCA) placement and traffic signal settings in the transportation network to minimize a cost associated with the traffic flow, the cost including a TCA deployment cost and a traffic delay cost; and outputting a traffic control plan based on the applying, the traffic control plan including a TCA placement and traffic signal setting plan.

Abstract: Structures, methods, and systems for designing and verifying integrated circuits including redundant logic blocks are provided. An integrated circuit includes selection logic and selectable logic blocks that are individually controllable by the selection logic. The selectable logic blocks include respective instances of a redundant logic block, and respective instances of an interface logic block that selectively disable the redundant logic blocks in the integrated circuit.

Abstract: Systems and methods for encrypting a plaintext logical data object for storage in a storage device operable with at least one storage protocol, creating, reading, writing, optimization and restoring thereof. Encrypting the plaintext logical data object comprises creating in the storage device an encrypted logical data object comprising a header and one or more allocated encrypted sections with predefined size; encrypting one or more sequentially obtained chunks of plaintext data corresponding to the plaintext logical data object thus giving rise to the encrypted data chunks; and sequentially accommodating the processed data chunks into said encrypted sections in accordance with an order said chunks received, wherein said encrypted sections serve as atomic elements of encryption/decryption operations during input/output transactions on the logical data object.

Abstract: A method for wafer alignment includes forming a first alignment circuit within a first semiconductor wafer; the first alignment circuit is configured to emit an optical signal. Next, the first alignment circuit is activated upon receiving a first activation signal from a wafer bonding tool then the optical signal is sent to a second alignment circuit in a second semiconductor wafer in overlapping relation to the first semiconductor wafer. The second alignment circuit transmits a second activation signal to the wafer bonding tool and consequently the wafer bonding tool initiates an alignment technique between the first and second semiconductor wafers. The alignment technique uses the first and second alignment circuits for optical alignment.

Abstract: According to a structure herein, a silicon substrate has an active device in the silicon substrate. A dielectric film is on the active device. An isolation trench is in the dielectric film surrounding the active device. The trench extends through the dielectric film and at least partially into the silicon substrate. A core is in the isolation trench. The core comprises material having thermal conductivity greater than silicon dioxide and electrical conductivity approximately equal to silicon dioxide.

Abstract: A method, system and computer program product for determining an optimized set of sales events for a company. The method including the steps of if a likelihood of the company being awarded the sale is greater than a predetermined probability: determining a weighted profitability from being awarded the sale; determining unavailability costs and penalties associated with providing the resource package if resources within the package are unavailable; determining a weighted overall cost by assigning weights to the costs and penalties of the resources in the resource package and the unavailability costs and penalties; selecting an optimized mathematical set of sales events to be followed up, based on the weighted overall cost relative to the weighted profitability from being awarded the sale.

Abstract: Staging data record changes from a faster storage medium to a slower storage medium using data query rewriting is provided. In response to receiving a data query corresponding to a particular data record, it is determined whether the data query is one of a transactional data query or an analytical data query. In response to determining that the data query is a transactional data query, the transactional data query is rewritten to apply transactional delta changes to the particular data record on a storage-class memory of a computer. In response to determining that the data query is an analytical data query, the analytical data query is rewritten to select and reconcile each data record corresponding to the particular data record stored on the storage-class memory with the particular data record stored on a persistent data storage device of the computer.

Abstract: Methods, systems, and computer storage mediums including a computer program product method for formatting storage volumes are provided. One method includes creating a storage volume including a global counter and partitioned into multiple storage segments including a segment counter and partitioned into multiple stripes, wherein the global counter and each segment counter match at an initial time. The method further includes receiving a command to write data to a first stripe, comparing a first segment counter associated with the segment, determining if the segment and global counters match, and re-initializing first metadata associated with the segment to indicate the first segment requires formatting if the counters do not match. One system includes a processor for performing the above method and one computer storage medium includes a computer program product configured to perform the above method.

Abstract: Arrangements described herein relate to managing reusable artifacts. Responsive to receiving a request to create a placeholder for a reusable artifact representing a reusable unit, the placeholder for an appropriate version of the reusable artifact is created within a container and a first parameter identifying the reusable artifact is assigned to an artifact property of the placeholder. The placeholder further includes a branch property configured to indicate a first null value or a second parameter identifying a branch of the reusable artifact corresponding to a particular variant of the reusable artifact, and a version property configured to indicate a second null value or a third parameter identifying a particular version of the reusable artifact.

Abstract: A technique for adjusting a display angle of an electronic apparatus includes capturing, by an image capturing module (of the electronic apparatus), images of a user with respect to a display device (of the electronic apparatus) at a reference first position and a second position. A processing module (of the electronic apparatus) provides an indication when the user exceeds a predetermined threshold in moving from the first position to the second position. A controlling module (of the electronic apparatus) causes a first driving module (of the electronic apparatus) to drive rotation of a first rotating module (of the electronic apparatus) in response to the processing module indicating the displacement has exceeded the predetermined threshold. The first rotating module is coupled to a base unit portion of the electronic apparatus.

Abstract: Optical systems for wavelength division multiplexing and wavelength division demultiplexing with a multi-core fiber, and methods of their fabrication, are disclosed. The systems include a coupling mirror with a plurality of angled surfaces that are configured to direct light to or from different cores of a multi-core fiber. In addition, the multiplexer systems can further include laser chips for generating light, while the demultiplexer systems can include photodiode arrays for detecting light from the multi-core fiber. The systems can also include a guiding structure comprising filters/micro-mirrors to direct light from the lasers or to the photodiodes.

Abstract: At least one computer processor obtains access to a relationship network and a network of a different kind than the relationship network. The at least one computer processor also obtains a user query and carries out a multiple heterogeneous networks search on the relationship network and the network of the different kind than the relationship network, by executing on the at least one computer processor a multiple heterogeneous network search module, to obtain a ranked output list responsive to the user query.

Abstract: A method for manufacturing a fin field-effect transistor (FinFET) device, comprises forming a plurality of fins on a substrate, forming a plurality of gate regions on portions of the fins, wherein the gate regions are spaced apart from each other, forming spacers on each respective gate region, epitaxially growing a first epitaxy region on each of the fins, stopping growth of the first epitaxy regions prior to merging of the first epitaxy regions between adjacent fins, forming a dielectric layer on the substrate including the fins and first epitaxy regions, removing the dielectric layer and first epitaxy regions from the fins at one or more portions between adjacent gate regions to form one or more contact area trenches, and epitaxially growing a second epitaxy region on each of the fins in the one or more contact area trenches, wherein the second epitaxy regions on adjacent fins merge with each other.

Abstract: Package structures are provided having antenna-in-packages that are integrated with semiconductor RFIC (radio frequency integrated circuit) chips to form compact integrated radio/wireless communications systems that operate in the millimeter wave (mm Wave) frequency range with radiation in broadside and end-fire directions.

Abstract: An e-fuse is provided in one area of a semiconductor substrate. The E-fuse includes a vertical stack of from, bottom to top, base metal semiconductor alloy portion, a first metal semiconductor alloy portion, a second metal semiconductor portion, a third metal semiconductor alloy portion and a fourth metal semiconductor alloy portion, wherein the first metal semiconductor alloy portion and the third metal semiconductor portion have outer edges that are vertically offset and do not extend beyond vertical edges of the second metal semiconductor alloy portion and the fourth metal semiconductor alloy portion.

Abstract: A method and system for sharing data between a plurality of users in an online group on a communications system includes receiving data from a plurality of users. The data includes personal characteristics about the users. The personal characteristics are analyzed to determine groups of personal characteristics. The users are clustered into closely matched groups based on the groups of personal characteristics. A plurality of activity information is generated about the users in each of the closely matched groups. The activity information may include a physical activity, a location, and a time of day. User may be allowed access to the activity information about other users in each of the closely matched groups, respectively.

Abstract: Provided are a computer program product, system, and method for injecting congestion in a link between adaptors in a network. A congestion request is received for the selected adaptor at a containing network component comprising one of the network components. In response to the received congestion request, servicing the selected adaptor is delayed to introduce congestion on a link between the selected adaptor and the linked adaptor.

Abstract: A processor and a method implemented by the processor to obtain computation results are described. The processor includes a unified reuse table embedded in a processor pipeline, the unified reuse table including a plurality of entries, each entry of the plurality of entries corresponding with a computation instruction or a set of computation instructions. The processor also includes a functional unit to perform a computation based on a corresponding instruction.

Abstract: For defragmentation-less deduplication using a processor device, holes are punched in a file in a data deduplication process for avoiding the use of defragmenting by allowing a file system to use the punched holes for reclaiming the free space for adding to a free space pool of the file system.

Abstract: An approach is provided in which a model verification system partitions one of a design specification's circuit design properties into multiple unsolved cases. The model verification system then performs property checking on one of the unsolved cases against a corresponding circuit design model, which results in a property checked solved case and a subset of unsolved cases. In turn, the model verification system performs sequential equivalence checking on one or more of the subset of unsolved cases by checking their sequential equivalence against the property checked solved case. As a result, the model verification system stores the cases as sequentially equivalent solved cases and verifies of a portion of the design specification against a portion of the circuit design model.

Abstract: The disclosure is directed to a device password reset. A method in accordance with an embodiment includes: receiving a phone call at a locked mobile device from a phone having a privileged phone number; initiating a password reset in response to the receipt of the phone call from the privileged phone number and the phone call exceeding a predetermined time duration threshold by: terminating, by the locked mobile device, the phone call from the phone having the privileged phone number; generating, by the locked mobile device, a temporary password; establishing, by the locked mobile device, a connection to the phone having the privileged phone number; displaying, by the locked mobile device, a password entry field; communicating, by the locked mobile device, the temporary password via the connection to the phone having the privileged phone number; and unlocking the locked mobile device upon successful entry of the temporary password in the password entry field displayed by the locked mobile device.

Abstract: The disclosure is directed to a mobile device password reset. A method in accordance with an embodiment includes: receiving a phone call at a locked mobile device from a phone having a privileged phone number; initiating a password reset in response to the receipt of the phone call from the privileged phone number and the phone call exceeding a predetermined time duration threshold by: terminating, by the locked mobile device, the phone call from the phone having the privileged phone number; generating, by the locked mobile device, a temporary password; establishing, by the locked mobile device, a connection to the phone having the privileged phone number; displaying, by the locked mobile device, a password entry field; communicating, by the locked mobile device, the temporary password via the connection to the phone having the privileged phone number; and unlocking the locked mobile device upon successful entry of the temporary password in the password entry field displayed by the locked mobile device.

Abstract: Transforming a website for dynamic web content management includes identifying aspects of a static website that are to be under dynamic web content management, organizing the aspects of the static website in preparation for storing the aspects, and storing the aspects of the static website with a specific identifier.

Abstract: In a method for allocating and storing application data for applications of mobile devices, one or more processors receive one or more portions of application data of an application selected by a user of a mobile computing device. The one or more processors determine where to store each of the one or more portions of application data based on predefined instructions. The one or more processors cause each of the one or more portions of application data to be stored based on the determination.

Abstract: Methods, apparatuses, and computer program products for event and alert analysis are provided. Embodiments include a local event analyzer embedded in an alert analyzer receiving events from an event queue. Embodiments also include the local event analyzer creating, based on the received events and local event analysis rules specific to the alert analyzer, a temporary alert for the alert analyzer. Embodiments also include the alert analyzer analyzing the temporary alert based on alert analysis rules.

Abstract: A computer program product (CPP) for controlling a liquid crystal display (LCD) includes code for applying a test voltage to each liquid crystal element (LCE) disposed in an addressable array forming the LCD, and code for detecting an amount of light received by photosensors while applying the test voltage applied to the LCEs, wherein each photosensor is aligned behind and logically associated with one of the LCEs. The CPP further includes code for applying selected voltage levels to each LCE to display an image, and code for controlling an amount of backlight produced by backlighting elements in an addressable array while the image is displayed. Each backlighting element is aligned behind and logically associated with one LCE, and at least one backlighting element is controlled to compensate for a difference between the amount of light detected by the photosensor logically associated with at least one LCE and the other photosensors.

Abstract: A method, apparatus, and product for avoiding similar counter-examples in model checking. One method comprises model checking of a program by traversing control flow paths of the program to determine states associated with execution of the program, each state comprises at least symbolic values of variables; said traversing is biased to give preference to traversing control flow paths that are substantially different than control flow paths associated with traces of the program; whereby said model checking is guided away from executions that are similar to the traces. A second method comprises obtaining a counter-example produced by a model checker, computing a distance between a control flow path of the counter-example and between a set of one or more control flow paths of additional counter-examples; and in response to the distance being below a threshold, dropping the counter-example.

Abstract: A processor and a method implemented by the processor to obtain computation results are described. The processor includes a unified reuse table embedded in a processor pipeline, the unified reuse table including a plurality of entries, each entry of the plurality of entries corresponding with a computation instruction or a set of computation instructions. The processor also includes a functional unit to perform a computation based on a corresponding instruction.

Abstract: Methods, apparatuses, and computer program products for checkpointing for delayed alert creation are provided. Embodiments include applying a checkpoint to an events pool having events with corresponding alerts that have been generated and not delivered and following a crash and loss of the corresponding alerts not recorded in an alert database, generating new alerts based on the events in the events pool having the checkpoint. In response to completing processing of a new alert, embodiments include determining whether the alert database has an entry corresponding to the processed new alert. If the alert database has an entry corresponding to the processed new alert, embodiments include delivering the processed new alert without reporting the processed new alert to the alert database. If the alert database does not have an entry corresponding to the processed new alert, embodiments include reporting the processed new alert to an alert database.

Abstract: FinFET structures may be formed including superlattice fins. The structure may include a superlattice fin of alternating layers of silicon-germanium with a germanium concentration of approximately 10% to 80% and a second semiconductor material. In some embodiments, the second semiconductor material may include either silicon or carbon-doped silicon. Where the second semiconductor material is carbon-doped silicon, the carbon concentration may range from approximately 0.2% to approximately 4%. The superlattice fin may have a height ranging from approximately 5 nm to approximately 100 nm and include between 5 and 30 alternating layers of silicon-germanium and the second semiconductor material. A gate may be formed over the superlattice fin and a source/drain region may be formed over an end of the superlattice fin.

Abstract: A method comprising using at least one hardware processor for: receiving an aerially-captured video and metadata associated with the video; receiving deviation data indicative of an amount of inaccuracy in the metadata; and overlaying, on the video, a geographic annotation descriptive of an object of interest having known geographic coordinates, wherein the geographic annotation is of a size and a shape representative of the amount of inaccuracy.

Abstract: In an environment wherein a front end system receives a service request, and a back end system responds to the request, a user of a target endpoint must be authenticated. A ticket ID is assigned to the service request, and responsive to an initiating action of the user, a virtual token is generated that has a specified relationship with the ticket ID. The virtual token is delivered to the user, and the user is prompted to present the token to a validating component associated with one of the front end or back end systems, wherein the validating component is configured to verify the token validity. If the token is found to be valid, the user is authenticated to access the specified target endpoint.

Abstract: Embodiments relate to traffic control resource planning. An aspect includes receiving information about available routes in a transportation network and receiving an estimate of a traffic demand in the transportation network. Traffic control planning is performed and it may include: simulating a traffic flow based on the available routes and the traffic demand; applying a model that varies traffic control agent (TCA) placement and traffic signal settings in the transportation network to minimize a cost associated with the traffic flow, the cost including a TCA deployment cost and a traffic delay cost; and outputting a traffic control plan based on the applying, the traffic control plan including a TCA placement and traffic signal setting plan.

Abstract: A technique is provided for base recognition in an integrated device is provided. A target molecule is driven into a nanopore of the integrated device. The integrated device includes a nanowire separated into a left nanowire part and a right nanowire part to form a nanogap in between, a source pad connected to the right nanowire part, a drain pad connected to the left nanowire part, and the nanopore. The source pad, the drain pad, the right nanowire part, the left nanowire part, and the nanogap together form a transistor. The nanogap is part of the nanopore. A transistor current is measured while a single base of the target molecule is in the nanogap of the nanopore, and the single base affects the transistor current. An identity of the single base is determined according to a change in the transistor current.

Abstract: Methods, apparatuses, and computer program products are provided for finding lost objects in a file system having a namespace that includes creating a list of all objects in the file system; identifying a portion of the namespace to compare with the list; comparing the portion of the namespace to the list; and deleting from the list entries for objects represented in the portion of the namespace. Some embodiments also include determining whether another portion of the namespace is available to compare with the list of all objects in the file system. Identifying a portion of the namespace to compare with the list according to embodiments for finding lost objects in a file system having a namespace may be carried out by identifying objects renamed during execution of the method.

Abstract: A computer-implemented method, a computer-implemented system, and a computer program product for data binning are disclosed. In a first aspect, the computer-implemented method comprises in response to a determination that a data value is greater than an estimated maximum data value, calculating a new bin position for the data value by adding multiples of a bin width to the estimated maximum data value until a bin where the data value belongs is found.

Abstract: There is provided in an embodiment of the present invention a method wherein a processor may receive a test configuration deployment plan (TCDP) template. A user may select the test configuration deployment plan template and provide time schedule, and specific software application names and version numbers as settings for variables within the test configuration deployment plan template, in effect making a subscription request, wherein the processor receives or otherwise prompts to receive such information. Provided such resources are available at the requested time, the processor may wait until that time and provision the test configuration deployment plan to a data center resource. Test cases are run and results are collected until time or test cases are exhausted. The processor may then release resources that had been allocated to the subscription, which may include a step of undeploying or unprovisioning.

Abstract: Embodiments of the invention relate to forwarding traffic for link aggregation groups in a system. One embodiment includes a system with a first module that receives a packet and synchronizes a group membership based on the packet. A second module receives the synchronized group membership from the first module and creates link aggregation group (LAG) entries for a primary switch and a secondary. A router receives join requests from the second module for adding a first interface link and a second interface link to the router. A source transmits traffic for the LAG. The second interface link is placed in a pruned state based on a protocol independent multicast (PIM) assert message received from the second module by the primary switch and the secondary switch. The secondary link forwards traffic in the pruned state to an access switch upon the primary link failing.

Abstract: Methods, systems, and products are disclosed for synthesizing the aggregated data of disparate data types into data of a uniform data type which includes receiving aggregated data of disparate data types and translating each of the aggregated data of disparate data types into text content and markup associated with the text content. Synthesizing the aggregated data of disparate data types into data of a uniform data type may also include dynamically creating grammar sets for the text content and associating the grammar sets with the text content. Associating the grammar sets with the text content includes inserting markup in the translated data.

Abstract: A method, system, and article for dynamic management of two or more operating system images for at least two client machines operating in a computer system sub-network. Different physical areas of the sub-network support separate image of the operating system images. As the client machines may be individually subject to movement within the sub-network, an appropriate operating system image is dynamically selected and uploaded to one or more of the individual client machines based upon the physical location thereof.

Abstract: A disappearing index allows faster processing of a database query without the startup time of a prior art sparse index. The disappearing index starts as a full index but is trimmed of index values that point to a row in the table that is not selected by the query. Thus the traditional index disappears as it becomes a sparse index tailored to the query. The query is able to execute faster using the now sparse index since the target database table is not accessed for duplicate values in the base table of the query. The query optimizer may determine to use a disappearing index based on estimates of the number of duplicate values in the base table. When the query is complete, the created disappearing table may be discarded or used for other queries that match the selection of the query that created the disappearing index.

Abstract: An enhanced substrate for making a printed circuit board (PCB) includes a silane applied to the ends of glass fibers in via holes. In one embodiment, during a plated through-hole (PTH) via fabrication process, glass fiber bundles exposed in a drilled through-hole are selectively sealed. For example, after the through-hole is drilled in a substrate, the substrate may be subjected to an aqueous silane bath (e.g., an organo trialkoxysilane in an aqueous solution of an acid that acts as a catalyst) to deposit a layer of silane on the exposed glass fiber bundle ends. For example, trialkoxy groups of the silane may react with exposed silanols on the glass to form a siloxane, which is further polymerized to form a silane polymer barrier layer on the exposed glass fiber ends. The barrier layer effectively seals the glass fiber bundles and eliminates the conductive anodic filament (CAF) pathway between PTH vias.

Abstract: A tunable superconducting circuit includes a first charge island, a second charge island, a third charge island, a fourth charge island, a first junction loop electrically coupled to the first and third charge islands, a second junction loop coupled to the second and third charge islands and a third junction loop coupled to the third and fourth charge islands, wherein the first, second and third junction loops are tuned in frequency to operate together as a qubit.

Abstract: A solution is proposed for instrumenting a software application for configuration thereof. A corresponding method includes scanning a source code of the software application for detecting an indication of a set of configuration parameters each one being identified by a pre-defined non-executable statement, creating a set of instances of a pre-defined configuration object each one mapping a corresponding one of the configuration parameters, the configuration object being designed to manage the corresponding configuration parameter, and creating a set of configuration interfaces for editing the configuration parameters, the configuration interfaces being operable to interact with each instance of the configuration object to get and set the corresponding configuration parameter.

Abstract: Various embodiments include interconnect structures and methods of forming such structures. The interconnect structures can include a composite copper wire which includes at least two distinct copper sections. The uppermost copper section can have a thickness of approximately 1 micrometer or less, which inhibits surface roughening in that uppermost section, and helps to enhance cap adhesion with overlying layers.

Abstract: Techniques for reducing issue-to-issue latency by reversing processing order in half-pumped single instruction multiple data (SIMD) execution units are described. In one embodiment a processor functional unit is provided comprising a frontend unit, and execution core unit, a backend unit, an execution order control signal unit, a first interconnect coupled between and output and an input of the execution core unit and a second interconnect coupled between an output of the backend unit and an input of the frontend unit. In operation, the execution order control signal unit generates a forwarding order control signal based on the parity of an applied clock signal on reception of a first vector instruction. This control signal is in turn used to selectively forward first and second portions of an execution result of the first vector instruction via the interconnects for use in the execution of a dependent second vector instruction.

Abstract: A Flash-based storage system, card, and/or module comprises a Flash controller configured to encrypt the data pages of a page stripe by shuffling the data pages, including loading each data page into a data shuffling buffer in a sequential order relative to other data pages in the page stripe, and thereafter unloading each data page in a non-sequential order relative to other data pages in the page stripe. The Flash controller is also configured to scramble the data pages of the page stripe by performing a bitwise logical operation on the data pages that are unloaded from the data shuffling buffer. A user key and one or more system keys are used to perform the shuffling and scrambling. The Flash controller is further configured to flush the user key by bypassing the system's backup power supply and performing an emergency system shutdown without backing up system data.

Abstract: A method, a system, and a computer program product are provided for reducing message passing for contention detection in distributed SIP server environments. The method is implemented in a computer infrastructure having computer executable code tangibly embodied on a computer readable storage medium having programming instructions operable to determine that a first site is waiting for a first object locked by a second site. The programming instructions are further operable to determine that a third site is waiting for a second object locked by the first site, and to send a first probe to the second site to determine whether the second site is waiting. A second probe is received and indicates that a site is waiting for an object locked by the first site. The second probe further indicates a deadlock in a distributed server environment to be resolved.

Abstract: A method for writing data to a tape storage medium includes: writing first user data to a first physical region (11) of the tape storage medium (1) in a first write mode, writing second user data to a second physical region (12) of the tape storage medium (1) in a second write mode, wherein the second write mode differs from the first write mode. An apparatus for writing data to a tape storage medium, a tape storage medium, a tape cartridge are also provided.

Abstract: A TSV structure, method of making the TSV structure and methods of testing the TSV structure. The structure including: a trench extending from a top surface of a semiconductor substrate to a bottom surface of the semiconductor substrate, the trench surrounding a core region of the semiconductor substrate; a dielectric liner on all sidewalls of the trench; and an electrical conductor filling all remaining space in the trench, the dielectric liner electrically isolating the electrical conductor from the semiconductor substrate and from the core region.