Assertion list
output (primary) → ReceivesAction

Results from Ascent++: 520
outputReceivesAction shown in figure 0.75
outputReceivesAction increased 0.68
outputReceivesAction calculated 0.67
outputReceivesAction controlled 0.66
outputReceivesAction reduced 0.65
outputReceivesAction isolated 0.65
outputReceivesAction filtered 0.64
outputReceivesAction combined 0.64
outputReceivesAction updated 0.63
outputReceivesAction added 0.62
outputReceivesAction analyzed 0.62
outputReceivesAction written to file 0.62
outputReceivesAction adjusted 0.62
outputReceivesAction connected in parallel 0.62
outputReceivesAction saved 0.62
outputReceivesAction processed 0.61
outputReceivesAction sent 0.61
outputReceivesAction based on input 0.61
outputReceivesAction formatted 0.61
outputReceivesAction captured 0.61
outputReceivesAction sorted 0.61
outputReceivesAction summed 0.60
outputReceivesAction set 0.60
outputReceivesAction redirected to file 0.60
outputReceivesAction executed 0.59
outputReceivesAction limited 0.59
outputReceivesAction buffered 0.59
outputReceivesAction used as input 0.59
outputReceivesAction recorded 0.59
outputReceivesAction displayed on the screen 0.59
outputReceivesAction suppressed 0.59
outputReceivesAction measured 0.59
outputReceivesAction disabled 0.58
outputReceivesAction checked 0.58
outputReceivesAction removed 0.57
outputReceivesAction drawn 0.57
outputReceivesAction appended to the file 0.56
outputReceivesAction ignored 0.56
outputReceivesAction scaled 0.56
outputReceivesAction driven low 0.56
outputReceivesAction protected 0.56
outputReceivesAction connected in series 0.55
outputReceivesAction protected against short-circuit 0.55
outputReceivesAction changed 0.55
outputReceivesAction enabled 0.55
outputReceivesAction fixed 0.55
outputReceivesAction handled 0.54
outputReceivesAction written to stdout 0.54
outputReceivesAction collected 0.54
outputReceivesAction shown in fig 0.54
outputReceivesAction evaluated 0.53
outputReceivesAction held low 0.53
outputReceivesAction muted 0.53
outputReceivesAction saturated 0.53
outputReceivesAction set to zero 0.53
outputReceivesAction transmitted 0.53
outputReceivesAction closed 0.52
outputReceivesAction triggered 0.52
outputReceivesAction aligned 0.52
outputReceivesAction flushed 0.52
outputReceivesAction tested 0.52
outputReceivesAction printed 0.52
outputReceivesAction stored in memory 0.52
outputReceivesAction stored 0.52
outputReceivesAction regulated 0.51
outputReceivesAction encrypted 0.51
outputReceivesAction stored out in the buffer 0.51
outputReceivesAction connected to amplifier 0.51
outputReceivesAction sent to the console 0.51
outputReceivesAction created 0.51
outputReceivesAction computed 0.50
outputReceivesAction released 0.50
outputReceivesAction shared 0.50
outputReceivesAction connected to each other 0.50
outputReceivesAction printed to the console 0.50
outputReceivesAction split 0.49
outputReceivesAction expected 0.49
outputReceivesAction communicated to the user 0.49
outputReceivesAction labeled 0.49
outputReceivesAction applied 0.49
outputReceivesAction produced 0.48
outputReceivesAction discarded 0.48
outputReceivesAction rendered 0.48
outputReceivesAction programmed 0.48
outputReceivesAction distributed 0.47
outputReceivesAction powered 0.47
outputReceivesAction generated 0.47
outputReceivesAction extracted 0.47
outputReceivesAction specified 0.47
outputReceivesAction written 0.47
outputReceivesAction demanded 0.46
outputReceivesAction grouped 0.46
outputReceivesAction indexed 0.46
outputReceivesAction connected through resistor 0.46
outputReceivesAction passed 0.46
outputReceivesAction read 0.46
outputReceivesAction exported 0.45
outputReceivesAction sent as input 0.45
outputReceivesAction rectified 0.45
outputReceivesAction generated by combined input fil… 0.45
outputReceivesAction shutdown 0.45
outputReceivesAction written in outfile 0.45
outputReceivesAction displayed 0.45
outputReceivesAction raised 0.45
outputReceivesAction shorted 0.45
outputReceivesAction subtracted 0.45
outputReceivesAction applied as input 0.45
outputReceivesAction read on two important pieces of… 0.45
outputReceivesAction patched 0.44
outputReceivesAction balanced 0.44
outputReceivesAction shown 0.44
outputReceivesAction configured 0.44
outputReceivesAction provided as input 0.44
outputReceivesAction compared 0.43
outputReceivesAction connected to input 0.43
outputReceivesAction coupled as input 0.43
outputReceivesAction redirected 0.43
outputReceivesAction put 0.43
outputReceivesAction escaped 0.43
outputReceivesAction separated by comma 0.43
outputReceivesAction obtained 0.43
outputReceivesAction normalized 0.43
outputReceivesAction produced by manufacturer 0.43
outputReceivesAction detailed 0.43
outputReceivesAction described 0.43
outputReceivesAction produced by utility 0.43
outputReceivesAction connected in signal communicati… 0.42
outputReceivesAction monitored 0.42
outputReceivesAction maintained 0.41
outputReceivesAction coupled to second input 0.41
outputReceivesAction shown in table 0.41
outputReceivesAction stopped 0.41
outputReceivesAction disconnected 0.40
outputReceivesAction energized 0.40
outputReceivesAction set high 0.40
outputReceivesAction truncated 0.40
outputReceivesAction asserted 0.40
outputReceivesAction fed as input 0.40
outputReceivesAction mixed 0.40
outputReceivesAction predicted 0.40
outputReceivesAction sent to file 0.40
outputReceivesAction archived at completion of a pro… 0.40
outputReceivesAction connected to gate 0.40
outputReceivesAction identified 0.40
outputReceivesAction loaded 0.40
outputReceivesAction sent to printer 0.40
outputReceivesAction discussed 0.40
outputReceivesAction connected through inverter 0.39
outputReceivesAction connected via line 0.39
outputReceivesAction fed through resistor 0.39
outputReceivesAction generated by the software 0.39
outputReceivesAction latched 0.39
outputReceivesAction viewed 0.39
outputReceivesAction connected to the input of inver… 0.39
outputReceivesAction displayed to the user 0.39
outputReceivesAction enhanced 0.39
outputReceivesAction stored in hdfs 0.39
outputReceivesAction given by computer 0.38
outputReceivesAction marked 0.38
outputReceivesAction ordered 0.38
outputReceivesAction described with reference 0.38
outputReceivesAction applied to amplifier 0.38
outputReceivesAction below potential 0.38
outputReceivesAction described in detail 0.38
outputReceivesAction reached 0.38
outputReceivesAction returned 0.38
outputReceivesAction detected 0.37
outputReceivesAction connected through respective pr… 0.37
outputReceivesAction consumed 0.37
outputReceivesAction coupled to first input 0.37
outputReceivesAction cut 0.37
outputReceivesAction delayed 0.37
outputReceivesAction necessary for certain vin 0.37
outputReceivesAction necessary for thermal conditions 0.37
outputReceivesAction necessary for vout 0.37
outputReceivesAction produced by following program 0.37
outputReceivesAction produced on line 0.37
outputReceivesAction sent to the browser 0.37
outputReceivesAction affected 0.37
outputReceivesAction piped 0.37
outputReceivesAction produced by the program 0.37
outputReceivesAction provided to switch valve 0.37
outputReceivesAction pulled 0.37
outputReceivesAction toggled 0.37
outputReceivesAction connected to node 0.36
outputReceivesAction connected to the base of transi… 0.36
outputReceivesAction encoded 0.36
outputReceivesAction generated by command 0.36
outputReceivesAction generated by the signal generat… 0.36
outputReceivesAction omitted 0.36
outputReceivesAction set low 0.36
outputReceivesAction amplified by amplifier 0.36
outputReceivesAction appended 0.36
outputReceivesAction calibrated 0.36
outputReceivesAction connected to inverting input 0.36
outputReceivesAction connected to the speaker 0.36
outputReceivesAction copied 0.36
outputReceivesAction corrected 0.36
outputReceivesAction provided to first input of mult… 0.36
outputReceivesAction blocked 0.35
outputReceivesAction cached 0.35
outputReceivesAction concatenated 0.35
outputReceivesAction connected to the microcontroller 0.35
outputReceivesAction directed to file 0.35
outputReceivesAction divided by input 0.35
outputReceivesAction fed through low pass filter 0.35
outputReceivesAction gated 0.35
outputReceivesAction interpreted 0.35
outputReceivesAction provided to first input of summ… 0.35
outputReceivesAction provided to multiplexer 0.35
outputReceivesAction provided to the inputs of multi… 0.35
outputReceivesAction restricted 0.35
outputReceivesAction stacked in triangular layout 0.35
outputReceivesAction wired 0.35
outputReceivesAction unbuffered 0.35
outputReceivesAction available in votable 0.34
outputReceivesAction connected to device 0.34
outputReceivesAction connected to terminal 0.34
outputReceivesAction connected to the battery 0.34
outputReceivesAction described in following sections 0.34
outputReceivesAction desired 0.34
outputReceivesAction distorted 0.34
outputReceivesAction downloaded 0.34
outputReceivesAction fixed by regulation 0.34
outputReceivesAction interpreted as datum 0.34
outputReceivesAction metered by electronic 0.34
outputReceivesAction provided for transmission 0.34
outputReceivesAction provided to summing input of su… 0.34
outputReceivesAction used to simulate either aoa 0.34
outputReceivesAction applied to comparator 0.33
outputReceivesAction based on the comparison 0.33
outputReceivesAction compressed 0.33
outputReceivesAction coupled to nand gate 0.33
outputReceivesAction digitized 0.33
outputReceivesAction doubled 0.33
outputReceivesAction interleaved 0.33
outputReceivesAction inverted by inverter 0.33
outputReceivesAction linked 0.33
outputReceivesAction locked 0.33
outputReceivesAction multiplexed 0.33
outputReceivesAction multiplied 0.33
outputReceivesAction provided to analog-to-digital c… 0.33
outputReceivesAction supported 0.33
outputReceivesAction taken across the resistor 0.33
outputReceivesAction formed 0.33
outputReceivesAction applied to exclusive 0.32
outputReceivesAction clipped 0.32
outputReceivesAction connected to microprocessor 0.32
outputReceivesAction connected to the antenna 0.32
outputReceivesAction controlled by input 0.32
outputReceivesAction counted 0.32
outputReceivesAction coupled to primary winding of t… 0.32
outputReceivesAction expanded 0.32
outputReceivesAction held high 0.32
outputReceivesAction hidden 0.32
outputReceivesAction inspected 0.32
outputReceivesAction interpolated 0.32
outputReceivesAction interpreted as fact 0.32
outputReceivesAction introduced 0.32
outputReceivesAction maximized 0.32
outputReceivesAction organized by address 0.32
outputReceivesAction padded with space 0.32
outputReceivesAction passed over line 0.32
outputReceivesAction produced by machine 0.32
outputReceivesAction provided as one of the inputs 0.32
outputReceivesAction provided to a summation circuit 0.32
outputReceivesAction pulsed 0.32
outputReceivesAction realized 0.32
outputReceivesAction required to be line level 0.32
outputReceivesAction resumed 0.32
outputReceivesAction sent out into an output terminal 0.32
outputReceivesAction sent to syslog(3 0.32
outputReceivesAction sent to the client 0.32
outputReceivesAction shown in listing 0.32
outputReceivesAction signed 0.32
outputReceivesAction stored in register 0.32
outputReceivesAction tracked 0.32
outputReceivesAction tuned 0.32
outputReceivesAction selected 0.32
outputReceivesAction referred 0.32
outputReceivesAction added to each other 0.31
outputReceivesAction added to meter 0.31
outputReceivesAction based on the load 0.31
outputReceivesAction compiled 0.31
outputReceivesAction connected by conductor 0.31
outputReceivesAction connected to equipment 0.31
outputReceivesAction connected to first and second i… 0.31
outputReceivesAction connected to one input 0.31
outputReceivesAction connected to output buffers 0.31
outputReceivesAction connected to switch 0.31
outputReceivesAction connected to the controller 0.31
outputReceivesAction connected to the load 0.31
outputReceivesAction converted into digital signals 0.31
outputReceivesAction converted to analog signals 0.31
outputReceivesAction conveyed to the controller 0.31
outputReceivesAction coupled to external receiver 0.31
outputReceivesAction coupled to second multiplexer 0.31
outputReceivesAction coupled to the decoder 0.31
outputReceivesAction coupled with second signal path 0.31
outputReceivesAction described in following table 0.31
outputReceivesAction determined by input 0.31
outputReceivesAction determined by technology 0.31
outputReceivesAction displayed on monitor 0.31
outputReceivesAction encoded in utf-8 0.31
outputReceivesAction followed by space 0.31
outputReceivesAction generated by sensor 0.31
outputReceivesAction generated by the manufacturing … 0.31
outputReceivesAction generated by the network 0.31
outputReceivesAction inhibited 0.31
outputReceivesAction measured at time 0.31
outputReceivesAction modulated 0.31
outputReceivesAction parsed 0.31
outputReceivesAction paused 0.31
outputReceivesAction placed into the product output … 0.31
outputReceivesAction produced per hour 0.31
outputReceivesAction provided to computer 0.31
outputReceivesAction provided to subtracting input o… 0.31
outputReceivesAction provided to switch underfloor h… 0.31
outputReceivesAction pulled low 0.31
outputReceivesAction redirected to two jets 0.31
outputReceivesAction reversed 0.31
outputReceivesAction structured 0.31
outputReceivesAction submitted by both the instituti… 0.31
outputReceivesAction used as part of the input 0.31
outputReceivesAction valued 0.31
outputReceivesAction required 0.31
outputReceivesAction connected as input 0.31
outputReceivesAction improved 0.30
outputReceivesAction applied to the mixer 0.30
outputReceivesAction associated with the information 0.30
outputReceivesAction collimated by collimator 0.30
outputReceivesAction communicated to electronic cont… 0.30
outputReceivesAction connected to a spectrum analyser 0.30
outputReceivesAction connected to display 0.30
outputReceivesAction connected to the computer 0.30
outputReceivesAction connected to the output of the … 0.30
outputReceivesAction connected to the processor 0.30
outputReceivesAction connected to transistor 0.30
outputReceivesAction correlated 0.30
outputReceivesAction coupled to a gain medium 0.30
outputReceivesAction coupled to primary winding 0.30
outputReceivesAction coupled to second output of the… 0.30
outputReceivesAction coupled to the error logic circ… 0.30
outputReceivesAction customized 0.30
outputReceivesAction decoded 0.30
outputReceivesAction designed to feed cable 0.30
outputReceivesAction designed to feed digital satell… 0.30
outputReceivesAction designed to feed radio channels 0.30
outputReceivesAction digitized by analog 0.30
outputReceivesAction directed to corresponding array… 0.30
outputReceivesAction explained 0.30
outputReceivesAction generated by the assembler 0.30
outputReceivesAction issued 0.30
outputReceivesAction loaded into the accumulator 0.30
outputReceivesAction paralled to control same dimmers 0.30
outputReceivesAction produced by the code 0.30
outputReceivesAction programmed for pump control 0.30
outputReceivesAction provided to switch relevant zon… 0.30
outputReceivesAction reduced to zero 0.30
outputReceivesAction referenced 0.30
outputReceivesAction restored 0.30
outputReceivesAction shared with the european commis… 0.30
outputReceivesAction shown in following image 0.30
outputReceivesAction shown in the diagram 0.30
outputReceivesAction shown in the snapshot 0.30
outputReceivesAction stored by given cpu 0.30
outputReceivesAction turned on within the band 0.30
outputReceivesAction used in a link operation 0.30
outputReceivesAction used to control valve 0.30
outputReceivesAction difficult to measure 0.30
outputReceivesAction agreed by the committee 0.29
outputReceivesAction associated with tool 0.29
outputReceivesAction biased 0.29
outputReceivesAction collimated 0.29
outputReceivesAction collimated in one embodiment 0.29
outputReceivesAction compared to each other 0.29
outputReceivesAction deactivated 0.29
outputReceivesAction displayed on neighbours_txt_file 0.29
outputReceivesAction disposed 0.29
outputReceivesAction exported to pdf 0.29
outputReceivesAction exported to xml 0.29
outputReceivesAction fed as digital input 0.29
outputReceivesAction fed to comparator 0.29
outputReceivesAction fed via the 24 v power contact 0.29
outputReceivesAction filtered by capacitor 0.29
outputReceivesAction grounded 0.29
outputReceivesAction implemented in embodiment 0.29
outputReceivesAction known in the art 0.29
outputReceivesAction matched in post-matching network 0.29
outputReceivesAction operated 0.29
outputReceivesAction partitioned 0.29
outputReceivesAction piped to specified program 0.29
outputReceivesAction produced per unit of energy 0.29
outputReceivesAction provided upon receipt of the ma… 0.29
outputReceivesAction quantized 0.29
outputReceivesAction required to be headset 0.29
outputReceivesAction reused 0.29
outputReceivesAction sent by default 0.29
outputReceivesAction serialized 0.29
outputReceivesAction set to false 0.29
outputReceivesAction stored in storage device 0.29
outputReceivesAction submitted 0.29
outputReceivesAction supplied to current limiter 0.29
outputReceivesAction supplied to the speaker units 0.29
outputReceivesAction terminated 0.29
outputReceivesAction tested with output open circuit 0.29
outputReceivesAction thrown 0.29
outputReceivesAction transmitted over network 0.29
outputReceivesAction turned to high level 0.29
outputReceivesAction used to connect the module 0.29
outputReceivesAction viewed with error 0.29
outputReceivesAction close to zero 0.28
outputReceivesAction stretched 0.28
outputReceivesAction reported 0.28
outputReceivesAction lost 0.27
outputReceivesAction added by the adder 0.27
outputReceivesAction aggregated 0.27
outputReceivesAction allocated 0.27
outputReceivesAction amplified in a multiple-stage f… 0.27
outputReceivesAction appreciated 0.27
outputReceivesAction attenuated 0.27
outputReceivesAction clamped 0.27
outputReceivesAction comprised of optical fiber 0.27
outputReceivesAction connected through lead 0.27
outputReceivesAction connected to divide 0.27
outputReceivesAction connected to first input of nan… 0.27
outputReceivesAction connected to the control 0.27
outputReceivesAction connected to the input supply r… 0.27
outputReceivesAction connected to the test terminal 0.27
outputReceivesAction connected to twisted pair 0.27
outputReceivesAction converted to digital domain 0.27
outputReceivesAction converted to human-readable dis… 0.27
outputReceivesAction copied to the clipboard 0.27
outputReceivesAction decrypted 0.27
outputReceivesAction dependent on model 0.27
outputReceivesAction deposited after the point of ac… 0.27
outputReceivesAction described with respect 0.27
outputReceivesAction downsampled 0.27
outputReceivesAction drawn up to vcc 0.27
outputReceivesAction established 0.27
outputReceivesAction executed to the robot motion 0.27
outputReceivesAction exported to csv 0.27
outputReceivesAction exported to plain text 0.27
outputReceivesAction fetched 0.27
outputReceivesAction frozen 0.27
outputReceivesAction gated with 4 digits 0.27
outputReceivesAction generated in accordance 0.27
outputReceivesAction hardwired 0.27
outputReceivesAction integrated by integrator 0.27
outputReceivesAction led by libya 0.27
outputReceivesAction led by the united arab emirates 0.27
outputReceivesAction left justified 0.27
outputReceivesAction located on rear panel 0.27
outputReceivesAction logged in install.log 0.27
outputReceivesAction managed 0.27
outputReceivesAction measured in watt 0.27
outputReceivesAction padded on the left 0.27
outputReceivesAction plotted on map 0.27
outputReceivesAction provided by the output of multi… 0.27
outputReceivesAction queried 0.27
outputReceivesAction recalculated 0.27
outputReceivesAction recorded in table 0.27
outputReceivesAction run through secure hash 0.27
outputReceivesAction set at distance 0.27
outputReceivesAction set at specific time 0.27
outputReceivesAction shown as b3 0.27
outputReceivesAction shown as d3 0.27
outputReceivesAction shown in the exhibit 0.27
outputReceivesAction simulated 0.27
outputReceivesAction sorted by cancer sites 0.27
outputReceivesAction sorted by key 0.27
outputReceivesAction sorted by race 0.27
outputReceivesAction sorted by region 0.27
outputReceivesAction split into three different paths 0.27
outputReceivesAction streamed 0.27
outputReceivesAction supplied for eqs 0.27
outputReceivesAction supplied for lisrel 0.27
outputReceivesAction supplied for mplus 0.27
outputReceivesAction supplied to the tape controller 0.27
outputReceivesAction sustained 0.27
outputReceivesAction switched to sprite 0.27
outputReceivesAction taken at a voltage divider 0.27
outputReceivesAction timed 0.27
outputReceivesAction triggered in time 0.27
outputReceivesAction tristated 0.27
outputReceivesAction tweaked 0.27
outputReceivesAction used by an application program 0.27
outputReceivesAction visualized 0.27
outputReceivesAction watermarked 0.27
outputReceivesAction wired-or'd 0.27
outputReceivesAction written to multiple files 0.27
outputReceivesAction written to standard output stre… 0.27
outputReceivesAction achieved 0.27
outputReceivesAction damaged 0.26
outputReceivesAction easy to understand 0.26
outputReceivesAction aimed at human 0.25
outputReceivesAction adapted 0.25
outputReceivesAction produced for each unit of input 0.25
outputReceivesAction observed 0.23
outputReceivesAction corrupted 0.23
outputReceivesAction disseminated 0.23
outputReceivesAction exported to excel 0.23
outputReceivesAction fed into the government 0.23
outputReceivesAction garbled 0.23
outputReceivesAction provided to the user 0.22
outputReceivesAction requested 0.20
outputReceivesAction adapted to other plotting packa… 0.20
outputReceivesAction below the 1989 level 0.20
outputReceivesAction curtailed 0.20
outputReceivesAction used to heat the plasma 0.20
outputReceivesAction cut in half 0.18
outputReceivesAction distributed under the open-sour… 0.18
outputReceivesAction hard to read 0.18
outputReceivesAction limited by the power 0.18
outputReceivesAction piped to another command 0.18
outputReceivesAction set to true 0.18
outputReceivesAction allowed 0.16
outputReceivesAction displayed by default 0.16
outputReceivesAction indicated 0.13
outputReceivesAction forced 0.04