Abstract: The invention relates to a method for producing an alkali metal alcoholate solution L1 in an electrolysis cell E which comprises at least one cathode chamber KK, at least one anode chamber KA, and at least one central chamber KM lying therebetween. The interior IKK of the cathode chamber KK is separated from the interior IKM of the central chamber KM by a separating wall W comprising at least one alkali-cation-conductive solid ceramic electrolyte (=“AFK”) F (e.g. NaSICON). F has the surface OF. A part OA/MK of the surface OF directly contacts the interior IKM, and a part OKK of the surface OF directly contacts the interior IKK. The surface OA/MK and/or the surface OKK comprises at least one part of a surface OF?. OF? is produced from a pre-treatment step in which F is produced from an AFK F? comprising the surface OF?.

Abstract: A method for detecting a suppression of a security-related data transmission from a vehicle to a vehicle-external server includes receiving a current data transmission of the vehicle via a first function of the vehicle-external server. The method also includes determining a last, security-related data transmission of the vehicle to a security-related function of the vehicle-external server via the vehicle-external server, and checking the plausibility of the current data transmission to the first function of the vehicle-external server based at least in part on the last, security-related data transmission to the security-related function of the vehicle-external server. The method further includes detecting the suppression of a current, security-related data transmission to the security-related function of the vehicle-external server via the vehicle-external server according to the plausibility check of the current data transmission.

Abstract: The invention relates to a method for producing an alkali metal alcoholate solution L1 in an electrolysis cell E which comprises at least one cathode chamber KK, at least one anode chamber KA, and at least one central chamber KM lying therebetween. The interior IKK of the cathode chamber KK is separated from the interior IKM of the central chamber KM by a separating wall W comprising at least one alkali-cation-conductive solid ceramic electrolyte (=“AFK”) F (e.g. NaSICON). F has the surface OF. A part OA/MK of the surface OF directly contacts the interior IKM, and a part OKK of the surface OF directly contacts the interior IKK. The surface OA/MK and/or the surface OKK comprises at least one part of a surface OF?. OF? is produced from a pre-treatment step in which F is produced from an AFK F? comprising the surface OF?.

Abstract: The present invention provides novel microfluidic devices and methods that are useful for performing high-throughput screening assays and combinatorial chemistry. The invention provides for aqueous based emulsions containing uniquely labeled cells, enzymes, nucleic acids, etc., wherein the emulsions further comprise primers, labels, probes, and other reactants. An oil based carrier-fluid envelopes the emulsion library on a microfluidic device, such that a continuous channel provides for flow of the immiscible fluids, to accomplish pooling, coalescing, mixing, sorting, detection, etc., of the emulsion library.

Abstract: A network device includes one or more ports, processing circuitry, and a memory-network congestion controller. The one or more ports are to connect to a network. The processing circuitry is to run a plurality of processing tasks that access a shared memory, one or more of the processing tasks including communicating one or more packet flows over the network. The memory-network congestion controller is to identify a memory-access congestion, which occurs in accessing the shared memory by one or more of the processing tasks, and to alleviate the memory-access congestion by causing a reduction in a communication rate of at least one of the packet flows.

Abstract: A method for detecting an interruption in a data transmission from a vehicle to a security-related function of a vehicle-external server includes receiving a data transmission of one or more control units of the vehicle using the security-related function of the vehicle-external server, and receiving a reference control unit state of the vehicle using the vehicle-external server. The method also includes determining an actual control unit state of the vehicle depending on the received data transmission, and checking for a deviation of the actual control unit state of the vehicle from the reference control unit state of the vehicle. The method further includes detecting an interruption in the data transmission of one or more control units of the vehicle to the security-related function of the vehicle-external server responsive to a determination that the deviation of the actual control unit state from the reference control unit state is present.

Abstract: A networking device comprises one or more processing resources to perform networking functions, and one or more memory resources to store at least one user-accessible configuration file comprising a system budget that controls at least one operating parameter of the networking device. The system budget includes at least one of a power consumption limit for the networking device and a thermal limit for the networking device.

Abstract: A method for identifying an inadmissible message of a manipulated control device of a vehicle using a second control device includes receiving a first message of a first control device via a first bus system using the second control device, and determining a bus system that is associated with the received first message. If the determined bus system differs from the first bus system, then the received first message is determined to be an inadmissible message of the first bus system by means of the second control device. The method also includes identifying the first control device as the manipulated control device using the second control device if the received first message has been identified as an inadmissible message. The method further includes providing an alarm message to a vehicle-external server using the second control device if the received first message is an inadmissible message.

Abstract: A method identifies a manipulation of a message of a bus system using a control device of a vehicle. Th method includes receiving a first message from a first control device using the control device of the vehicle. The method also includes receiving a second message from a second control device using the control device of the vehicle, and determining a system status of the vehicle based at least in part on the second message from the second control device. The method further checking a plausibility of a content of the first message using the determined system status of the vehicle using the control device of the vehicle in order to identify the manipulation of the first message. An alarm message is provided if the content of the first message is not plausible.

Abstract: A method identifies a manipulation of an analog signal by means of a control device of a vehicle. A series of messages are received from a bus system using the control device of the vehicle, wherein a message of the sequence of messages includes a value of the analog signal. The method includes storing the sequence of messages in a buffer of the control device, and determining a temporal profile of the analog signal based on the stored sequence of messages. The method further includes calculating a gradient for the determined temporal profile of the analog signal, and plausibility-checking the calculated gradient to identify the manipulation of the analog signal. The method also includes providing an alarm message if the gradient is not plausible.

Abstract: A method of using a controller of a vehicle to detect manipulation of a message of a bus system of the vehicle is disclosed herein. The method includes receiving, at the controller, the message from the bus system of the vehicle, and ascertaining a state of a learning method of the controller based on a vehicle state. When the state of the learning method indicates that the learning method is not trained: the method further includes training the learning method using the received message. When the state of the learning method indicates that the learning method is trained, the method further includes using the trained learning method to detect manipulation of the message. The method also includes providing an alarm message from the controller to a server outside of the vehicle when the trained learning method has detected manipulation of the message.

Abstract: A method for identifying a manipulated controller of a bus system of a vehicle is disclosed herein. The method includes transmitting a first message via the bus system by means of a first controller, and receiving the first message via the bus system by means of a second controller. The method further includes determining a message type of the received first message and determining a reference message by means of the second controller, wherein the reference message has a message type that corresponds to the determined message type of the first message. The method also includes determining a deviation of the first message from the reference message. When the first message deviates from the reference message, the method further includes identifying the first controller as the manipulated controller by means of the second controller, and providing an alarm message from the second controller to a server outside the vehicle.

Abstract: Methods, systems, and computer program products for selecting packing processing cores are provided. An example system includes a plurality of packet processing cores and a load balancing unit communicatively connected to the plurality of packet processing cores. The load balancing unit is configured to receive a workflow packet including packet description data indicative of at least a packet structure and a packet priority and receive, from the plurality of packet processing cores, state data indicative of at least a utilization state and an operating state of each of the respective packet processing cores. The load balancing unit determines a selected packet processing core from amongst the plurality of packet processing cores based on the state data of the packet processing core and the packet description data of the workflow packet and transmits the workflow packet to the selected packet processing core.

Abstract: Security measures for signal paths with tree structures can be implemented at design phase using an EDA software program or tool with security feature functionality that, when executed by a computing system, directs the computing system to: display a canvas through which components of a circuit are arranged; and provide a menu of commands, including an option to add components from a library to the canvas and an option to secure a tree. In response to receiving a selection of the option to secure the tree, the system can be directed to add a hardware countermeasure coupled to at least two lines or terminal nodes of a tree structure identified from components on the canvas or in a netlist corresponding to a circuit's design.

Abstract: Security measures for signal paths with tree structures can be implemented at design phase using an EDA software program or tool with security feature functionality that, when executed by a computing system, directs the computing system to: display a canvas through which components of a circuit are arranged; and provide a menu of commands, including an option to add components from a library to the canvas and an option to secure a tree. In response to receiving a selection of the option to secure the tree, the system can be directed to add a hardware countermeasure coupled to at least two lines or terminal nodes of a tree structure identified from components on the canvas or in a netlist corresponding to a circuit's design.

Abstract: The present invention generally relates to droplet libraries and to systems and methods for the formation of libraries of droplets. The present invention also relates to methods utilizing these droplet libraries in various biological, chemical, or diagnostic assays.

Abstract: The present invention generally relates to droplet libraries and to systems and methods for the formation of libraries of droplets. The present invention also relates to methods utilizing these droplet libraries in various biological, chemical, or diagnostic assays.

Abstract: A method for obfuscating data at-transit can include receiving, at a first component on a chip, an instruction request for communicating a first data to a second component on the chip. The first component can be a processor and the second component can be an associated memory. The method can further include, determining a sequence of data arranged to obfuscate the first data while including valid bits of the first data, wherein the sequence of data indicates what is to be conveyed across lines on the chip during each time slot over a window of time controlled by a clock signal on the chip; and providing, over the window of time, the first data to the second component across the lines on the chip according to the sequence of data.