Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for solving mixed integer programs (MIPs) using neural networks. One of the methods includes obtaining data specifying parameters of a MIP; generating, from the parameters of the MIP, an input representation; processing the input representation using an encoder neural network to generate a respective embedding for each of the integer variables; generating a plurality of partial assignments by selecting a respective second, proper subset of the integer variables; and for each of the variables in the respective second subset, generating, using at least the respective embedding for the variable, a respective additional constraint on the value of the variable; generating, for each of the partial assignments, a corresponding candidate final assignment that assigns a respective value to each of the plurality of variables; and selecting, as a final assignment for the MIP, one of the candidate final assignments.

Abstract: In general, techniques are described for deploying virtualized cell site routers (vCSRs) capable of layer 2 (L2) forwarding to cell site servers to support management and orchestration of functional units for mobile networks executing on the cell site servers. In an example, a method comprises receiving, at a forwarding plane of a virtualized cell site router (vCSR) of a first Distributed Unit (DU) of a plurality of DU servers of a cell site for a 5G radio access network, the vCSR having a containerized routing protocol process and a forwarding plane configured to perform Layer 2 (L2) switching, L2 packets on a second interface for a second physical link connecting the first DU server to an L2 switch; and switching, by the forwarding plane of the vCSR of the first DU, the L2 packets on a first interface for a first physical link connecting the first DU server to a second DU server of the plurality of DU servers.

Abstract: In general, this disclosure describes techniques for providing a hybrid data plane that can include a kernel-based data plane and a Data Plane Development Kit (DPDK)-based data plane. An example system includes a DPDK-based virtual router configured to send and receive packets via a physical network interface, and a kernel network stack configured to perform tunneling processing for packets destined to a containerized application and received by the DPDK-based virtual router via the physical interface.

Abstract: A method is described to make a metal-containing non-amorphous hard-carbon composite material that is synthesized from furan-ring containing compounds. The metals described in the process include lithium and transition metals, including transition metal oxides like lithium titanates. The non-amorphous hard-carbon component of the metal-containing non-amorphous hard-carbon composite material is characterized by a d002 peak—in the X-ray diffraction patterns—that corresponds to an interlayer spacing of >3.6 ?, along with a prominent D-band peak in the Raman spectra. These metal-containing hard-carbon composites are used for constructing electrodes for Li-ion batteries and Li-ion capacitors.

Abstract: Systems and methods for producing MTBE without using a catalytic distillation column or a super fractionator have been disclosed. An optimum volume of methanol stream required to maximize MTBE production and reduce slippage of isobutylene to minimum acceptable values together with a crude C4 stream are flowed into a primary reaction unit that comprises a first reactor and a second reactor in parallel configured to produce maximum values of final MTBE volumes under higher or equal established purity commercial quality specifications levels. The combined effluent from the first reactor and the second reactor is split to form a first portion, a second portion and a third portion. The first portion is flowed to a third reactor configured to produce additional MTBE. The second portion is combined with an effluent from the third reactor for further separation. The third portion is recycled to the first reactor and/or second reactor.

Abstract: A method is described to make a metal-containing non-amorphous hard-carbon composite material that is synthesized from furan-ring containing compounds. The metals described in the process include lithium and transition metals, including transition metal oxides like lithium titanates. The non-amorphous hard-carbon component of the metal-containing non-amorphous hard-carbon composite material is characterized by a d002 peak—in the X-ray diffraction patterns—that corresponds to an interlayer spacing of >3.6 ?, along with a prominent D-band peak in the Raman spectra. These metal-containing hard-carbon composites are used for constructing electrodes for Li-ion batteries and Li-ion capacitors.

Abstract: Systems and methods for producing MTBE are disclosed. A C4 feed stream containing isobutylene and other C4 hydrocarbons is fed into a reactor unit for producing MTBE. The effluent of the reactor unit comprising MTBE is further processed to produce a MTBE product stream that comprises at least 90 wt. % MTBE. At least a portion of the MTBE product stream is then recycled back to the reactor unit.

Abstract: Example techniques and computing devices are disclosed. An example computing device includes a first non-uniform memory access (NUMA) node and a second NUMA nod. The first NUMA node includes a first network interface card, a first virtual router for one or more virtual networks, the first virtual router comprising first processing circuitry and configured with a first virtual host interface having a first Internet Protocol (IP) address, and a first workload executing on the first NUMA node. The second NUMA node includes a second network interface card, a second virtual router for the one or more virtual networks, the second virtual router comprising second processing circuitry and configured with a second virtual host interface having a second IP address, and a second workload executing on the second NUMA node.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for satisfiability solving for Boolean formulas. One of the methods includes receiving a request to determine whether an input Boolean formula is satisfiable according to a set of satisfiability criteria; processing the input Boolean formula using a formula model that is configured to receive, as input, the input Boolean formula, and to generate, as output, a satisfiability probability distribution over assignments of values to the literals in the clauses of the input Boolean formula; determining whether the input Boolean formula is satisfiable; sampling, using the satisfiability probability distribution, an assignment of values to the literals in the clauses of the input Boolean formula, and determining whether the assignment of values satisfies the set of satisfiability criteria.

Abstract: An example method includes determining, by a network controller, based on a high-level data model, vendor-agnostic device information for a first network device, translating the vendor-agnostic device information into vendor-specific device information, sending, to the first network device, first configuration information included in the vendor-specific device information to cause the first network device to switch into a maintenance mode and enable diversion of network traffic from the first network device to a second network device, responsive to verifying that the first network device has diverted the traffic, initiating maintenance procedures on the first network device while the first network device is in the maintenance mode, and sending, to the first network device, second configuration information included in the vendor-specific device information to cause the first network device to switch out of the maintenance mode and enable reversion of network traffic from the second device to the first network

Abstract: A method of clinical evaluation of a cardiology patient includes the providing of a computer having a database and a user interface that includes a display screen. One or more images are displayed on the display screen, each being an anatomical representation of a part of a human heart which are a portion of a human heart, there is displayed on the screen patient data that corresponds to the part that is displayed on the screen. Such data can be for example prior or present test data. One embodiment includes a graphical medical generation system for replacing the dictation and transcription process of a cardiology health care professionals. A graphical display is provided which processes user input in conjunction with pre-defined cardiology reporting options to generate user-defined cardiology reports. A method and apparatus 10 is described for controlling, via a relational databases, the selection of pre-defined character strings to be inserted into the generated cardiology report.

Abstract: A method is described to make a metal-containing non-amorphous hard-carbon composite material that is synthesized from furan-ring containing compounds. The metals described in the process include lithium and transition metals, including transition metal oxides like lithium titanates. The non-amorphous hard-carbon component of the metal-containing non-amorphous hard-carbon composite material is characterized by a d002 peak—in the X-ray diffraction patterns—that corresponds to an interlayer spacing of >3.6 ?, along with a prominent D-band peak in the Raman spectra. These metal-containing hard-carbon composites are used for constructing electrodes for Li-ion batteries and Li-ion capacitors.

Abstract: An example method includes identifying, based on a received indication, at least a first network device that is to be placed in the maintenance mode, determining device information for the first network device, sending, to the first network device, first configuration information included in the device information to cause the first network device to switch into a maintenance mode and enable diversion of network traffic from the first network device to a second network device, responsive to verifying that the first network device has diverted the traffic, initiating maintenance procedures on the first network device while the first network device is in the maintenance mode, and sending, to the first network device, second configuration information included in the device information to cause the first network device to switch out of the maintenance mode and enable reversion of network traffic from the second device to the first network device.

Abstract: A non-amorphous hard carbon material, synthesized from Furan-ring containing compounds, is described. These non-amorphous hard carbon materials have a d002 peak in their X-ray diffraction patterns, corresponding to an interlayer spacing of >3.6 ?, along with a prominent D-band peak in their Raman spectra. BET surface area values between 2 m2/gm and around 100 m2/gm can be obtained by controlling the processing parameters of temperature, time and heating rate. The higher surface area HCs—in Li-ion and Na-ion anode configurations—are capable of high charging rates up to 100 C with a cycle life of up to 1000 cycles. Composites of these non-amorphous hard carbons with silicon and lithium compounds are also disclosed.

Abstract: Techniques are disclosed for deploying software upgrades to a mixed network of In-Service Software Upgrade (ISSU)-capable and ISSU-incapable network devices without interrupting network traffic serviced by the mixed network. In one example, a centralized controller for a network determines that first network devices of a plurality of network devices for the network are In-Service Software Upgrade (ISSU)-capable and second network devices of the plurality of network devices are not ISSU-capable. The centralized controller transmits messages instructing the first network devices to perform an ISSU operation. Further, the centralized controller transmits messages instructing each network device of the second network devices to transmit a message to peer network devices of the network device, the message indicating that the network device is not ISSU-capable.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for generating a schedule for a computation graph. One of the methods includes obtaining data representing an input computation graph; processing the data representing the input computation graph using a graph neural network to generate one or more instance-specific proposal distributions; and generating a schedule for the input computation graph by performing an optimization algorithm in accordance with the one or more instance-specific proposal distributions.

Abstract: An example method includes determining, by a network controller, based on a high-level data model, vendor-agnostic device information for a first network device, translating the vendor-agnostic device information into vendor-specific device information, sending, to the first network device, first configuration information included in the vendor-specific device information to cause the first network device to switch into a maintenance mode and enable diversion of network traffic from the first network device to a second network device, responsive to verifying that the first network device has diverted the traffic, initiating maintenance procedures on the first network device while the first network device is in the maintenance mode, and sending, to the first network device, second configuration information included in the vendor-specific device information to cause the first network device to switch out of the maintenance mode and enable reversion of network traffic from the second device to the first network

Abstract: According to an aspect of the present disclosure, a computing system to facilitate the interaction of a group of buyers and a group of sellers through a transaction network comprises a transceiver to communicate with a distributed blockchain computer system that includes multiple computing nodes, each computing node configured to store a copy, or a portion thereof, of a blockchain of the distributed blockchain computer system; a database to store a plurality of demand blocks as the blockchain, where each of the plurality of demand blocks stores information of transaction of at least a product; and processor to receive a product request from a buying entity that comprises information of transaction of the product requested by said buying entity, create a demand block based on information of the requested product and enable the one or more buying entities and the one or more selling entities to cryptographically validate the created demand block to link the demand block to a prior block of the blockchain.

Abstract: A computer implemented method for detecting, validating and auto-adjudicate health insurance claims billing errors, rejections and potential claim denial in real-time using blockchain based platform, wherein, information or responses is provided by the live forum, plurality of medical biller community and healthcare service provider (HSP). The validation of the claim errors, rejections and potential claim denial for early detection, validation and correction of medical billing errors in real-time, further comprises steps of: initial feedback from the live forum comprising groups of unified biller community intelligence (UBCI), medical billers providing online response to medical related queries and questionnaires; and final validation of the claim errors, rejections and potential claim denial by matching value of the blockchain transaction to plurality of medical biller community server and healthcare service provider (HSP) server comprises verified stored records, as the blockchain based platform.

Abstract: A method of making heteroatom-doped activated carbon is described in this application. Specifically, it describes a process that utilizes liquid furfuryl-functional-group compounds as starting materials, which are then used to dissolve the heteroatom containing source compounds, before being polymerized into solids using catalysts. The polymerized solids are then carbonized and activated to make the heteroatom-doped activated carbon. Electric double-layer capacitors (EDLC) were fabricated with activated carbons doped with boron and nitrogen, and tested for performance. Also, the boron and nitrogen content in the activated carbons was confirmed by chemical analysis.